Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Informatique – Défauts.
Rozprawy doktorskie na temat „Informatique – Défauts”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Informatique – Défauts”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
1
Risch, Vincent. "Les Tableaux analytiques au service des logiques de défauts". Aix-Marseille 2, 1993. http://www.theses.fr/1993AIX22051.
Pełny tekst źródłaStreszczenie:
Le cadre général de cette thèse est le traitement automatique du raisonnement dans des bases de connaissances incomplètes. Nous commençons par proposer une caractérisation calculatoire cohérente et complète de la notion d'extension en logique des défauts chez Reiter. Cette caractérisation est ensuite étendue à plusieurs variantes connues. Les tableaux analytiques interviennent ici comme un langage de description d'ensembles de formules grâce auquel il est possible de qualifier au sein d'un processus général de calcul les différences entre variantes. Une nouvelle variante de logique des défauts est proposée à partir de la logique modale des hypothèses de Siegel et Schwind. D'une part cette variante est cumulative sans pour autant requérir la consistance de l'ensemble des justifications, d'autre part elle englobe plusieurs des variantes non cumulatives précédemment envisagées. Elle représente donc une alternative tres générale à la solution proposée par Brewka en 1990.
2
Bentoumi, Mohamed. "Outils pour la détection et la classification : Application au diagnostic de défauts de surface de rail". Nancy 1, 2004. http://www.theses.fr/2004NAN10159.
Pełny tekst źródłaStreszczenie:
Deux approches différentes sont abordées pour résoudre les problématiques de détection et de classification pour le diagnostic de défauts. La première approche est l'approche de détection et classification simultanées où le problème global à K classes est scindé en sous-problèmes. Chaque sous-problème est traité par une cellule de détection et classification. La résolution du problème global s'effectue par un agencement séquentiel ou par une mise en parallèle des cellules. La seconde approche est l'approche de détection et classification successives qui consiste à traiter tout d'abord les signaux issus du capteur de manière simple pour décider présence ou non d'un défaut. Si défaut détecté, des traitements haut niveau sont mis en oeuvre pour identifier le défaut. Des classifieurs linéaires (Ho-Kashyap et SVM) et neuronaux (RBF) sont utilisés. L'ensemble de ces méthodes a été validé sur une application concernant la détection de défauts de surface de rail dans un contexte métroThe works concern with detection and classification problems for fault diagnosis. Two approaches are treated. The first one, where the K-classes global problem is splitted into sub problems, is called simultaneous detection and classification. Each sub problem is solved by a block that links together pre-processing phase, choice of the representation space, detection then decision. The resolution of the global problem is carried out by a sequential arrangement of the blocks or a parallel decision scheme. The second approach is the successive detection and classification approach. It consits of a first basic signal processing for alarm generation that indicates the possible existence of default. Then, high-level processings are activated in order to precisely analyze the default signature. Classification tools - linear classifiers, neural classifiers, SVM - are used. All these methods have been validated on a rail surface defect detection application in subway context
3
Kaftandjian, Valérie. "Reconnaissance automatique de défauts dans les produits métalliques par radioscopie numérique". Lyon, INSA, 1995. http://www.theses.fr/1995ISAL0056.
Pełny tekst źródłaStreszczenie:
Notre étude porte sur le contrôle non destructif de produits métalliques par radioscopie numérique. Les défauts internes apparaissant sur l'image radioscopique sont détectés et identifiés automatiquement, pendant le défilement de l’objet. Dans la première partie, nous caractérisons la qualité de l'image radioscopique: le rapport Signal sur Bruit, le contraste, la sensibilité, la résolution en épaisseur sont définis et mesurés sur l'image numérique. Puis, nous étudions plus particulièrement le détecteur de rayonnement, par son Efficacité de Détection Quantique et sa Fonction de Transfert. Nos recherches portent d'abord sur la Fonction de Transfert de Contraste, et une comparaison de l'expérience avec une simulation numérique confirme que l'ouverture géométrique du détecteur est le paramètre qui détermine sa résolution. Enfin, la Fonction de Transfert de Modulation est déterminée par une étude comparative de plusieurs méthodes expérimentales. La deuxième partie de l'étude est consacrée à l'analyse de l'image radioscopique, en vue de détecter et reconnaître automatiquement les défauts internes de l’objet. Il s'agit de lingots d'aluminium avec huit types de défauts différents. L'analyse comporte trois parties : détection des défauts, extraction de leurs caractéristiques, reconnaissance. La détection s'effectue à l'issue d'une étape de segmentation que nous avons mise au point à partir des techniques de morphologie mathématique. Une étude des défauts et du procédé de fabrication a permis d'élaborer des modèles de défauts, en tenant compte de toutes les informations a priori disponibles. Les caractéristiques choisies pour la modélisation sont la forme, l'orientation, la largeur, le contraste. Enfin, notre méthode de reconnaissance est fondée sur un arbre d'identification dont les entrées sont les caractéristiques des objets, et les sorties les types de défauts. Après la discrimination des objets en familles de forme, d'orientation et de largeur, un regroupement des objets proches et alignés permet d'identifier les objets éventuellement déconnectés lors de la segmentationThe present study refers to the Non Destructive Testing of metal products by digital radioscopy. Internal defects are automatically detected and their type identified, while the object is moving. The first part o( our study is dedicated to the characterization of the radioscopic image quality : the Signal to Noise ratio, the contrast, the sensitivity, the thickness resolution are measured on the digital image. Theo, the X-ray detector is investigated through its Detection Quantum Efficiency and its Transfer Function. First, the Contrast Transfer Function is measured and compared to a numerical simulation which confirmed that the detector resolution is determined by its geometrical aperture. Finally, the Modulation Transfer Function 1s studied in detail through several experimental methods. In the second part, our work is aimed at the radioscopic image analysis, in such a way to detect and recognize the internal defects automatically. This is applied to the inspection of aluminum ingots, where eight defect types are to be considered. The analysis consists of three parts : defect detection, feature extraction, recognition. The developed detection method is based on mathematical morphology. A study of the defects and the production process allowed us to model the defect types, and to gather as much a priori information as possible. The selected features for defect modeling are shape, orientation, width, contrast. Finally, our recognition method is based on an identification tree, whose inputs are the features, and outputs are the defect types. Once the objects are separated in shape, orientation and width families, a clustering of aligned and close objects is performed, in such a way to identify the objects that would have been disconnected by the segmentation process
4
Hecht, Geoffrey. "Détection et analyse de l'impact des défauts de code dans les applications mobiles". Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10133/document.
Pełny tekst źródłaStreszczenie:
Les applications mobiles deviennent des logiciels complexes qui doivent être développés rapidement tout en évoluant de manière continue afin de répondre aux nouveaux besoins des utilisateurs ainsi qu'à des mises à jour régulières. S'adapter à ces contraintes peut provoquer la présence de mauvais choix d'implémentation ou de conception que nous appelons défauts de code. La présence de défauts de code au sein d'une application peut dégrader la qualité et les performances d'une application. Il est alors important de connaître ces défauts mais aussi de pouvoir les détecter et les corriger. Les défauts de code sont bien connus pour les applications orientés objets et de nombreux outils permettent leurs détections, mais ce n'est pas le cas pour les applications mobiles. Les connaissances concernant les défauts de code dans les applications mobiles sont lacunaires, de plus les outils permettant la détection et la correction des défauts sont inexistants ou peu matures. Nous présentons donc ici une classification de 17 défauts de code pouvant apparaître dans les applications Android, ainsi qu'un outil permettant la détection et la correction des défauts de code sur Android. Nous appliquons et validons notre méthode sur de grandes quantités d'applications (plus de 3000) dans deux études qui évaluent la présence et l'évolution du nombre des défauts de code dans des applications populaires. De plus, nous présentons aussi deux approches destinées à évaluer l'impact de la correction des défauts de code sur les performances et la consommation d'énergie. Ces approches nous ont permis d'observer que la correction des défauts de code est bénéfique dans la plupart des casMobile applications are becoming complex software systems that must be developed quickly and evolve continuously to fit new user requirements and execution contexts. However, addressing these constraints may result in poor low-level design choices, known as code smells. The presence of code smells within software systems may incidentally degrade their quality and performance, and hinder their maintenance and evolution. Thus, it is important to know this smells but also to detect and correct them. While code smells are well-known in object-oriented applications, their study in mobile applications is still in their infancy. Moreover there is a lack of tools to detect and correct them. That is why we present a classification of 17 code smells that may appear in Android applications, as well as a tool to detect and correct code smells on Android. We apply and validate our approach on large amounts of applications (over 3000) in two studies evaluating the presence and evolution of the number of code smells in popular applications. In addition, we also present two approaches to assess the impact of the correction of code smells on performance and energy consumption. These approaches have allowed us to observe that the correction of code smells is beneficial in most cases
5
Abramik, Stanisław. "Base de connaissance des défauts des systèmes électriques pour systèmes experts : contribution à l'étude du diagnostic de défaillance des convertisseurs statiques en temps réel". Toulouse, INPT, 2003. http://www.theses.fr/2003INPT030H.
Pełny tekst źródłaStreszczenie:
L'objectif est la réalisation d'une méthode de diagnostic des onduleurs de tension, alimentant des moteurs asynchrones, pour la détection et la localisation fiable de pannes en temps réel, indépendamment de l'état de l'entraînement électrique. La détection et l'identification sont obtenues par analyse des signaux sur une fenêtre temporelle glissante. L'idée conductrice du travail est : "la surveillance du rapport entre la composante continue glissante et l'amplitude du premier harmonique glissant des courants sortant des onduleurs de tension permet de localiser rapidement et de manière fiable une panne de transistors en régime permanent ou transitoire". Deux méthodes sont présentées, pour la détection et l'identification des pannes des composants correspondant à la non-conductivité des transistors. La méthode de diagnostic est basée sur l'identification de signatures spécifiques de la panne. L'onduleur surveillé fonctionne avec une commande en boucle ouverte à rapport U/f constant.
6
Jacquemod, Gilles. "Detection de défauts dans des images radiographiques industrielles obtenues en temps reel par des détecteurs linéaires". Lyon, INSA, 1989. http://www.theses.fr/1989ISAL0089.
Pełny tekst źródłaStreszczenie:
Parmi tous les systèmes de radiographie temps réel, on peut distinguer les trois principaux groupes suivants : -groupe 1 : écran fluorescent et caméra bas niveau de lumière, -groupe 2 : amplificateur de brillance et caméra classique de type Vidicon, -groupe 3 : détecteur linéaire à l'état solide sensible aux rayons X. La comparaison des divers systèmes a été faite sur échantillon étalon comportant des défauts calibrés en forme et en dimension, dans les conditions rencontrées dans la détection des amas inclusionnaires dans les tôles laminées. Elle a montré que le groupe 1 était inadapté, mais que les systèmes des groupes 2 et 3, sans atteindre la résolution obtenue par le film, présentaient des performances très intéressantes. Nous avons particulièrement étudié les détecteurs linéaires, adaptés à la détection au défilement de défauts de forme allongée. Des algorithmes simples ont pour ce cas été développés en vue d'améliorer la résolution de ce type de détecteurs et d'assurer la détection automatique des défauts. Ils permettent d'envisager une application temps réel sur des architectures construites autour du bus VME avec des cartes spécialisées dans le traitement d'image à vitesse vidéo. Par ailleurs, l'intégration électronique de la méthode de super résolution, appliquée aux détecteurs linéaires. A fait l'objet d'un dépôt de brevet. De plus, nous avons étudié son extension aux détecteurs bidimensionnels (caméras CCD) et à la tomographie industrielle.
7
Bonté, Eric. "Calcul des extensions dans les théories de défauts en réseau : Application au raisonnement à profondeur variable". Paris 13, 1992. http://www.theses.fr/1992PA132015.
Pełny tekst źródłaStreszczenie:
Nous étudions dans cette thèse le problème du calcul des extensions dans un sous-ensemble de la logique des défauts qui permet d'interpréter les réseaux d'héritage avec exceptions. Nous proposons une procédure correcte et complète qui calcule toutes les extensions d'une théorie réseau. Notre procédure ne se limite pas aux théories ordonnées et fonctionne même en présence de circularités dans le réseau. L'originalité de notre procédure est de s'appuyer sur un système de maintenance de la vérité. Nous présentons une adaptation de cette procédure dans le cadre d'un système hybride de raisonnement à profondeur variable, c'est-à-dire dans un système qui travaille sur plusieurs niveaux de représentations définis dynamiquement en fonction des besoins du raisonnement
8
Forget, Lionel. "X-logiques : théorèmes de représentation pour les logiques préférentielles et la logique des défauts". Aix-Marseille 1, 1999. http://www.theses.fr/1999AIX11009.
Pełny tekst źródłaStreszczenie:
Cette thèse se situe dans le cadre de l'intelligence artificielle et plus particulièrement du raisonnement incertain et révisable. Il existe deux grandes classes de formalismes permettant de modéliser la connaissance. Ceux qui possèdent la propriété de monotonie et dans lesquels une formule déduite le sera toujours lors de l'ajout d'information, et ceux qui sont non-monotones et qui permettent un raisonnement révisable sur des informations incomplètes. Nous nous intéressons à un nouveau formalisme non-monotone, les X-logiques, définies à l'aide d'une logique classique et d'un ensemble de formules de cette logique. Nous montrons qu'il est possible de capturer différents formalismes non monotones, à l'aide des x-logiques, c'est-à-dire que pour un formalisme non monotone donné, il est possible de définir une X-logique qui infère les mêmes formules que celles inférées par le formalisme non monotone considéré. Une fois montré le caractère fédérateur des X-logiques, il devient alors possible d'étudier les formalismes non monotones en commençant par les traduire en une X-logique. L'intérêt de cette approche est qu'il devient alors envisageable d'étudier les logiques non monotones en utilisant les outils de démonstration automatique des logiques classiques. Cette approche est donc résolument orientée procédure de preuve. Nous montrons deux théorèmes de représentation sur les X-logiques dans le cas fini. Le premier, que nous appliquons au cas particulier de la circonscription, concerne les logiques préférentielles (définies sur une relation d'ordre entre les modèles). Le second porte sur la logique des défauts.
9
Cyr, Charles. "Développement d'algorithmes de détection de défauts pour la maintenance prédictive de générateurs hydroélectriques". Thesis, Université Laval, 2004. http://www.theses.ulaval.ca/2004/21577/21577.pdf.
Pełny tekst źródłaStreszczenie:
Les arrêts de production dus à des défauts de l’équipement sont coûteux dans les centrales hydroélectriques. Ces arrêts peuvent être causés par un mauvais asservissement de la vitesse des générateurs. L’utilisation d’un système de monitoring des performances de régulation permet de connaître à intervalle rapproché l’état de l’asservissement de vitesse des générateurs. Les méthodes de détection de défauts développées et appliquées aux générateurs déterminent la probabilité d’occurrence d’un arrêt de production engendré par une instabilité. L’utilisation des méthodes classiques de supervision des procédés intégrées à l’aide de l’analyse par composantes principales permet d’obtenir une détection et une localisation des défauts présents dans les régulateurs et les générateurs hydroélectriques. Les résultats obtenus sont présentés sous forme de graphiques aisément interprétables.
10
Deguillemont, Denis. "Contribution de l'application de la transformation en ondelettes pour détecter et reconnaître des défauts sur des objets de nature complexe en production industrielle". Lille 1, 1998. http://www.theses.fr/1998LIL10131.
Pełny tekst źródłaStreszczenie:
Dans certains cas, les methodes classiquement utilisees par les systemes industriels se montrent insuffisantes et le controle par des operateurs humains s'avere donc encore necessaire. C'est, en effet, le cas des produits industriels en metal, plastique, verre ou la reconnaissance de defauts semble etre tres proche de l'analyse de texture et pour lesquels les methodes classiques les plus performantes sont, dans la plupart des cas, difficilement utilisables dans un contexte industriel. Pour apprehender ce probleme particulier, dans son ensemble, nous nous proposons donc d'effectuer d'abord une rapide presentation, au chapitre 1, de l'etat de l'art en vision industrielle afin d'etre conscient du savoir-faire dans ce domaine, avant d'aborder, dans le detail, les methodes d'analyse d'images et de textures les plus classiquement utilisees. Nous nous interesserons ensuite, au chapitre 2, aux methodes de transformations orthogonales dont l'interet reside dans la decorrelation des donnees et nous montrerons que l'une des transformations les plus interessantes est la transformation en ondelettes puisqu'elle permet de realiser une analyse multiresolution que l'on peut considerer comme proche de celle du systeme visuel humain. Nous presenterons enfin dans le chapitre 3, notre methode basee sur l'analyse multiresolution qui, a l'aide de la transformation en ondelettes pour decorreler les donnees de l'image originale permet de faire apparaitre, a un niveau de resolution que l'on determinera, les defauts recherches. Il ne restera alors qu'a appliquer une methode de reconnaissance de formes utilisant les donnees multiresolutions issues de cette analyse pour reconnaitre et classifier les defauts.
11
Sabatier, Philippe. "Contrôle catastrophique d'un système a base de connaissances. : Conception, modélisation et application au diagnostic des défauts des fromages". Lyon, INSA, 1994. http://www.theses.fr/1994ISAL0055.
Pełny tekst źródłaStreszczenie:
L'Intelligence Artificielle s'intéresse à la mise en œuvre de systèmes symboliques formels, dont les représentations doivent se comporter comme des connaissances humaines. Le développement de l'I. A. Dans le domaine du diagnostic de troubles sanitaires pose le problème du contrôle -i. E. De la cohérence- des bases de connaissances. L'objet de ce travail est de dégager les éléments d'une méthodologie du contrôle fondé sur l'apport de la Théorie des Catastrophes (TC). Nous partons de l'étude des délicats problèmes conceptuels, et mathématiques que pose la modélisation des phénomènes biologiques. Nous montrons ensuite que la TC, est susceptible de fournir un modèle adéquat pour la compréhension des défauts des fromages. Plus que la modélisation d'un domaine, nous cherchons à établir la pertinence d'une méthode et l'intérêt de la constitution d'un niveau intermédiaire (ici microbiologique) entre la perception des formes (ici organoleptique) et l'organisation de la matière (ici biochimique). Ce niveau correspond à une représentation interne de la réalité physique, et permet d'interpréter le divers phénoménologique. Nous montrons que la TC ouvre la possibilité d'une véritable schématisation des descriptions, compris langagières, des objets naturels. Elle s'appuie sur la mise en évidence de facteurs d'invariance phénoménologique. Cet apport est décisif pour améliorer le contrôle des systèmes à base de connaissances, et particulièrement des outils d'aide au diagnostic, pour lesquels se pose un problème d'interprétationIn AI research, we develop symbolic systems, which use representations considered as knowledge. In so doing we have confused the representations with the phenomenon we are modelling. But the map is not the territory. Today we consider that this confusion is the origin of the control problem of the knowledge bases. So we want emphasize the perspective that a knowledge representation is just that. Consequently we must develop inside each AI program a model of some system int he world. Our goal is to prove that Catastrophe Theory (CT) is a good way of modelling processes qualitatively (chapter 1). The use of CT allows describe the evolution of physical structures morphologically, and this is important for the biological diagnosis (chapter 2). The mathematical topic of the CT is exposed as a part of the system theory (chapter 3). To achieve one's end, we investigate an application of the CT to the cheese's « pathology » (chapter 4). Pathology can takes various forms and should be determined not by some external standard but to the individual in identical or varying circumstances. The evolution of the cheese, and the defects, may be determined from its localisation i a gradient : acidity, salt,… In all cases a frontier can be observed, which limits two zones, one with and another without the defect. This model is an internal representation of the physical reality. This is a vehicle that permit the interpretation of the phenomenological diversity (chapter 5)
12
Diouf, Saliou. "Contribution au diagnostic industriel de défauts de roulement et de balourd par techniques neuronales : application à la machine asynchrone à cage". Paris 12, 2007. http://www.theses.fr/2007PA120024.
Pełny tekst źródłaStreszczenie:
Cette thèse se focalise sur la détection et l'aide au diagnostic vibratoire de dysfonctionnement de type balourd ou de type écaillage de la bague extérieure de roulement de machines tournantes. Elle concerne la mise en oeuvre de techniques neuronales pour la détection et l'aide au diagnostic de ces défauts. Dans ce cadre, deux approches sont développées, à partir des signatures vibratoires issues pour l'une d'un capteur de courant, et pour l'autre d'un capteur accéléromètre. Ces signatures sont d'abord prétraitées par ACP puis classifiées par un réseau de neurones artificiel. Deux type de réseaux neuronaux, reconnus pour leur capacité de classification, ont été retenus : RBF et LVQ. La validation de ces deux approches, à travers l'étude des prétraitements des signatures et des paramètres des différents RNAs, est réalisée sur un banc d'essai équipé d'un moteur asynchrone à cageThis thesis is focused on vibratory signatures based faults detection and classification aiming computer aided diagnosis of defects relative to umbalanced rotation or dealing with rolling bearing's external ring's chipping defects appearing in turning machines. It relates the use of neural techniques for detection and computer aided diagnosis of such defects. We develop two approaches starting from the vibratory signatures obtained for the first one from a current sensor, and for the other one from an accelometer-like sensor. These signatures are initially pre-processed by PCA and after that they are classified by an artificial neural network (ANN). We use two types of neural classifiers, known for their classification capabilities : RBF and LVQ. The validation of these two approaches is carried out through the study of the pre-processing of the signatures and the parameters of different ANNs, using an experimental asynchronous electromotor
13
Casimir, Roland. "Diagnostic des défauts des machines asynchrones par reconnaissance des formes". Phd thesis, Ecole Centrale de Lyon, 2003. http://tel.archives-ouvertes.fr/tel-00139706.
Pełny tekst źródłaStreszczenie:
Les progrès réalisés en matière d'électronique de puissance, de circuits de commande et en automatique ont contribué à l'utilisation grandissante des machines asynchrones dans les systèmes d'entraînements électriques. Le recours aux machines asynchrones est surtout lié à leur robustesse, leur puissance massique et à leur coût de fabrication. Leur maintenance et leur surveillance permettent de rentabiliser les installations. Il est donc important de développer des outils de diagnostic pour détecter de manière précoce les défauts pouvant apparaître dans ces machines. Notre approche est basée sur l'utilisation des méthodes de reconnaissance des formes. Un vecteur de paramètres, appelé vecteur forme, est extrait de chacune des mesures effectuées sur la machine. Les règles de décisions utilisées permettent de classer les observations, décrites par le vecteur forme, par rapport aux différents modes de fonctionnement connus avec ou sans défaut. Des défauts ont été créés au rotor et au stator de la machine asynchrone, alimentée soit à partir du réseau, soit par le biais d'un onduleur de tension. Les procédures de décisions, basées sur la règle des k - plus proches voisins et sur le calcul direct des frontières, ont été utilisées pour détecter les défauts. Ces algorithmes ont montré l'efficacité de l'application de la reconnaissance des formes au diagnostic.
14
Vu, Hien Duc. "Adaptation des méthodes d'apprentissage automatique pour la détection de défauts d'arc électriques". Electronic Thesis or Diss., Université de Lorraine, 2019. http://docnum.univ-lorraine.fr/ulprive/DDOC_T_2019_0152_VU.pdf.
Pełny tekst źródłaStreszczenie:
La détection des arcs électriques se produisant dans un réseau électrique par des approches d’apprentissage représente le cœur des travaux exposés dans cette thèse. Le problème a d’abord été vu comme la classification de séries temporelles à taille fixe en deux classes: normal et défaut. Cette première partie s’appuie sur les travaux de la littérature où les algorithmes de détection sont organisés principalement sur une étape de transformation des signaux acquis sur le réseau, suivie d’une étape d’extraction de caractéristiques descriptives et enfin d’une étape de décision. L’approche multicritères adoptée ici a pour objectif de répondre aux imprécisions systématiquement constatées. Une méthodologie de sélection des meilleures combinaisons et de transformation et de descripteurs a été proposée en exploitant des solutions d’apprentissage. La mise au point de descripteurs pertinents étant toujours difficile, l'évaluation des possibilités offertes par l'apprentissage profond a également été étudiée. Dans une seconde phase l’étude a porté sur les aspects variables dans le temps de la détection de défaut. Deux voies statistiques de décision ont été explorées l’une basée sur le test de probabilités séquentiel (SPRT) l’autre basée sur les réseaux de neurones artificiels LSTM (Long Short Time Memory Network) chacune de ces deux méthodes exploite à sa manière la durée d’une première étape de classification comprise entre 0 et 1 (normal, défaut). La décision par SPRT utilise une intégration de la classification initiale. LSTM apprend à classer des données à temps variable. Les résultats du réseau LSTM sont très prometteurs, il reste néanmoins quelques points à approfondir. L’ensemble de ces travaux s’appuie sur des expérimentations avec des données les plus complètes et les plus large possible sur le domaine des réseaux alternatifs 230V dans un contexte domestique et industriel. La précision obtenue approche les 100% dans la majorité des situationsThe detection of electric arcs occurring in an electrical network by machine learning approaches represents the heart of the work presented in this thesis. The problem was first considered as a classification of fixed-size time series with two classes: normal and default. This first part is based on the work of the literature where the detection algorithms are organized mainly on a step of the transformation of the signals acquired on the network, followed by a step of extraction of descriptive characteristics and finally a step of decision. The multi-criteria approach adopted here aims to respond to systematic classification errors. A methodology for selecting the best combinations, transformation, and descriptors has been proposed by using learning solutions. As the development of relevant descriptors is always difficult, differents solutions offered by deep learning has also been studied. In a second phase, the study focused on the variable aspects in time of the fault detection. Two statistical decision paths have been explored, one based on the sequential probabilistic test (SPRT) and the other based on artificial neural networks LSTM (Long Short Time Memory Network). Each of these two methods exploits in its way the duration a first classification step between 0 and 1 (normal, default). The decision by SPRT uses an integration of the initial classification. LSTM learns to classify data with variable time. The results of the LSTM network are very promising, but there are a few things to explore. All of this work is based on experiments with the most complete and broadest possible data on the field of 230V alternative networks in a domestic and industrial context. The accuracy obtained is close to 100% in the majority of situations
15
Moha, Naouel. "DECOR : Détection et correction des défauts dans les systèmes orientés objet". Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2008. http://tel.archives-ouvertes.fr/tel-00321081.
Pełny tekst źródłaStreszczenie:
Les défauts de code et de conception sont des problèmes d'implémentation et de conception qui proviennent de ''mauvais'' choix conceptuels récurrents. Ces défauts ont pour conséquence de freiner le développement et la maintenance des systèmes en les rendant plus difficiles à maintenir et évoluer. Une détection et une correction semi-automatiques sont donc des facteurs clefs pour faciliter les phases de maintenance et d'évolution.Des techniques et outils ont été proposés dans la littérature à la fois pour la détection et la correction des défauts. Les techniques de détection proposées consistent principalement à définir des règles pour détecter les défauts et à les appliquer sur le code source d'un système. Quant aux techniques de correction, elles consistent à appliquer de façon automatique des refactorisations dans le code source du système analysé afin de le restructurer de manière à corriger les défauts. Cependant, la phase qui consiste à identifier les restructurations est réalisée manuellement par les
ingénieurs logiciels. Ainsi, il n'est pas possible de corriger
directement et automatiquement les défauts détectés. Ce problème est dû au fait que la détection et la correction des défauts sont traitées de façon isolée.
Ainsi, nous proposons DECOR, une méthode qui englobe et définit toutes les étapes nécessaires pour la détection et la correction des défauts de code et de conception. Cette méthode permet de spécifier des règles de détection à un haut niveau d'abstraction et de suggérer des restructurations de code afin d'automatiser la correction des défauts.
Nous appliquons et validons notre méthode sur des systèmes libres orientés objet afin de montrer que notre méthode permet une détection précise et une correction adaptée des défauts.
16
Bouhours, Cédric. "Détection, Explications et Restructuration de défauts de conception : les patrons abîmés". Phd thesis, Toulouse 3, 2010. http://tel.archives-ouvertes.fr/tel-00457623.
Pełny tekst źródłaStreszczenie:
L'ingénierie des modèles considère les modèles comme des entités de première classe pour le développement logiciel. Les processus dirigés par les modèles se doivent d'être capables de prendre en compte le savoir-faire d'experts, généralement exprimé en termes de patrons, qu'ils soient d'analyse, de conception ou d'architecture. Choisir le bon patron et assurer sa bonne intégration au sein d'une modélisation constitue des freins à l'utilisation systématique des bonnes pratiques de conception. Afin d'alléger ces tâches, nous proposons une approche basée sur l'inspection automatique des modèles. De la même manière qu'il existe des revues de code visant à vérifier l'absence de mauvaises pratiques de codage dans un programme, nous avons outillé une activité de revue de conception identifiant, expliquant et corrigeant les mauvaises pratiques de conception dans un modèle. Un patron abîmé est comparable à un patron de conception, ses contextualisations résolvant les mêmes types de problèmes, mais avec une architecture différente et certainement améliorable. Des expérimentations ont été menées afin de collecter des patrons abîmés, nous amenant à proposer un catalogue de mauvaises pratiques, complémentaire au catalogue du GoF. La détection des contextualisations de patrons abîmés dans un modèle UML est apparentée à un morphisme de graphe étendu. Les graphes UML ayant des sommets typés, la détection s'appuie sur des particularités structurelles locales et globales permettant de résoudre ce problème NP-Complet par des filtrages successifs. Cet algorithme est ainsi capable de détecter toutes les contextualisations possibles d'un patron abîmé, en gérant de plus les arcs interdits et facultatifs. La sémantique d'un fragment de modèle est donnée par son intention et celle-ci est validée par le concepteur. L'intention des fragments détectés et les bénéfices d'un remplacement par le patron adéquat sont déduits par des requêtes sur une ontologie conçue à cet effet. La transformation des fragments en contextualisations de patrons de conception est réalisée grâce à des restructurations de modèles déduites automatiquement des différences structurelles entre un patron abîmé et un patron de conception.
17
Noura, Hassan. "Contribution à la commande des systèmes : diagnostic et commande des systèmes soumis à des défauts". Nancy 1, 1993. http://www.theses.fr/1993NAN10208.
Pełny tekst źródłaStreszczenie:
Le bon fonctionnement d'un processeur industriel peut être altéré par la présence d'un ou plusieurs défauts. Dans ce cas, une commande classique peut s'avérer insuffisante pour préserver la sécurité et la fiabilité du système. Il est donc indispensable de déterminer une stratégie de commande capable de tolérer le défaut lorsqu'il apparait ou bien de s'y accommoder. Différentes méthodes d'accommodation aux défauts, existant dans la littérature, ont été présentées dans le premier chapitre de ce mémoire. Dans le deuxième chapitre, deux approches basées sur la stabilisation simultanée de systèmes ont été proposées. L'importance du diagnostic pour résoudre le problème de l'accommodation aux défauts a été présentée au troisième chapitre. Le quatrième chapitre comporte la comparaison entre deux approches d'accommodation qualifiées d'indirectes. Une de ces méthodes a été testée sur un pendule inversé. Dans la cinquième partie, une méthode qualifiée de directe a été proposée. Le sixième chapitre comprend l'étude d'une approche globale applicable aux systèmes de grande dimension qui a été appliquée à un processus thermique
18
Firmin, Christian. "Optimisation des réseaux de neurones à fonctions radiales de base par critères informationnels : application à la détection de défauts en production de bouteilles". Lille 1, 1997. http://www.theses.fr/1997LIL10048.
Pełny tekst źródłaStreszczenie:
Cette étude porte sur les réseaux de neurones à fonctions radiales de base pour la classification automatique. Ces réseaux sont attractifs grâce à leurs structures étroitement liées aux approches statistiques de classification. Dans un premier temps, nous présentons les méthodes métriques et probabilistes pour la classification non supervisée. Ces approches sont vues sous un aspect stochastique adapté à l'apprentissage des réseaux de neurones. Nous mettons en évidence les avantages et inconvénients de ces deux types d'approche pour proposer un algorithme d'apprentissage robuste et rapide. Dans la deuxième partie nous utilisons des critères informationnels en vue de limiter la complexité d'un réseau de neurones à fonctions radiales de base. Nous développons, également, un réseau à architecture évolutive qui permet de s'affranchir de la connaissance a priori du nombre et de la forme des classes présentes dans l'ensemble d'observations. La classification des observations est obtenue par segmentation itérative de la fonction de densité de probabilité estimée par le réseau. La dernière partie de ce mémoire est consacrée à la conception d'un système de détection automatique de défauts sur des bouteilles en verre. Nous présentons la démarche adoptée qui inclut l'extraction et la sélection d'attributs caractéristiques ainsi que la conception d'un réseau de neurones avec options de rejets.
19
Benoist, Bruno. "Système expert d'analyse automatique des signaux de défauts lors du contrôle non destructif des générateurs de vapeur des centrales nucléaires". Compiègne, 1990. http://www.theses.fr/1990COMPD304.
Pełny tekst źródłaStreszczenie:
L'analyse automatique des signaux de défauts des tubes de G. V. Par la technique des courants de Foucault multifréquence est souvent inefficace à cause du bruit de fond. La première étape est d'utiliser une méthode qui permet l'élimination du bruit de fond : l'interpolation adaptative. Grâce à cette méthode, une analyse complète des signaux peut être réalisée en tenant compte des informations contenues dans toutes les voies d'acquisition (voies brutes, voies de combinaisons de fréquences). En corrélant ces informations, on classe les défauts en deux types : les défauts simples (symétriques), les défauts multiples (plusieurs défauts à la même place). La seconde étape consiste à utiliser un système expert qui fournit un diagnostic fiable quel que soit le type de défaut à interpréter. On décrit, d'une part le générateur des systèmes experts (SUPER), et d'autre part la base de connaissance et les outils spécifiques à cette application (SOCRATE). Les premiers résultats obtenus avec des signaux correspondant à des défauts réels sont présentés et discutés. Le système expert s'est révélé efficace dans tous les cas étudiés, même avec des signaux dans un environnement très bruitéAutomatic analysis, by computer, of defect signals in steam generator tubes, based on Eddy current multifrequency technique, is must often inefficient due to "pilgrim noise". The first step is to use a method that allows us to eliminate the noise : the adaptative interpolation. Thanks to this method, which ensures reliable data on each channel, the analysis can be realised by taking into account the data corresponding to each basic or mixed channel. By correlating these diverse data, we can class the signals according to three types of defects : single defects (symmetrical), multiple defects (several in the same place). The second step is to use an expert system which allows a reliable diagnosis for whatever family the defect belongs to. According to this classification, analysis is continued and results in the characterisation of the defect. The expert system has already been developed with the general purpose application expert system shell SUPER, which is briefly described. The knowledge base (SOCRATE) and the specific tools developed for this application are thoroughly described. The first results obtained with signals corresponding to real defects, that have been recorded in different places, are presented and discussed. The expert system is revealed efficient in aIl the studied cases, even with signals obtained in very noisy environments
20
Sallem, Fatma. "Détection et isolation de défauts actionneurs basées sur un modèle de l'organe de commande". Phd thesis, Université Paul Sabatier - Toulouse III, 2013. http://tel.archives-ouvertes.fr/tel-00865848.
Pełny tekst źródłaStreszczenie:
Dans cette thèse nous proposons une nouvelle formulation de la procédure de détection et d'isolation de défauts provenant des actionneurs pour les systèmes dynamiques. Habituellement, un système de commande se compose de trois parties : les capteurs, le procédé et les actionneurs. L'actionneur est un dispositif interne avec sa propre structure et ses caractéristiques dynamiques. Dans la majorité des études, il est considéré tout simplement et d'une manière approximative comme des coefficients constants, mais ce type de formulation d'actionneur n'est pas efficace pour l'identification exacte des défauts issus des organes de commande pour les systèmes réels. Dans le but de s'approcher de la réalité et aussi pour améliorer l'efficacité du diagnostic, nous allons considérer l'actionneur comme un sous-système connecté en cascade avec le procédé. En utilisant cette nouvelle formulation, les défauts actionneurs peuvent être modélisés en les considérant comme étant un changement au niveau des paramètres internes de ce sous-système actionneur. Nous supposons que la sortie de l'actionneur qui représente aussi l'entrée du système dynamique est non mesurable, donc nous allons obtenir l'information sur les défauts actionneurs seulement à partir de la variable de sortie du procédé. Une question intéressante peut se poser lors de l'implantation de la procédure de diagnostic des défauts actionneurs: est ce que l'information sur les défauts actionneurs peut être complètement vue à la sortie du système dynamique ? Cet apport informationnel constitue le problème primordial pour concevoir la procédure de diagnostic désirée. Pour décrire cette nouvelle reformulation, nous avons introduit quelques notions sur les systèmes inverses et nous avons donné également une condition de rang pour l'inversibilté à gauche des systèmes linéaires. Le but de l'étude de ces notions est de trouver les conditions satisfaisantes qui vont permettre la détection de défauts provenant de l'actionneur. Pour l'isolation des défauts, nous avons utilisé une approche basée sur les observateurs par intervalles. En effet, cette méthode nous a permis d'isoler les défauts d'une manière très rapide. L'ensemble des résultats présentés ont été illustrés par un exemple de simulation sur un réacteur nucléaire montrant l'efficacité de la méthode pour l'isolation de défaut.
21
Tounsi, Mohamed. "Cyclage actif en mode MLI des modules de puissance IGBT application des SVM pour le diagnostic des défauts de vieillissement thermique". Caen, 2011. http://www.theses.fr/2011CAEN2082.
Pełny tekst źródłaStreszczenie:
Ce travail porte sur la mise en œuvre d’un classifieur SVM (Séparateur à Vaste Marge) pour le diagnostic automatique de défauts de vieillissement thermique de composants de puissance IGBT à base de mesures électrothermiques. Cela a nécessité le développement d’un banc d’essai de cyclage actif de modules IGBT pour la caractérisation de leur fatigue thermique, l’analyse des dégradations engendrées dans leur assemblage ainsi qu’à la classification de leur mode de fonctionnement, en mode « sain » et en mode « dégradé». La stratégie de cyclage thermique adoptée, vise à reproduite les contraintes imposées aux composants durant un fonctionnement réel. Nous avons suivi d’une part, les paramètres statiques et dynamiques des modules pour détecter d’éventuelles dérives, et d’autre part des paramètres électrothermiques indicateurs de dégradations thermomécaniques dans leur assemblage. Le stress thermique a causé principalement une avance dans les commutations à la fermeture et à l’ouverture ainsi qu’une apparition d’une trainée de courant à l’ouverture. Une analyse de défaillance a permis de révéler un décollement de fils de bonding, une dégradation de la brasure puce/substrat et une reconstruction des surfaces des métallisations d’émetteur et de grille. Le classifieur SVM construit, permet de discerner un mode de fonctionnement dégradé d’un mode de bon fonctionnement des composants, en vue de la mise en œuvre d’une maintenance préventive dans des installations électriques où la continuité de service et la sécurité revêtent une importance capitaleThe work concerns the implementation of an SVM classifier (Support Vector Machine) for an automatic diagnosis of power IGBT module thermal ageing defects, based on thermoelectric measurements. This has required the development of an active cycling test bench for the characterization of the thermal tiredness of IGBT modules, the analysis of the degradations generated in their assembly, and the classification of their operating mode : in " healthy " mode and " degraded " mode. The strategy adopted for the thermal cycling, aims to reproduce the constraints imposed on the components during their real operation. We followed the module static and dynamic parameters in order to detect possible drifts, and thermoelectric parameters used as criteria of thermo-mechanical degradations in their assembly. The thermal stress caused mainly, earlier switching-on and switching-off modes and appearance of a tile-current. A failure analysis has revealed, in the component assembly, bond-wire lift-off, solder layer degradation, and surface dislocation of the gate and emitter metallizations. The implemented SVM classifier, allows to distinguish between an IGBT degraded operating mode and a healthy operating mode, for a preventive maintenance in electric installations where the continuity of service and safety are very important
22
González-Contreras, Brian Manuel. "Contribution à la tolérance aux défauts des systèmes linéaires : Synthèse de méthodes d'accommodation fondée sur l'information du second ordre". Thesis, Nancy 1, 2009. http://www.theses.fr/2009NAN10008/document.
Pełny tekst źródłaStreszczenie:
Le travail présenté dans ce mémoire de thèse concerne la synthèse de méthodes d'accommodation fondée sur l'information du second ordre (ISO) dans le contexte de la tolérance aux défauts présents au sein des systèmes linéaires. La contribution majeure de ces travaux de recherche concerne l'exploitation de cette information dans l'analyse de la reconfigurabilité (aptitude du système à s'affranchir des défauts) et dans le développement des stratégies d'accommodation de défauts permettant de retrouver les performances nominales en fonction du comportement dynamique et garantissant une information du second ordre %(coût énergétique) imposée. Dans un premier temps, on propose des approches pour mesurer l'information du second ordre à partir des grandeurs entrée/sortie des systèmes linéaires. Dans une première approche, la réponse (données de sortie) à la condition initiale est considérée. Une alternative intéressante à cette approche, en considérant le problème comme un d'identification et basée sur la réponse impulsionnelle (paramètres de Markov), est proposée afin d'évaluer l'information du second ordre indirectement mais en-ligne en utilisant des grandeurs entrée/sortie. Un indice résultant de cette évaluation est proposé afin de contribuer à l'étude de la reconfigurabilité en ligne d'un système défaillant. Cette estimation en temps réel de l'information du second ordre est étendue aux systèmes commandés en réseau afin d'évaluer l'impact de retards sur la reconfigurabilité du système. Dans un deuxième temps, des stratégies permettant l'accommodation de défauts du type perte d'efficacité des actionneurs sont proposées, approches considérées dans le contexte de la synthèse de l'information du second ordre par retour d'état. On aborde le cas des systèmes à une entrée, approche proposée et basée sur la méthode de la pseudo inverse modifiée. Ensuite on considère le cas multivariable, approche basée sur la méthode de la pseudo inverse. Des exemples se présentent pour illustrer l'application des approches proposées. Les éléments développés au cours du mémoire sont illustrés à travers une application couramment étudiée dans la commande de procédés : le système hydraulique des trois cuves. Les simulations effectuées mettent en relief les résultats obtenus et l'apport des méthodes développéesThis thesis is devoted to the synthesis of accommodation methods founded on the second order information (SOI) assignment in the context of fault tolerance for deterministic linear systems. The major contribution of this research concerns using this information in the reconfigurability analysis (capability of the system to respond to faults) and developing strategies for fault accommodation in order to recover nominal performances in terms of system dynamics and also to guarantee the assigned second order information. Firstly, approaches for measuring the SOI using the system's input/output data are proposed. A first approach based on the initial response is considered. An interesting alternative to this approach, in considering the problem as one of identification, is proposed as an indirect computation of the SOI but online and using input/output data. An index based on reconfigurability, which is directly related to the SOI, is also proposed. Based on this online SOI computation, the index is applied to networked control systems affected by network induced delays in order to calculate their impact over the system. Secondly, fault accommodation strategies for loss of effectiveness type faults are proposed under the feedback SOI synthesis. SISO systems are first considered, approach founded on the modified pseudo inverse method. On the other hand, a strategy for MIMO systems founded on the pseudo inverse method is taken into account. Examples illustrating the application of the approaches are also presented. All these developed approaches are applied and illustrated through the well known process benchmark: the three tank hydraulic system. The simulations show up and notice the results obtained, and bring out the contribution of the developed approaches
23
Shamsi, Nejad Mohammad Ali. "Architectures d'alimentation et de commande d'actionneurs tolérants aux défauts : régulateur de courant non linéaire à large bande passante". Thesis, Vandoeuvre-les-Nancy, INPL, 2007. http://www.theses.fr/2007INPL046N/document.
Pełny tekst źródłaStreszczenie:
L’objectif de ce travail est d’étudier les différentes structures d’alimentation et de commande d’actionneurs dédiés aux systèmes embarqués, motorisés par des machines synchrones à aimants permanents (MSAP) alimentées par des onduleurs de tension. En analysant les avantages et les inconvénients de ces structures, nous choisissons deux structures à puissance segmentée: Une MSAP triphasée alimentée par deux onduleurs à trois bras et une MSAP double-étoile alimentée par deux onduleurs à trois bras. L’autre aspect étudié est la détection de défauts et la reconfiguration de l'alimentation et de la commande pour pouvoir fonctionner en mode dégradé. Pour les défauts circuit-ouvert ou court-circuit d'un transistor d'un onduleur, une ou plusieurs stratégies de commande en mode dégradé sont proposées. Les résultats de simulation et d’expérimentation permettent de valider l’efficacité des méthodes proposées. La dernière partie de ce travail est consacrée à l’étude et l’établissement de modèle pour un régulateur hybride de courant à large bande passante sous le nom d’hystérésis modulé. La comparaison de ses performances avec celles d’autres régulateurs est également effectuéeThe objective of this work is to study different structures of supply and control of actuators for the embarked systems, motorized by permanent magnet synchronous machines (PMSM) supplied with voltage source inverters (VSI). By analyzing the advantages and the disadvantages of these structures, we choose two power segmented structures: a three-phase PMSM supplied with two three-leg VSI and a double-star PMSM supplied by two three-leg VSI. The other aspect is the fault detection and the reconfiguration of the supply and command to make possible the operation in degraded mode. For the open-circuit or short-circuit fault of an inverter switch, one or several strategies in degraded operating mode are proposed. The simulation and experimentation results validate the effectiveness of the proposed methods. The last part of this work is devoted to the study and modeling of a large band-width hybrid current controller named "modulated hysteresis". The performances of this controller are compared with the other regulators
24
Andrea, Jonathan. "Génération, modélisation et détection des défauts d'arc électrique : application aux systèmes embarqués aéronautiques". Thesis, Nancy 1, 2011. http://www.theses.fr/2011NAN10017/document.
Pełny tekst źródłaStreszczenie:
Les arcs électriques ont été à l'origine de plusieurs cas d'accidents aériens graves par incendie ou par destruction d'organes électriques fondamentaux (ex : actionneurs, panneau supérieur,...) (TWA 800 en 1996 et Vol 11 Swiss Air en 1998). Les prévenir et les détecter constituent une amélioration notable de la sécurité en aéronautique. Ainsi, bien que le problème soit connu depuis longtemps, les premiers systèmes de détection d'arcs pour l'avionique sont très récents. Dans un avion, ces défauts ont pour causes principales le vieillissement et la détérioration des câbles. Afin d'étudier et de proposer un système de détection d'arc, les trois phases d'étude suivantes ont été suivies chronologiquement dans ce travail de thèse : premièrement, la réalisation d'un banc de production et de caractérisation des grands types d'arcs électriques (AC et DC). Ce système permet de produire des arcs contrôlés en intensité et en durée selon les modes série, parallèle, DC et AC. L'amorçage des arcs est obtenu par surtension. Cette surtension est produite par commutation inductive. Deuxièmement, la recherche de modèles électriques fiables expliquant les phénomènes d'arcs. Nous proposons donc un meta modèle associant les caractéristiques de différents modèles comportementaux et impédencemétriques.Cette association permet d'améliorer significativement les performances globales de la modélisation dans les circuits. Troisièmement, l'étude et la proposition d'algorithmes de détection en vue de l'implantation sur circuit électronique suffisamment réduit pour être implanté dans un disjoncteur. La détection de la signature d'arc se rapproche d'un problème de détection d'informations fortement bruitées pour lequel peu de solutions ont été jusqu'à présent proposées car cette recherche est relativement nouvelle.Nous proposons et testons différentes méthodes de détectionThe arcs have been the source of several aircraft accidents by fire or serious destruction of the electrical fundamentals (eg actuators, top panel ,...) (TWA 800 in 1996 and Swiss Air Flight 11 1998). Prevent and detect constitute a significant improvement in aviation safety. Thus, although the problem has been known for a while, detection systems for avionics are very recent. In an aircraft, these defects are caused by the aging and the deterioration of the cables. To study and propose a system for arc detection, the following three phases were followed chronologically in this thesis: first, the developement of a test bench to characterize the main types of arcs (AC and DC). This system can produce arcs controlled intensity and duration depending on the mode serial, parallel, DC and AC. The initiation of arcs is obtained by overvoltage. This surge is produced by inductive switching. Second, the search for reliable electric models explaining the phenomena of arcs. We therefore propose a meta model combining the characteristics of different behavioral models and impedancemetry.This combination significantly improves the overall performance of the modeling in the circuits. Thirdly, the study of detection algorithms for implementation on an electronic circuit, small enough to be implanted in a circuit breaker.We propose and test different methods of detection
25
Homssi, Louay. "Outils de modélisation, identification et traitement du signal pour le diagnostic des défauts dans les systèmes continus". Toulouse, INSA, 1992. http://www.theses.fr/1992ISAT0017.
Pełny tekst źródłaStreszczenie:
Le travail presente dans ce memoire porte sur les outils de traitement analytique pour le diagnostic des defauts lentement variables dans les systemes continus. Une methodologie de diagnostic est presentee basee sur la modelisation et l'identification parametrique du systeme a superviser. Plusieurs avantages la caracterisent: etape d'analyse de la richesse du signal d'entree afin de selectionner des intervalles avec une entree riche en frequences, pour une bonne qualite d'identification, detection et localisation des defauts internes en observant les parametres estimes du systeme, possibilite de localisation de defauts de capteurs. Une grande partie du travail est consacree a l'identification des modeles parametriques continus: classification des methodes d'identification, presentation et comparaison numerique et qualitative de huit methodes d'identification. Divers problemes lies a l'identification ont ete discutes (modeles continus stochastiques, retard, conditions initiales et biais de mesure, richesse d'entree). Nous avons etabli des algorithmes recursifs pour le calcul des coefficients de fourier, dft et coefficients de legendre sur fenetre glissante. Un logiciel de simulation et d'identification des modeles continus (id4) a ete implemente en parallele a notre travail
26
Mtimet, Habib. "Analyse fréquentielle d'image pour une résolution subpixel : Etude d'un système nanolidar appliqué à la localisation des défauts dans les composants III-V". Montpellier 2, 1994. http://www.theses.fr/1994MON20018.
Pełny tekst źródłaStreszczenie:
La resolution des images recueillies par les capteurs ccd est limitee d'une part par le phenomene de diffraction du systeme optique utilise et d'autre part par un phenomene de double quantification: spatiale et dynamique, subi par l'image. Ces deux limitations physiques sont considerees afin d'obtenir une meilleure precision. Deux methodes de super resolution centroide et glissement de la phase de fourier (fps) sont etudiees et comparees grace a une simulation. Une resolution subpixel concernant la localisation du centre d'une image est obtenue. L'etude est ensuite generalisee a la realisation experimentale d'un systeme nanolidar destine a localiser avec une grande precision les microprecipites dans les composants iii-v. Des images de diffraction d'un microprecipite pour differents plans de defocalisation sont acquises, formant ainsi un signal tridimensionnel: la reponse impulsionnelle (psf) du systeme optique utilise. Un logiciel de calcul de la transformee de fourier tridimensionnelle (fft 3-d) est developpe. Applique aux images de diffraction, ce logiciel permet a partir de la phase du spectre de fourier obtenu (fto 3-d du systeme optique), la localisation, a l'echelle submicronique, des microprecipites dans les materiaux. La precision evaluee est nanometrique
27
Soldani, Siegfried. "Vers le diagnostic embarqué de défaillances dans les systèmes à événements discrets : application au domaine automobile". Toulouse 3, 2008. https://hal.laas.fr/tel-01591892.
Pełny tekst źródłaStreszczenie:
Cette thèse, réalisée dans le cadre d'une convention CIFRE entre ACTIA et le LAAS/CNRS, porte sur la détection et le diagnostic de défaillances fugitives dans les systèmes embarqués, avec une application dans le domaine automobile. Les méthodes proposées sont basées sur un modèle à événements discrets représentant le comportement observable du système surveillé en fonctionnement normal. L'étape de détection consiste à comparer la séquence d'événements observables émis par le système surveillé et la séquence d'événements attendus par le modèle. L'étape de localisation donne l'ensemble des événements potentiellement responsables des défauts observés. Cette étape se base sur l'approche "diagnostiqueur" développée par (Sampath et al. , 1998), dont le principe repose sur la compilation hors-ligne de l'information de diagnostic dans une structure de données (appelé diagnostiqueur) qui relie efficacement les observations aux fautes lors du diagnostic en ligne. Cette thèse a abouti au développement de plusieurs applications permettant le diagnostic de défauts fugitifs et intermittents. Les travaux ont été validés sur un banc de test représentant une architecture réseau utilisée dans les véhicules de transports urbains (bus, métro. . . )This thesis deals with the diagnosis of behavior functions in the embedded network systems and especially in the automotive systems. It is focused on the localization of intermittent faults in discrete events systems. The proposed methods are based on a discrete events model representing the normal functioning of the observable behavior of the monitored system. The detection step consists of a comparison between the flow of observable events emitted by the monitored system and the flow foreseen by the model. A localization mechanism, based on the diagnoser approach (Sampath et al. , 1998), points out the set of events potentially responsible for the faults. The aim of this approach is to get the diagnosis information into a data structure (off-line) which efficiently joins the observations with the faults during the on-line diagnosis. This thesis have lead to the building of many applications for the intermittent fault diagnosis. This works have been validated on a test bench representing the network used in the city transports (bus, subways. . . )
28
Sene, Moustapha. "Contribution à la mise au point de techniques de détection et de diagnostic de défauts de roulements basées sur la tranformée en ondelettes et les réseaux de neurones artificiels". Paris 12, 2007. http://www.theses.fr/2007PA120075.
Pełny tekst źródłaStreszczenie:
Cette thèse concerne le diagnostic de défauts basé sur l'analyse des vibrations mécaniques. Elle se focalise sur les aspects de la détaction et du diagnostic de pannes associant deux techniques de calcul : la transformée en ondelettes pour le diagnostic. L'application de ces concepts permet de détecter de façon précoce des défauts de type balourd et de type écaillage de la bague intérieure du roulement. Dans ce cadre, des approches de classification par estimation des probabilités et par techniques neuronales (RBF, LVQ) ont été mises en oeuvre. La validation de ces approches est réalisée à l'aide d'indicateurs (kurtosis, facteur de crête, valeur efficace, etc. ) extraits des mêmes signatures vibratoiresThis thesis concerns faults diagnosis based on analysis of mechanical vibrations. Detection and faults diagnosis are focused. Two computational techniques are used : wavelet transform for defect's detection and artificial neural networks for classification and diagnosis. Application of the studies concepts leads to early detection of unbalanced force defects and flaking paths defects of the outer ring of bearing. In this frame, classification approaches based on probability estimation and neural techniques (RBF, LVQ) have been implemented. Validation of these approaches is achieved using indicators (kurtosis, crest factor, root mean square, etc. ) extracted from the same vibratory signatures
29
Rocha, barbosa Cassandra. "Coordination et ordonnancement de tâches à grains fins entre environnements d'exécution HPC". Electronic Thesis or Diss., Reims, 2023. http://www.theses.fr/2023REIMS016.
Pełny tekst źródłaStreszczenie:
Les supercalculateurs deviennent de plus en plus complexes à utiliser. C’est pourquoi l’utilisation de modèle de programmation dit hybride, MPI + X, sont mis en place dans les applications. Ces nouveaux types de modèle permettent une utilisation plus efficace d’un supercalculateur, mais créent aussi de nouveaux problèmes lors de l’exécution des applications. Ces problèmes sont de différents types.Nous étudierons plus précisément trois problèmes liés aux programmations MPI + X. La progression des communications non bloquante de MPI au sein de l’environnement X. Puis deux types de déséquilibre possible dans les applications MPI+X. Le premier étant entre les processus MPI et le second au sein d’un processus MPI, c’est-à-dire le déséquilibre en sein de X.Une solution dans le cas d’un environnement X en tâches récursives sera tout d’abord présentée pour le problème de progression de communication MPI à l’aide d’insertion de tâche de progression dans l’environnement X. Lors du déséquilibre entre processus MPI, une solution de rééquilibrage de ressources au sein d’un nœud sera présentée. Enfin, pour le déséquilibre dans l’environnement X, une solution permettant d’utiliser le déséquilibre pour exécuter une seconde application sera également présentéeSupercomputers are becoming more and more complex to use. This is why the use of so-called hybrid programming models, MPI + X, are being implemented in applications. These new types of models allow a more efficient use of a supercomputer, but also create new problems during the execution of applications. These problems are of different types.More specifically, we will study three problems related to MPI + X programming. The progression of non-blocking MPI communications within the X environment. Then two types of possible imbalance in MPI+X applications. The first being between MPI processes and the second within an MPI process, i.e., imbalance within X.A solution in the case of an X environment in recursive tasks will first be presented for the MPI communication progress problem using progress task insertion in the X environment. For the imbalance between MPI processes, a solution for resource rebalancing within a node will be presented. Finally, for the imbalance in the X environment, a solution to use the imbalance to run a second application will also be presented
30
Jalabert, Antoine. "Architecture de mémoire haute densité à base d'électronique moléculaire tolérante à un très grand nombre de défauts". Phd thesis, Télécom ParisTech, 2006. http://pastel.archives-ouvertes.fr/pastel-00002014.
Pełny tekst źródłaStreszczenie:
L'électronique moléculaire, partie intégrante des nanotechnologies, résulte de la convergence de différents domaines: la microélectronique, la physique, la chimie ou encore la biologie. L'engouement suscité s'explique par l'espoir de trouver un complément faible coût, voire une alternative viable à l'électronique CMOS sur silicium actuelle, dont les perspectives d'évolution restent floues au-delà de 2015/2020 et dont le coût de fabrication actuel augmente de façon exponentielle. Les dispositifs à base d'électronique moléculaire apparaissent comme des candidats potentiels à l'intégration dans les mémoires du futur. En effet, leur utilisation permettrait d'obtenir, de part leurs dimensions nanométriques, des densités très élevées, bien au-delà de la roadmap silicium, tout en réduisant les coûts de fabrication grâce aux procédés d'auto-assemblage et d'intégration tridimensionnelle. Cependant, l'état de l'art actuel indique qu'il n'existe pas de modélisation appropriée à des simulations complexes et qu'à cette échelle, les variations technologiques d'un composant à l'autre seront très élevées. Les travaux de recherche présentés dans ce manuscrit de thèse proposent un nouveau type d'architecture de mémoire de très haute densité et tolérante aux dispersions, à base de transistor moléculaire à nanofils à effet de champs (NW-FET moléculaire). L'étude présente un modèle continu VHDL-AMS du transistor moléculaire, et deux niveaux de modélisation VHDL-AMS d'une nouvelle cellule mémoire moléculaire haute densité. Enfin, différentes techniques de tolérance aux fortes dispersions (jusqu'à 25% de variations des caractéristiques des dispositifs de base) sont évaluées.
31
Lin-Kwong-Chon, Christophe. "Approches neuronales adaptatives pour le contrôle tolérant aux défauts de systèmes pile à combustible". Thesis, La Réunion, 2020. http://www.theses.fr/2020LARE0008.
Pełny tekst źródłaStreszczenie:
La pile à combustible à membrane échangeuse de protons est un convertisseur électrochimique prometteur pour la production électrique à partir du vecteur hydrogène décarboné. Toutefois, certains verrous technologiques limitent encore son déploiement, tels que sa durabilité, sa fiabilité ou son coût financier. La stratégie de contrôle tolérant aux défauts actif est une des solutions pour atténuer tout défaut suivant trois actions : un diagnostic, une décision et un contrôle. Cette étude propose d’élaborer un module contrôleur générique et adaptatif aux états de santé par le biais des réseaux de neurones. Le contrôleur par programmation dynamique, l’apprentissage par renforcement et les modèles à états échoïques sont combinés pour la construction du contrôleur adaptatif. Ce contrôleur emploie trois modèles neuronaux avec des rôles spécifiques : un acteur, un prévisionneur et un critique. Les défauts de noyage et d’assèchement de la membrane sont considérés dans cette étude. Le contrôleur a pu démontrer des capacités intéressantes en simulation pour la régulation multi-variables de la stoechiométrie en oxygène, de la différence de pression à la membrane et de la température. Les résultats montrent des performances supérieures du contrôleur proposé face à un contrôleur proportionnel intégral dérivé. Des analyses de stabilité accompagnent l’étude et prouvent de la continuité du contrôleur adaptatif. Le contrôleur a été validé expérimentalement sur un banc d’essai avec une mono-cellule. La configuration du banc d’essai a imposé des contraintes propres à une application en ligne et en temps réel. Le caractère générique du contrôleur offre ici la possibilité de passer d’une configuration à l’autre sans devoir concevoir un autre contrôleur. Plusieurs tests sont effectués avec comme consigne la différence de pression nulle à la membrane. Le contrôleur a pu être validé sur l’apparition des défauts de noyage, d’assèchement de la membrane, y compris les perturbations en courant, les non-linéarités des actionneurs et de la purge en eau cathodique. La démarche et le contrôleur générique adaptatif aux états de santé proposés dans cette thèse permettent de répondre à des besoins de régulation autour de la stratégie de contrôle tolérant aux défauts. Le premier intérêt réside dans la compensation des effets multilatéraux des défauts qui entraîne des modifications dynamiques non voulues. Un autre intérêt est de pouvoir modifier in situ les conditions opératoires de fonctionnement, les composants ou même les auxiliaires tout en étant capable d’assurer un contrôle stable et optimalThe proton exchange membrane fuel cell is a promising electrochemical converter for production of electricity from the decarbonated hydrogen carrier. However, some technological challenges limit its deployment, such as durability, reliability or financial cost. The active fault-tolerant control strategy is one of the solutions to mitigate any system fault according to three actions: diagnosis, decision and control. This study proposes to develop a generic controller module adaptive to health states through neural networks. Dynamic programming controller, reinforcement learning, and echo-state models are combined for the design of the adaptive controller. This controller employs three neural models with specific roles: an actor, a predictor and a critic. Flooding and membrane drying faults are considered in this study. The proposed controller was able to demonstrate interesting capabilities on a simulation fuel cell model in multi-variable regulation for oxygen stoichiometry, membrane pressure difference and temperature. The results show superior performance of the proposed controller compared to a proportional integral derivative controller. Stability analyses were conducted to prove the continuity of the adaptive controller. The controller has been validated experimentally on a single cell test-bench. The configuration of the test-bench imposed constraints specific to an on-line and real-time application. The generic nature of the controller offers the possibility to switch from one configuration to another without having to design another controller. Several tests are carried out for regulation of the zero-pressure difference at the membrane. The controller was validated on the occurrence of flooding and membrane dryness faults, including actuator and water purging disturbances. The approach and the generic controller adaptive to the states of health proposed in this thesis allow to satisfy control requirements regarding the fault-tolerant control strategy. The first interest lies in the compensation of the multilateral effects of faults that lead to unwanted dynamic changes. Another interest is to be able to modify in situ operating conditions, components or even auxiliaries while being able to ensure a stable and optimal control
32
Boutayeb, Mohamed. "Contribution à l'estimation de l'état et des paramètres des systèmes singuliers : application au diagnostic". Nancy 1, 1992. http://www.theses.fr/1992NAN10004.
Pełny tekst źródłaStreszczenie:
Ce mémoire constitue une contribution à l'estimation de l'état et des paramètres des systèmes singuliers. Dans la première partie, un rappel sur les différents algorithmes d'estimation de l'état et des paramètres des systèmes standard avec une extension au cas des mesures biaisées est abordée. La partie deux est consacrée aux propriétés structurelles des systèmes singuliers carrés. Une généralisation dans le cas rectangulaire est établie, ensuite, en algorithme récurrent d'estimation de l'état et des défauts dans le cas des systèmes standard par l'approche des systèmes singuliers est présentée. Les conditions de convergence et de stabilité du filtre sont énoncées. Dans la deuxième partie de ce mémoire, l'algorithme de type bootstrap d'estimation de l'état et des paramètres est étendu au cas singulier en utilisant le filtre de Kalman généralisé et de nouvelles formes canoniques
33
Dieng, Abdoulaye. "Modélisation dynamique et commande d'un ensemble « génératrice synchrone pentaphasée à FEM non sinusoïdale – convertisseur AC/DC » tolérant aux défauts". Nantes, 2014. http://archive.bu.univ-nantes.fr/pollux/show.action?id=f111b637-afbe-49f3-b3a3-033b65a51a64.
Pełny tekst źródłaStreszczenie:
Dans le contexte de l’exploitation des sources d’énergies renouvelables marines, la difficulté d’accès aux installations impose d’explorer des chaînes de conversion d’énergies tolérantes aux défauts. Ce travail de thèse concerne la modélisation dynamique et la commande d’une chaîne de conversion d’énergie innovante. La chaîne de conversion étudiée est constituée d'une génératrice synchrone pentaphasée à aimants permanents et à FEM non sinusoïdale produisant l’énergie pour le bus continu via un convertisseur AC/DC. Deux topologies de convertisseurs AC/DC sont investiguées : un redresseur MLI pentaphasé et un redresseur innovant de type VIENNA pentaphasé. L’optimisation du transfert d’énergie nécessite l’élaboration de stratégies de commande optimales exploitant tous les harmoniques de la FEM en mode normal ou en mode de défaut lié à l’ouverture d’une phase de la génératrice. Des algorithmes de commande spécifiques sont élaborés en fonction du mode de connexion du neutre et du point milieu du bus continu. Les profils spécifiques des références de courant imposées par les stratégies de commande requièrent des régulateurs robustes et à hautes performances dynamiques. Pour les boucles internes de courant, le régulateur fractionnaire PIα de type linéaire et un régulateur analogique particulier auto-oscillant de type non-linéaire sont exploités. Pour la boucle externe de tension, des stratégies de commande sont élaborées et des régulateurs sont synthétisés. Des bancs d’essais logiciels et expérimentaux sont réalisés et les résultats illustrent les fonctionnements et les performances des stratégies de commande élaborées pour différents scenarii avec les deux convertisseursIn the context of exploitation of marine renewable energy sources, the access difficulties to the installations requires to explore fault-tolerant energy conversion systems. This Doctorate thesis deals with the dynamical modeling and control of an innovative energy conversion chain. The studied conversion chain consists of a non-sinusoidal EMF 5-phase permanent magnet synchronous generator which delivers the energy to the DC bus via an AC/DC converter. Two AC/DC topologies are investigated: a 5-phase PWM rectifier and a 5-phase VIENNA rectifier. The energy transfer optimization needs optimal control strategies using all the EMF harmonics in normal mode and in specific fault mode due to the opening of one phase of the generator. Specific control algorithms are developed based on the possible connection between the neutral of the machine and the midpoint of the DC bus. Particular profiles of the current references imposed by the control strategies require robust and high dynamic performance controllers. For the inner current loops, the linear PIα fractional controller and a specific non-linear phase-shift self-oscillating controller are synthesized. For the outer voltage loop, control strategies are developed and regulators are synthetized. Software and experiment test benches are built. Results illustrate the working and performances of the control strategies developed for different scenarii with both converters
34
Sidibé, Yaya Yannick. "Aide à la décision pour la détection et l’analyse des défauts de surface dans les structures immergées". Thesis, Le Havre, 2015. http://www.theses.fr/2015LEHA0006/document.
Pełny tekst źródłaStreszczenie:
Cette thèse concerne le développement de méthodes de détection et de diagnostic des défauts de surface dans les structures immergées. Les structures étudiées sont formées de plaques métalliques. Les méthodes proposées sont basées sur une analyse de mesures acoustiques ultrasonores issues d’échographie sous-marine. Cette analyse combine des outils usuels du traitement du signal et des méthodes de classification à base de réseaux de neurones gaussiens. Des variantes avec et sans modèle de référence sont proposées. Les techniques usuelles d’évaluation par contact montrent leurs limites pour le diagnostic des structures telles que les hydroliennes. Le présent travail de recherche consiste à utiliser un seul et unique transducteur sans contact sous différents angles contrairement à d’autres techniques qui nécessitent un grand nombre de capteurs et une connaissance précise de leur positionnement. Notre étude utilise les ondes de Lamb car elles sont très sensibles aux anomalies structurelles. Les principales étapes et outils utilisés sont les suivants : - 1. Utilisation d’un dispositif de génération et d’acquisition d’ondes de Lamb. - 2. Étude de la propagation d’ondes de Lamb dans les structures en immersion, en particulier dans les plaques métalliques immergées dans l’eau. - 3. Caractérisation des signaux pour différents types de défauts. - 4. Estimation de l’angle d’acquisition et de la distance du transducteur par rapport au centre de la plaqueThis study concerns the damages detection and diagnosis for immersed structure. The structures are metallic plates. The proposed method focuses on the analysis of ultrasonic acoustic measurements obtained by submarine echography. It combines signal processing tools and Gaussian neural networks for classification purpose. Methods with and without reference models are proposed. The usual detection technics with contact are not applicable for the considered systems like stream turbines. This research consists to use a single and a single transducer under different incidence angles opposed to others technics using numerous sensors and their accurate location. The present research use Lamb wave according to their sensibility to the structural damages. The different stages are the following : - 1. Experimental setup for Lamb wave generation and acquisition. - 2. Study of the Lamb wave processing on immersed structures, in particular in metallic plate immersed in water. - 3 .Signal characterization for different types of damages. - 4. Estimation of the angle and lift-off distance
35
Maazi, Mostafa. "Conception et réalisation de systèmes en gamme millimétrique pour l'évaluation non destructive : application à la restauration de profils et d'images d'objets enfouis". Lille 1, 2005. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2005/50376-2005-9.pdf.
Pełny tekst źródłaStreszczenie:
Les techniques microondes et millimétriques sont bien adaptées pour le Contrôle Non Destructif (CND) de matériaux mais celles-ci ne sont pas encore. Utilisées à grande échelle dans un contexte industriel. L'analyseur de réseaux vectoriel (ARV) jusqu'ici considéré comme un outil de choix dans le domaine de la caractérisation microondes en laboratoire s'avère souvent surdimensionné pour beaucoup d'applications industrielles. Ce travail consiste donc à proposer un dispositif, le "S-Parameters Measurement System" (SPMS), permettant la mesure d'un coefficient de réflexion S11, il est conçu dans une optique de simplicité et de faible coût. Deux démonstrateurs ont été réalisés, les SPMS-35000 et SPMS-60000 fonctionnant respectivement à 35 GHz et 60 GHz. La mesure du S11 en espace libre d'un matériau sous test, a d'abord permis la détection et la localisation de défauts de petite taille (quelques mm) enfouis dans un matériau diélectrique. Puis, l'utilisation d'outils de traitement de signal permettant la résolution du problème inverse, la déconvolution aveugle et les réseaux de neurones artificiels, a rendu possible l'évaluation de la géométrie et de la profondeur du défaut.
36
Toma, Samuel. "Méthodologie de détection et d'identification des défauts multiples dans les systèmes complexes à partir d'évènements discrets et de réseaux de neurones : applications aux aérogénérateurs". Thesis, Corte, 2014. http://www.theses.fr/2014CORT0006/document.
Pełny tekst źródłaStreszczenie:
L'étude présentée dans ce mémoire concerne le diagnostic des machines électriques à l'aide d'une association innovante entre la modélisation à évènements discrets, la Simulation Comparative et Concurrente (SCC) et les Réseaux de Neurones Artificiels (RNAs). Le diagnostic des machines électriques est effectué à partir d'une analyse temporelle des signaux statoriques et rotoriques à l'aide de réseaux de neurones de type Feed-Forward. Afin de comparer les différentes configurations de ces réseaux de neurones, l'approche proposée dans ce document utilise la simulation comparative et concurrente implémentée grâce au formalisme à évènements discrets DEVS (Discrete EVent system Specification). L'intégration des algorithmes de la SCC et des RNAs au sein du formalisme DEVS a été effectuée de manière générique et indépendamment du simulateur en développent des extensions et une librairie de modèles dans l'environnement de modélisation et de simulation à évènements discrets DEVSimPy. L'application de cette nouvelle solution pour le diagnostic des machines électriques permet de détecter les défauts à partir d'une architecture logiciel facilement portable sur des systèmes embarqués de type FPGAThis thesis deals with the time-domain analysis of the electrical machines fault diagnosis due to early short-circuits detection in both stator and rotor windings. It also introduces to the Discrete EVent system Specification (DEVS) a generic solution to enable concurrent and comparative simulations (CCS). The DEVS-based CCS is an extension introduced using an aspect-oriented programming (AOP) to interact with the classic DEVS simulator. A new DEVS-based artificial neural network (ANN) is also introduced with a separation between learning and calculation models. The DEVS-based CCS is validated on the proposed ANN DEVS library inside the DEVSimPy environment. The concurrent ANN contributes in the time-domains analysis for the electrical machine fault diagnosis. This new method is based on data coming directly from the sensors without any computation but with a new dedicated preprocessing technique. Later, some enhancements are brought to the artificial neural network based on a new multistage architecture reducing the training time and errors compared to the single ANN. The new architecture and techniques has been validated on real data sixteen non-destructive windings faults analysis and localization
37
Gassara, Hamdi. "Analyse, commande et observation des modèles flous de type Takagi-Sugeno à état retardé". Amiens, 2011. http://www.theses.fr/2011AMIE0124.
Pełny tekst źródłaStreszczenie:
Cette thèse concerne l'analyse de la stabilité et la stabilisation des systèmes non linéaires à retard décrit par les modèles flous de type Takagi Sugeno à état retardé (TSR). L'étude que nous avons menée consiste à trouver une solution acceptable entre la réduction du conservatisme et la complexité de calcul. Afin d'atteindre cet objectif, nous avons organisé notre travail comme suit : une première partie a traité la stabilité et la stabilisation des modèles TSR. Au début, nous avons développé des nouvelles conditions suffisantes de stabilité en utilisant la méthode polyquadratique pour le cas incertain des modèles TSR. Ce résultat a été étendu au problème de stabilisation par commande PDC sans critères de robustesse ou notions de performances. Nous avons remarqué à partir ce résultat que l'approche polyquadratique est non appropriée au problème de stabilisation du modèle TSR incertain à perturbations extérieures. Pour cette raison, nous avons utilisé l'approche quadratique avec des nouvelles techniques de relaxation pour l'étude des modèles TSR incertains et/ou perturbés. Une deuxième partie est consacrée à l'élaboration des lois de commande tolérante aux défauts actionneurs en utilisant les approches passives et actives. Pour l'approche passive, nous avons présenté une technique qui nous a permis d'utiliser une FLK dépendante de paramètre de défauts. Pour l'approche active, nous avons utilisé un observateur adaptatif pour l'estimation des défauts et la méthode de pseudo inverse pour l'accommodation de la loi de commande. La synthèse d'une loi de commande PDC basée sur observateur à variables de prémisses mesurables est établie dans une dernière partie de la thèse. Nous avons considéré dans cette partie le cas incertain et nominal du modèle TSR en présence d'un ensemble admissible de défauts actionneurs. Les différents résultats sont présentés sous forme d'Inégalités Matricielles Linéaires (LMI) facilement résolues en utilisant l'outil LMI Toolbox du logiciel Matlab
38
Lallbeeharry, Navish. "Réseaux d'énergie embarqués dans les systèmes de transport : communication et diagnostic passif par Courant Porteur en Ligne (CPL)". Thesis, Lille 1, 2018. http://www.theses.fr/2018LIL1I070/document.
Pełny tekst źródłaStreszczenie:
Les travaux de recherche présentés dans cette thèse portent dans un premier temps sur la fiabilisation de la technologie CPL et dans un second temps sur le diagnostic de réseaux filaires en utilisant le CPL dans le contexte aéronautique. L’objectif de l’étude est de fiabiliser le lien CPL en respectant les contraintes de temps de latence imposées par le domaine aéronautique. Nous avons introduit des erreurs de fréquence d'échantillonnage afin d’estimer les effets d'une désynchronisation sur le taux d'erreurs binaires. Ensuite une optimisation d'un algorithme d'estimation de l’erreur a été étudiée. La seconde partie de la thèse est consacrée à la surveillance des réseaux filaires embarqués, l'objectif étant d'utiliser la communication CPL comme moyen de détection de défaut. Nous avons centré notre étude sur la détection d’un défaut suite à un arc électrique, modélisé par une résistance parallèle, ou d’un défaut dans une connectique, modélisé par une résistance série sur un fil de la bifilaire. Afin de disposer des caractéristiques de canaux avec et sans défaut, un banc de test représentatif d'un harnais multibranches a été conçu avec différents échantillons de défauts résistifs. Nous avons proposé plusieurs coefficients de détection de défauts basés sur la corrélation, et la distance euclidienne ainsi qu’un algorithme aveugle basé sur les symboles reçus. Afin d'éviter des cas de fausse alarme ou d’absence de détection, des seuils de détection ont été discutés. Les différents coefficients de détection et les seuils ont été comparés et éprouvés en présence de bruit blanc en termes de la puissance émise, et du taux de détectionThe research presented in this thesis focuses firstly on the reliability of PLC technology and secondly on the diagnosis of wired networks using PLC in the aeronautical sector. First of all, we studied the OFDM synchronization in a PLC communication chain for data transmission on avionic systems. The objective of the study is to make the PLC link more reliable by respecting the latency constraints set in the aeronautical domain. We introduced sampling frequency errors in order to analyze the effects of sampling frequency desynchronization on the bit error rate. We then proposed an optimized algorithm for error estimation. The second contribution of the thesis is devoted to the monitoring of embedded wired networks and the objective being to use PLC communication as a mean of detecting a fault. We focused our study on the detection of a fault following an electric arc, modeled by a parallel resistance, or a connection fault, modeled by a series resistance on a wire of the two-wired cable. In order to have the channel characteristics with and without faults, a test bench of a multi-branch harness has been designed with different resistive fault samples. We proposed several correlation-based fault detection coefficients, Euclidean distance, and a blind algorithm based on received symbols. In order to avoid false alarms or no detection, detection thresholds were discussed. The different detection coefficients and the thresholds were compared and tested in the presence of white noise in terms of the transmitted power and the detection rate
39
Landon, Yann. "Contribution à l'amélioration de la qualité d'usinage en fraisage 3 axes sur machines-outils à commande numérique par la mise en place d'un compagnon virtuel". Toulouse 3, 2003. http://www.theses.fr/2003TOU30150.
Pełny tekst źródła
40
Cheik, Njifon Ibrahim. "Modélisation des modifications structurales, électroniques et thermodynamiques induites par les défauts ponctuels dans les oxydes mixtes à base d'actinides (U,Pu)O2". Thesis, Aix-Marseille, 2018. http://www.theses.fr/2018AIXM0356/document.
Pełny tekst źródłaStreszczenie:
(U,Pu)O2 (aussi appelé MOX) est actuellement utilisé comme combustible dans les réacteurs nucléaires à eau pressurisée (REP) avec une teneur massique en Pu d’environ 10 %. Il est également envisagé comme combustible de référence pour les réacteurs à neutrons rapides à caloporteur sodium, avec une teneur massique en Pu d’environ 25 %. En conditions opérationnelles, (U,Pu)O2 est soumis à des réactions de fission qui génèrent une grande quantité de défauts et de produits de fission. Par migration, ces défauts et produits de fission gazeux peuvent s'agréger en nano-cavités, dislocations et bulles de gaz, conduisant à une modification de la microstructure. Une meilleure description du comportement du combustible à l’échelle atomique, notamment des mécanismes élémentaires impliqués dans la diffusion des défauts et des produits de fission, est donc nécessaire pour affiner les modèles utilisés dans les codes de performance des combustibles. Pour l’étude des propriétés de (U,Pu)O2, nous avons effectué des calculs de structure électronique basés sur la méthode DFT+U combinée au contrôle des matrices d’occupation des orbitales corrélées. Des minimisations d’énergie ainsi que la dynamique moléculaire ab initio ont été utilisées. Nous avons étudié dans un premier temps les propriétés du cristal de (U,Pu)O2 pour différentes teneurs en Pu. Nous avons ensuite étudié la stabilité des défauts ponctuels ainsi que les modifications structurales et électroniques induites par ces défauts ponctuels dans (U,Pu)O2 et (U,Ce)O2, matériau utilisé comme simulant de (U,Pu)O2. Enfin, nous avons étudié le piégeage et la solubilité des gaz de fission (Kr, Xe) et de l’hélium dans la matrice de (U,Pu)O2(U,Pu)O2 (commonly called MOX) is currently used as nuclear fuel in pressurized water reactors with a Pu content of around 10 wt.%, and is envisaged as the reference fuel in Generation IV sodium fast reactors (SFR) with a Pu content of around 25 wt.%. Under operation, (U,Pu)O2 is submitted to fission reactions which generate a large quantity and variety of point defects, as well as fission products. By migrating, point defects and gaseous fission products can aggregate into nano-voids, dislocations and fission gas bubbles, which lead to the modification of the fuel microstructure. Therefore, a better description of the fuel behaviour at the atomic scale, and especially of the elementary mechanisms involved in the diffusion of point defects and fission products, is necessary to refine the models used in the fuel performance codes used to simulate the behaviour of fuels at the macroscopic scale. We use electronic structure calculations based on the DFT+U method combined with the occupation matrix control scheme (OMC) to investigate (U,Pu)O2 properties for various Pu contents. Static energy minimizations and ab initio molecular dynamics were used. We have first determined bulk structural, electronic and thermodynamics properties of (U,Pu)O2. We then studied the stability of point defects in (U,Pu)O2 and (U,Ce)O2, as well as the structural and electronic modifications induced by these point defects, in (U,Pu)O2 and the common experimental surrogate (U,Ce)O2. Finally, the fission gas (Kr and Xe) and helium (He) trapping and solubility in (U,Pu)O2 matrix are investigated
41
Langeron, Yves. "Modélisation stochastique pour la sûreté de fonctionnement des systèmes commandés". Thesis, Troyes, 2015. http://www.theses.fr/2015TROY0001/document.
Pełny tekst źródłaStreszczenie:
Dans le contexte des systèmes commandés, l’effort de recherche est principalement porté sur la reconfiguration d’une loi de commande à l’apparition d’une situation de défaut. La reconfiguration a pour objectif de pallier au défaut et donc de maintenir les performances du système. La problématique principale de nos travaux est d’étudier ces systèmes du point de vue de leur sûreté de fonctionnement en s’interrogeant sur les causes qui engendrent une situation de défaut. Pour cela, il est supposé l’existence d’une relation étroite entre la commande d’un système, sa dégradation et ses défauts. Un cadre de modélisation stochastique de la dégradation est proposé intégrant l’usage du système ainsi que les différents modes de détérioration. Le pronostic de la durée de vie résiduelle RUL de l’actionneur -élément critique de ces systèmes- est dérivé de l’ensemble des modèles. La RUL est alors utilisée comme un outil de reconfiguration de la loi LQR (Linear Quadratic Regulator) d’un système mono-actionné dans le cadre d’une maintenance prédictive. L’impact de cette nouvelle politique de maintenance sur les performances statiques et dynamiques du système est évalué. Enfin, le comportement stochastique d’un système tolérant aux fautes basé sur une redondance d’actionneurs est étudié au travers des modèles développésIn the context of control systems, the research effort is focused on how to reconfigure the control law upon the occurrence of a faulty situation. The reconfiguration procedure aims to overcome the fault and thus to maintain system performances. The main issue of this thesis is to study these systems in terms of their dependability by questioning the causes that generate a fault. Then it is assumed a close relationship between the control of a system, its degradation and its faults. A stochastic modelling framework is proposed combining the use of the system and the various modes of deterioration. The actuator is assumed to be the most critical part of a system. The prognosis of its remaining life RUL is derived from these models. This RUL is then used as a tool for reconfiguring the LQR law (Linear Quadratic Regulator) of a system with a single actuator in the context of a predictive maintenance. The impact of this new maintenance policy on static and dynamic performances is assessed. Finally the stochastic behavior of a fault tolerant control system is studied by means of the achieved models
42
Bacchus, Alexandre. "Représentativité de la modélisation aux éléments finis pour le diagnostic de machines synchrones de grande puissance". Thesis, Lille 1, 2016. http://www.theses.fr/2016LIL10014/document.
Pełny tekst źródłaStreszczenie:
Nous avons développé une méthode d'identification de courts-circuits et d'excentricités statiques d'un turboalternateur en fonctionnement. Cette méthode doit être non seulement capable d'identifier le type de défaut, mais également sa gravité et sa localisation. Pour cela, la force électromotrice issue d'une sonde de flux radiale est considérée pour identifier les défauts de la machine. Les méthodes d'apprentissage ayant fait leur preuve sur ce type de problématique, un ensemble d'échantillons des défauts, i.e. matrice des prototypes, est construit grâce à des simulations par la méthode des éléments finis de la machine dans un grand nombre d'états de fonctionnement. Le but est alors d'identifier la classe (le défaut) de mesures expérimentales en considérant les sorties de simulations. Pour faire cela, une maquette de turboalternateur est modélisée et les sorties de simulation sont comparées aux mesures expérimentales. L'application de méthodes de classification supervisée choisies selon la forme des données montre qu'on peut atteindre des taux de bonne classification de 79 % pour les courts-circuits et 93 % pour les excentricités après un traitement spécifique des attributs et un recalage des sorties de simulation. Une règle d'identification du type de défaut est également mise en place au travers d'une classification hiérarchique. Celle-ci donne d'excellents résultats pour lesquels toutes les mesures expérimentales sont assignées au bon type de défaut. Enfin, un automate à états finis permet d'améliorer les résultats précédents en tenant compte de l'évolution temporelle de l'état de fonctionnement de la machine. Ainsi, un taux de bonne classification de 91.5 % pour l'identification de courts-circuits est obtenuAn identification method of rotor inter-turn short-circuits and static eccentricities of an operating turboalternator is developed. This approach provides the type of the machine functional state such as its seriousness and location. The electromotive force obtained from a radial flux sensor is considered in order to identify the machine faults. Some previous works have shown that learning methods are efficient to characterize precisely the fault of a machine. Thus, a fault signatures data set, i.e. prototypes matrix, is built thanks to simulations using finite element method applied to the machine considering a great number of functional states. Therefore, the goal of this work is to identify the class (fault) of experimental measurements using the simulated output. To do that, a small scale alternator is modelled and simulation outputs are compared to the experimental measurements. The application of supervised classification method chosen beyond the shape of data shows that a good classification rate of 79 % for short-circuits and 93 % for eccentricities can be achieved thanks to specific features and simulation output treatments. An identification rule of the fault type is designed by considering a hierarchical classification approach. It achieves excellent results since all experimental measurements are assigned to the right type of fault. Finally, the use of a finite state automaton achieves better results for short-circuits identification by taking into account the temporal evolution of the machine functional state
43
Sid, Mohamed Amine. "Co-conception diagnostic et ordonnancement des mesures dans un système contrôlé en réseau". Thesis, Université de Lorraine, 2014. http://www.theses.fr/2014LORR0003/document.
Pełny tekst źródłaStreszczenie:
Les travaux développés dans cette thèse portent sur la "co-conception diagnostic / ordonnancement des mesures dans un système contrôlé en réseau" qui est un sujet multidisciplinaire nécessitant des compétences en théorie du contrôle et en théorie des réseaux. La thèse a pour but de développer, dans le contexte des systèmes contrôlés en réseau, une approche de co-conception qui intègre de façon coordonnée les caractéristiques qui expriment la performance du diagnostic des défauts et les paramètres de l'ordonnancement temps-réel des messages. L'intérêt de cette approche coordonnée réside essentiellement dans la minimisation des ressources nécessaires pour atteindre la performance du diagnostic requise, minimisation qui prend tout son sens dans le contexte des systèmes embarqués. Nous nous sommes intéressés plus particulièrement à l'étude des problèmes liés à l'élaboration d'algorithmes de diagnostic efficaces et adaptés aux caractéristiques de l'application de façon tout en prenant en compte différents types de contraintes liées au réseau. En conjonction avec ces algorithmes, deux ensembles de techniques d'ordonnancement des mesures ont été développés : - ordonnancement hors ligne - ordonnancement évènementiel en ligne Pour l'ordonnancement hors ligne, les séquences de communication sont conçues en amont, préalablement à la mise en oeuvre de l'algorithme de diagnostic (implémentation). D'autre part, nous proposons aussi des techniques d'ordonnancement en ligne basées sur l'échantillonnage évènementiel développé au cours de la dernière décennie. Au contraire de la plupart des recherches en automatique classique, considérant que l'échantillonnage des signaux continus est réalisé d'une manière périodique, les mesures dans cette approche sont transmises si et seulement si la condition de transmission (évènement) est vérifiéeThe works developed in this thesis deal with 'fault diagnosis and sensor scheduling co-design' in networked control system. This multidisciplinary subject requires theoretical knowledge in both fault diagnosis and communication networks. Our contribution consists in developing a co-design approach that integrates in the same framework the characteristics of fault diagnosis performance and real time sensor scheduling. The main benefit of this approach is minimizing the required network resources for attending acceptable fault diagnosis performances. We are interested in the development of more efficient and more adapted for real time implementation fault diagnosis algorithms while taking into account different types of communication constraints. In conjunction with these algorithms, two sets of sensor scheduling techniques are used : - Off-line scheduling - On-line scheduling (event triggered sampling) For off-line scheduling, the communication sequences are designed before the implementation of the diagnostic algorithm. In this context, we proposed several techniques for scheduling with different spatial and temporal complexity and adapted to different operating condition for the detection and the isolation of faults based on the information provided by the selected communication sequences. Moreover, we deal also with on-line scheduling techniques based on the event triggered sampling developed during the last decade. In This approach measurement packets are transmitted if and only if the transmission condition (event) is verified. This saves resources provided by the network while maintaining acceptable performance of fault diagnosis. The objective of these algorithms is to minimize the number of transmitted information which means less energy consumption and has a major importance in wireless networked control systems
44
Lelong, Adrien. "Méthodes de diagnostic filaire embarqué pour des réseaux complexes". Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10121/document.
Pełny tekst źródłaStreszczenie:
Les travaux de recherche présentés dans cette thèse portent sur le diagnostic de réseaux filaires en ligne. Il s'agit de détecter et de localiser des défauts électriques permanents ou intermittents sur le réseau d'un système alors que celui-ci est en fonctionnement. Ce type de diagnostic passe par des méthodes basées sur le principe de la réflectométrie, utilisées jusqu'alors pour le diagnostic hors ligne. L'objectif est l'étude et l'optimisation de méthodes de réflectométrie et la mise au point des traitements associés dans le but d'automatiser le diagnostic et de l'embarquer au sein du système cible pour une exécution en temps réel. La première contribution concerne l'utilisation de signaux multiporteurs afin de minimiser les interférences entre le système cible en fonctionnement et la réflectométrie. Cela requiert la mise en oeuvre d'algorithmes de déconvolution impulsionnelle également utilisés pour effectuer les traitements haute résolution. Une méthode de déconvolution semi-aveugle à faible coût de de calcul est notamment proposée. Le cas de la réflectométrie distribuée, qui consiste à effectuer l'injection et la mesure simultanément en plusieurs points d'un même réseau est également abordé. Une méthode de filtrage innovante, qualifiée de "moyennes sélectives", est proposée pour résoudre le problème des interférences entre les modules soulevé par l'injection simultanée de plusieurs signaux. Enfin, les différents aspects liés à la mise en oeuvre et à l'automatisation sont traités. Un algorithme innovant de détection des défauts intermittents en milieu bruité est notamment proposéResearch works presented in this thesis rely on on line diagnosis of wire networks. It consists indetecting and locating intermittent or permanent electrical faults, on a system's network while this system is running. Such a diagnosis is based on the principle of reflectometry which is used for off line diagnosis until then. The aim is the analysis and improvement of reflectometry methods and the implementation of related processing in order to automate and to embed it in the target system for a real time execution. The first contribution refers to the use of multicarrier signals so as to minimize interferences between the running target system and the reflectometry module. Pulse deconvolution algorithms are required for this purpose. These algorithms are also used for high resolution processing described subsequently. A low computational cost semi-blind deconvolution method is proposed among others. Distributed reflectometry, consisting in the simultaneous injection of signals at several points of the network, is then studied. An innovative filtering method called "selective average" is proposed as a solution to the problem of interferences due to the simultaneous injection of the modules. Finally several considerations on the implementation and automation are studied. An innovative intermittent fault detection algorithm for noisy environment is also proposed
45
Asnaashari, Ahmad. "Modélisation de la défaillance des réseaux d'eau : approches statistique, réseau de neurones et survie". Lille 1, 2007. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2007/50376-2007-Asnaashari.pdf.
Pełny tekst źródłaStreszczenie:
La défaillance des réseaux d'eau constitue un problème majeur en Iran, qui nécessite des investissements importants et l'élaboration d'une stratégie optimale pour la réhabilition des réseaux d'eau. Ce travail constitue une contribution à cet objectif. Il vise le développement des outils pour améliorer la gestion et la maintenance des réseaux d'eau. Il comporte la détermination des principaux facteurs affectant la défaillance des réseaux d'eau, l'élaboration d'un modèle de prévision fondé sur les Réseaux de Neurones Artificiels, et le développement d'un modèle de survie. Ces approches ont été appliquées sur le réseau d'eau de la ville de Sanandaj en Iran. Le travail de thèse a comporté différents parties, notamment: la collecte de données sur le réseau de la ville de Sanandaj, l'analyse spatiale et statistique de ces données, le développement d'un modèle basé sur le Réseau de Neurones Artificiels et l'application de l'approche de survie. L'analyse des données a permis la détermination de principaux facteurs à l'origine de la défaillance des réseaux d'eau. Deux modèles de régression (multiple et Poisson) ont été employés pour la prévision du nombre de défaillances du réseau d'eau. Ces modèles ont été comparés à l'approche Réseau de Neurones Artificiels. La comparaison a montré tout l'intérêt d'utiliser l'approche Réseau de Neurones pour la prévision de la défaillance des réseaux d'eau. L'approche de survie a été utilisée pour étudier la durée de vie et étudier l'impact d'une intervention sur le réseau d'eau.
46
Aguiar, Cota Braulio Norberto. "Pilotage automatique robuste de train sous contrainte d'enrayage-patinage". Thesis, Valenciennes, 2019. http://www.theses.fr/2019VALE0022.
Pełny tekst źródłaStreszczenie:
Des millions de personnes utilisent le train chaque jour. Par conséquent, l’efficacité et la sécurité du transport ferroviaire et de l’infrastructure sont essentielles pour les clients et les entreprises. De nos jours, l’un des principaux défis est d’augmenter le niveau d’automatisation des trains, du niveau d’automatisation « 0 » (ou Goals of Automation GoA) qui consiste essentiellement à exploiter les trains à vue jusqu’au niveau « 4 », où les opérations ne sont pas surveillées. Les niveaux GoA sont définis par l’Union internationale des transports publics (UITP) et ont pour objectif de fournir une feuille de route pour le développement et l’intégration des systèmes dits « d’exploitation automatique des trains » ou ATO. Les ATO sont des dispositifs d’amélioration de la sécurité opérationnelle qui aident le conducteur en automatisant certaines opérations, lui permettant de se concentrer sur les problèmes de sécurité éventuels ou les situations imprévues. Actuellement, le niveau d’automatisation atteint pour le matériel roulant commercial est GoA « 2 », ou une exploitation semi-automatique des trains, les opérations de démarrage et d’arrêt étant automatisées. La plupart des systèmes ATO existants sont GoA 2. Comme dans tout véhicule moderne, les systèmes embarqués sur un train sont liés et l’ATO collabore avec les organes de sécurité tels que la protection automatique des trains (ATP) et la surveillance automatique des trains (ATS). Il doit garantir le respect des limitations de vitesse et arrêter le train à la gare avec précision, tout en respectant une table horaire. La tâche d’arrêt est effectuée par le contrôle automatique de l’arrêt des trains (ATSC). L’ensemble de ces dispositifs forment le contrôle automatique des trains (ATC) (Dong et al. 2010). Tous les systèmes automatiques reposent sur deux fonctions principales : la perception et la décision. Le dispositif ATO s’appuiera fortement sur les informations disponibles pour assurer une perception précise de son environnement et de la situation opérationnelle, afin de prendre les bonnes décisions. Ces informations sont acquises par des capteurs de différentes technologies et mises à disposition via le réseau de communication (bus) du train. De toute évidence, les capteurs sont limités par la technologie, la bande passante de communication n’étant pas infinie. De plus, tous les systèmes techniques peuvent rencontrer des défauts et des échecs. Il s’agit là d’un défi majeur pour la conception de dispositifs ATO robustes et efficaces, car la manière habituelle de traiter ces problèmes consiste à utiliser des capteurs de technologies différentes pour chaque information source d’intérêt. Cela rend ce système plus complexe, souvent plus coûteux, et augmente considérablement la quantité de données transmises et son infrastructure de support. Il existe une solution prometteuse à ce défi. Il s’agit de capteurs virtuels, ou observateurs développés par des chercheurs en contrôle automatique pour compléter les capteurs à une fraction du coût, et intégrer la connaissance du système dans l’automate à l’aide de modèles analytiques de l’environnement. La conception d’un type particulier d’observateur et son utilisation pratique pour l’exploitation automatique des trains constituent l’apport principal de cette thèseMillions of people use the trains every day. Therefore, rail transport and infrastructure efficiency and safety is critical, for customers and companies. A major challenge nowadays is to climb automation levels for trains, from Grade of Automation (GoA) “0” which is basically on-sight train operation all the way to GoA “4” where train operations are unattended. GoA levels are defined by the International Association of Public Transport (UITP—French acronym), and aim to provide a roadmap for the development and the integration of the so-called automatic train operation (ATO) systems. ATO are operational safety enhancement devices that help the driver by automating some operations on the train, helping him/her to be more attentive and to focus on possible safety issues or unexpected situations. Currently, the level of automation that is reached for commercial rolling stock is GoA “2”, semi-automatic train operation, when starting and stopping operations are automated. Most of the existing ATO systems are GoA 2. As within any modern vehicle, on-board systems on a train are linked, and the ATO is working together with automatic train protection (ATP) and automatic train supervision (ATS), to ensure the respect of the speed restrictions and stop the train at the station with accuracy and within an acceptable tolerance of its timetable. The stopping task is carried out by automatic train stop control (ATSC), and all of the devices together form a package called automatic train control (ATC) (Dong et al. 2010). All automatic systems rely on two main functions: perception and decision. The ATO device will rely heavily on the available information to ensure an accurate perception of its environment and of the operational situation, in order to carry out the right decisions. This information acquired by sensors of different technologies and made available through the communication network (bus) of the train. Obviously, sensors are limited by technology, the communication bandwidth is not infinite; and all technical systems can experience faults and failures. Those are major challenges to design efficient and robust ATO devices, because the usual way to deal with these issues is to use sensors of different technologies for each information of interest. This makes such a system more complex, possibly costly, and it increases the amount heavily of transmitted data and its supporting infrastructure. There is a promising solution to this challenge, and it is called virtual sensors, or observers that are developed by automatic control researchers to supplement the sensors at a fraction of the cost, and embeds knowledge of the system in the automated device through analytical models of the environment. The design of a particular type of observer, and its practical exploitation for automatic train operations is the main contribution of this PhD work
47
Khelassi, Ahmed. "Nouvelle méthodologie de synthèse de lois de commande tolérante aux fautes garantissant la fiabilité des systèmes". Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00618655.
Pełny tekst źródłaStreszczenie:
Les travaux développés dans ce mémoire de thèse portent sur la contribution à une méthodologie de synthèse de lois de commande tolérante aux fautes garantissant la fiabilité des systèmes. Cette nouvelle méthodologie nécessite l'adaptation des différents outils de caractérisation de la fiabilité avec la théorie de la commande. L'intégration explicite de l'aspect charge dans les lois modélisant la fiabilité en ligne est considérée. Une première partie des travaux est consacrée à la reconfigurabilité des systèmes tolérants aux fautes. Une analyse de reconfigurabilité en présence de défauts basée sur la consommation d'énergie ainsi que des objectifs liés à la fiabilité globale du système sont proposés. Un indice de reconfigurabilité est proposé définissant les limites fonctionnelles d'un système commandé en ligne en fonction de la sévérité des défauts et de la dégradation des actionneurs en terme de fiabilité. Dans la deuxième partie, le problème d'allocation et ré-allocation de la commande est considéré. Des solutions sont développées tenant compte de l'état de dégradation et du vieillissement des actionneurs. Les entrées de commande sont attribuées au système en tenant compte de la fiabilité des actionneurs ainsi que les éventuels défauts. Des indicateurs de fiabilité sont proposés et intégrés dans la solution du problème d'allocation et ré-allocation de la commande. La dernière partie est entièrement consacrée à la synthèse d'une loi de commande tolérante aux fautes garantissant la fiabilité globale du système. Une procédure d'analyse de fiabilité des systèmes commandés en ligne est proposée en se basant sur une étude de sensibilité et de criticité des actionneurs. Ainsi, une méthode de commande tolérante aux fautes en tenant compte de la criticité des actionneurs est synthétisée sous une formulation LMI.
48
Baghli, Lotfi. "Contribution à la commande de la machine asynchrone, utilisation de la logique floue, des réseaux de neurones et des algorithmes génétiques". Phd thesis, Université Henri Poincaré - Nancy I, 1999. http://tel.archives-ouvertes.fr/tel-00356891.
Pełny tekst źródłaStreszczenie:
Les algorithmes génétiques, la logique floue et les réseaux de neurones sont de plus en plus utilisés dans des domaines d'application très variés. Nous nous proposons de les étudier dans le cadre de l'identification et de la commande de la machine asynchrone. Plus particulièrement, nous utilisons les algorithmes génétiques afin d'identifier les paramètres du modèle dynamique de la machine. Des régulateurs, à base de logique floue et de réseaux de neurones, sont implantés au sein d'une commande vectorielle par orientation du flux rotorique. Est également abordée l'influence de la variation des paramètres sur le fonctionnement du système. Les défauts de structure de la machine asynchrone sont considérés dans le cas des ruptures de barres au rotor. Le diagnostic de ces défauts ainsi que leur influence sur le comportement de la régulation sont étudiés. Enfin, une amélioration de la commande vectorielle sans capteur mécanique est présentée ouvrant une voie vers les techniques intelligentes de commande. Ces dernières sont maintenant possibles compte tenu de la puissance sans cesse grandissante des processeurs. Un logiciel de simulation, développé dans le cadre de la thèse, a permis de mener une bonne partie des études présentées. Une attention particulière a été accordée à la partie expérimentale, seul garant de la faisabilité et de la validation de l'étude.
49
Bottcher, Claudia. "Un cadre pour guider la localisation automatique de défauts en utilisant des préférences stratégiques locales". Paris 13, 1996. http://www.theses.fr/1996PA132037.
Pełny tekst źródłaStreszczenie:
La localisation automatique des défauts est un domaine ayant aujourd'hui atteint un degré certain de maturité. Cependant, aucune méthode n'est assez puissante pour traiter l'ensemble des problèmes de diagnostic de taille réelle. Différentes méthodes et donc différentes stratégies de contrôle doivent être combinées. L'absence de cadre de travail permettant de décider quand utiliser quelle méthode de diagnostic est un des principaux obstacles au traitement des problèmes réels de diagnostic. Notre thèse propose précisément un tel cadre. Notre travail s'inscrit dans le domaine du diagnostic à base de cohérence étendu par des modèles de défauts et par des mécanismes de focalisation. Une analyse plus fine nous a conduit à proposer une caractérisation uniforme des actions de diagnostic comme changements d'un ensemble d'hypothèses de travail. Le diagnostic devient alors la recherche de la meilleure théorie s'ajustant au cas courant, et le contrôle du processus de diagnostic est assure par un operateur de révision. Nous montrons comment renforcer notre operateur de révision par un catalogue de préférences stratégiques partielles éventuellement contradictoires. Nous décrivons le cadre général ainsi qu'une instance concrète Magellan puis discutons le contrôle sur deux exemples de scenarios. Finalement, nous montrons comment notre cadre de travail facilite l'extension de l'approche à base de cohérence au traitement des fautes de structure. Les fautes de structures, E. G. Des interactions non souhaitées entre composants ou interactions cachées, remettent en cause l'approche de diagnostic à base de modèles puisqu'elle est liée à la structure particulière décrite par le modèle. Les extensions proposées dans la littérature pour contourner ce type de problèmes restent ad-hoc. Avec notre approche, une telle extension est étonnamment aisée: nous présentons hide&seek, qui étend Magellan pour prendre en compte les interactions cachées
50
Chabi, Djaafar. "Architectures de circuits nanoélectroniques neuro-inspirée". Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00679300.
Pełny tekst źródłaStreszczenie:
Les nouvelles techniques de fabrication nanométriques comme l'auto-assemblage ou la nanoimpression permettent de réaliser des matrices régulières (crossbars) atteignant des densités extrêmes (jusqu'à 1012 nanocomposants/cm2) tout en limitant leur coût de fabrication. Cependant, il est attendu que ces technologies s'accompagnent d'une augmentation significative du nombre de défauts et de dispersions de caractéristiques. La capacité à exploiter ces crossbars est alors conditionnée par le développement de nouvelles techniques de calcul capables de les spécialiser et de tolérer une grande densité de défauts. Dans ce contexte, l'approche neuromimétique qui permet tout à la fois de configurer les nanodispositifs et de tolérer leurs défauts et dispersions de caractéristiques apparaît spécialement pertinente. L'objectif de cette thèse est de démontrer l'efficacité d'une telle approche et de quantifier la fiabilité obtenue avec une architecture neuromimétique à base de crossbar de memristors, ou neurocrossbar (NC). Tout d'abord la thèse introduit des algorithmes permettant l'apprentissage de fonctions logiques sur un NC. Par la suite, la thèse caractérise la tolérance du modèle NC aux défauts et aux variations de caractéristiques des memristors. Des modèles analytiques probabilistes de prédiction de la convergence de NC ont été proposés et confrontés à des simulations Monte-Carlo. Ils prennent en compte l'impact de chaque type de défaut et de dispersion. Grâce à ces modèles analytiques il devient possible d'extrapoler cette étude à des circuits NC de très grande taille. Finalement, l'efficacité des méthodes proposées est expérimentalement démontrée à travers l'apprentissage de fonctions logiques par un NC composé de transistors à nanotube de carbone à commande optique (OG-CNTFET).