Level

Date

 Not chosen  

 11.7.2005 

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.

 Not chosen  

 11.7.2005 

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.

 Not chosen  

 11.7.2005 

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.

 Not chosen  

 11.7.2005 

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.

 Not chosen  

 11.7.2005 

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.

 Not chosen  

 11.7.2005 

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 averager and differentiator. The using an acceleration loop in speed (and position) control circuit we are able to achieve better qualities of such circuit. This solution has properties of robust system. The solution is suitable to meet the requirements for a wide range of rpm regulation, run uniformity as well as the devices featuring either non-stationary or extremely high load inertia moment.

 Not chosen  

 11.7.2005 

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. The goal of the program is time simulation of physical values changes under the change of pressure conditions during the gas evolution or under change of pressure conditions arisen due to gas exhaustion or only due to venting of garbage landfill.