Volume 05

This paper deals with one part of the ACS project – system situation recognizer module. In the next pages will be shown the fundaments of the project, how the model of the module was created and the present state of the project. Reader will be also informed how the off-line tests were prepared and how they are made.

The paper deals with the approach to synthesis of the bio-psychic-state assessor of pilot. The presented example of pilot’s bio-state model is a part of intelligent man-machine interface intended for modern adaptable cockpit of military airplane. The pilot assessor is represented as a knowledge system in form of production rules.

This paper introduces an illustrative example of multi-agent system application. It consists of description of application, its decomposition into agents and macro model of decision system. Then multi-agent
system modeling tools, such as alternating-time temporal logic and alternating transition systems and their epistemic extensions are presented.

Modeling of multi agent system is a very important part in the designing process. The paper presents an alternating-time temporal logic as such modeling approach. Alternating-time temporal logic (ATL) is
temporal logic derived from branching temporal logic CTL. ATL models only behavior of multi-agent system on propositional level. Design of MAS can be more precise with alternating transition system (ATS), but more complicated. This paper tries to explain this complicating process by designing an illustrative multi-agent system example.

The paper discuses about features and facilities of industrial database systems in distributed control systems. It describes the control laboratories and concept of some courses with several examples of student projects at two departments in Slovak republic.

The contribution describes the LFS (Landfill Simulation) program for modeling of gas flow in landfill or other disintegrated material. This program is created in development environment of the Delphi program. The creation of the program based on the need of simulation of the gas exhaustion in landfills of garbage. On the basis of the parameters set (porosity, quantity of arising gas, material resistance against the gas flow, number of bore holes etc.) the program solves the pressures in single parts of landfill and also the quantity and concentration of methane in the gas being exhausted.

This paper deals with the problematics of acceleration loop speed servos with a subordinate acceleration controller. The acceleration signal is generated by the analog speed sensor, using the