Using the methods of mathematical modeling, a comparative analysis electromagnetic torque and power charac-teristics three versions traction synchronous motors was carried out: jet engine, hybrid synchro-nous engine with additional permanent magnets on rotor, installed rotor surface. The out under conditions same dimensions engines, nominal values stator winding current speed rotation rotor. It...

Network freight flow consolidation organizes the commodity flow with special attention to the minimization of the flow costs but the efficiency of transport resources is not addressed. In contrast, vehicle routing targets primarily the maximization of the efficiency of transport resources but the commodity-related preferences are treated as inferior requirements. This article is about the probl...

Electrical utility substations are wired with intelligent electronic devices (IEDs), such as protective relays, power meters, and communication switches. Substation engineers commission these IEDs to assess the appropriate measurements for monitoring, control, system protection, applications. Like real electrical substations, complex substation grid testbeds (ESGTs) need be assessed measuring c...

In this paper we present the aane clock calculus as an extension of the formal veriication techniques provided by the Signal language. A Signal program describes a system of clock synchronisation constraints the consistency of which is veriied by compilation (clock calculus). Well-adapted in control-based system design, the clock calculus has to be extended in order to enable the validation of ...

Vehicle traffic flow channelizing can significantly contribute to fewer collisions and smooth in isolated signalized intersection design. Therefore, this study investigates the effect of changes number right-turn lanes with splitter islands left-turn storage bays for different volume approaches on performance. This aims provide an accurate analysis estimate such intersections, which improve Fur...

This paper introduces a stochastic, hybrid algorithm for global almost sure synchronization of two agents evolving on the circle. Recent results on stochastic hybrid systems are exploited and a Lyapunov-based proof of global almost sure synchronization is obtained. The same arguments establish that global almost sure practical synchronization is achieved in the presence of sufficiently small di...