Process Algebras

Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems. They can be seen as models of processes, regarded as agents that act and interact continuously with other similar agents and with their common environment. The agents may be real-world objects (even people), or they may be artifacts, embodied perhaps in computer hardware or software systems. Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one. By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras. Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external experiments

Impact of PWM strategies on RMS current of the DC-link Voltage Capacitor of a dual-three phase drive

The major drawback of usual dual three-phase AC machines, when supplied by a Voltage Source Inverter (VSI), is the occurrence of extra harmonic currents which circulate in the stator windings causing additional losses and constraints on the power component. This paper compares dedicated Pulse Width Modulation (PWM) strategies used for controlling a dual three phase Permanent Magnet Synchronous machine supplied by a six-leg VSI. Since the application is intended for low-voltage (48V) mild-hybrid automotive traction, an additional major constraint arises: the compactness of the drive related to the size of the DC-bus capacitor. Thus, the PWM strategy must be chosen by taking into consideration its impact on both, the motor and the RMS value of DC-bus current

Feasible reactivity in a synchronous pi-calculus

Reactivity is an essential property of a synchronous program. Informally, it guarantees that at each instant the program fed with an input will `react' producing an output. In the present work, we consider a refined property that we call ` feasible reactivity'. Beyond reactivity, this property guarantees that at each instant both the size of the program and its reaction time are bounded by a polynomial in the size of the parameters at the beginning of the computation and the size of the largest input. We propose a method to annotate programs and we develop related static analysis techniques that guarantee feasible reactivity for programs expressed in the S-pi-calculus. The latter is a synchronous version of the pi-calculus based on the SL synchronous programming model

General Analytical Model of Magnet Average Eddy-Current Volume Losses for Comparison of Multi-phase PM Machines with Concentrated Winding

this paper studies magnet eddy-current losses in permanent magnet (PM) machines with concentrated winding. First of all, space harmonics of magnetomotive force (MMF) and their influence on magnet losses in electrical machines are investigated. Secondly, analytical model of magnet volume losses is developed by studying the interaction between MMF harmonics wavelengths and magnet pole dimensions. Different cases of this interaction are exhibited according to the ratio between each harmonic wavelength and magnet pole width. Then various losses sub-models are deduced. Using this analytical model, magnet volume losses for many Slots/Poles combinations of 3, 5, and 7 phase machines with concentrated winding are compared. This comparison leads to classify combinations into different families depending on their magnet losses level. Finally, in order to verify the theoretical study, Finite Element models are built and simulation results are compared with analytical calculationsProjet MHYGALE/ADEM