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 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.

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...

This study develops a Maple worksheet for experimenting with truck transportation, with incentives for speeding, and with the efficacy of various ways of controlling speeding. The model suggests that the total cost function, operating as a feedback mechanism, may influence a truck driver’s...