Results 241 to 250 of about 77,225 (286)
Some of the next articles are maybe not open access.

Asynchronous Reconfiguration for Paxos State Machines

2014
This paper addresses reconfiguration of a Replicated State Machine RSM in an asynchronous system. It is well known that consensus cannot be solved in an asynchronous system. Therefore an RSM providing strong consistency, cannot guarantee progress in an asynchronous system. However, we show that reconfiguring the RSM is possible in a purely asynchronous
Leander Jehl, Hein Meling
openaire   +1 more source

The model of asynchronous induction machines

Proceedings. International Conference on Power System Technology, 2003
A new method to obtain the new model of asynchronous machines is presented in the article. The new model can be used when the parameters of the machine's stator are unbalance. The simulation and experiment results show that in the scope suited to Park model, the new model has the exactly same behavior as the Park model. When there are unbalanced stator
X. Chang   +3 more
openaire   +1 more source

Dynamic model of asynchronous machine

2017 18th International Scientific Conference on Electric Power Engineering (EPE), 2017
This paper deals the mathematical description of an asynchronous machine. Differential equations are then used to create a dynamic model of asynchronous machine. For the possibility of evaluation the quality of the created model are created at the conclusion the basic characteristics of representing the asynchronous machine.
Martin Kral, Radomir Gono
openaire   +1 more source

Simulation of an asynchronized synchronous machine

Mathematics and Computers in Simulation, 1973
This paper describes a detailed analogue computer simulation of an asynchronized synchronous machine, which is suitable for investigating both steady-state and transient performance. A simple method is presented for simulating asynchronous operating conditions, and developed to provide the required excitation control.
B.W. Hogg, D. Williams
openaire   +1 more source

Handbook of Asynchronous Machine with Variable Speed

2013
This handbook deals with the asynchronous machine in its close environment. It was born from a reflection on this electromagnetic converter whose integration in industrial environments takes a wide part. Previously this type of motor operated at fixed speed, from now on it has been integrated more and more in processes at variable speed.
openaire   +2 more sources

Emptiness Is Decidable for Asynchronous Cellular Machines

2000
We resume the investigation of asynchronous cellular automata. Originally, these devices were considered in the context of Mazurkiewicz traces, and later generalized to run on arbitrary pomsets without autoconcurrency by Droste and Gastin [3]. While the universality of the accepted language is known to be undecidable [11], we show here that the ...
openaire   +1 more source

Automatic synthesis of 3D asynchronous state machines

IEEE/ACM International Conference on Computer-Aided Design, 1992
An automatic synthesis tool (3D) for designing asynchronous controllers from burst-mode specifications, a class of specifications allowing multiple input change fundamental mode operation, is described. An algorithm for constructing a three-dimensional next-state table, a heuristic for encoding states, and a procedure for generating necessary ...
Kenneth Y. Yun, David L. Dill
openaire   +1 more source

Machine asynchrone

1995
Le contrôle de toute machine est basé sur un modèle caractérisé par un ensemble de paramètres. Dans ce travail on propose et on compare différentes méthodes d'identification des modèles de la machine asynchrone. Le problème principal consiste à choisir un modèle et à en identifier les paramètres pour traduire au mieux les comportements de la machine ...
openaire   +1 more source

Next-State Equations of Asynchronous Sequential Machines

IEEE Transactions on Computers, 1972
A theorem and two applications are given here to solve the problem of selecting state assignments of asynchronous machines. The assignment has to produce a set of simple next-state equations. The proofs use the algebraic structures defined by Hartmanis.
openaire   +1 more source

Home - About - Disclaimer - Privacy