A railway interlocking is a device that supervises train operation (signaling and position of switches) authorization and prevents conflicting actions from being authorized. An expert system for route selection in a railway interlocking is presented, that is independent of the station topology....

Anorexia is a serious condition which more and more men and women, especially young women, are contracting. In this article, we propose an expert system for the diagnosis of anorexia. The ‘knowledge base’ of the expert system is a set of bivalued logic production rules. The inference engine...

The paper discusses algorithms for investigation of the stability of mechanical systems: (i) investigation of stability in the first approximation; (ii) Algorithms for constructing Lyapunov functions. A special attention is given to the cases critical in the Lyapunov sense; (iii) algorithms...

This report presents a method of constructing approximate symmetries and invariants in dynamical systems. At first, a similar approach was developed for linear systems (for example, the time-dependent invariants by Leach and Lewis). Beam line systems are considered as an example of such...

The time–displacement operator for Hamiltonian dynamical systems M(t|t0) is a symplectic transformation — Lie map. Any truncated Lie map (Lie approximant) loses the very important symplectic property.