Cette thèse s'inscrit dans le cadre du projet Compacité qui vise à développer un compresseur électrique pour véhicules électriques à l’aide d’une démarche mécatronique. Dans cette thématique, le rôle du LGEP est de développer la partie électromécanique du compresseur. Cette thèse est constituée de deux parties, la première concerne la conception d’un moteur pour le compresseur et la deuxième a trait à la commande sans capteur mécanique de ce moteur. La première partie de la thèse est d'abord consacrée au dimensionnement d'une machine électrique pour un compresseur électrique. Le cahier des charges impose une machine compacte (97mm de diamètre et une profondeur inférieure à 50mm) et ayant une puissance massique élevée (6kW pour une masse de 1.8kg). Au préalable, un modèle analytique a été développé pour effectuer un dimensionnement rapide. Par la suite, la méthode des éléments finis a été appliquée à différents modèles physiques (magnétique, thermique, mécanique (résistance des matériaux et vibration)) pour une étude approfondie de la structure choisie. A l'issue de ces études, un prototype et un banc expérimental ont été réalisés. Dans un second temps, des algorithmes de commande avec ou sans capteur mécanique ont été étudiés pour le pilotage du moteur. La particularité de cette deuxième partie de thèse est la réalisation d'une commande peu gourmande en temps de calcul et implantable dans des microcontrôleurs de faibles performances. A l'issue de cette partie, une nouvelle loi de commande appelée commande passive échantillonnée ainsi qu'un observateur adaptatif étendu (observateur fondé sur l'estimation des fem) ont été développés et testés sur un banc expérimental. / This thesis is part of the project Compacite which aims to develop an electric compressor for electrical vehicles using a mechatronic approach. In this way, the LGEP contribution is to develop the electromechanical part of the compressor.The document is divided in two parts: the first one is related to the design of the motor and the second part is dedicated to the sensorless control.In the first part, the electromagnetic design is proposed to comply with the industrial constraints according to the compressor operation. The specifications require a compact motor (external diameter equal to 97 mm and an active depth less than 50 mm) and a good power/mass ratio (6 kW for a weight of 1.8 kg). At first the design is based on an analytical model in order to obtain a fast sizing. Thereafter the finite element method is used for multiphysical studies (magnetic, thermal and mechanical (in terms of strength of materials and vibration)). A prototype is built and characterized on a test bench. In the second part, some algorithmic control laws have been developed with sensor and sensorless control. In this part a particular control law (sampled data passivity based control) with a low algorithmic cost has been developed for driven the motor and has been validated on the test bench. At the end an observer based on the estimation of the electromotive force is used for sensorless control and validated on the test bench.

Dans un contexte mondial régi par de multiples facteurs économiques, énergétiques et environnementaux, la transition vers des modes de transport à zéro émission polluante semble inévitable. De ce fait, les constructeurs automobiles s’investissent de plus en plus dans le développement de groupes motopropulseurs électriques afin d’anticiper les besoins du marché. Parmi les différentes technologies de machines électriques considérées pour cette application, la Machine à Réluctance Variable à Double Saillance (MRVDS) présente des caractéristiques très attractives pour le milieu industriel.Les travaux présentés dans cette thèse visent à élaborer des solutions qui répondent aux points qui bloquent encore l’adoption de la MRVDS dans les véhicules électriques. Dans un premier temps, la commande en couple d’une MRVDS destinée à la traction électrique est analysée. En prenant en considération les exigences imposées par l’application envisagée, une stratégie de commande en couple est développée en intégrant deux méthodes complémentaires sur le plan de fonctionnement de la MRVDS choisie.Dans la deuxième partie, l’asservissement en courant est abordé. Les problématiques du contrôle propres à la MRVDS à forte dynamique de courant sont d’abord identifiées. Ensuite, deux régulateurs de courant, qui répondent à différents conditions d’implantation, sont présentés et validés par simulation.La dernière partie de cette thèse aborde le problème des à-coups d’accélération induits à basse vitesse et de leurs répercussions sur l'agrément de conduite. En effet, ce type de motorisation électrique introduit un nouvel aspect sur cette problématique. Une loi de commande anti-à-coups, composée de deux actions, est développée. Les simulations ont montré la conformité de la performance obtenue en utilisant la loi de commande proposée avec le cahier des charges industriel visé. / In a global context governed by multiple economic, energetic and environmental factors, the transition towards transportation modes with zero polluting emissions seems inevitable. Hence, automotive manufacturers are investing increasingly in the development of electric powertrains in anticipation of the market needs. Among the different electric motors technologies considered for this application, the switched reluctance motor (SRM) presents attractive characteristics for the industry.The work presented in this thesis aims to elaborate solutions in response to the points still hindering the adoption of the SRM in electric vehicles. First, torque regulation of an SRM intended for an electric traction is analyzed. Taking into consideration the requirements of the application in hand, a regulation strategy is developed through the integration of two methods which complement each other over the studied SRM range of operation.In the second part, the subject of current regulation in the SRM is discussed. The issues related to current regulation in SRMs disposing of high current dynamics are firstly identified. Then, two current regulators, each adapted to different implementation conditions, are presented and validated through simulations.The last part of this thesis discusses the acceleration jerks induced at very low speeds and their repercussions on driving comfort . Indeed, electric traction introduces a new aspect on this rather classic issue. An anti-jerk control law, composed of two control actions, is developed. Simulations have shown the conformity of the performance obtained with the proposed control law with the target industrial specifications.

This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examples. / Diese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert.

This thesis extends a localisation theory for finite algebras to certain classes of infinite structures. Based on ideas and constructions originally stemming from Tame Congruence Theory, algebras are studied via local restrictions of their relational counterpart (Relational Structure Theory). In this respect, first those subsets are identified that are suitable for such a localisation process, i. e. that are compatible with the relational clone structure of the counterpart of an algebra. It is then studied which properties of the global algebra can be transferred to its localisations, called neighbourhoods. Thereafter, it is discussed how this process can be reversed, leading to the concept of covers. These are collections of neighbourhoods that allow information retrieval about the global structure from knowledge about the local restrictions. Subsequently, covers are characterised in terms of a decomposition equation, and connections to categorical equivalences of algebras are explored. In the second half of the thesis, a refinement concept for covers is introduced in order to find optimal, non-refinable covers, eventually leading to practical algorithms for their determination. Finally, the text establishes further theoretical foundations, e. g. several irreducibility notions, in order to ensure existence of non-refinable covers via an intrinsic characterisation, and to prove under some conditions that they are uniquely determined in a canonical sense. At last, the applicability of the developed techniques is demonstrated using two clear expository examples.:1 Introduction 2 Preliminaries and Notation 2.1 Functions, operations and relations 2.2 Algebras and relational structures 2.3 Clones 3 Relational Structure Theory 3.1 Finding suitable subsets for localisation 3.2 Neighbourhoods 3.3 The restricted algebra A|U 3.4 Covers 3.5 Refinement 3.6 Irreducibility notions 3.7 Intrinsic description of non-refinable covers 3.8 Elaborated example 4 Problems and Prospects for Future Research Acknowledgements Index of Notation Index of Terms Bibliography / Diese Dissertation erweitert eine Lokalisierungstheorie für endliche Algebren auf gewisse Klassen unendlicher Strukturen. Basierend auf Ideen und Konstruktionen, die ursprünglich der Tame Congruence Theory entstammen, werden Algebren über lokale Einschränkungen ihres relationalen Gegenstücks untersucht (Relationale Strukturtheorie). In diesem Zusammenhang werden zunächst diejenigen Teilmengen identifiziert, welche für einen solchen Lokalisierungsprozeß geeignet sind, d. h., die mit der Relationenklonstruktur auf dem Gegenstück einer Algebra kompatibel sind. Es wird dann untersucht, welche Eigenschaften der globalen Algebra auf ihre Lokalisierungen, genannt Umgebungen, übertragen werden können. Nachfolgend wird diskutiert, wie dieser Vorgang umgekehrt werden kann, was zum Begriff der Überdeckungen führt. Dies sind Systeme von Umgebungen, welche die Rückgewinnung von Informationen über die globale Struktur aus Kenntnis ihrer lokalen Einschränkungen erlauben. Sodann werden Überdeckungen durch eine Zerlegungsgleichung charakterisiert und Bezüge zu kategoriellen Äquivalenzen von Algebren hergestellt. In der zweiten Hälfte der Arbeit wird ein Verfeinerungsbegriff für Überdeckungen eingeführt, um optimale, nichtverfeinerbare Überdeckungen zu finden, was letztlich zu praktischen Algorithmen zu ihrer Bestimmung führt. Schließlich erarbeitet der Text weitere theoretische Grundlagen, beispielsweise mehrere Irreduzibilitätsbegriffe, um die Existenz nichtverfeinerbarer Überdeckungen vermöge einer intrinsischen Charakterisierung sicherzustellen und, unter gewissen Bedingungen, zu beweisen, daß sie in kanonischer Weise eindeutig bestimmt sind. Schlußendlich wird die Anwendbarkeit der entwickelten Methoden an zwei übersichtlichen Beispielen demonstriert.:1 Introduction 2 Preliminaries and Notation 2.1 Functions, operations and relations 2.2 Algebras and relational structures 2.3 Clones 3 Relational Structure Theory 3.1 Finding suitable subsets for localisation 3.2 Neighbourhoods 3.3 The restricted algebra A|U 3.4 Covers 3.5 Refinement 3.6 Irreducibility notions 3.7 Intrinsic description of non-refinable covers 3.8 Elaborated example 4 Problems and Prospects for Future Research Acknowledgements Index of Notation Index of Terms Bibliography

Bakgrund: För att prestera på elitnivå behöver Fotbollsspelare en välutvecklad aerob och anaerob effekt och kapacitet. Repeated sprint ability (RSA) är en anaerob förmåga som kan avgöra många matchsituationer, till exempel bollinnehav och målchanser. För att testa RSA görs ett repeated sprint ability test (RST). Syreupptagningsförmågan testas ofta genom olika konditionstester. Syftet med denna studie var att undersöka korrelationen mellan RST, Yo-Yo Intermittent Recovery Level 1 test (Yo-Yo IR1) och 30-15 Intermittent Fitness Test (30-15IFT). Metod: Nio damfotbollsspelare som randomiserades in i två grupper (Grupp 1, n=5, 22±3 år, kroppsvikt 64±12,8 kg och grupp 2, n=4, 20±3 år, kroppsvikt 64,2±2,4 kg). Deltagarna genomförde antingen RST och/eller Yo-Yo IR1 vid ett tillfälle och vid nästa tillfälle RST och/eller 30-15IFT. Alla tester skedde utomhus på en konstgräsplan. På Yo-Yo IR1 och 30-15IFT dokumenterades sluthastigheten. På RST dokumenterades den totala sprinttiden (RSTtotal) och %trötthet mellan bästa sprinten jämfört med resterande sprinter (RST%dec). Resultatet på testerna presenteras som en grupp i medelvärde och standardavvikelse (SD). Uträkningen av korrelationen användes Pearsons Korrelationskoefficient (r). Statistisk nivå för signifikans var p <0.05. Resultat: Korrelationen mellan Yo-Yo IR1 mot 30-15IFT samt 30-15IFT mot RSTtotal hade en väldigt stark statistiskt signifikant korrelation (r = 0.855; respektive r= -0.721). Det fanns inte någon statistiskt signifikant korrelation mellan Yo-Yo IR1 mot RSTtotal, IRL mot RST%dec, och 30-15IFT mot RST%dec (r= -0.704; r=0.209 respektive r=-0.02). Konklusion: Resultaten indikerar att det finns en väldigt stark korrelation mellan Yo-Yo IR1 och 30-15IFT och fördelar mot nackdelar bör vägas för att använda vilket test. 30-15IFT verkar använda en högre andel RSA eftersom det hade en starkare korrelation till RST än Yo-Yo IR1.

No description available.

Cette thèse s'inscrit dans le cadre du projet Compacité qui vise à développer un compresseur électrique pour véhicules électriques à l'aide d'une démarche mécatronique. Dans cette thématique, le rôle du LGEP est de développer la partie électromécanique du compresseur. Cette thèse est constituée de deux parties, la première concerne la conception d'un moteur pour le compresseur et la deuxième a trait à la commande sans capteur mécanique de ce moteur. La première partie de la thèse est d'abord consacrée au dimensionnement d'une machine électrique pour un compresseur électrique. Le cahier des charges impose une machine compacte (97mm de diamètre et une profondeur inférieure à 50mm) et ayant une puissance massique élevée (6kW pour une masse de 1.8kg). Au préalable, un modèle analytique a été développé pour effectuer un dimensionnement rapide. Par la suite, la méthode des éléments finis a été appliquée à différents modèles physiques (magnétique, thermique, mécanique (résistance des matériaux et vibration)) pour une étude approfondie de la structure choisie. A l'issue de ces études, un prototype et un banc expérimental ont été réalisés. Dans un second temps, des algorithmes de commande avec ou sans capteur mécanique ont été étudiés pour le pilotage du moteur. La particularité de cette deuxième partie de thèse est la réalisation d'une commande peu gourmande en temps de calcul et implantable dans des microcontrôleurs de faibles performances. A l'issue de cette partie, une nouvelle loi de commande appelée commande passive échantillonnée ainsi qu'un observateur adaptatif étendu (observateur fondé sur l'estimation des fem) ont été développés et testés sur un banc expérimental.