This paper studies the characteristics of synchronous ordering of messages. Synchronous ordering of messages deenes synchronous communication based on the causality relation rather than time. We present the necessary characteristics of any algorithm providing deadlock-free synchronous ordering of the messages. We also present the suucient conditions, based on the causality relations, for any al...

Synchronous data-flow languages are used as design approaches in developing embedded and critical real-time systems in which synchronous programs are verified by applying formal verification. In a synchronous design approach, transformation and optimization are used to transform synchronous programs and generate general purpose executable code. The incorrectness of the transformations make the ...

Data-flow models are convenient to represent signal processing systems. They precisely reflect the data-dependencies and numerous algorithms exist to compute a static schedule that optimizes a given criterion especially for parallel implementations. Once deployed the data-flow models must be refined with constraints imposed by the environment and the execution platform. In this paper, we show h...

The action systems framework has recently been applied to the area of synchronous VLSI design. In this paper, we present a set of concepts necessary in the formal design of synchronous hardware, using synchronous action systems. These explicitly model synchronous two-phase behavior. They are developed using the refinement calculus in a usual manner. The fundamental idea of synchronous action sy...

The computation model of the DT-CNN is classified into two types. One is called the synchronous model. The other is the asynchronous model. In recent years, the graphics processing unit (GPU) is getting a lot more attention. Because the GPU has many processor cores, it appears that the GPU accelerates the computation of the synchronous model. In this paper, for evaluating computational performa...

In recent years, there has been a fast growth in wind energy conversion system (WECS). There are two general types of wind turbines in WECS: fixed speed wind turbines and varying speed wind turbines.Permanent magnet synchronous generator (PMSG) is one of the most attractive generators for the varying speed turbine WECS.In this paper, a fuzzy controller is proposed to control the current source ...

In this paper a comprehensive approach is presented to improve power swings damping based on direct Lyapunov method. The approach combines superconducting magnetic energy storage (SMES) system with static synchronous compensator (STATCOM). Considering the energy absorption/injection ability of SMES, in transient states the combination exchanges both active and reactive powers with power system....

In this paper, a new method is proposed for the speed control of a three-phase current forced synchronous machine drive. This metohd is based on the use of an approximate constant commutation safety margin angle in the output thyristor bridge of the drive system as well as on the compenastion of stator magnetization reaction. The commutation process in the output converter of the machine driv...

Abstract The microgrid dominated by new energy has small inertia and weak damping, while a virtual synchronous generator (VSG) is an effective means to enhance damping improve the stability of microgrid. However, it also introduces power angle oscillation problems similar that machines. This paper based on current inner loop voltage outer control three-phase LCL inverter. It coefficient generat...