Results 71 to 80 of about 2,782,819 (220)

Model predictive control with adjustable switching frequency for induction motor drives based on three‐dimensional satisfaction space optimisation

IET Electric Power Applications
This paper proposes a model predictive control strategy for induction motors driven by three‐level inverters, enabling effective switching frequency adjustment.
Bo Yang, Xiang Wu, Yu Tian, Zhikang Guo, Xu Zhang, Guojun Tan   +5 more
doaj   +1 more source

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions [PDF]

Logical Methods in Computer Science
Mixed-choice has long been barred from models of asynchronous communication since it compromises the decidability of key properties of communicating finite-state machines.
Jonah Pears, Laura Bocchi, Maurizio Murgia, Andy King   +3 more
doaj   +1 more source

Hairdressing in groups: a survey of combings and formal languages

, 1997
A group is combable if it can be represented by a language of words satisfying a fellow traveller property; an automatic group has a synchronous combing which is a regular language.
Rees, Sarah
core   +1 more source

A Discussion on Parallelization Schemes for Stochastic Vector Quantization Algorithms [PDF]

, 2012
This paper studies parallelization schemes for stochastic Vector Quantization algorithms in order to obtain time speed-ups using distributed resources. We show that the most intuitive parallelization scheme does not lead to better performances than the ...
Durut, Matthieu, Patra, Benoît, Rossi, Fabrice   +2 more
core   +2 more sources

Comparing Asynchronous $l$-Complete Approximations and Quotient Based Abstractions

, 2015
This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid systems.
Raisch, Jörg, Schmuck, Anne-Kathrin, Tabuada, Paulo   +2 more
core   +1 more source

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!) [PDF]

, 2015
Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production.
Chen, S, Deligiannis, P, Donaldson, AF, Erickson, J, Huang, C, Lal, A, McCutchen, M, Mudduluru, R, Qadeer, S, Schulte, W, Thomson, P   +10 more
core  

CALCULATIONS OF DYNAMIC OPERATING MODES OF ELECTRIC DRIVES OF SELF-PROPELLED MINING MACHINES

Записки Горного института, 2018
The task of improving the calculations of the dynamic modes of electric drives of self-propelled mining machines, particulary, tunneling machines, is considered. Attention is drawn to the possibility to opearte in dynamic modes of a spatial change in the
E. K. Eshchin
doaj   +1 more source

Lost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report) [PDF]

, 2014
Monotonicity in concurrent systems stipulates that, in any global state, extant system actions remain executable when new processes are added to the state.
Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas   +2 more
core  

Mathematical modeling of physical processes in the complex for testing of induction machines

MATEC Web of Conferences, 2018
The paper is devoted to the simulation of the test complex designed for energy-efficient load testing of induction machines by the method of mutual load with the exchange of electrical energy through the network.
Kharlamov Viktor, Popov Denis
doaj   +1 more source

A 2-pole winding development technique for asynchronous machines with increased number of parallel branches

Electrical engineering & Electromechanics, 2014
A 2-pole winding development technique is introduced for asynchronous machines with the number of parallel branches in phases increased in 1.5 and 2 times as compared with the number of poles. The technique is confirmed by results of pilot studies.
V.D. Lushchyk, V.O. Tymoshchenko
doaj