Sentence examples for automatically synchronous from inspiring English sources

Likewise, the relationship of each variable to the underlying solar cycle phenomenon is different and not automatically synchronous or perfectly correlated [ 9].

A "double-object synchronization" control scheme enables 112 cylinders to coordinate the extending action, and automatically achieve synchronous motion and posture control of box and uniform load distribution to each pump unit.

These methods allow implementing a synchronous sampling period which automatically adapts the monitoring and control systems to the grid voltage and current, improving their processing performance.

The synchronous SMV model checker will automatically implement the Symbolic Model Checking algorithm [ 14].

The stability criterion of synchronous states is derived, it satisfies automatically the criterions of the generalized Lyapunov and Routh–Hurwitz.

Our work primarily focused on automatically generating C/C++ code in Ptolemy II for Synchronous Data Flow (SDF) and Finite State Machine (FSM) models of computation.

This article presents a way of using SDL and ObjectGEODE to write formal specifications of synchronous sequential circuits quickly and to automatically verify their functional correctness.

In this section, we will apply both synchronous and asynchronous model checkers to automatically analyze the signaling pathways illustrated in Figure 1.

A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described.

Conventional synchronous generators, having the frequency and voltage control systems, can automatically adjust the productions of active and reactive power with the variations of frequency and voltage.

Then, we propose and apply both asynchronous and synchronous model checking methods, which extend our previous verification technique, to automatically and formally analyze the ER-Golgi-regulated signaling pathways in the cell cycle progression through verifying some computation tree temporal logic formulas.