• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 14
  • 13
  • 2
  • Tagged with
  • 28
  • 17
  • 17
  • 9
  • 8
  • 7
  • 7
  • 7
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Contribution à l’optimisation de la performance énergétique des bâtiments de grande dimension : une approche intégrée diagnostic / commande économique et coopérative à horizon glissant / Contribution to Energy Optimization for Large-scale Buildings : An Integrated approach of diagnosis and economic control with moving horizon

Darure, Tejaswinee 18 October 2017 (has links)
Au cours des deux dernières décennies, la prise de conscience du changement climatique et des conséquences du réchauffement climatique a incité diverses institutions à prendre de nouvelles directives. Ces directives portent principalement sur le contrôle des émissions des gaz à effet de serre, sur l'utilisation des ressources énergétiques non conventionnelles et l'optimisation de la consommation d'énergie dans les systèmes existants. L'Union européenne a proposé de nombreux projets dans le cadre du 7e PCRD pour réaliser jusqu'à 20% d’économies d'énergie d’ici 2020. En particulier, selon la directive sur l'efficacité énergétique, les bâtiments sont majoritairement responsables de 40% des dépenses énergétiques en Europe et de 36% des émissions de CO2 ; c’est la raison pour laquelle un ensemble d’initiatives européennes dans le cadre du 7ième PCRD favorise l'utilisation de technologie intelligente dans les bâtiments et rationalise les règles existantes. Energy IN TIME est l'un des projets axés sur l'élaboration d'une méthode de contrôle basée sur la simulation intelligente de l'énergie qui permettra de réduire la consommation des bâtiments non résidentiels. Ce mémoire de thèse propose plusieurs solutions novatrices pour réaliser les objectifs du projet mandaté à l'Université de Lorraine. Les solutions développées dans le cadre de ce projet devraient être validées sur différents sites européens de démonstration. Une première partie présente l'analyse détaillée de ces sites de démonstration et leurs contraintes respectives. Un cadre général correspondant à la construction type de ces sites a été élaboré pour simuler leur comportement. Ce cadre de construction de référence sert de banc d'essai pour la validation des solutions proposées dans ce travail de thèse. Sur la base de la conception de la structure de construction de référence, nous présentons une formulation de contrôle économique utilisant un modèle de contrôle prédictif minimisant la consommation d'énergie. Ce contrôle optimal possède des propriétés de contrôle conscientes de la maintenance. En outre, comme les bâtiments sont des systèmes complexes, les occurrences de pannes peuvent entraîner une détérioration de l'efficacité énergétique ainsi que du confort thermique pour les occupants à l'intérieur des bâtiments. Pour résoudre ce problème, nous avons élaboré une stratégie de diagnostic des dysfonctionnements et une stratégie de contrôle adaptatif des défauts basé sur le modèle économique ; les résultats en simulation ont été obtenus sur le bâtiment de référence. En outre, l'application des solutions proposées peut permettre de relever des défis ambitieux en particulier dans le cas de bâtiments à grande échelle. Dans la partie finale de cette thèse, nous nous concentrons sur le contrôle économique des bâtiments à grande échelle en formulant une approche novatrice du contrôle prédictif de mode réparti. Cette formule de contrôle distribué présente de nombreux avantages tels que l'atténuation de la propagation des défauts, la flexibilité dans la maintenance du bâtiment et les stratégies simplifiées de contrôle du plug-and-play. Enfin, une attention particulière est accordée au problème d'estimation des mesures dont le nombre est limité sur des bâtiments à grande échelle. Les techniques d'estimation avancées proposées sont basées sur les méthodologies de l'horizon mobile. Leur efficacité est démontrée sur les systèmes de construction de référence / Since the last two decades, there has been a growing awareness about the climate change and global warming that has instigated several Directorate initiatives from various administrations. These initiatives mainly deal with controlling greenhouse gas emissions, use of non-conventional energy resources and optimization of energy consumption in the existing systems. The European Union has proposed numerous projects under FP7 framework to achieve the energy savings up to 20% by the year 2020. Especially, stated by the Energy Efficiency Directive, buildings are majorly responsible for 40% of energy resources in Europe and 36% of CO2 emission. Hence a class of projects in the FP7 framework promotes the use of smart technology in the buildings and the streamline existing rules. Energy IN TIME is one of the projects focused on developing a Smart Energy Simulation Based Control method which will reduce the energy consumption in the operational stage of existing non-residential buildings. Essentially, this thesis proposes several novel solutions to fulfill the project objectives assigned to the University of Lorraine. The developed solutions under this project should be validated on the demonstration sites from various European locations. We design a general benchmark building framework to emulate the behavior of demonstration sites. This benchmark building framework serves as a test bench for the validation of proposed solutions given in this thesis work. Based on the design of benchmark building layout, we present an economic control formulation using model predictive control minimizing the energy consumption. This optimal control has maintenance-aware control properties. Furthermore, as in buildings, fault occurrences may result in deteriorating the energy efficiency as well as the thermal comfort for the occupants inside the buildings. To address this issue, we design a fault diagnosis and fault adaptive control techniques based on the model predictive control and demonstrate the simulation results on the benchmark building. Moreover, the application of these proposed solutions may face great challenges in case of large-scale buildings. Therefore, in the final part of this thesis, we concentrate on the economic control of large-scale buildings by formulating a novel approach of distributed model predictive control. This distributed control formulation holds numerous advantages such as fault propagation mitigation, flexibility in the building maintenance and simplified plug-and-play control strategies, etc... Finally, a particular attention is paid to the estimation problem under limited measurements in large-scale buildings. The suggested advanced estimation techniques are based on the moving horizon methodologies and are demonstrated on the benchmark building systems
12

Contrôle tolérant aux fautes en ligne d'une pile à combustible de type PEM. Contribution à la gestion de l'eau / No English title available

Lebreton, Carole 04 December 2015 (has links)
Le développement des Piles à Combustible (PàC) est en plein essor dans le contexte de transition énergétique mondial. La production d'énergie électrique par les PàCs possède l'atout majeur de ne rejeter que de l'eau et de la chaleur, sans émission de gaz à effet de serre. Pour un développement et une commercialisation plus large des PàCs comme générateurs d'énergie, leur fiabilité et leur durée de vie. Cette thèse est dédiée au Contrôle Tolérant aux Fautes appliquée à la gestion de l'eau dans les Piles à Combustibles de type PEM. Une gestion appropriée de l'état d'hydratation de la PEMFC contribue à éviter les dégradations irréversibles de ses composants et ses performances, et par conséquent à un allongement de sa durée de vie et une augmentation de sa fiabilité. La stratégie de Contrôle Tolérant aux Fautes Actif proposée est constituée d'une méthode de diagnostic basée modèle pour la détection et l'isolation des fautes et d'un contrôleur PID auto-adaptatif régulant la surstoechiométrie en oxygène. Il est à noter que cette stratégie a été validée en ligne sur un système PàC réel. / Fuel Cell (FC) development is expending due to global energy transition. Power generation using FC results in water and heat as by-products, without emission of greenhouse gases. To continue developing and expanding its use as power generators, FC lifetime and reliability have to be enhanced. This thesis work is dedicated to Fault Tolerant Control System (FTCS) applied to water management in PEM Fuel Cells. An appropriate water management of FC allow to avoid irreversible degradations of FC components and performance that lead to an improvement of FC reliability and lifetime.The proposed FTCS is composed of a model-based diagnosis method applied to fault detection and isolation, and a self-tuning PID strategy for oxygen excess ratio control. This strategy is tested and validated on-line on a real FC system.
13

Contribution à la Commande et au Diagnostic des Systèmes Algébro-Différentiels Linéaires

Marx, Benoit 16 December 2003 (has links) (PDF)
Après une introduction à l'analyse et au contrôle des systèmes singuliers linéaires, on étudie le placement optimal de capteurs et d'actionneurs, le diagnostic robuste et le contrôle de systèmes singuliers. Le placement optimal de capteurs et d'actionneurs pour les systèmes singuliers s'appuie sur une approche énergétique. Les capteurs et/ou actionneurs sont sélectionnés pour obtenir les plus grands transferts d'énergie entre le système et son environnement. Pour cela on cherche à maximiser les grammiens généralisés. Différentes méthodes de diagnostic robuste sont proposées. Une première approche dédiée aux systèmes maillés autorise une génération de résidus décentralisée afin de détecter et de localiser les défauts de mesures. Une deuxième méthode consiste à étendre le filtrage Hinfini à l'estimation des défaillances. Troisièmement, la génération de résidus fondée sur la factorisation copremière -dont l'intérêt majeur est de pouvoir synthétiser des générateurs de résidus au moyen de filtres propres- est généralisée aux systèmes singuliers. Enfin, la synthèse, et l'utilisation pour le diagnostic robuste, des observateurs de type proportionnel-intégral sont étudiées. Deux stratégies de contrôle de systèmes singuliers sont proposées. Le contrôle multicritère permet de déterminer des correcteurs statiques ou dynamiques assurant le placement de pôles, ainsi que des contraintes de normes H2 et Hinfini sur le système en boucle fermée. Le contrôle tolérant aux fautes intègre un module de diagnostic dans le correcteur afin de localiser les fautes, et de modifier la loi de commande pour minimiser la déviation des sorties dues aux fautes et aux perturbations. Les correcteurs sont des systèmes propres, déterminés par optimisation convexe sous contraintes LMI.
14

Définition et validation d'un modèle de communication supportant la communication basée contenus dans les réseaux mobiles ad hoc discontinus

Haillot, Julien 19 November 2010 (has links) (PDF)
L'activité de recherche des dernières décennies dans le domaine des réseaux mobiles ad hoc (MANETs) a essentiellement visé à définir des méthodes de routage dynamique au sein de ces réseaux. La plupart des propositions faites dans cette optique reposent sur l'hypothèse que la communication entre deux terminaux mobiles n'est possible que si une route pour l'acheminement des messages peut être établie entre ces terminaux lorsque cela est nécessaire. Cette approche équivaut à considérer que la ommunication entre deux terminaux ne peut être réalisée que dans un réseau totalement connexe. Depuis quelques années, l'activité de recherche dans le domaine des MANETs a été étendue afin de prendre en compte les spécificités des MANETs discontinus, c'est-à-dire des MANETs apparaissant sous la forme d'une collection de sous-réseaux connexes (on parlera d'îlots de connectivité) au sein desquels les terminaux peuvent communiquer (éventuellement en utilisant du routage dynamique), mais entre lesquels aucune communication n'est a priori possible. Le routage de messages dans ce type de réseau est un sujet de recherche qui suscite un intérêt grandissant. L'approche généralement adoptée, dite de "communication opportuniste", consiste à exploiter les terminaux mobiles comme des mules de données capables de stocker, transporter et relayer des messages entre des îlots non connectés du réseau afin qu'ils puissent à terme être remis à leur destinataire. Dans cette thèse nous nous intéressons au support de la communication basée contenus dans les MANETs discontinus. La communication basée contenus est un modèle de communication dans lequel l'information circule dans le réseau en fonction de l'intérêt que les terminaux y portent plutôt que vers une destination bien établie. Nous pensons que de nombreuses applications peuvent bénéficier d'un tel modèle de communication, comme par exemple des applications de partage de fichiers, de distribution d'articles thématique, d'annonce et de découverte de services, etc. Dans ce manuscrit nous présentons le protocole de communication que nous avons conçu afin d'offrir ce style particulier de communication dans les MANETs discontinus ainsi que les résultats d'expérimentations que nous avons réalisées pour valider notre approche. Ce protocole repose sur une combinaison des concepts de communication basée contenus, de communication opportuniste et de communication multi-sauts pour prendre en compte les caractéristiques des MANETs discontinus.
15

CONTRIBUTION A L'ETUDE DES MACHINES ELECTRIQUES EN PRESENCE DE DEFAUT ENTRE-SPIRES Modélisation – Réduction du courant de défaut

Vaseghi, Babak 10 December 2009 (has links) (PDF)
Le principal objectif de nos travaux était l'établissement de modèles suffisamment précis pour étudier le comportement des machines électriques en présence d'un défaut de court-circuit entre spires et d'en déduire les signatures pertinentes pour la détection de ce type de défaut. L'autre objectif était de dimensionner des machines électriques à courant de court-circuit d'amplitude limitée pour réduire le risque de propagation du défaut. La première approche de modélisation consiste à effectuer une étude complète en utilisant la méthode d'éléments finis pas à pas dans le temps. Les résultats obtenus par ce modèle "éléments finis" concernant une MSAP et une MAS, saines et aussi en présence de plusieurs défauts "entre spires" de niveaux de sévérité différents, concordent avec ceux obtenus expérimentalement sur deux bancs d'essai. La seconde approche a consisté à mettre au point un modèle "circuits électriques" dont la complexité dépend du type de structure magnétique et du type de bobinage de la machine étudiée. Nous avons proposé deux méthodes de détermination des paramètres : 1- des méthodes numériques (éléments finis) ; 2- l'établissement des nouvelles expressions analytiques. Dans le dernier chapitre, une méthode basée sur la segmentation des aimants sous un pôle qui n'est en fait qu'une démultiplication du nombre de pôles au rotor sans modification du bobinage statorique est proposée est utilisé pour réduire le courant de défaut..
16

Data distribution optimization in a system of collaborative systems / Optimisation de la distribution de données dans un système de systèmes collaboratifs

Bocquillon, Ronan 16 November 2015 (has links)
Un système de systèmes est un système dont les composants sont eux-mêmes des systèmes indépendants, tous communiquant pour atteindre un objectif commun. Lorsque ces systèmes sont mobiles, il peut être difficile d'établir des connexions de bout-en-bout. L'architecture mise en place dans de telles situations est appelée réseau tolérant aux délais. Les données sont transmises d'un système à l'autre – selon les opportunités de communication, appelées contacts, qui apparaissent lorsque deux systèmes sont proches – et disséminées dans l'ensemble du réseau avec l'espoir que chaque message atteigne sa destination. Si une donnée est trop volumineuse, elle est découpée. Chaque fragment est alors transmis séparément.Nous supposons ici que la séquence des contacts est connue. On s'intéresse donc à des applications où la mobilité des systèmes est prédictible (les réseaux de satellites par exemple). Nous cherchons à exploiter cette connaissance pour acheminer efficacement des informations depuis leurs sources jusqu'à leurs destinataires. Nous devons répondre à la question : « Quels éléments de données doivent être transférés lors de chaque contact pour minimiser le temps de dissémination » ?Nous formalisons tout d'abord ce problème, appelé problème de dissémination, et montrons qu'il est NP-difficile au sens fort. Nous proposons ensuite des algorithmes pour le résoudre. Ces derniers reposent sur des règles de dominance, des procédures de prétraitement, la programmation linéaire en nombres entiers, et la programmation par contraintes. Une partie est dédiée à la recherche de solutions robustes. Enfin, nous rapportons des résultats numériques montrant l'efficacité de nos algorithmes. / Systems of systems are supersystems comprising elements which are themselves independent operational systems, all interacting to achieve a common goal. When the subsystems are mobile, these may suffer from a lack of continuous end-to-end connectivity. To address the technical issues in such networks, the common approach is termed delay-tolerant networking. Routing relies on a store-forward mechanism. Data are sent from one system to another – depending on the communication opportunities, termed contacts, that arise when two systems are close – and stored throughout the network in hope that all messages will reach their destination. If data are too large, these must be split. Each fragment is then transmitted separately.In this work, we assume that the sequence of contacts is known. Thus, we focus on applications where it is possible to make realistic predictions about system mobility (e.g. satellite networks). We study the problem of making the best use of knowledge about possibilities for communication when data need to be routed from a set of systems to another within a given time horizon. The fundamental question is: "Which elements of the information should be transferred during each contact so that the dissemination length is minimized"?We first formalize the so-called dissemination problem, and prove this is strongly NP-Hard. We then propose algorithms to solve it. These relies on different dominance rules, preprocessing procedures, integer-linear programming, and constraint programming. A chapter is dedicated to the search for robust solutions. Finally experimental results are reported to show the efficiency of our algorithms in practice.
17

Commande adaptative pour avion de transport tolérante aux erreurs de modèle et aux pannes / Adaptive control for a transport aircraft providing robustness to model uncertainties and system failures

Oudin, Simon 07 November 2013 (has links)
Cette thèse s'intéresse à l'adaptation des lois de pilotage d'un avion de transport civil aux différentes incertitudes qui peuvent affecter sa dynamique. Le procédé de pilotage adaptatif est censé fonctionner en temps réel à bord de l'avion afin d'optimiser la performance boucle fermée en fonction des conditions dans lesquelles il évolue. Les incertitudes peuvent être liées à la méconnaissance des conditions de vol (par exemple la vitesse et l'altitude), à des non-linéarités aérodynamiques inconnues ou encore à la méconnaissance du pilote aux commandes. Les procédés adaptatifs qui répondent à ces problèmes se doivent d'être performants sur l'ensemble du domaine opérationnel de l'avion en présence de perturbations réalistes. D'autres contraintes spécifiques peuvent être ajoutées en fonction du contexte (par exemple des charges limites, la stabilité aéroélastique, etc.). Plusieurs méthodes adaptatives sont testées afin d'adapter le système aux larges incertitudes qui le composent. Elles associent en général un estimateur en ligne (aussi appelé loi de mise-à-jour) à une loi de commande structurée. La synthèse de ces deux éléments peut être réalisée simultanément pour les méthodes adaptatives dites " directes ", comme par exemple le Model Reference Adaptative Control qui utilise la stabilité au sens de Lyapounov. Mais cette synthèse peut aussi être découplée pour les méthodes adaptatives dites "indirectes", ce qui offre un large choix de techniques pour chaque élément (comme les Moindres Carrés pour l'estimation de paramètres physiques incertains et la synthèse sous forme LFR pour le correcteur). Le choix de la méthode dépend fortement du contexte applicatif et des nombreuses contraintes associées. Trois applications sont au cœur de ce mémoire. Elles traitent de l'ajustement de lois de guidage à un modèle pilote inconnu, du contrôle longitudinal de non-linéarités de l'avion, et de la mise au point de lois longitudinale et latérale de pilotage manuel qui s'adaptent à des conditions de vol inconnues. Des méthodes avancées d'analyse linéaire et non-linéaire (dérivées de la µ-analyse et d'algorithmes d'optimisation) sont aussi mises en place pour valider ces systèmes sophistiqués adaptatifs en temps réel. D'une façon générale, les méthodes adaptatives indirectes ont donné le plus de satisfaction. Leur performance est aussi bonne que celle des méthodes directes, mais le fait qu'elles estiment en ligne des paramètres physiques facilite la surveillance temps réel du procédé adaptatif et sa validation. / This thesis deals with adapting flight control laws of a civil transport aircraft to various incertainties which can affect its behaviour. The adaptive flight control system is supposed to run in real time onboard the airplane so that its closed-loop performance is optimized with respect to the current conditions. These incertainties may be linked to unknown flight conditions (e.g. unknown airspeed and altitude), or unknown aerodynamics non-linearities or even unknown behaviour of the pilot in command. The adaptive schemes that are derived to answer these problems must be valid on the whole flight envelope with realistic disturbances but other additional contraints may exist depending on the context (e.g. loads limits, aeroelastic stability, etc.). To accommodate for large uncertainties on the system, adaptive methods are investigated. They usually combine an online estimator (also called an update law) with a structured flight control law. The synthesis of both elements may be simultaneous on 'direct' adaptive methods, e.g. on Model Reference Adaptive Control, using Lyapunov's stability theory. But it can also be decoupled on 'indirect' adaptive methods, giving a full spectrum of techniques for both elements (such as Least-Squares for estimating unknown physical parameters and the LFR framework for designing controllers). The choice of a specific method really depends on the application context and the related constraints.Three applications are the core of this report. They deal with adjusting guidance law to the pilot's unknown behaviour, controlling a longitudinal non-linearity, and providing manual longitudinal and lateral flight control laws which adapt to unknown flight conditions. Advanced linear and non-linear analysis techniques (based on µ-analysis or on optimization algorithms) are also applied to validated these sophisticated real-time adaptive systems. Results showed that indirect adaptive schemes were generally the most satisfactory. Their performance is similar to the one of direct schemes but as indirect methods provide physical parameter estimates, real-time monitoring and offline validation seem quite easier.
18

Collecte et estimation robustes d’information dans un réseau de capteurs sans fils / Distributed Information Gathering and Estimation in Wireless Sensor Networks

Li, Wenjie 15 November 2016 (has links)
Les réseaux de capteurs sans fils (RCSFs) suscitent un intérêt croissant depuis une vingtaine d'années. La première partie de cette thèse est consacré à l'étude de l'efficacité de compression de données corrélées provenant d'un RCSF et acheminées vers un point de collecte à l'aide du codage réseau linéaire aléatoire. Les conditions nécessaires et suffisantes sont obtenues pour récupérer parfaitement les données que les capteurs mesurent. Puis on considère les nœuds dans un RCSF collaborant afin d'exécuter une tâche donnée (acquisition, détection...), pour laquelle chaque nœud a potentiellement un niveau d'expertise différent. La seconde partie de cette thèse est dédiée à la conception et à l'analyse d'algorithmes d'auto-évaluation distribués (AED), qui permettent à chaque nœud d'auto-évaluer son niveau d’expert. Trois types de problèmes sont considérés: i) la détection distribuée des nœuds défaillants (DDD), qui permet d'identifier les nœuds équipés de capteurs défectueux dans un RCSF; ii) la DDD dans un réseau tolérant aux déconnections (RTD) dont la topologie est dynamique et le degré de connectivité très faible; iii) la AED avec interactions pair à pair. Les résultats théoriques sont utiles pour configurer les paramètres des algorithmes. / Wireless sensor networks (WSNs) have attracted much interests in the last decade. The first part of this thesis considers sparse random linear network coding is for data gathering and compression in WSNs. An information-theoretic approach is applied to demonstrate the necessary and sufficient conditions to realize the asymptotically perfect reconstruction under MAP estimation. The second part of the thesis concerns the distributed self-rating (DSR) problem, for WSNs with nodes that have different ability of performing some task (sensing, detection...). The main assumption is that each node does not know and needs to estimate its ability. Depending on the number of ability levels and the communication conditions, three sub-problems have been addressed: i) distributed faulty node detection (DFD) to identify the nodes equipped with defective sensors in dense WSNs; ii) DFD in delay tolerant networks (DTNs) with sparse and intermittent connectivity; iii) DSR using pairwise comparison. Distributed algorithms have been proposed and analyzed. Theoretical results assess the effectiveness of the proposed solution and give guidelines in the design of the algorithm.
19

Improvement of monitoring and reconfiguration processes for liquid propellant rocket engine / Amélioration des processus de surveillance et de reconfiguration pour les moteurs fusée à ergols liquides

Sarotte, Camille 03 October 2019 (has links)
La surveillance et l'amélioration des modes de fonctionnement des systèmes propulsifs des lanceurs représentent des défis majeurs de l'industrie aérospatiale. En effet, une défaillance ou un dysfonctionnement du système propulsif peut avoir un impact significatif pour les clients institutionnels ou privés et entraîner des catastrophes environnementales ou humaines. Des systèmes de gestion de la santé (HMS) pour les moteurs fusée à ergols liquides (LPREs), ont été mis au point pour tenir compte des défis actuels en abordant les questions de sureté et de fiabilité. Leur objectif initial est de détecter les pannes ou dysfonctionnements, de les localiser et de prendre une décision à l’aide de Redlines et de systèmes experts. Cependant, ces méthodes peuvent induire de fausses alarmes ou des non-détections de pannes pouvant être critiques pour la sécurité et la fiabilité des opérations. Ainsi, les travaux actuels visent à éliminer certaines pannes critiques, mais aussi diminuer les arrêts intempestifs. Les données disponibles étant limitées, des méthodes à base de modèles sont essentiellement utilisées. La première tâche consiste à détecter les défaillances de composants et/ou d'instruments à l'aide de méthodes de détection et de localisation de fautes (FDI). Si la faute est considérée comme mineure, des actions de « non-arrêt » sont définies pour maintenir les performances de l'ensemble du système à un niveau proche de celles souhaitées et préserver les conditions de stabilité. Il est donc nécessaire d’effectuer une reconfiguration robuste (incertitudes, perturbations inconnues) du moteur. Les saturations en entrée doivent également être prises en compte dans la conception de la loi de commande, les signaux de commande étant limités en raison des caractéristiques ou performances des actionneurs physiques. Les trois objectifs de cette thèse sont donc : la modélisation des différents sous-systèmes principaux d’un LPRE, le développement d’algorithmes de FDI sur la base des modèles établis et la définition d’un système de reconfiguration du moteur en temps réel pour compenser certains types de pannes. Le système de FDI et Reconfiguration (FDIR) développé sur la base de ces trois objectifs a ensuite été validé à l’aide de simulations avec CARINS (CNES) et du banc d’essai MASCOTTE (CNES/ONERA). / Monitoring and improving the operating modes of launcher propulsion systems are major challenges in the aerospace industry. A failure or malfunction of the propulsion system can have a significant impact for institutional or private customers and results in environmental or human catastrophes. Health Management Systems (HMS) for liquid propellant rocket engines (LPREs), have been developed to take into account the current challenges by addressing safety and reliability issues. Their objective was initially to detect failures or malfunctions, isolate them and take a decision using Redlines and Expert Systems. However, those methods can induce false alarms or undetected failures that can be critical for the operation safety and reliability. Hence, current works aim at eliminating some catastrophic failures but also to mitigate benign shutdowns to non-shutdown actions. Since databases are not always sufficient to use efficiently data-based analysis methods, model-based methods are essentially used. The first task is to detect component and / or instrument failures with Fault Detection and Isolation (FDI) approaches. If the failure is minor, non-shutdown actions must be defined to maintain the overall system current performances close to the desirable ones and preserve stability conditions. For this reason, it is required to perform a robust (uncertainties, unknown disturbances) reconfiguration of the engine. Input saturation should also be considered in the control law design since unlimited control signals are not available due to physical actuators characteristics or performances. The three objectives of this thesis are therefore: the modeling of the different main subsystems of a LPRE, the development of FDI algorithms from the previously developed models and the definition of a real-time engine reconfiguration system to compensate for certain types of failures. The developed FDI and Reconfiguration (FDIR) scheme based on those three objectives has then been validated with the help of simulations with CARINS (CNES) and the MASCOTTE test bench (CNES/ONERA).
20

Contrôle d'accès et présentation contextuelle pour le Web des données / Context-aware access control and presentation of linked data

Costabello, Luca 29 November 2013 (has links)
La thèse concerne le rôle joué par le contexte dans l'accès au Web de données depuis les dispositifs mobiles. Le travail analyse ce problème de deux points de vue distincts: adapter au contexte la présentation de triplets, et protéger l'accès aux bases des données RDF depuis les dispositifs mobiles. La première contribution est PRISSMA, un moteur de rendu RDF qui étend Fresnel avec la sélection de la meilleure représentation pour le contexte physique où on se trouve. Cette opération est effectuée par un algorithme de recherche de sous-graphes tolérant aux erreurs basé sur la notion de distance d'édition sur les graphes. L'algorithme considère les différences entre les descriptions de contexte et le contexte détecté par les capteurs, supporte des dimensions de contexte hétérogènes et est exécuté sur le client pour ne pas révéler des informations privées. La deuxième contribution concerne le système de contrôle d'accès Shi3ld. Shi3ld supporte tous les triple stores et il ne nécessite pas de les modifier. Il utilise exclusivement les langages du Web sémantique, et il n'ajoute pas des nouveaux langages de définition de règles d'accès, y compris des analyseurs syntaxiques et des procédures de validation. Shi3ld offre une protection jusqu'au niveau des triplets. La thèse décrit les modèles, algorithmes et prototypes de PRISSMA et de Shi3ld. Des expériences montrent la validité des résultats de PRISSMA ainsi que les performances au niveau de mémoire et de temps de réponse. Le module de contrôle d'accès Shi3ld a été testé avec différents triple stores, avec et sans moteur SPARQL. Les résultats montrent l'impact sur le temps de réponse et démontrent la faisabilité de l'approche. / This thesis discusses the influence of mobile context awareness in accessing the Web of Data from handheld devices. The work dissects this issue into two research questions: how to enable context-aware adaptation for Linked Data consumption, and how to protect access to RDF stores from context-aware devices. The thesis contribution to this first research question is PRISSMA, an RDF rendering engine that extends Fresnel with a context-aware selecting of the best presentation according to mobile context. This operation is performed by an error-tolerant subgraph matching algorithm based on the notion of graph edit distance. The algorithm takes into account the discrepancies between context descriptions and the sensed context, supports heterogeneous context dimensions, and runs on the client-side - to avoid disclosing sensitive context information. The second research activity presented in the thesis is the Shi3ld access control framework for Linked Data servers. Shi3ld has the advantage of being a pluggable filter for generic triple stores, with no need to modify the endpoint itself. It adopts exclusively Semantic Web languages and it does not add new policy definition languages, parsers nor validation procedures. Shi3ld provides protection up to triple level. The thesis describes both PRISSMA and Shi3ld prototypes. Test campaigns show the validity of PRISSMA results, along with memory and response time performance. The Shi3ld access control module has been tested on different triple stores, with and without SPARQL engines. Results show the impact on response time, and demonstrate the feasibility of the approach.

Page generated in 0.0495 seconds