Microgrids can be considered as controllable units from the utility point of view because the entities of microgrids such as distributed energy resources and controllable loads can effectively control the amount of power consumption or generation. Therefore, microgrids can make various contracts...

This article proposes an abstract machine, known by the acronym FM, for modeling behavior currently described by finite state machines (SMs) in conjunction with related notions such as state and event. Although the SM concept was born more than 50 years ago and is widely applied in hardware...

Предлагается метод декомпозиции вероятностных конечных автоматов. Алгоритм позволяет декомпозировать вероятностный конечный автомат в сеть вероятностных...

In this paper the finite state machines are defined and formalized. There are presented the collaborative banking systems and their correspondence is done with finite state machines. It highlights the role of finite state machines in the complexity analysis and performs operations on very large...

This article describes the design and implementation of LiftingDoneRight, a novel system for healthcare professionals to enhance their compliance with best practices and regulations regarding proper body mechanics for lifting and pulling activities. The system uses Microsoft Kinect to track the...

Usually the result code of source code by a compiler is not necessary the best one, and can be improved to run faster or to use less memory. This kind of improvement is done in compiling phase after parsing. Some good techniques in optimization are in folding the constants, elimination of dead...