Auxiliary ventilation of the blind development heading in underground mines is one of the most challenging work activities amongst mining underground operations. The auxiliary forcing ventilation system provides positive pressure, cooling, controlling gas layering, and removing diesel fumes and dust levels from development headings, stopes, and services facilities. The effectiveness of the auxi...

Composite propellers offer high damping characteristics and corrosion resistance when compared with metal propellers. But the design of a hybrid composite propeller with the same strength of metal propeller is the critical task. For this purpose, the present paper focusses on fluid-structure interaction analysis of hybrid composite propeller with Carbon/Epoxy, R-Glass/Epoxy and S2-Glass/Epoxy t...

Under different types of internal and external faults transformers, electrical quantities such as voltage, differential current transformer oil flow rate change accordingly. In this paper, the variation law is studied, other under abnormal conditions inside outside area verified by simulation. The characteristics are different, judged. At same time, ANSYS Maxwell 3D, Fluent software used to mod...

In this paper we investigate agents that have incomplete information and make decisions based on their beliefs, expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently it has been shown that verifying temporal properties over such theories i...

The real-world application of planning techniques often requires models with numeric fluents. However, these fluents are not directly supported by most planners and heuristics. We describe a family of planning algorithms that takes a numeric planning problem and produces an abstracted representation that can be solved using any classical planner. The resulting abstract plan is generalized into ...

This note shows how to formalize a small set of general facts about buying and selling. We begin with summarizing properties of buying/selling informally in English, and give examples of consequences of these assumptions. Then we formalize our assumptions in action language C+ with additive fluents and actions and test the adequacy of the proposed formalization using the Causal Calculator.

The purpose of this article is to provide a uniform lightweight language speci cation and tutorial for a class of temporal logics for reasoning about action and change that has been developed by our group during the period The class of log ics are collected under the name TAL an acronym for Temporal Action Logics TAL has its origins and inspiration in the work with Features and Fluents FF by Sa...