91 |
Pollution anthropique de cours d'eau : caractérisation spatio-temporelle et estimation des flux / Anthropogenic pollution of rivers : spatiotemporal caracterisation and estimation of the flowsAssaad, Aziz 24 April 2014 (has links)
La Directive Cadre sur l'Eau exige le retour au bon état des cours d'eau en Europe. Ces cours d'eau reçoivent en effet différentes pollutions liées aux différentes activités économiques des populations installées le long de leurs rives. On s'intéresse souvent de façon isolée à des types particuliers de pollution: pollution agricole dues aux pesticides, engrais et résidus d'élevage en milieu rural, pollution spécifique d'une industrie (sidérurgie, papeterie, etc.), pollution domestique plus ou moins bien traitée, etc. Or dans de nombreux cas, on a affaire à un mélange de polluants. Dans le cas de la Moselle, la pollution générée par les activités humaines dans la partie française du bassin versant de la Moselle impacte la qualité des eaux de surface en aval, et donc celle du Rhin. Notre but est de contribuer à caractériser l’état de certains affluents de la Moselle (Madon, Meurthe, Vologne et Fensch) en fonction de leurs pressions anthropiques et de proposer une stratégie pour calculer les flux des polluants le long de ces cours d’eau. Dans ce contexte des compagnes de prélèvement avec un pas spatial fin. Outre les paramètres habituels de caractérisation de l’état des masses d’eau (conductivité, pH, carbone organique dissous, azote ammoniacal, nitrates, etc.) une attention particulière a été portée aux propriétés optiques (absorbance UV-visible, fluorescence synchrone) de la matière organique dissoute afin de mieux comprendre son origine. Les spectres de fluorescence synchrone ont été étudiés par déconvolution ou par analyse en composantes principales. En outre une méthode a été développée, basée sur la spectroscopie de fluorescence synchrone, pour détecter la présence des azurants optiques. Enfin une méthodologie a été mise au point appliquée au Madon pour calculer les flux journaliers moyens de pollution à chaque station d'échantillonnage pour chaque période d'échantillonnage à partir de données géographiques. Cette méthode permet ensuite d’évaluer les flux de pollution / The Water Framework Directive demands a return to good condition for rivers in Europe. These rivers receive different types of pollution related to various economic activities of populations installed along their banks. We are often interested in an isolated manner to particular types of pollution: pollution due to agricultural pesticides, fertilizers and livestock waste in rural areas, pollution due to a specific industry (steel, paper mill, etc.), more or less well treated domestic pollution, etc. But in many cases, we are dealing with a mixture of pollutants. In the case of the Moselle, the pollution generated by human activities in the French part of the Moselle watershed impacts surface water quality downstream and therefore the Rhine. Our goal is to characterize the state of some tributaries of the Moselle (Madon, Meurthe, Vologne and Fensch) versus anthropogenic pressures and propose a strategy to calculate the flow of pollutants along these rivers. In this context, sampling campaigns with a dense spatial stations have been organized. In addition to the usual parameters characterizing water quality (conductivity, pH, dissolved organic carbon, ammonia nitrogen, nitrate, etc.) a particular attention has been given to optical properties (UV-visible absorbance, synchronous fluorescence) of dissolved organic matter in order to understand its origin. Synchronous fluorescence spectra were studied by deconvolution or by principal components analysis. A method has been developed, based on the synchronous fluorescence spectroscopy, to detect the presence of optical brighteners. Finally, a methodology has been developed in Madon watershed in order to calculate the mean daily pollution flux at each sampling station for each sampling period from geographic data
|
92 |
Réduction active des vibrations et des bruits d'une machine électrique par la stratégie de commande. / Active reduction of noise and vibrations of an electrical machine using control lawsGeoffriault, Maud 03 February 2015 (has links)
Les travaux de cette thèse s’inscrivent dans le contexte du développement de groupes motopropulseurs électriques pour véhicules automobiles. Ces développements ont mis en lumière les problématiques liées aux phénomènes acoustiques et vibratoires des machines électriques, spécifiques à l'application automobile. L'objectif de ces travaux est la mise en place de lois de commande dédiées à la réduction d'harmoniques de courant à l'origine d'harmoniques vibratoires.Pour cela, les différents éléments du système ont été modélisés, puis les paramètres du modèle électrique de la machine ont été identifiés au moyen de mesures expérimentales.Deux stratégies de commande ont ensuite été développées puis mises en place. D'une part, un régulateur dédié à l'harmonique de courant visé a été synthétisé par optimisation H-infini. D'autre part, la modélisation de l'origine de cet harmonique comme provenant d'un signal perturbateur externe a permis la compensation de celui-ci au moyen d'un observateur.L'efficacité de ces deux stratégies sur la réduction des harmoniques de courant visés et des harmoniques vibratoires correspondants a été validée expérimentalement sur banc d'essai vibratoire. / This work takes place in the context of the development of powertrains for electric vehicles. Those developments have raised new issues such as noise and vibrations of electrical machines, which are important issues in automotive applications. The aim of this thesis is to develop control laws dedicated to the reduction of currents harmonics that are responsible for vibration harmonics.In that purpose, different parts of the system have been modelled. Parameters of the electrical model of the studied machine have then been identified thanks to experimental measurements.Two different control laws are proposed and developed. One the one hand, a controller is synthetized thanks to H-infinity optimization. On the other hand, the studied current harmonic is modelled as coming from an external disturbance. This virtual disturbance is estimated thanks to an observer and compensated.
|
93 |
Fault Tolerant Control for Critical machine-inverter systems used in automotive industry / Synthèse de Commande Tolérante aux Défauts pour des systèmes critiques, à moteur triphasé, utilisés dans l’automobileDiao, El Hadji Sidath 13 November 2014 (has links)
La disponibilité de certains capteurs est indispensable pour le contrôle des machines électriques dans une application automobile. Cette thèse constitue une contribution à l'étude d'une commande tolérante aux défauts pour un entraînement électrique dans le cadre du projet SOFRACI. Pour pallier une défaillance de ces capteurs, des stratégies sont mises en place pour assurer une continuité de fonctionnement ou un arrêt sûr. Dans le cas de la machine synchrone, les capteurs les plus critiques sont: le capteur de position, les capteurs de courant et le capteur de bus de tension continue. C'est dans ce contexte que l'on a développé des algorithmes de commande tolérante aux défauts avec successivement des étapes de détection, d'isolation et de reconfiguration. Ensuite, la validation expérimentale a été effectuée sur un banc composé d’une machine synchrone et d’un onduleur avec 3 ponts H conçus pour la propulsion d’un véhicule électrique. Ainsi les méthodes développées et qui s’appuient principalement sur la théorie du contrôle, sont évaluées expérimentalement à travers des injections de défauts en temps réel, avec un accent mis sur le temps nécessaire à la détection. / During the last decade, Fault Tolerant Control (FTC) has become an increasingly interesting topic in automotive industry. The operation of electrical drives is highly dependent on feedback sensors availability. With the aim of reaching the required level of availability in transportation applications, the drive is equipped with a DC voltage sensor, three current sensors (due to safety requirements in electric vehicle standards) and a position sensor. This PhD is a contribution to the study of an electrical drive fault tolerant control. The objective is to have a system, which can adaptively reorganizes itself at a sensor failure occurrence. Consequently, strategies are defined from the early preliminary design steps, so as to facilitate fault detection, fault isolation and control reconfiguration. To this purpose, our work goes from theoretical studies toward experimental validations through the model simulation using control theory.In this thesis, FTC algorithms are developed for the rotor position, the phase currents and DC link voltage sensors. The experimentally validation is perform with an electrical drive composed of a Permanent Magnet Synchronous Machine and a 3H bridge inverter. Thus, the developed methods are evaluated experimentally through real time fault injection, with an emphasis on the detection time.
|
94 |
Contribution à l'élaboration d'une méthodologie générale de conception des machines à aimants permanents à haute vitesseCouderc, Mathieu 04 July 2008 (has links) (PDF)
Cette thèse s'est articulée autour de trois axes principaux. Dans un premier temps, les recherches se sont portées sur l'identification des problèmes (mécanique, thermique, pertes) liés à la conception des machines électromagnétiques hautes vitesses, et plus particulièrement des machines synchrones à aimants permanents. Dans ce premier travail, nous nous sommes plus particulièrement concentrés sur les aspects magnétiques, tels que l'étude des différentes sources de pertes générées au sein de la structure générique d'un moteur à aimants permanents. Ces pertes qui apparaissent simultanément au niveau du rotor, sous l'effet des courants induits, et au niveau du stator (en raison de l'hystérésis magnétique, des courants de Foucault, et de l'effet Joule) constituent un aspect d'autant plus critique que le moteur fonctionne dans une plage incluant de très hautes vitesses (> 40 000 tr/min pour une puissance de 10 kW à 100 kW). En conséquence, dans l'optique de la définition d'un moteur optimisé en termes d'effort massique et de rendement, la mise en place de modèles prédictifs capables de rendre compte de ces pertes, a été effectuée. Au-delà, des modèles physiques disponibles dans le domaine des matériaux magnétiques, il s'agissait de mettre en place des représentations à caractère générique susceptibles d'être exploitées dans un schéma de conception optimale. Parallèlement à cette première étude, un effort méthodologique a été déployé afin de développer des modèles analytiques dimensionnels de la machine synchrone à aimants permanents. A partir de ces méthodes, et d'un modèle de machine basé sur la forme et le type d'aimantation des aimants permanents, nous nous sommes attachés à développer un nouveau modèle analytique qui prend en compte les phénomènes physiques majeurs inhérents au fonctionnement à haute vitesse, à savoir les courants induits dans les parties conductrices tournantes. Dans ce contexte, il a été nécessaire de redéfinir une structure de référence dont le rotor conducteur supporte par ailleurs une couche métallique conductrice faisant office de frette. Dans un premier temps, un modèle a été réalisé pour une distribution des conducteurs avec un pas diamétral et une alimentation sinusoïdale, ce qui correspond à la configuration statorique la plus utilisée et la plus standard pour ce type de moteur. Après s'être confronté à un premier dimensionnement de machine haute vitesse, nous avons décidé de rendre notre modèle plus générique afin qu'il puisse prendre en compte un bobinage et une forme d'alimentation quelconque. Cette amélioration permet de rendre compte fidèlement des conditions de fonctionnement de l'actionneur (association convertisseur-machine), notamment les harmoniques de courants apportées par le convertisseur. Les modèles analytiques implantés ont été entièrement validés par simulations numériques, et ont donné des résultats très satisfaisants. Dès lors, il a été possible d'implanter ce logiciel dans un environnement informatique directement exploitable au sein de la société LIEBHERR AEROSPACE. Suite à une première phase de validation des modèles analytiques par simulations numériques, des tests expérimentaux ont été menés sur des machines électriques hautes vitesses. La comparaison de tous les résultats obtenus démontre de façon satisfaisante la fiabilité des modèles développés. L'ultime phase de l'étude concerne la réalisation d'un démonstrateur avec une structure de type machine à aimants permanents. Conformément à la stratégie adoptée par l'industriel, cette étude expérimentale s'est appuyée sur la réalisation d'un prototype à l'échelle 1 (puissance de 70 kW). ABSTRACT : This thesis is divided in three main axes. Firstly, researches are done on identification problems (mechanics, thermals, losses) links to high speed electromagnetic machine design, and most particularly of permanent magnet synchronous machine. In this first work, magnetic aspects such as study of different losses origins in permanent magnet machines are been reached. These losses appear in the same time in the rotor (induced current), and in the stator (magnetic field hysteresis, eddy current, Joule effect). The higher motor speed is, the most critic these loses are (> 40 000 rpm with a power of 10 kW to 100 kW). In order to define an optimal design in terms of weight effort and efficiency, the predictive modelling of these losses is been studied. Beyond physical modelling available on magnetic materials, a generic representation to be able to use in an optimal design schematic was be studied. Secondly, a methodological effort is been achieve to develop sizing analytical modelling of permanent magnet synchronous machine. From this method and a machine modelling based on permanent magnets shape and type of magnetization, a new analytical modelling is developed. It takes into account major physical phenomenon due to high speed, mainly the induced current in the rotating conductive parts. In this context, it will be necessary to redefine a referential structure where the conducting parts (magnets and sleeve) are represented by a superficial current. In this first part, the stator winding is a full pitch represented by an equivalent ampere conductor distribution and the electrical supplier is only sinusoidal current. So, it's the most popular and standard configuration for this machine. In this second part the analytical modelling is upgraded to take into account different types of windings and any current forms. This improvement allows to consider the real electrical supplier (combination of inverter-machine) as the current harmonics due to the inverter. The analytical modelling is been validated by a comparison with a finite element calculation. The obtained results are very close. So, Liebherr Aerospace decided to develop a dedicated software which is based on this analytical modelling. Further to the complete numerical validation of our analytical modelling, experimental test have been done on the high speed electrical machine. The comparison of results shows the reliability of the developed modelling. The final point of this study is the prototype realisation of high speed electrical machine (70 kw) in phase with the strategy of the industrial.
|
95 |
Information transmission by the synchronous activity of neuronal populationsKruscha, Alexandra 21 September 2017 (has links)
Sensorische Nervenzellen kodieren Informationen über die Umwelt mittels
elektrischer Impulse, sogenannte Aktionspotentiale oder Spikes. Diese werden
weitergeleitet zu postsynaptischen Neuronen im zentralen Nervensystem, welche
unterschiedliche Auslesestrategien verwenden. Integratorzellen summieren alle
ankommenden Aktionspotentiale auf, wodurch sie die Gesamtaktivität einer
präsynaptischen Population messen. Koinzidenzdetektoren hingegen, werden nur
durch das synchrone Feuern der zuführenden Neuronenpopulation aktiviert.
Die grundlegende Frage dieser Dissertation lautet: Welche Information eines
zeitabhängigen Signals kodieren die synchronen Spikes einer Neuronenpopulation
im Vergleich zu der Summe all ihrer Aktionspotentiale? Hierbei verwenden wir die
Theorie stochastischer Prozesse: wir berechnen Spektralmaße, die es ermöglichen
Aussagen darüber zu treffen welche Frequenzkomponenten eines Signals vorwiegend
transmittiert werden. Im Gegensatz zu früheren Studien, verstehen wir unter
einem synchronen Ereignis nicht zwangsläufig, dass die gesamte Population
simultan feuert, sondern, dass ein minimaler Anteil („Synchronizitätsschranke")
gleichzeitig aktiv ist. Unsere Analyse zeigt, dass die synchrone
Populationsaktivität als ein Bandpass-Informationsfilter agieren kann: die
synchronen Spikes kodieren hauptsächlich schnelle Signalanteile. Damit stellt
die Selektion simultaner Neuronenaktivität ein potentielles Mittel dar um
gleichzeitig anwesende, konkurrierende Signale voneinander zu trennen. Dabei
hängen die genauen Charakteristika der Informationsfilterung ausschlaggebend von
der Synchronizitätsschwelle ab. Insbesondere zeigt sich, dass eine Symmetrie in
der Schwelle vorliegt,die die Äquivalenz der Kodierungseigenschaften von
synchronem Feuern und synchronem Schweigen offenlegt. Unsere analytischen
Ergebnisse testen wir mittels numerischer Simulationen und vergleichen sie mit
Experimenten am schwach elektrischen Fisch. / Populations of sensory neurons encode information about the environment into electrical pulses, so called action potentials or spikes. Neurons in the brain process these pulses further by using different readout strategies.
Integrator cells sum up all incoming action potentials and are thus sensitive to the overall activity of a presynaptic population.
Coincidence detectors, on the other hand, are activated by the synchronous firing of the afferent population. The main question of this thesis is: What information about a common time-dependent stimulus is encoded in the synchronous spikes of a neuronal population in comparison to the sum of all spikes? We approach this question within the framework of spectral analysis of stochastic processes, which allows to assess which frequency components of a signal are predominantly encoded. Here, in contrast to earlier studies, a synchronous event does not necessarily mean that all neurons of the population fire simultaneously, but that at least a prescribed fraction ('synchrony threshold') needs to be active within a small time interval.
We derive analytical expressions of the correlation statistics which are compared to numerical simulations and experiments on weakly electric fish. We show that the information transmission of the synchronous output depends highly on the synchrony threshold. We uncover a symmetry in the synchrony threshold, unveiling the similarity in the encoding capability of the common firing and the common silence of a population. Our results demonstrate that the synchronous output can act as a band-pass filter of information, i.e. it extracts predominantly fast components of a stimulus. If signals in different frequency regimes are concurrently present, the selection of synchronous firing events can thus be a tool to separate these signals.
|
96 |
Réduction active des vibrations et des bruits d'une machine électrique par la stratégie de commande. / Active reduction of noise and vibrations of an electrical machine using control lawsGeoffriault, Maud 03 February 2015 (has links)
Les travaux de cette thèse s’inscrivent dans le contexte du développement de groupes motopropulseurs électriques pour véhicules automobiles. Ces développements ont mis en lumière les problématiques liées aux phénomènes acoustiques et vibratoires des machines électriques, spécifiques à l'application automobile. L'objectif de ces travaux est la mise en place de lois de commande dédiées à la réduction d'harmoniques de courant à l'origine d'harmoniques vibratoires.Pour cela, les différents éléments du système ont été modélisés, puis les paramètres du modèle électrique de la machine ont été identifiés au moyen de mesures expérimentales.Deux stratégies de commande ont ensuite été développées puis mises en place. D'une part, un régulateur dédié à l'harmonique de courant visé a été synthétisé par optimisation H-infini. D'autre part, la modélisation de l'origine de cet harmonique comme provenant d'un signal perturbateur externe a permis la compensation de celui-ci au moyen d'un observateur.L'efficacité de ces deux stratégies sur la réduction des harmoniques de courant visés et des harmoniques vibratoires correspondants a été validée expérimentalement sur banc d'essai vibratoire. / This work takes place in the context of the development of powertrains for electric vehicles. Those developments have raised new issues such as noise and vibrations of electrical machines, which are important issues in automotive applications. The aim of this thesis is to develop control laws dedicated to the reduction of currents harmonics that are responsible for vibration harmonics.In that purpose, different parts of the system have been modelled. Parameters of the electrical model of the studied machine have then been identified thanks to experimental measurements.Two different control laws are proposed and developed. One the one hand, a controller is synthetized thanks to H-infinity optimization. On the other hand, the studied current harmonic is modelled as coming from an external disturbance. This virtual disturbance is estimated thanks to an observer and compensated.
|
97 |
Fully FPGA-based Sensorless Control for synchronous AC drive using an Extended Kalman Filter / Fully FPGA-based Sensorless Control for synchronous AC drive using an Extended Kalman FilterIdkhajine, Lahoucine 24 November 2010 (has links)
L'objectif du travail réalisé dans le cadre de cette thèse est de montrer l'intérêt d'utiliser les FPGAs (Field Programmable Gate Array) comme support pour l'implantation d'algorithmes complexes dédiés à la commande de machines électriques. Pour ce faire, une commande sans capteur mécanique utilisant un filtre de Kalman étendu et basée sur FPGA est réalisée. Cette commande est destinée à piloter une machine synchrone à pôles saillants. Le modèle d-q de la machine basé sur l'approximation d'inertie infinie est implanté. L'ordre du Filtre de Kalman est donc égal à 4 et la complexité totale de la boucle de régulation est évaluée à près de 700 opérations arithmétiques (dont plus de 53% de multiplications). Les apports des solutions FPGAs en termes de performances de contrôle et en termes de capacité d'intégration sont quantifiés.En terme de performances de contrôle, il a été démontré qu'en utilisant de telles solutions matérielles, le temps de calcul est très réduit (de l'ordre de 5µs, 5% de la période d'échantillonnage). Cette rapidité de calcul permet d'avoir un contrôle quasi-instantané ce qui améliore la bande passante de la boucle de régulation. A ce sujet, une comparaison avec les performances obtenues avec une solution logicielle telle que le DSP est effectuée. Dans les deux cas, le comportement dynamique de la boucle de régulation s de vitesse ans capteur est quantifié.En termes de capacité d'intégration, il est possible de développer une architecture commune qui peut être adaptée à plusieurs systèmes. A titre d'exemple, il est possible de développer un filtre de Kalman sur un même FPGA capable d'estimer les grandeurs de plusieurs systèmes sans pour autant affecter les performances de contrôle. En outre, une méthodologie de développement dédiée à de tels algorithmes complexes est proposée. Il s'agit là d'une adaptation des méthodologies proposées dans des travaux de thèse précédents, [62] et [63]. En effet, une étape de spécification préliminaire du système ainsi que des procédures d'optimisation supplémentaires y sont introduites. Ces dernières sont particulièrement nécessaires dans le cas de commandes complexes et permettent une adéquation entre l'algorithme développé et l'architecture FPGA correspondante. De plus, cette méthodologie a été organisée de façon à distinguer l'étape du développement de l'algorithme et l'étape du développement de l'architecture FPGA. Un état de l'art sur les technologies FPGA est également proposé. La structure interne des FPGAs récents est décrite. Leur contribution dans le domaine de la commande des machines électriques est quantifiée. Les différentes étapes de la méthodologie de développement sont présentées. Le développement d'une commande numérique (basée sur FPGA) d'une machine synchrone à aimant permanent associée à un capteur de position Resolver est par la suite traité. Cette application s'inscrit dans un contexte avionique où l'objectif était d'avoir une solution FPGA hautement intégrée. Pour ce faire, le FPGA Actel Fusion est utilisé. Ce composant intègre un convertisseur analogique numérique. La commande, le traitement des signaux Resolver ainsi que la conversion analogique numériques sont implantés sur le même composant.En ce qui concerne la commande sans capteur basée sur le filtre de Kalman étendu, il a été décidé de structurer les chapitres correspondants à travers la méthodologie de développement proposée. Ainsi, la phase de spécification préliminaire du système, la phase du développement de l'algorithme, la phase du développement de l'architecture FPGA et la phase d'expérimentation sont séparément traitées. Durant la phase d'expérimentation, la procédure «Hardware-In-the-Loop (HIL)» est incluse afin de valider le fonctionnement de l'architecture développée une fois la phase d'implantation physique achevée. / The aim of this thesis is to present the interest of using Field Programmable Gate Array (FPGA) devices for the implementation of complex AC drive controllers. The case of a sensorless speed controller using the Extended Kalman Filter (EKF) has been chosen and applied to a Salient Synchronous Machine (SSM). The d-q model based on the infinite inertia hypothesis has been implemented. The corresponding EKF order is then equal to 4 and the complexity of the whole sensorless controller is equal to 700 arithmetic operations (more than 53% of multiplications). The contribution of FPGAs in this field has been quantified in terms of control performances and in terms of system integration. In terms of control performances, the proposed FPGA-based solution ensures a short execution time which is around 5µs (5% of the sampling period). This treatment fastness ensures a quasi-instantaneous control which improves the control bandwidth. To this purpose, a comparison with a software DSP-based solution is made. The dynamic behavior and the influence of the execution time, in both cases, on the control bandwidth have been quantified. In terms of integration capacity, it is possible to implement a generic FPGA architecture that can be adapted to the control of several systems. Thus, it is possible to develop a common EKF architecture that is able to estimate variables from many systems without affecting the control performances.In addition, a design methodology adapted to such complex controllers has been proposed. The particularity of this updated methodology, compared to the previous ones ([62], [63]), is to provide an enlarged set of steps starting from the preliminary system specification to the ultimate experimentation. Optimization procedures have also been introduced. These optimizations are necessary in case of complex controllers and lead to the adequation between the developed algorithm and the corresponding hardware FPGA architecture. A state of the art FPGA technology is also presented. The internal structure of the recent devices and their corresponding technology are discussed. Their contribution in the field of AC drive applications is quantified. An in-depth presentation of the proposed design methodology is made.Besides, the development of a fully integrated FPGA-based controller for a Permanent Magnet Synchronous Machine (PMSM) associated with a Resolver sensor is presented. This controller has been developed in for an aircraft application where the main objective was to develop a fully integrated FPGA solution. The Actel Fusion FPGA device has been used. This device integrates an Analog to Digital Converter (ADC). The current controller, the Resolver Processing Unit (RPU) and the analog to digital conversion are implemented within the same device. When it comes to the sensorless controller, the corresponding chapters have been structured according to the presented design methodology: the preliminary system specification, the algorithm development, the FPGA architecture development and finally the experimentation. The latter includes Hardware-In-the-Loop (HIL) tests and the final experimental validation.
|
98 |
Vers un langage synchrone sûr et securisé / Towards a safe and secure synchronous languageAttar, Pejman 12 December 2013 (has links)
Cette thèse propose une nouvelle approche du parallélisme et de la concurrence, posant les bases d'un langage de programmation à la fois sûr et "secure" (garantissant la sécurité des données), fondé sur une sémantique formelle claire et simple, tout en étant adapté aux architectures multi-cœur. Nous avons adopté le paradigme synchrone, dans sa variante réactive, qui fournit une alternative simple à la programmation concurrente standard en limitant l'impact des erreurs dépendant du temps ("data-races"). Dans un premier temps, nous avons considéré un langage réactif d'orchestration, DSL, dans lequel on fait abstraction de la mémoire (Partie 1). Dans le but de pouvoir traiter la mémoire et la sécurité, nous avons ensuite étudié (Partie 2) un noyau réactif, CRL, qui utilise un opérateur de parallélisme déterministe. Nous avons prouvé la réactivité bornée des programmes de CRL. Nous avons ensuite équipé CRL de mécanismes pour contrôler le flux d'information (Partie 3). Pour cela, nous avons d'abord étendu CRL avec des niveaux de sécurité pour les données, puis nous avons défini dans le langage étendu, SSL, un système de types permettant d'éviter les fuites d'information. Parallèlement (Partie 4), nous avons ajouté la mémoire à CRL, en proposant le modèle DSLM. En utilisant une notion d'agent, nous avons structuré la mémoire de telle sorte qu'il ne puisse y avoir de "data-races". Nous avons également étudié l'implémentation de DSLM sur les architectures multi-cœur, fondée sur la notion de site et de migration d'un agent entre les sites. L'unification de SSL et de DSLM est une piste pour un travail futur. / This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics, enjoying both safety and security properties, while lending itself to an implementation on multicore architectures. We adopted the synchronous programming paradigm, in its reactive variant, which provides a simple alternative to standard concurrent programming by limiting the impact of time-dependent errors ("data-races"). As a first step (Part 1), we considered a reactive orchestration language, DSL, which abstracts away from the memory. To set the basis for a formal treatment of memory and security, we then focussed on a reactive kernel, CRL, equipped with a deterministic parallel operator (Part 2). We proved bounded reactivity of CRL programs. Next, we enriched CRL with mechanisms for information flow control (Part 3). To this end, we first extended CRL with security levels for data. We then defined a type system on the extended language, SSL, which ensures the absence of information leaks. Finally, we added memory to CRL, as well as the notions of agent and site, thus obtaining the model DSLM (Part 4). We structured the memory in such a way that data-races cannot occur, neither within nor among agents. We also investigated the implementation of DSLM on multicore architectures, using the possibility of agent migration between sites. The unification of SSL and DSLM is left for future work.
|
99 |
Dimensionnement multi-physique des véhicules hybrides, de leurs composants et de la commande du système / Multiphysics sizing of components and energy management of hybrid electric vehicle systemsLe guyadec, Mathias 01 October 2018 (has links)
Le transport routier est au cœur des enjeux environnementaux actuels. Les véhicules électriques hybrides (VEH) sont une alternative intéressante, notamment en milieu urbain. Cependant, la conception de tels systèmes est complexe car la chaîne de traction (composants et architecture), la mission et la gestion énergétique du véhicule sont intimement liées.Les travaux de V. Reinbold ont permis de mettre au point une méthodologie de dimensionnement de VEH. Les composants sont optimisés conjointement avec la gestion énergétique sur un cycle de fonctionnement afin de minimiser la consommation de carburant du véhicule. Une attention particulière est portée à la conception fine de la machine électrique via un modèle électromagnétique adapté à l’optimisation.Dans la suite de ces travaux, nous approfondissons plusieurs aspects du dimensionnement des VEH. Tout d’abord, nous introduisons la possibilité de gérer des paramètres discrets de la machine, comme le nombre de paires de pôles. Dans un second temps, nous développons un modèle thermique de la machine prenant notamment en compte les échanges autour des têtes de bobine. Ce modèle analytique par réseau de résistances thermiques est intégré puis utilisé dans le processus de dimensionnement par optimisation. Il a été préalablement validé via un modèle par éléments finis. Des méthodes d’analyse d’incertitude et de sensibilité sont appliquées afin de quantifier l’influence de certains paramètres thermiques. Enfin, nous appliquons la méthodologie de dimensionnement par optimisation à une architecture série/parallèle, intégrant deux machines électriques. / Road transportation has a huge impact on the environment. Hybrid electric vehicles (HEV) are an interesting alternative, especially for urban uses. However, HEV are complex systems to design because of the strong interaction between the component sizing, the energy management and the driving cycle.V. Reinbold previously developed a sizing methodology for HEV. The components and the energy management are simultaneously optimized to reduce the fuel consumption of the vehicle over a driving cycle. A specific electromagnetic model is used during the optimization process to describe accurately the electrical machine.As a continuation, we introduce firstly the possibility to deal with discrete variables such as the pole number of the electrical machine. Then, we develop a thermal model of the machine considering the convection exchanges around the end-windings. This analytical lumped parameter thermal network is used during the optimization process after being validated thanks to a finite element model. Uncertainty and sensitivity analysis are used to check the influence of some of the thermal parameters. Finally, the sizing methodology is applied to a series/parallel HEV including two electrical machines.
|
100 |
Apprentissage du français dans une université anglophone au Cameroun : de l’expérience du quasi-synchrone à un nouveau modèle d’intégration des TIC / Learning French in an English-speaking university in CameroonNgandeu, Joseph blaise 15 October 2015 (has links)
Les Technologies de l’Information et de la Communication (TIC) font désormais partie du paysage de nombreux établissements d’enseignement supérieur, secondaire et même primaire en Afrique. Les avantages pour l’Institution, l’enseignant et l’apprenant sont avérés (Mvoto Meyong, 2010). Cependant les expériences, à l’échelle des établissements de formation, sont encore peu nombreuses et peu concluantes. Cette thèse porte sur l’intégration des TIC dans un cours de français pour anglophones à l’université de Buéa au Cameroun. Le cours traditionnel, dans sa version uniquement présentiel en classe, se déroule dans un contexte limitant fortement la satisfaction d’objectifs pédagogiques essentiels. En effet, les effectifs pléthoriques, le peu de temps alloué à la formation, l’hétérogénéité des groupes d’apprenants font que les compétences de production ainsi que les compétences en interaction des intéressés ne peuvent être développées. En réponse à cet existant, cette thèse, de type recherche-action, présente un dispositif hybride articulant travail en classe et dans le centre technologique de l’université. Là sont offertes des activités de communication en petits groupes dans une modalité quasi-synchrone. Cette modalité, peu souvent étudiée dans la littérature de recherche, offre une alternative réaliste aux environnements synchrones peu fiables, compte tenu de l’état des réseaux et de l’Internet dans cette partie du monde. Afin d’étudier si ce nouveau dispositif de formation permet de dépasser les difficultés évoquées et de faciliter l’apprentissage, je l’ai déployé deux années successives, en l’entourant d’un protocole de recherche. Les données recueillies m’ont permis d’analyser les interactions, de mettre en évidence les traces d’apprentissage. Mais cette double expérimentation apporte aussi un nouvel éclairage au travers de l’analyse des obstacles qui ont handicapé la mise en œuvre du dispositif technopédagogique. Je questionne le modèle d’intégration des TIC qui traditionnellement concentre toutes les ressources en un seul endroit, sans tenir compte des contextes technologiquement limités. J’esquisse une voie alternative destinée, grâce à l’apprentissage mobile, à intégrer les TIC dans des dispositifs de formation de langues et un contexte technologique proches de notre situation prototypique. / Information and Communication Technologies are now part of the life of many institutions of higher education, secondary education and even primary education. The benefits for these institutions, as well as for teachers and learners are established. However, there are very few cases of experiments carried out in learning Institutions with positive results. This thesis is about integrating ICTs into a French course in the Anglo-Saxon university of Buea in Cameroon. The context in which the course is taught in classrooms makes it difficult for the objectives to be met. Because of the large class size, the little time allocated to the course and the heterogeneous nature of students’ language levels, speaking, writing and interactional skills are not worked out in class. This action research thesis sets out to propose a blended learning set-up that hinges around the university IT Centre. Online classes are articulated with classroom sessions. Thus, students have the opportunity to involve in small groups, in communicative activities and in quasi synchronous mode. These communication modality, very often less studied by CMC researchers, is an efficient alternative to synchronous communication and environments that are very much reliable as far as internet quality is concerned in that part of the world. The general question that has driven the research is: How can a technology instrumented approach help in overcoming difficulties and ease learning? To answer that question, two technology based experiences were carried out. They were guided by a research protocol. Data collected enable me to analyse interactions and determine traces of language acquisition. From the circumstances surrounding the experiments, it is discovered that there are a number of obstacles to the integration of ICT in “low tech context” like that which is studied. The technology-based stet-up pattern is then questioned. This research work goes further to propose mobile learning as an alternative to the ICT integration model that concentrates all the resources in a single location.
|
Page generated in 0.2978 seconds