Dc excitation of the field winding in a synchronous machine can be provided by permanent magnets. Permanent magnet synchronous machine (PMSM) can offer simpler construction, lower weight and size for the same performance, with reduced losses and higher efficiency. Thanks to the mentioned advantages these motors are widely used in different application, therefore analysis and modeling of the...

In this work, we design a deleting machine and shown that for some given condition on machine parameters, it gives slightly better result than P-B deleting machine [5,6]. Also it is shown that for some particular values of the machine parameters it acts like Pati-Braunstein deleting machine. We also study the combined effect of cloning and deleting machine, where at first the cloning is done by...

Validating distributed systems is particularly difficult, since failures may occur due to a correlated occurrence of faults in different parts of the system. This paper describes the basis for and preliminary implementation of a new fault injector, called Loki, developed specifically for distributed systems. Loki addresses issues related to injecting correlated faults in distributed systems. In...

This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system description. This calls for specific support to check the consistency of variability expression model-wide: defining some elements as variable may impact several behavioral constructs, even elements that designers may not b...

In this paper we consider one of the classical finite state machine (FSM) model modifications FSM with time-outs (or timed FSM). In this model in addition to the ordinary transitions under inputs there are transitions under time-outs when no input is applying. The behavior of many modern systems includes time-outs, for example, mobile phones, etc. In the past few years some work have been carri...

In this paper, we describe the design and implementation of BChain, a Byzantine fault-tolerant state machine replication protocol, which performs comparably to other modern protocols in fault-free cases, but in the face of failures can also quickly recover its steady state performance. Building on chain replication, BChain achieves high throughput and low latency under high client load. At the ...

Hierarchical state machines are nite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very little is known concerning their complexity and expressiveness. In this paper, we study these questions for hierarchical state machines as well as for communicating hierarchical state machines, that is, nite state machin...

A new type of single-phase stand-alone induction generator using a three-phase induction machine and a single-phase voltage-source PWM inverter is introduced. The generator scheme is capable of producing constant load frequency with a very well regulated output voltage. A small lead acid battery and a single-phase full diode-bridge rectifier are used to feed the inverter. The inverter feeds one...

Phrasal segmentation models define a mapping from the words of a sentence to sequences of translatable phrases. We discuss the estimation of these models from large quantities of monolingual training text and describe their realization as weighted finite state transducers for incorporation into phrase-based statistical machine translation systems. Results are reported on the NIST Arabic-English...

0957-4174/$ see front matter 2011 Elsevier Ltd. A doi:10.1016/j.eswa.2011.06.052 ⇑ Corresponding author. Tel.: +972 4 8288337; fax: E-mail addresses: [email protected] (H. Ha (L.M. Manevitz). The Liquid State Machine (LSM) is a method of computing with temporal neurons, which can be used amongst other things for classifying intrinsically temporal data directly unlike standard artificial n...