211 |
Élaboration, caractérisation et propriétés de stockage d’hydrogène électrochimique des alliages : Mg2Ni1–xMnx (x = 0, 0.125, 0.25, 0.375) et Mg2–xAlxNi (x = 0, 0.25) + 5 wt.% MWCNTs préparés par mécanosynthèse / Synthesis, characjterization and electrochemical hydrogen storage properties of Mg2 Ni1-xMnx(X = 0, 0.125, 0.25, 0.375) alloys and Mg2-xAlxNi(X=0,0.25) + 5WT%MWCNTs composites prepared by mechanical alloyingHuang, Liwu 26 January 2012 (has links)
L’utilisation des combustibles fossiles (énergies non renouvelables) est responsable de l’augmentation de la concentration en gaz à effet de serre dans l’atmosphère. Parmi les solutions de remplacement envisagées, l’hydrogène apparaît comme le vecteur énergétique le plus séduisant. Son stockage dans des intermétalliques permet d’obtenir des capacités massiques et volumiques (e.g. 140 g/L) supérieures à celles obtenues en voie liquide ou sous pression (respectivement 71 et 40 g/L). Dans les accumulateurs Nickel-Métal Hydrure (Ni-MH), l’électrode négative est constituée d’un composé intermétallique qui absorbe l’hydrogène de façon réversible dans des conditions normales de pression et de température. Ce travail de thèse vise d’une part, à synthétiser les alliages Mg2Ni1-xMnx (x =0, 0.125, 0.25, 0.375) et les alliages Mg2-xAlxNi (x = 0, 0.25) avec ou sans nanotubes de carbone (MWCNTs) par mécanosynthèse et d’autre part, d’étudier les effets des substitutions/additions sur la composition et la microstructure des alliages Mg2Ni afin d’améliorer leurs propriétés de stockage d’hydrogène.Les résultats obtenus montrent que les capacités de décharge des alliages Mg2Ni1-xMnx(x = 0, 0.125, 0.25, 0.375) augmentent avec le temps de broyage. Pour l’alliage Mg2Ni0.625Mn0.375 broyé durant 48 h, nous avons mis en évidence la formation d’une nouvelle phase Mg3MnNi2 qui est relativement stable. Par conséquent, Mg3MnNi2 est capable d’améliorer de manière significative la stabilité des cycles tout en maintenant une capacité de décharge relativement élevée.Les résultats obtenus par la théorie de la fonctionnelle de la densité (DFT) en utilisant le programme CASTEP montrent d’une part, que les paramètres de maille et les coordinations atomiques sont en parfait accord avec les résultats expérimentaux. D’autre part, que la stabilité des phases décroit graduellement selon l’ordre suivant : Mg2Ni sans aucune substitution >Mg3MnNi2 > Mg2Ni avec substitution par Mn.L’addition de nanotubes de carbone et de Al ont des effets synergétiques sur la capacité de stockage d’hydrogène électrochimique dans le cas des alliages Mg2-xAlxNi (x = 0, 0.25) + 5 wt.% MWCNTs. / The use of fossil fuels (non-renewable energy) is responsible for increasing the concentration of greenhouse gases in the atmosphere. Among the considered alternatives, hydrogen is seen as the most attractive energy vector. The storage in intermetallics makes it possible to obtain mass and volume capacities (e.g. 140 g/L) higher than those obtained by liquid form or under pressure (respectively 71 and 40 g/L). The negative electrode of Nickel-Metal Hydride (NiMH) batteries, is constituted by an intermetallic compound which is able to reversibly absorb hydrogen under normal conditions. In this work, on the one hand, Mg2Ni1-xMnx(x=0, 0.125, 0.25, 0.375) and Mg2-xAlxNi (x = 0, 0.25) electrode alloys with and without multiwalled carbon nanotubes (MWCNTs) have been prepared by Mechanical Alloying. On the other hand, influence of the partial elements substitution on the microstructure and electrochemical hydrogen storage properties of Mg2Ni-type alloy has been studied.The results show that the discharge capacities of Mg2Ni1-xMnx (x =0, 0.125, 0.25, 0.375) alloys increase with the prolongation of milling time. The new phase Mg3MnNi2 is formed only when x=0.375 after 48 h of milling. Mg3MnNi2 phase is relatively stable during charge/discharge cycles and therefore can significantly enhance the cycle stability under simultaneously maintaining a high discharge capacity.Based on the calculated results of first principles, the lattice parameters and atomic coordinates are in good agreement with the experimental results and the stability of phases gradually decreases along the sequence pure Mg2Ni phase > Mg3MnNi2 phase > Mn-substitution doped Mg2Ni phase.When Al and MWCNTs are added simultaneously, the highest discharge capacity is obtained for Mg1.75Al0.25Ni-MWCNTs composite, which implies that MWCNTs and Al have synergistic effects on electrochemical hydrogen storage capacity of milled alloys.
|
212 |
Rôle des hétérogénéités mantelliques dans la genèse des MORB : Etude expérimentale de la fusion partielle des pyroxénites et des interactions magma/roche à haute pressionLambart, Sarah 08 January 2010 (has links) (PDF)
Depuis une vingtaine d'années, la connaissance de la variabilité chimique et pétrographique des laves formées en contexte d'accrétion océanique (MORB) s'est considérablement approfondie. Il est ainsi apparu que le manteau supérieur sub-océanique est beaucoup plus hétérogène que ne le laissait penser la relative homogénéité chimique des MORB. Ainsi, le manteau contient une fraction significative de pyroxénites qui pourraient jouer un rôle important dans la production des basaltes. De même, l'importance des interactions entre les magmas en cours d'ascension et leur encaissant péridotitique a longtemps été sous-estimée. Le transport des magmas basaltiques dans des chenaux dunitiques de haute perméabilité formés par la focalisation des magmas en profondeur est le mécanisme généralement proposé sous les rides médio-océaniques, mais l'ampleur des transformations chimiques subies par les magmas au cours ce processus est encore peu connue. J'ai réalisé des expériences en piston-cylindre entre 0.5 et 2.5 GPa pour caractériser les relations de fusion et les compositions de liquide de trois pyroxénites et pour quantifier les effets des interactions magma/péridotite. La technique d'extraction des liquides par microdike a été utilisée pour obtenir des analyses de verre fiables même à de très faibles degrés de fusion. L'objectif était d'apporter des réponses à trois problèmes importants de la pétrogenèse des MORB : Quel est le rôle des pyroxénites sur la composition en éléments majeurs des MORB ? Quel est le sort des liquides pyroxénitiques durant leur passage à travers le manteau péridotitique ? Quelles sont les transformations induites par la focalisation des magmas et les interactions magma/roche sur la composition chimique des liquides et sur la chimie et la minéralogie de l'encaissant péridotitique ? Les données acquises au cours de cette thèse constituent une base de données importante sur les relations de fusion des pyroxénites et sur les compositions des liquides issus des pyroxénites, en particulier les compositions aux faibles degrés de fusion. Les expériences de fusion partielle menées sur trois pyroxénites représentatives de la variabilité compositionnelle mondiale montrent que, à 1 et 1.5 GPa, la plupart des liquides issus des pyroxénites présentent des compositions en éléments majeurs très similaires à celles des liquides péridotitiques. Ces liquides sont susceptibles de remonter à la surface en interagissant peu ou pas avec le manteau environnant. A plus haute pression, les interactions entre les liquides issus des pyroxénites et le manteau péridotitique subsolidus aboutissent au contraire à une consommation substantielle des liquides et à une forte cristallisation de clinopyroxènes susceptibles d'isoler les pyroxénites de leur encaissant et de créer de nouvelles hétérogénéités lithologiques dans le manteau supérieur. Par conséquent, la fusion partielle des pyroxénites peut avoir des effets significatifs sur la composition minéralogique et chimique du manteau et sur les dynamiques d'extraction et de transport des magmas. Au contraire, dans la plupart des cas, la contribution de liquides issus des pyroxénites n'entraîne pas de changement majeur dans les compositions des magmas basaltiques primitifs. Plus rarement, les pyroxénites produisent des liquides anormalement pauvres en silice et riches en fer dont on retrouve peut-être la signature dans une classe de MORB primitifs avec FeO > 8.5 % et SiO2 < 48.7 % pds. Enfin, les expériences simulant le processus de focalisation des magmas sous les rides médioocéaniques confirment que la focalisation peut expliquer à la fois la formation de chenaux dunitiques et la composition des MORB primitif, en particulier leur sous-saturation en orthopyroxènes.
|
213 |
Test de type-log rank pour l'évolution de la qualité de vie liée à la santéBoisson, Véronique 03 December 2008 (has links) (PDF)
Les études épidémiologiques longitudinales sur la qualité de vie (QdV) connaissent un essor depuis quelques années, surtout pour les maladies chroniques où aucun traitement curatif n'existe. L'objectif de ces études est la surveillance de la santé incluant la QdV et la survie. Une telle surveillance repose sur la comparaison de l'évolution longitudinale de QdV entre groupes de patients. Aussi, avons nous élaboré un test global de type log-rank pour l'évolution longitudinale de QdV par rapport à un taux de dégradation de QdV pour deux groupes de patients. <br />Généralement lors de ces études, des questionnaires de QdV sont donnés à remplir aux patients permettant de calculer leur score de QdV. L'évolution de QdV se traduit par le concept de dégradation de QdV. Un taux critique x de dégradation de QdV peut être fixé. Les patients sont considérés comme dégradés si leur score de QdV est supérieur à x. Nous étendons la statistique du score de vraisemblance partielle afin de prendre en compte un taux x de dégradation de QdV préalablement fixé et montrons que le vecteur du processus de score normalisé converge vers un processus gaussien centré. Le taux x de dégradation de QdV est ensuite supposé variable. A l'aide de la théorie des processus empiriques nous prouvons la convergence en distribution de la statistique du score normalisé vers un processus gaussien. Ces travaux ont permis de construire, lorsque le taux x de dégradation de QdV est variable, un test de type log-rank permettant de comparer l'évolution longitudinale de la dégradation de QdV pour deux goupes de patients.<br />Des simulations et une application à une cohorte de patients infectés par le VIH sont présentées.
|
214 |
Amplification paramétrique dans les fibres optiques pour les télécommunications à haut débitMussot, Arnaud 01 October 2004 (has links) (PDF)
Cette thèse porte sur l'utilisation du processus d'amplification paramétrique dans le fibres optiques dans le cadre d'applications en télécommunications (collaboration avec Alcatel) et sur la génération de supercontinuum spectraux. Les Amplificateurs Paramétriques à Fibres Optiques (FOPA) possèdent un potentiel intéressant en vue d'applications en télécommunications, en raison des larges bandes de gain disponibles, de leur accordabilité en longueur d'onde et de leurs propriétés de conversion de fréquence. Nous proposons un travail principalement théorique afin de vérifier la compatibilité de cette nouvelle famille d'amplificateurs avec les performances que requièrent les systèmes de télécommunications actuels. Différents formats de modulation de phase de la pompe sont étudiés afin de s'affranchir de la diffusion Brillouin stimulée, susceptible d'être engendrée par les puissantes pompes continues mises en oeuvre dans ces amplificateurs. Les performances de ces pompes sont ensuite évaluées sur des signaux monochromatiques et sur des signaux modulés en intensités. Ces résultats théoriques, en accord qualitatif avec des essais expérimentaux réalisés par Alcatel, montrent que la modulation de phase de la pompe induit des variations d'intensité pénalisantes pour des applications en télécommunications. Plusieurs solutions permettant de s'en affranchir sont alors proposées. D'autre part, nous démontrons qu'une mesure correcte de la figure de bruit de ces amplificateurs doit être effectuée dans le domaine des radiofréquences. L'amplification de signaux WDM est ensuite étudiée et nous démontrons qu'un positionnement spectral particulier du peigne WDM par rapport à la longueur d'onde de pompe permet de minimiser les interactions paramétriques parasites entre signaux et pompe. Par ailleurs, nous illustrons l'impact des fluctuations longitudinales de la longueur d'onde de dispersion nulle sur l'allure des courbes de gain d'un FOPA. La sensibilité des FOPAs à ces fluctuations nous a d'ailleurs permis de développer une nouvelle méthode de cartographie de la longueur d'onde de dispersion nulle d'une fibre optique de quelques centaines de mètres seulement. Enfin, une étude plus prospective de l'impact de la cohérence partielle d'ondes continues et intrinsèquement spectralement larges de type lasers à fibres sur le processus d'Instabilité de Modulation (MI) est proposée. D'une part nous démontrons que ce processus combiné à l'émission d'ondes dispersives permet d'expliquer l'élargissement spectral asymétrique observé expérimentalement. D'autre part, que l'utilisation de lasers à fibres pour pomper des FOPAs serait envisageable sous certaines conditions. Concernant la génération de supercontinuum spectraux dans les fibres optiques, nous proposons un dispositif expérimental simple, composé d'un micro-laser et d'une fibre de télécommunication standard, qui permet d'obtenir un supercontinuum monomode spatialement de plus de 1100 nm.
|
215 |
Optimisation multicritère : fondements et conceptsOthmani, Imed 20 May 1998 (has links) (PDF)
L'optimisation multicritère consiste à choisir, en présence de critères multiples, une (des) alternative(s) parmi un nombre infini d'alternatives qui varient généralement dans un domaine continu. Depuis une trentaine d'années, le domaine de l'optimisation multicritère connaît une évolution importante. Cette évolution s'est traduite par le développement d'un grand nombre de méthodes. La multitude des méthodes d'optimisation multicritère est perçue comme une richesse incontestable de ce domaine. D'ailleurs, certains la justifient par la diversité des problèmes ainsi que par l'existence de différentes approches de résolution possibles et légitimes de ces problèmes. Cependant, ce phénomène révèle aussi des faiblesses certaines. En effet, la plupart de ces méthodes manquent de fondements axiomatisés, et il est difficile de choisir la méthode à appliquer face à une situation donnée. Le travail présenté dans ce mémoire propose une approche axiomatisée d'optimisation multicritère. Cette approche est fondée sur des concepts tels que l'efficacité partielle qui sont motivés et justifiés par des interprétation intelligibles. Elle est Robuste par rapport aux paramètres utilisés, opérationnelle, et évolutive. Elle peut être utilisée dans la résolution de différentes situations multicritères tels que les problèmes comportant des critères nombreux et incommensurables et les problèmes de décisions publiques.
|
216 |
Conception d'un crypto-système reconfigurable pour la radio logicielle sécuriséeGrand, Michael 02 December 2011 (has links) (PDF)
Les travaux de recherche détaillés dans ce document portent sur la conception et l'implantation d'un composant matériel jouant le rôle du sous-système cryptographique d'une radio logicielle sécurisée. A partir du début des années 90, les systèmes radios ont peu à peu évolué de la radio classique vers la radio logicielle. Le développement de la radio logicielle a permis l'intégration d'un nombre toujours plus grand de standards de communication sur une même plateforme matérielle. La réalisation concrète d'une radio logicielle sécurisée amène son concepteur à faire face à de nombreuses problématiques qui peuvent se résumer par la question suivante : Comment implanter un maximum de standards de communication sur une même plateforme matérielle et logicielle ? Ce document s'intéresse plus particulièrement à l'implantation des standards cryptographiques destinés à protéger les radiocommunications. Idéalement, la solution apportée à ce problème repose exclusivement sur l'utilisation de processeurs numériques. Cependant, les algorithmes cryptographiques nécessitent le plus souvent une puissance de calcul telle que leur implantation sous forme logicielle n'est pas envisageable. Il s'ensuit qu'une radio logicielle doit parfois intégrer des composants matériels dédiés dont l'utilisation entre en conflit avec la propriété de flexibilité propre aux radios logicielles. Or depuis quelques années, le développement de la technologie FPGA a changé la donne. En effet, les derniers FPGA embarquent un nombre de ressources logiques suffisant à l'implantation des fonctions numériques complexes utilisées par la radio logicielle. Plus précisément, la possibilité offerte par les FPGA d'être reconfigurés dans leur totalité (voir même partiellement pour les derniers d'entre eux) fait d'eux des candidats idéaux à l'implantation de composants matériels flexibles et évolutifs dans le temps. À la suite de ces constatations, des travaux de recherche ont été menés au sein de l'équipe Conception des Systèmes Numériques du Laboratoire IMS. Ces travaux ont d'abord débouché sur la publication d'une architecture de sous-système cryptographique pour la radio logicielle sécurisée telle qu'elle est définie par la Software Communication Architecture. Puis, ils se sont poursuivis par la conception et l'implantation d'un cryptoprocesseur multicœur dynamiquement reconfigurable sur FPGA.
|
217 |
Approximation diffuse Hermite et ses applicationsSavignat, Jean-Michel 06 October 2000 (has links) (PDF)
De nombreuses techniques de résolution d'équations aux dérivées partielles sans maillage ont été développées dans la dernière décennie, proposant une alternative attrayante lorsque les éléments finis atteignent leurs limites. Notre travail se concentre sur l'étude de l'approximation diffuse, de ses applications au lissage et a la résolution des équations différentielles : les éléments diffus. Cependant, les solutions proposées s'appliquent aussi à d'autres méthodes et de nombreux résultats numériques illustrent chaque développement théorique. Dans un premier temps, nous étudions les techniques d'approximation sans maillage et les comparons à l'aide d'une méthode hybride. L'approximation myope est construite en modifiant le critère de construction des splines et montre ainsi la différence de nature entre moindres carres glissants et interpolateurs radiaux (krigeage, splines). Nous développons ensuite l'approximation diffuse Hermite dont l'application au calcul de la courbure des surfaces triangulées aboutit à une technique de haute résolution. Un algorithme de reverse engineering de modèle CAO s'appuie sur cette nouvelle technique et met en évidence son potentiel. L'intégration numérique est un ingrédient essentiel pour une méthode sans maillage. L'analyse du patch test nous conduit a la définition d'une technique robuste et assurant de bons rangs de convergence. Nous l'appliquons à l'approximation Hermite pour construire un modèle de poutre 3d pour le forage pétrolier. Un algorithme de contact roche-structure original est propose pour ce problème.
|
218 |
Spécialisation de composantsBobeff, Gustavo 14 December 2006 (has links) (PDF)
La programmation à base de composants facilite l'encapsulation de logiciel générique qui peut ainsi être réutilisé dans différents contextes d'utilisation. Un composant est spécifié à partir d'une implémentation et d'une interface. Cette interface, utilisée pour la composition, peut être adaptée par le consommateur du composant. Les modèles existants ne permettent que l'adaptation au niveau de l'interface alors que leur implémentation reste inchangée (boîte noire), les applications résultantes conservent le degré de généralité des composants constituants. Pour aller au-delà de ces modèles, nous proposons MoSCo, un modèle qui permet une forme plus profonde d'adaptation où l'implémentation est aussi modifiée. Dans ce modèle, un composant est analysé et traduit, à l'aide des techniques de spécialisation de programmes, sous la forme d'un générateur de composants. Ce générateur produit finalement un composant spécialisé selon un contexte d'utilisation en respectant la notion de boîte noire.
|
219 |
Étude de la Nitrification partielle d'eaux ammoniacales dans un bioréacteur membranaire/Partial nitrification study on ammonia solutions using a Membrane BioreactorKouakou, N'Guessan Edouard 16 February 2007 (has links)
Nitrogen is the major component of biosphere. Paradoxically, nitrogen pollution is the concern globally. Ammonia pollution is due to its unceasing rejection into nature such as groundwater, current water and the atmosphere. This phenomenon constitutes a threat for the humanity, land and aquatic flora, and consequently disturbs the balance of natural ecosystem. Recently, that situation has lead to develop various techniques and/or technologies for ammonia removal from municipal and industrial wastewaters.
Particularly in the environmental biotechnology area, two main objectives were recently aimed in many research activities: the development of new configurations of competitive bioreactors and the monitoring of partial nitrification process, which are the fundamental basis of this thesis project. In this study, the partial ammonium oxidation process, also called nitrite route, was studied in a 60 litre jet-loop submerged membrane bioreactor pilot plant. The research was organized around six chapters.
An exhaustive literature review of the state-of- art of the biological nitrification process and the membrane technologies was performed.
The materials and measurement methods were presented. The colorimetric method, the chromatography analysis, the biomass estimation by the suspended solids (SS), the aggregates size measurement, the gas holdup, the gas-liquid mass transfer, the bubbles gas diameter determination, the medium rheology aspects, etc., and the complete equipment of the bioreactor were studied in detail. The plant automation functioning was also studied.
Membrane module (Mitsubishi Sterapore-L) characterization was carried out and three characteristic parameters were estimated: the membrane intrinsic resistance Rm, the membrane permeability Lp and the membrane porosity εm. Estimations revealed good agreement between experimental results and theoretical methods based on the Darcys law and the Carman-Kozeny law applicable in microfiltration system.
Hydrodynamics and aeration aspects were studied. The mixing in the jet-loop system was characterized by the mixing time (tmix) and the circulation time (tc), respectively. The results showed that the characteristic times (tmix and tc) decrease with an increase in input gas flowrate and the circulated liquid flowrate. A model correlation involving the air and the combined liquid effects was proposed to describe the circulation time evolution.
The classical non-steady state clean water test was used to determine the gas-liquid mass transfer coefficient (kLa). It was found to be influenced by the combined action of air and recirculated-liquid flowrates and a correlation has been proposed to describe their influence.
The interpretation of kLa results and the system mixing data showed that the developed reactor corresponds to a near perfect mixing tank. This criterion was satisfactorily verified by literature data.
The gas holdup (εg) was directly measured by the volume expansion method. In the absence of liquid circulation, εg ranged between 1 and 4% for the investigated range of gas liquid superficial velocities. It was found to increase linearly with the air superficial velocity, which corresponds to the bubbly flow regime. However, in the presence of liquid flowrate, εg slightly increased (from 1 to 6%) with increase in the superficial liquid velocity. A model has been proposed to correlate εg and the air and the recirculated-liquid velocities.
The average diameter of the bubbles gas (dB) in the system was also estimated by the Leibson theoretical model based on the Reynolds number at the orifice of the gas distributor.
Finally, biological aspects were studied. Respirometry measurements were conducted to characterize the process medium. The mass transfer, the gas holdup and the medium viscosity were determined. The obtained data allowed estimating the α factor and the β factor, respectively. The interaction of the growth of microorganisms into the process and the membrane performance was also investigated and a correlation model was proposed to describe membrane fouling with time.
The optimal conditions for ammonium partial oxidation were determined using process monitoring and simulation. Dissolved oxygen (DO), temperature (T) and hydraulic retention time (HRT) were selected to achieve a high nitrite accumulation in the system. The results obtained showed that the selected parameters should be fixed at DO ≈ 2 mgO2.l-1, HRT ≈ 6 7 h and T = 30°C, respectively.
The partial nitrification was simulated by the use of the TwoPopNitrification model included into the BioWin 2.2 software. For these simulations, a sequencing ammonia oxidation assumption was adopted: the nitrozation followed by the nitration step, respectively. The corresponding kinetics and stoichiometric constants were estimated by combining literature data and experimental nitrification results. For these estimates, the ammonium oxidation was monitored on several process samples taken at different times. The estimates were also delivered by monitoring the ammonium oxidation on the process operated in the batch mode. The plotting of simulations and experimental results revealed good agreement.
In order to investigate the process performance in terms of biological stability, a long time period (≈ 600 days) was simulated. The results showed that a high stable nitrite accumulation (> 95%) could be achieved when the above optimal conditions are imposed to the system. However, after a long time, the accumulated nitrite is converted into nitrate and then the system is disrupted. For the simulated experimental conditions, the process disruption period was located between 180 and 350 days. At this period, a corresponding theoretical purge flowrate was found to range between 0.15 10-3 m3.d-1 and 3.0 10-3 m3.d-1. Simulations also showed that increasing the purge flowrate decreases the sludge retention time and then favours nitrite accumulation into the process. That is an interesting strategy to increase the performance of the biological partial nitrification process.
|
220 |
Supervisory control of infinite state systems under partial observation / Contrôle supervisé des systèmes à états infinis sous observation partielleKalyon, Gabriel 26 November 2010 (has links)
A discrete event system is a system whose state space is given by a discrete set and whose state transition mechanism is event-driven i.e., its state evolution depends only on the occurrence of discrete events over the time. These systems are used in many fields of application (telecommunication networks, aeronautics, aerospace,...). The validity of these systems is then an important issue and to ensure it we can use supervisory control methods. These methods consist in imposing a given specification on a system by means of a controller which runs in parallel with the original system and which restricts its behavior. In this thesis, we develop supervisory control methods where the system can have an infinite state space and the controller has a partial observation of the system (this implies that the controller must define its control policy from an imperfect knowledge of the system). Unfortunately, this problem is generally undecidable. To overcome this negative result, we use abstract interpretation techniques which ensure the termination of our algorithms by overapproximating, however, some computations. The aim of this thesis is to provide the most complete contribution it is possible to bring to this topic. Hence, we consider more and more realistic problems. More precisely, we start our work by considering a centralized framework (i.e., the system is controlled by a single controller) and by synthesizing memoryless controllers (i.e., controllers that define their control policy from the current observation received from the system). Next, to obtain better solutions, we consider the synthesis of controllers that record a part or the whole of the execution of the system and use this information to define the control policy. Unfortunately, these methods cannot be used to control an interesting class of systems: the distributed systems. We have then defined methods that allow to control distributed systems with synchronous communications (decentralized and modular methods) and with asynchronous communications (distributed method). Moreover, we have implemented some of our algorithms to experimentally evaluate the quality of the synthesized controllers. /
Un système à événements discrets est un système dont l'espace d'états est un ensemble discret et dont l'évolution de l'état courant dépend de l'occurrence d'événements discrets à travers le temps. Ces systèmes sont présents dans de nombreux domaines critiques tels les réseaux de communications, l'aéronautique, l'aérospatiale... La validité de ces systèmes est dès lors une question importante et une manière de l'assurer est d'utiliser des méthodes de contrôle supervisé. Ces méthodes associent au système un dispositif, appelé contrôleur, qui s'exécute en parrallèle et qui restreint le comportement du système de manière à empêcher qu'un comportement erroné ne se produise. Dans cette thèse, on s'intéresse au développement de méthodes de contrôle supervisé où le système peut avoir un espace d'états infini et où les contrôleurs ne sont pas toujours capables d'observer parfaitement le système; ce qui implique qu'ils doivent définir leur politique de contrôle à partir d'une connaissance imparfaite du système. Malheureusement, ce problème est généralement indécidable. Pour surmonter cette difficulté, nous utilisons alors des techniques d'interprétation abstraite qui assurent la terminaison de nos algorithmes au prix de certaines sur-approximations dans les calculs. Le but de notre thèse est de fournir la contribution la plus complète possible dans ce domaine et nous considèrons pour cela des problèmes de plus en plus réalistes. Plus précisement, nous avons commencé notre travail en définissant une méthode centralisée où le système est contrôlé par un seul contrôleur qui définit sa politique de contrôle à partir de la dernière information reçue du système. Ensuite, pour obtenir de meilleures solutions, nous avons défini des contrôleurs qui retiennent une partie ou la totalité de l'exécution du système et qui définissent leur politique de contrôle à partir de cette information. Malheureusement, ces méthodes ne peuvent pas être utilisées pour contrôler une classe intéressante de systèmes: les sytèmes distribués. Nous avons alors défini des méthodes permettant de contrôler des systèmes distribués dont les communications sont synchrones (méthodes décentralisées et modulaires) et asynchrones (méthodes distribuées). De plus, nous avons implémenté certains de nos algorithmes pour évaluer expérimentalement la qualité des contrôleurs qu'ils synthétisent.
|
Page generated in 0.053 seconds