We propose a new technique for interactive formal verification of temporal properties of UML state machines. We introduce a formal, operational semantics of UML state machines and give an overview of the proof method which is based on symbolic execution with induction. Usefulness of the approach is demonstrated by example of an automatic teller machine. The approach is implemented in the KIV sy...

This paper reports on methods for the analysis of electrical machines by combined electromagnetic and thermal models using commercial software which can be an aid to the design of these machines. Examples using a brushless permanent-magnet motor and an induction motor illustrate the tools available and techniques possible.

The market of small or micro electric energy generation units, often combined with local heat production, is becoming increasingly important. For these applications the classical asynchronous machine with cage rotor is an interesting generator. The grid-connected induction generator has some advantages over the synchronous generators: e.g. it is cheap, robust and maintenance-free. Since the ind...

Now a days the use of Condition Monitoring of electrical machines are increasing due to its potential to reduce operating costs, enhance the reliability of operation and improve service to customers. Different alternatives to detect and diagnose faults in induction machines have been proposed and implemented in the last years. These new alternatives are characterized by an on-line and non-invas...

Testing of induction machines to determine the full load temperature rise is an essential part of the acceptance tests for large machines. There are several established alternatives to mechanically coupling the induction machine to a load machine, all of which give approximate results for the temperature rise. A suitably flexible inverter can provide a wide range of control over instantaneous v...

Three–phase inductions machines are the primary consumers of electric power in industrialized countries, they can typically consume between 40 to 50% of all the generated power (Thomsom et al., 2001). Diagnostic testing of induction machines is therefore of tremendous importance in many applications, and has been the focus of intense research for many years (Aller et al., 2002), (Antonino-Daviu...

The flux density equations for single and double slotted induction machines are presented. Slot harmonic components in the wave-form comparison between step unslotted airgap surface has been driven. pulsating torque produced by these slot harmonics how it vary with skewing listed. results compared experimental which proved to be good agreement.

The usage of multiphase electrical drives expands the operation possibilities machines and opens new directions research on inverter-fed machines. With an increasing number phases, standard approach electromagnetic design has to be generalized m-phase systems, which is not usually respected in literature focused electric machine design, it rarely published. This paper summarizes specific proble...

Three phase induction machines for traction applications in electric and hybrid electric vehicles can be used with a fixed gear due to the wide speed range enabled by field weakening. Although the induction machine is know as an extremely reliable and robust device, machine faults may occur. Machine faults which do not become detected may cause complete failure of the vehicle. Therefore, early ...

Induction machine is one of the machines that can be applied as an alternative power plant and also a new renewable energy system. Giving reactive at terminal in form capacitor, induction used generator. Reactive needed voltage generation process. Because weaknesses generator generated very fluctuating when load being served changes. To overcome this, several capacitors with different values ar...