The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and

• Durch die starke Vernetzung ehemals unabhängiger Funktionen ergeben sich ungewollte Interaktionen und Seiteneffekte durch Nebenläufigkeit. Als Beispiel sei hier die Zentralverriegelung genannt, die neben der reinen Funktionalität des Verund Aufschließens mit Komfortfunktionen zum Einstellen von Sitz, Spiegeln und Radiosendern in Abhängigkeit vom verwendeten Schlüssel, mit Sicherheitsfunktione...

Online methods for stator insulation monitoring have been investigated with increasing interest in the last 15 years. These rely on high-frequency behavior of electric machine. In converter-fed machines, is visible through current ringings occurring during switching commutations power electronics. As lifetime machines can several decades, a faster way to evaluate accelerated aging tests. This w...

The design and implementation of an asynchronous coilgun’s structure is relatively simple compared with other types linear induction launchers. In order to drive rotating electrical machines, multilevel converter structures have attracted much attention in recent decades as a result their unique advantages. A launcher has identical theoretical background machines; therefore, can be applied them...

High-speed solid-rotor induction machines (HSIMs) are popular within high-speed (HS) applications because of their high rotor structural integrity and fairly well-established manufacturing process guaranteeing quality series products. Designing a new HS electric machine requires multidisciplinary team to accomplish the performance desired. In case design, components applied materials often reac...

This paper investigates the torque generating capabilities and performance comparison of induction machines (IM) interior-permanent magnet (IPM) for electric vehicle (EV) traction applications. Electromagnetic characteristics, such as torque, ripple, air-gap flux density, etc. are quantitatively compared by changing level loading. Other metrics saturation factor, power losses, efficiency, so on...

This paper presents a detailed analysis and design guidelines for advanced nonoverlapping winding induction machines (AIMs) with coil-pitch of two slot-pitches by considering some vital empirical rules flux-weakening characteristics. The aim the study is to develop type new stator topology (IMs) that will lead decrease in total axial length without sacrificing torque, power, efficiency. key per...