Dissertations / Theses: 'Systèmes d’aide au diagnostic'

1

Hebrard, Maxime. "Conception et développement d’un système d’aide au diagnostic clinique et génétique des rétinopathies pigmentaires." Thesis, Montpellier 1, 2012. http://www.theses.fr/2012MON13519/document.

Full text

Abstract:

Le diagnostic des rétinopathies pigmentaires pose différents problèmes, au niveau clinique comme au niveau moléculaire. En premier lieu, il s'agit de maladies rares, la faible prévalence de chaque pathologie à l'échelle de la population mondiale rend difficile leur étude. En second lieu, la caractérisation phénotypique de ces maladies est délicate car les symptômes qui en découlent s'avèrent très similaires. De manière liée, l'œil et le processus de la vision s'avèrent complexes et impliquent les produits d'expression de nombreux gènes. Ainsi, bien que les rétinopathies soient majoritairement monogénique et respectent le modèle d'hérédité mendélienne, les causes génétiques des maladies sont variées. Sur la base de ce double constat, nous proposons deux approches méthodologiques complémentaires menant à une meilleure compréhension de ce groupe de pathologies. Une première approche a pour finalité l'acquisition du jeu exhaustif des gènes impliqués. Les travaux portent sur l'exploitation des puces de génotypage. Nous effectuons une étude de liaison génétique entre les variations ponctuelles et les pathologies. Une seconde approche porte sur la représentation des connaissances associées aux phénotypes cliniques. Un composant ontologique est construit afin d'expliciter les savoirs nécessaires au diagnostic. Les données collectées sur le long terme par les experts sont étiquetées au travers de termes organisés au sein d'un thésaurus dédié. Les profils cliniques des patients et des maladies sont manipulés sous forme de collections de caractéristiques et comparés au moyen d'une mesure de similarité adaptée. L'objectif est alors de proposer un système d'aide au diagnostic Diagnosis of retinitis pigmentosa could be difficult regarding both to clinics or molecular issues. Firstly, there are rare diseases, so the prevalence of each pathology in the world population is very low. Secondly, the symptoms of diseases are very similar, so their phenotypic characterization is hard. Moreover, the eye and the visual process are complex and numerous genes' products are implicated. Although retinopathies are mainly monogenic and mendelian inherited diseases, the polymorphisms involved in these diseases are very diverse.These both observations lead us to develop two complementary methodological approaches in a view to better understand the retinopathies.The first approach aims to identify all the genes involved in the diseases using genotyping chips. For this purpose, we studied genetic linkage between single nucleotide variations and pathologies. The second approach leads to the representation of clinical knowledge. An ontological compound was built to make explicit the knowledge involved in the process of diagnosis. The data previously collected by experts were labeled by terms that were organized in a specific thesaurus. The clinic profiles of the patients and diseases were handled as features collections and were compared by similarity calculations. The goal of this work is to build a knowledge-based system for diagnosis

APA, Harvard, Vancouver, ISO, and other styles

2

Makni, Nasr. "Méthodes d’identification, d’aide au diagnostic et de planification utilisant de l’imagerie multi-modalité pour les thérapies focales du cancer de la prostate." Thesis, Lille 1, 2010. http://www.theses.fr/2010LIL10117/document.

Full text

Abstract:

Les récents progrès de l’imagerie de la prostate rendent possibles la détection de tumeurs de petite taille et le guidage de traitements ciblés dont le but est de minimiser la morbidité de la thérapie. Nous proposons des méthodes de traitement d’images médicales, pour assister et le praticien dans la prise de décision diagnostique et les traitements focalisés par laser du cancer de la prostate.Nous nous intéressons d’abord au diagnostic guidé par l’Imagerie à Résonance Magnétique (IRM). Nous développons des algorithmes pour l’extraction des contours de la prostate et la segmentation de ses zones centrale et périphérique. La détection des lésions suspectes est abordée en expérimentant des attributs de texture extraits de la géométrie fractale, dans des schémas de classification supervisée et non supervisée. La deuxième partie de cette thèse s’intéresse au guidage de la thérapie focalisée par laser. Une méthode de recalage non rigide est proposée pour fusionner les données de planification à l’échographie de guidage per-opératoire. Nous évaluons nos algorithmes en utilisant des données simulées et des fantômes physiques afin de comparer à une vérité terrain connue. Des examens de patients, analysés par des experts, sont utilisés pour des évaluations dans des conditions réelles, tenant compte de la variabilité inter-observateur. Les résultats obtenus montrent que les méthodes développées sont suffisamment précises, rapides et robustes. Des validations multi-centriques et des transferts à l’industrie devraient à l’avenir concrétiser les retombées de ces travaux et contribuer à l’amélioration des gestes diagnostiques et thérapeutiques du cancer de la prostate In the last decade, new diagnosis procedures and treatment options have been developed and made possible thanks to the recent progress in prostate imaging modalities. The newest challenges in this field are to detect the smallest tumours and to treat locally to minimise the treatment morbidity. In this thesis, we introduce image processing methods for the guidance and assistance of diagnosis and treatment, in laser-based prostate cancer focal therapies. First, we propose novel approaches for extracting three dimensional outlines of the gland, and segmenting its zones (peripheral and central) from Magnetic Resonance Imaging (MRI) data. Computer-aided detection of prostate’s peripheral zone tumours is then investigated by experimenting novel texture features based on fractal geometry, using both supervised and unsupervised classification methods. The results of these different approaches were studied and compared.The second part of this work addresses the guidance of laser-based focal ablation of prostate tumours. A novel non rigid registration method is introduced for fusion of pre-operative MRI and planning data, and per-operative ultrasound imaging. We evaluate our algorithms using simulated data and physical phantoms, which enable comparison to ground truth. Patients’ data, combined to expert interpretation, are also used while taking into account the inter-observer variability.The results we obtained show that the methods we developed are satisfyingly accurate, fast and robust. Multi-centric validation and transfer to the industrial world would bring the contributions of this work to clinical routine, and help improving diagnosis and therapy of prostate cancer

APA, Harvard, Vancouver, ISO, and other styles

3

Flaugergues, Vincent de. "Algorithmes d’analyse structurelle pour le diagnostic de systèmes complexes : application à la boucle d’air d’un moteur Diesel." Thesis, Lille 1, 2011. http://www.theses.fr/2011LIL10165/document.

Full text

Abstract:

Ce mémoire de doctorat s'inscrit dans le cadre de la conception du diagnostic de la boucle d’air d’un moteur Diesel de l’entreprise PSA Peugeot Citroën. Pour des systèmes complexes, comme les moteurs Diesel, la recherche des tests de cohérence qui permettront de faire le diagnostic n'est pas évidente. La méthode d'Analyse Structurelle est utilisée afin de faciliter cette recherche, car elle permet au concepteur d’un système de diagnostic de disposer d'informations qui l'assistent dans son travail, à savoir la connaissance du potentiel de diagnostic, et la définition exhaustive des possibilités de tests de cohérence. Ce mémoire présente des algorithmes efficaces d’Analyse Structurelle permettant la maîtrise de l'explosion combinatoire des algorithmes actuels. Cet objectif est atteint par une simplification du processus d’analyse : les tests de cohérence renvoyés par les algorithmes développés possèdent de bonnes propriétés de calculabilité d'une part, et offrent un bon potentiel de discrimination des défauts d'autre part. Cette simplification provient de l’intégration de critères de calculabilité et d’un cahier des charges dans les algorithmes actuels. Les algorithmes développés sont intégrés dans un outil logiciel permettant d’analyser les modèles Simulink, et illustrés sur deux cas d’application. Le second cas d’application présenté dans ce mémoire est un modèle interne PSA Peugeot Citroën de boucle d'air du moteur DV6C TED4. Une analyse structurelle permet de construire, des indicateurs discriminant deux défauts d’encrassement, et ainsi, d'augmenter la couverture des diagnostics embarqués et débarqués This PHD thesis is a contribution to the design of the diagnosis system of the air path of a PSA Peugeot Citroën Diesel engine. For complex systems, as Diesel engines, searching for the consistency tests which are relevant for diagnosing faults is not obvious. The Structural Analysis method is used in order to make this search easier, for it provides a system's diagnosis designer with information, such as : the diagnosis potential of the system, and the exhaustive definition of consistency tests. This thesis describes efficient structural analysis algorithms, which help manage the complexity of current algorithms. This objective is met thanks to the simplification of the analysis process : the consistency tests returned by the developed algorithms have good properties of computability, and possess good fault isolability potential. This simplification comes from the integration of calculability constraints and of diagnosis requirements into current algorithms. Developed algorithms are integrated into a software allowing to analyze Simulink models, and are illustrated thanks to two application cases. The second application case presented in this thesis is a PSA Peugeot Citroën internal model describing a Diesel engine air path. A structural analysis yields indicators discriminating two types of clogging, and thus allows tto improve the diagnosis coverage of Diesel engines

APA, Harvard, Vancouver, ISO, and other styles

4

Niaf, Émilie. "Aide au diagnostic du cancer de la prostate par IRM multi-paramétrique : une approche par classification supervisée." Thesis, Lyon 1, 2012. http://www.theses.fr/2012LYO10271/document.

Full text

Abstract:

Le cancer de la prostate est la deuxième cause de mortalité chez l’homme en France. L’IRM multiparamétrique est considérée comme la technique la plus prometteuse pour permettre une cartographie du cancer, ouvrant la voie au traitement focal, alternatif à la prostatectomie radicale. Néanmoins, elle reste difficile à interpréter et est sujette à une forte variabilité inter- et intra-expert, d’où la nécessité de développer des systèmes experts capables d’aider le radiologue dans son diagnostic. Nous proposons un système original d’aide au diagnostic (CAD) offrant un second avis au radiologue sur des zones suspectes pointées sur l’image. Nous évaluons notre système en nous appuyant sur une base de données clinique de 30 patients, annotées de manière fiable et exhaustive grâce à l’analyse des coupes histologiques obtenues par prostatectomie. Les performances mesurées dans des conditions cliniques auprès de 12 radiologues, sans et avec notre outil, démontrent l’apport significatif de ce CAD sur la qualité du diagnostic, la confiance des radiologues et la variabilité inter-expert. La création d’une base de corrélations anatomo-radiologiques est une tâche complexe et fastidieuse. Beaucoup d’études n’ont pas d’autre choix que de s’appuyer sur l’analyse subjective d’un radiologue expert, entâchée d’incertitude. Nous proposons un nouveau schéma de classification, basé sur l’algorithme du séparateur à vaste marge (SVM), capable d’intégrer, dans la fonction d’apprentissage, l’incertitude sur l’appartenance à une classe (ex. sain/malin) de certains échantillons de la base d’entraînement. Les résultats obtenus, tant sur des exemples simulés que sur notre base de données cliniques, démontrent le potentiel de ce nouvel algorithme, en particulier pour les applications CAD, mais aussi de manière plus générale pour toute application de machine learning s’appuyant sur un étiquetage quantitatif des données Prostate cancer is one of the leading cause of death in France. Multi-parametric MRI is considered the most promising technique for cancer visualisation, opening the way to focal treatments as an alternative to prostatectomy. Nevertheless, its interpretation remains difficult and subject to inter- and intra-observer variability, which motivates the development of expert systems to assist radiologists in making their diagnosis. We propose an original computer-aided diagnosis system returning a malignancy score to any suspicious region outlined on MR images, which can be used as a second view by radiologists. The CAD performances are evaluated based on a clinical database of 30 patients, exhaustively and reliably annotated thanks to the histological ground truth obtained via prostatectomy. Finally, we demonstrate the influence of this system in clinical condition based on a ROC analysis involving 12 radiologists, and show a significant increase of diagnostic accuracy, rating confidence and a decrease in inter-expert variability. Building an anatomo-radiological correlation database is a complex and fastidious task, so that numerous studies base their evaluation analysis on the expertise of one experienced radiologist, which is thus doomed to contain uncertainties. We propose a new classification scheme, based on the support vector machine (SVM) algorithm, which is able to account for uncertain data during the learning step. The results obtained, both on toy examples and on our clinical database, demonstrate the potential of this new approach that can be extended to any machine learning problem relying on a probabilitic labelled dataset

APA, Harvard, Vancouver, ISO, and other styles

5

Niaf, Émilie. "Aide au diagnostic du cancer de la prostate par IRM multi-paramétrique : une approche par classification supervisée." Electronic Thesis or Diss., Lyon 1, 2012. http://www.theses.fr/2012LYO10271.

Full text

Abstract:

Le cancer de la prostate est la deuxième cause de mortalité chez l’homme en France. L’IRM multiparamétrique est considérée comme la technique la plus prometteuse pour permettre une cartographie du cancer, ouvrant la voie au traitement focal, alternatif à la prostatectomie radicale. Néanmoins, elle reste difficile à interpréter et est sujette à une forte variabilité inter- et intra-expert, d’où la nécessité de développer des systèmes experts capables d’aider le radiologue dans son diagnostic. Nous proposons un système original d’aide au diagnostic (CAD) offrant un second avis au radiologue sur des zones suspectes pointées sur l’image. Nous évaluons notre système en nous appuyant sur une base de données clinique de 30 patients, annotées de manière fiable et exhaustive grâce à l’analyse des coupes histologiques obtenues par prostatectomie. Les performances mesurées dans des conditions cliniques auprès de 12 radiologues, sans et avec notre outil, démontrent l’apport significatif de ce CAD sur la qualité du diagnostic, la confiance des radiologues et la variabilité inter-expert. La création d’une base de corrélations anatomo-radiologiques est une tâche complexe et fastidieuse. Beaucoup d’études n’ont pas d’autre choix que de s’appuyer sur l’analyse subjective d’un radiologue expert, entâchée d’incertitude. Nous proposons un nouveau schéma de classification, basé sur l’algorithme du séparateur à vaste marge (SVM), capable d’intégrer, dans la fonction d’apprentissage, l’incertitude sur l’appartenance à une classe (ex. sain/malin) de certains échantillons de la base d’entraînement. Les résultats obtenus, tant sur des exemples simulés que sur notre base de données cliniques, démontrent le potentiel de ce nouvel algorithme, en particulier pour les applications CAD, mais aussi de manière plus générale pour toute application de machine learning s’appuyant sur un étiquetage quantitatif des données Prostate cancer is one of the leading cause of death in France. Multi-parametric MRI is considered the most promising technique for cancer visualisation, opening the way to focal treatments as an alternative to prostatectomy. Nevertheless, its interpretation remains difficult and subject to inter- and intra-observer variability, which motivates the development of expert systems to assist radiologists in making their diagnosis. We propose an original computer-aided diagnosis system returning a malignancy score to any suspicious region outlined on MR images, which can be used as a second view by radiologists. The CAD performances are evaluated based on a clinical database of 30 patients, exhaustively and reliably annotated thanks to the histological ground truth obtained via prostatectomy. Finally, we demonstrate the influence of this system in clinical condition based on a ROC analysis involving 12 radiologists, and show a significant increase of diagnostic accuracy, rating confidence and a decrease in inter-expert variability. Building an anatomo-radiological correlation database is a complex and fastidious task, so that numerous studies base their evaluation analysis on the expertise of one experienced radiologist, which is thus doomed to contain uncertainties. We propose a new classification scheme, based on the support vector machine (SVM) algorithm, which is able to account for uncertain data during the learning step. The results obtained, both on toy examples and on our clinical database, demonstrate the potential of this new approach that can be extended to any machine learning problem relying on a probabilitic labelled dataset

APA, Harvard, Vancouver, ISO, and other styles

6

Martin, Alexandra. "Détection et quantification d’acides nucléiques par l’intercalation de sondes électro-actives appliquée à l’intégration d’approches d’amplifications isothermes in vitro." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC233/document.

Full text

Abstract:

Détection et quantification d’acides nucléiques par l’intercalation de sondes électro-actives appliquée à l’intégration d’approches d’amplifications isothermes in vitro. Détecter et quantifier la présence d’agents pathogènes à travers leur ADN représente un enjeu majeur dans de nombreux secteurs comme l’analyse biomédicale, l’agroalimentaire ou l’environnement. La technique de PCR optique en temps réel, couplant la réaction d’amplification génique in vitro dite PCR à une détection par fluorescence constitue la méthode standard pour réaliser ces analyses. Cependant, elle nécessite l’utilisation d’un thermocycleur et l’intégration d’une instrumentation optique rendant l’équipement onéreux et encombrant. De plus, les échantillons troubles ou colorés ne peuvent pas être traités. Pour remédier aux problèmes posés par l’optique, une méthode de suivi électrochimique de la PCR au moyen de sondes électroactives interagissant préférentiellement avec l’ADN double-brin a été développée au LEM. Un démonstrateur préindustriel réalisé en partenariat avec la start-up Easy Life Science permet la parallélisation des mesures de PCR électrochimique en temps réel dans les 48 cellules d’un consommable. Dans ce travail, la problématique de la régulation thermique est adressée en remplaçant la PCR par deux méthodes d’amplifications isothermes de l’ADN. La première d’entre elles, la LAMP (Loop Mediated Isothermal Amplification), particulièrement efficace et spécifique, est combinée à une détection électrochimique via l’utilisation d’un panel de sondes redox afin d’obtenir des performances analytiques rivalisant avec les méthodes optiques standards. Une seconde approche d’amplification isotherme présentant un schéma réactionnel plus simple que la LAMP, basée sur le recyclage des produits d’une HCR (Hybridization Chain Reaction), est également proposée. Enfin, un nouveau consommable miniaturisé intégrant, à ce jour, cent cellules électrochimiques de faible volume (≤ μL) ainsi que le potentiostat dédié sont présentés. L’originalité de ce consommable repose sur son processus de fabrication à très bas coût n’utilisant que des empilements de supports sérigraphiés. Fonctionnel à température ambiante, l’objectif à terme sera de l’utiliser pour des réactions d’amplifications isothermes dites « digitalisées » Nucleic acids detection and quantification via electro-active probes intercalation applied to the integration of in-vitro isothermal amplification reactions. Detection and quantification of pathogenic agents through their DNA has become increasingly important in applications such as molecular diagnostics and food safety control to environmental monitoring. Routinely, these analyses are performed using optical quantitative PCR method by coupling the in vitro DNA amplification reaction PCR with fluorescent detection. However, it requires the use of a thermocycler as well as the integration of optical instrumentation leading to a bulky and expensive apparatus, unable to process turbid or colored samples. In order to circumvent these limitations, an alternative electrochemical monitoring method for PCR, based on the use of electro-active probes preferentially binding to double stranded DNA, has been proposed and developed at the LEM. A pre-industrial demonstrator developed in partnership with the start-up Easy Life Science allows the parallelization of real time electrochemical PCR measurements in a custom-made 48 wells plate. This work deals with the thermic regulation problem by replacing PCR by two alternatives isothermal DNA amplification methods. First, the LAMP (Loop Mediated Isothermal Amplification), known to be highly efficient and specific, is combined to an electrochemical detection through the use of a panel of redox probes in order to obtain analytical performances competing with the standard optical techniques. Secondly an isothermal amplification method with a simpler mechanism than LAMP, based on the recycling of the products of an HCR (Hybridization Chain Reaction), is also proposed. Finally, a new miniaturized plate integrating, to date, one hundred low volume (≤ μL) electrochemical cells as well as the corresponding potentiostat are presented. The novelty of this plate relies on its very low cost fabrication process based on the simple assembly of screen-printed films. Although the results presented were at room temperature, in the long term, it is envisioned to monitor isothermal amplification reactions in a “digital” manner

APA, Harvard, Vancouver, ISO, and other styles

7

Trolès, Nolwenn. "Elaboration d’un outil d’aide au diagnostic de la dyslexie développementale." Rennes 2, 2010. http://tel.archives-ouvertes.fr/tel-00795123.

Full text

Abstract:

Cette recherche consiste à élaborer un outil informatisé d‟aide au diagnostic de la dyslexie en intégrant les hypothèses théoriques les plus représentatives. Les nombreuses recherches menées sur la dyslexie ont conduit à la formulation d‟hypothèses explicatives (Expertise INSERM, 2007) susceptibles d‟en être à l‟origine : phonologique (Ramus et al. , 2003), visuo-attentionnelle (Valdois et al. , 2004), cérébelleuse (Nicolson et Fawcett, 1999), déficit dans le traitement du signal auditif temporel (Tallal, 1980), magnocellulaire (Stein, 2001). En ce sens, nous avons rassemblé dans un protocole expérimental des épreuves mesurant différentes capacités cognitives (mémoire, attention, habilités phonologiques, habilités motrices, capacités visuoattentionnelles, habilités auditives). Ce protocole a été soumis à 91 enfants tout-venant et 35 enfants dyslexiques diagnostiqués lors d‟un bilan pluridisciplinaire. De ces expérimentations, nous avons extrait un modèle statistique prédictif, regroupant les exercices les plus discriminants qui permet, en un temps limité (environ 30 min), de connaître de manière précise si l‟enfant rencontre ou non des troubles de la lecture. Nous avons, par ailleurs, constitué des profils cognitifs à partir des performances obtenues par chaque enfant. Ainsi, ces profils pourront servir de guide pour des bilans approfondis qui permettront par la suite de proposer une prise en charge rééducative adaptée aux difficultés particulières de l‟enfant. Le logiciel Alex, ainsi élaboré, poursuit aujourd‟hui l‟ultime phase de validation, il sera alors, destiné aux professionnels de la santé exerçant avec les enfants qui rencontrent des troubles dans les apprentissages This research aims to elaborate a tool for diagnosis of dyslexia taking into account the most representative theoretical hypotheses concerning etiology of dyslexia. Research on causes of dyslexia has led to multiple theories (Expertise INSERM, 2007) : phonological theory (Ramus et al. , 2003), visuo-attentional hypothesis (Valdois et al. , 2004), cerebellar theory (Nicolson et Fawcett, 1999), theory of auditory deficit (Tallal, 1980), theory of magnocellular deficit (Stein, 2001). This way, we have included in the same experimental protocol a set of tasks measuring various cognitive capacities (memory, attention, phonological, morphological, motor, visuo-attentional, auditory). This protocol was used with 91 typical children and 35 dyslexic children attending a specialized consultation for dyslexia. From this experimentation, we have extracted a predictive model, based on a limited number of tasks in order to discriminate in 30 minutes as well as possible between dyslexic and non-dyslexic. Moreover, we made cognitive profiles for each child, that corresponds to the performance in every task. This cognitive profile will be helpful to give indications for a deeper assessment aimed to provide an individualized and adapted remedial program and rehabilitation treatments. Following of our research, a software called Alex is actually in a validation period. It will constitute a tool for the health professionals in charge of children who experienced learning disabilities

APA, Harvard, Vancouver, ISO, and other styles

8

Ammoun, Samer. "Contribution des communications intervéhiculaires pour la conception de systèmes avancés d’aide à la conduite." Paris, ENMP, 2007. http://pastel.paristech.org/3671/01/These_Ammoun.pdf.

Full text

Abstract:

Les systèmes avancés d'assistance à la conduite automobile ont comme objectif d'apporterde l'intelligence au véhicule en l'équipant d'un ensemble de capteurs. Le grand développement dans le domaine des télécommunications sans fil ont rendu possible de re-penser le modèle de conduite automobile en introduisant la notion de coopération entre les véhicules. La standardisation d'un protocole de communication est en cours d'élaboration mais le succès de l'introduction de cette technologie dans le domaine véhiculaire est corrélé à la mise en œuvre de services réalistes pour l'utilisateur final. Pour combler ce manque, nous avons essayé à travers cette thèse de nous focaliser sur laconception de nouveaux systèmes coopératifs d'assistance à la conduite pour l'améliorationde la sécurité routière. Le but de la thèse est de prouver la faisabilité des applications coopératives avec le matériel de communication existant et d'étudier l'apport de cettetechnologie dans la prévention des collisions. Nous proposons une architecture de communication sans fil basée sur la norme 802. 11 et nous étudionsà travers des campagnes de test l'adéquation avec les exigences des applications coopératives. Sur la base de cette architecture, nous avons expérimenté notre système dans deux types d'applications :- La prévention de risque à l'approche d'une intersection- L'assistance lors d'un changement de voiePour chacun de ces deux scénarios, nous avons mis en application un système de prédictionet de prévention de risque de collision entre les véhicules à travers des tests réels sur laplateforme expérimentale de véhicules intelligents LaRA The advanced driver assistance systems aim to introduce intelligence into the. The classic approach is to provide the vehicle with the ability to perceive its environment. The recent developments in the field of wireless telecommunications has made possible to re-think the driving model by introducing the concept of cooperatio. The standardization of a communication protocol for the automotive domain is being preparedbut the successful introduction of this technology is strongly correlated to the implementation of realistic services. To bridge this gap, we wanted to focus in this thesis on the design of new cooperative driver assistance systems for the improvement of road safety. The aim of the thesis is thus to demonstrate the feasibility of cooperative applications with existing communications equipments and to study the contribution of this technology in the prevention of collisions. We propose architecture for wireless communication based on the 802. 11 standard, and we explore theperformance of our system through campaigns to test the adequacy with the requirements of the cooperative applications. Based on this architecture, we exploited our system in two types of applications:- The risk assessment on intersection approach- The assistance during a lane changeFor each of these two scenarios we have implemented a system of collision risk prediction and prevention between vehicles and performed real tests on the experimental prototyping platform LaRA

APA, Harvard, Vancouver, ISO, and other styles

9

Nowakowski, Samuel. "Diagnostic dans les systèmes complexes." Habilitation à diriger des recherches, Université Henri Poincaré - Nancy I, 1996. http://tel.archives-ouvertes.fr/tel-00922030.

Full text

Abstract:

Dans ce travail, nous présentons les résultats théoriques obtenus pour la mise en oeuvre de stratégies de diagnostic dans les systèmes complexes, à savoir, les systèmes singuliers, les systèmes à paramètres et états inconnus, les systèmes bilinéaires.

APA, Harvard, Vancouver, ISO, and other styles

10

Zidi, Kamel. "Système interactif d’aide au déplacement multimodal (SIADM)." Ecole Centrale de Lille, 2006. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/2006/50376-2006-Zidi.pdf.

Full text

Abstract:

L’objectif de notre travail est la réalisation d’un système interactif d’aide aux déplacements, en mode normal, et en mode dégradé de fonctionnement du réseau de transport en commun. Ce système vise par ailleurs à minimiser le temps d’attente des voyageurs, en mode dégradé, dans les pôles d’échanges et à leur assurer, dans la mesure du possible, la continuité des déplacements dans les réseaux multimodaux. Il s’agit donc d’améliorer la qualité du service rendu aux voyageurs et les maintenir informés. Une grande partie du travail de cette thèse concerne la conception, le développement et la validation des approches qui permettent de donner des solutions optimales ou quasi optimales, pour un réseau de transport normal et perturbé. Ces approches utilisent une méthode multicritère de recherche d’itinéraire qui s’appuie sur une hybridation entre un algorithme de Dijkstra modifié et un algorithme génétique, pour générer une population de chemins minimums. L’algorithme de Dijkstra modifié nous donne un ensemble de solutions servant de population initiale pour l’algorithme génétique. La modélisation du réseau de transport est représentée par une architecture multi-zones. Cette architecture nous montre l’aspect distribué du système, les interactions et les relations qui peuvent avoir lieu entre les différentes zones. Nous présentons dans ce travail un Système Multi-Agent d’Aide au Déplacement, SMAAD. Les agents de ce système utilisent le module d’optimisation développé dans la première partie. Notre travail est réalisé dans le cadre du projet « VIATIC-MOBILITE », qui est le projet 6 du pôle de compétitivité I-Trans The objective of this work is the realization of a system allowing to assist the travellers, and to facilitate their movement in normal and degraded functioning of the transport network. This system aims to minimize the waiting time of the travellers, in degraded mode, at exchanges stations and to assure them, as well as possible, the continuity of their journey in the multimodal transport networks. So it improves the quality of the service returned to the travellers in order to inform them. A first part of the work in this thesis concerns conception, development and validation of our approach which allows giving optimal or almost optimal solutions for a normal and disrupted transport system. This approach uses a multi-objective method of search for optimal route which leans on a hybridization between a modified Dijkstra algorithm and a genetic algorithm. The modified Dijkstra algorithm gives us a set of solutions serving as initial population for the genetic algorithm. The modelling of the transport system is represented by multi-zones architecture. This architecture shows us the distributed aspect of the system, and the interactions and the relations which can take place among various zones. We present in this work a Multi-agent system of Help to the Movement. These agents use the module of optimization developed in the first part. Our work is realized within the framework of the "VIATIC-MOBILITE" project, which is the project 6 of the I-Trans Competitiveness cluster

APA, Harvard, Vancouver, ISO, and other styles

11

Raoult, Olivier. "Diagnostic de pannes des systèmes complexes." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00332209.

Full text

Abstract:

Trois entités caractéristiques du problème de diagnostic sont dégagées: le langage d'observation, la référence de bon fonctionnement et le langage de qualification. Le langage d'observation déterminé l'information perceptible; la référence de bon fonctionnement introduit le concept de panne et le langage de qualification définit l'ensemble des réponses possibles du système

APA, Harvard, Vancouver, ISO, and other styles

12

Subias, Audine. "Contribution au diagnostic des systèmes complexes." Habilitation à diriger des recherches, Université Paul Sabatier - Toulouse III, 2006. http://tel.archives-ouvertes.fr/tel-00134944.

Full text

Abstract:

Le diagnostic est aujourd'hui plus que jamais un thème de recherche pertinent. La sécurité est en effet au cSur des préoccupations de la société d'aujourd'hui. Les enjeux tant économiques, sociétaux qu'environnementaux en font un des axes majeurs d'innovation pour l'industrie actuelle. Aujourd'hui la conception et l'exploitation des systèmes doivent être abordées en intégrant une dimension sécurité dont le diagnostic fait partie intégrante. C'est dans cette problématique du diagnostic (incluant la détection et le pronostic) que s'inscrivent nos travaux. Deux thèmes de recherches sont explorés : - les modèles et les sources de connaissances pour le diagnostic. Ce thème de recherche couvre les aspects multi-modèles (modèle du procédé, modèle de surveillance, modèle de stratégie &) pour la surveillance, et met en avant la pertinence d'utiliser des sources d'informations variées (ordonnancement, AMDE, historiques &) pour mettre en place une fonction diagnostic. La génération d'un modèle de comportement à partir de données classifiées est également abordée dans ce thème. Une approche de surveillance reposant sur l'observation de la trajectoire d'un système dynamique au travers d'une séquence d'assignations de l'état courant à des classes est développée. - le diagnostic distribué. Les approches proposées ici se focalisent sur la distribution des fonctions et des modèles. Une approche de détection distribuée basée sur un modèle temporel (contraintes) du comportement est développée. Une extension vers le diagnostic embarqué dans le domaine automobile s'appuyant sur un modèle du comportement issu des données de conception est également présentée. Sur la base de ces travaux notre projet de recherche concerne d'une part l'utilisation des approches basées données pour structurer les connaissances et générer automatiquement des modèles exploitables par des méthodes de diagnostic basées modèles, d'autre part la problématique du diagnostic pour l'aide à la décision, notamme nt dans les systèmes où la dimension humaine doit être considérée

APA, Harvard, Vancouver, ISO, and other styles

13

Ploix, Stéphane. "Diagnostic des systèmes incertains : l'approche bornée." Vandoeuvre-les-Nancy, INPL, 1998. http://docnum.univ-lorraine.fr/public/INPL_T_1998_PLOIX_S.pdf.

Full text

Abstract:

Le diagnostic de défauts au sein de systèmes physiques a fait l'objet de nombreux travaux ; hormis les approches stochastiques, la plupart s'inscrivent dans un contexte déterministe. Nous défendons la thèse selon laquelle les approches bornées sont les mieux adaptées à la synthèse de procédure automatique de diagnostic s'appliquant aux systèmes physiques réels. À partir d'un raisonnement conceptuel, nous avons établi de manière univoque la problématique du diagnostic et montrer que toute procédure de diagnostic procède nécessairement de tests de cohérence. Nous avons montré que, dans un contexte incertain, les modèles contenant des variables bornées répondent tout à fait aux objectifs du diagnostic. Un formalisme permettant d'appréhender les propriétés des variables bornées est présenté ainsi qu'une procédure analytique conduisant aux caractéristiques d'un domaine défini par un champ vectoriel. Après avoir étudié différentes structures d'incertitudes, nous présentons un algorithme de caractérisation dont l'objectif est d'estimer les caractéristiques des incertitudes. Nous abordons alors les modèles permettant de réaliser les tests de cohérence nécessaires au diagnostic. En partant des modèles déterministes et en nous fondant sur des formulations génériques, nous commençons par mettre en évidence l'influence de l'horizon et de la dimension d'un modèle sur l'objectif de diagnostic. Puis, nous abordons les moyens de tester la cohérence entre un modèle incertain et des observations. Deux types de modèles ont été étudiés : ceux dont l'horizon est infini et ceux à horizon fini. Nous discutons de la pertinence des tests de cohérence associés à ces modèles. Ce mémoire s'achève par la réalisation de procédures de diagnostic exploitant la connaissance des incertitudes dans le cas de la machine à courant continu.

APA, Harvard, Vancouver, ISO, and other styles

14

Khalil, Maisaa. "Diagnostic des systèmes matériels et logiciels." Grenoble INPG, 2002. http://www.theses.fr/2002INPG0027.

Full text

Abstract:

Les systèmes complexes (télécommunications, systèmes embarqués, systèmes réactifs. . . ) sont soumis à des contraintes fortes de qualité de service qui rendent leur conception et leur validation difficiles et coûteuses. Il est donc extrêmement important de définir et de développer les méthodes et outils permettant de réduire les coûts de validation de tels systèmes. Ce travail consiste à définir : - une méthode de diagnostic permet de localiser les composants matériels fautifs dans un système complexe. Cette méthode est fondée sur l'application des techniques d'intelligence artificielle. La résolution est guidée par des heuristiques de natures différentes et par des contraintes, soit imposées par le concepteur, soit liées à l'environnement de test. - Une méthode automatique d'aide à la localisation des fautes détectées dans un logiciel, basée sur une analyse des traces d'exécution. Cette méthode permet de restreindre le domaine des parties suspectes du logiciel afin d'aider à la correction. - Comme l'activité de diagnostic s'intègre pleinement au processus de validation, nous nous sommes intéressés dans cette thèse également à proposer une mesure de diagnosabilité en logiciel, définie comme " la facilité à localiser les fautes détectées ".

APA, Harvard, Vancouver, ISO, and other styles

15

TurkiI, Youri. "Maintenance et diagnostic de systèmes complexes." Grenoble INPG, 1993. http://www.theses.fr/1993INPG0156.

Full text

Abstract:

La complexité et le peu d'accessibilité des équipements numériques rend de plus en plus difficiles les tâches de vérification et de dépannage de ces équipements, au cours du cycle de vie. Alors que des méthodes et outils de génération de test ont été développés, pour les étapes de conception et de fin de production, la vérification en phase opérationnelle et la réparation sont encore empiriques. C'est pourquoi nous nous sommes intéressés dans cette thèse à résoudre les deux points suivants : - 1) concevoir une stratégie de maintenance qui fournit le choix et l'ordre d'application d'un sous-ensemble optimal de fonctions (écoulements) de test du système. Le problème de recherche de ces fonctions de test est représenté par une formulation dite «de réduction de problème»; le problème est ainsi ramené à la recherche d'un arbre-solution dans un graphe ET/OU de sous-problèmes. La structure d'arbre de la stratégie permet de définir une stratégie adaptative. Deux techniques de recherche heuristique sont considérées: la technique de recherche irrévocable et la technique de recherche du meilleur d'abord GBF (General Best First). - 2) concevoir une stratégie de diagnostic qui détermine un sous-ensemble optimal de points à sonder par des appareils de mesure, lors d'une détection de fonctionnement erroné. Le diagnostic est basé sur une analyse d'une description du système de type flot de données. Nous proposons trois solutions: une stratégie dite «multi-points» où la solution est un ensemble statique de points à observer, une stratégie dite «a priori» où la solution est un ensemble réduit de points à observer pour confirmer ou infirmer un diagnostic empirique établi auparavant, et une stratégie dite «heuristique» qui fournit une liste dynamique de points de mesure évoluant en fonction du résultat de la mesure. Dans les deux premières stratégies, la recherche de solution est ramenée à un problème de couverture de matrice booléenne alors que dans la troisième, le problème de recherche des points à observer a été représenté par un graphe ET/OU dans lequel chaque chemin-solution est un diagnostic. Ces stratégies ont été développées pour le contexte des pannes simples et ensuite généralisées pour les pannes multiples

APA, Harvard, Vancouver, ISO, and other styles

16

Chaib, Salim. "Observation et diagnostic des systèmes hybrides." Orléans, 2007. http://www.theses.fr/2007ORLE2049.

Full text

Abstract:

Les systèmes hybrides sont des systèmes dynamiques faisant intervenir explicitement et simultanément des phénomènes continus et discrets. L'étude des systèmes hybrides : observabilité, synthèse d'observateurs et leur diagnostic sont des problèmes très actuels. Les axes de recherche traités dans cette thèse concernent En premier, l’étude de l’observabilité d’une classe de systèmes hybrides. Nous avons développé deux approches pour l'observabilité de l'état discret dans un système hybride. La première approche est algébrique pour les systèmes hybrides linéaires affines en la commande. La deuxième est géométrique et elle est destinée aux systèmes hybrides non linéaires. En deuxième lieu, nous nous somme intéressés à la synthèse d’observateurs hybrides. Les travaux réalisés dans cet axe de recherche se résument par la synthèse d'un observateur hybride basé sur une fonction de Lyapunov commune, la synthèse d'un observateur hybride avec limitation de performances via un placement régional des pôles et la synthèse d'un observateur hybride à hystérésis, avec une application sur une plate-forme robotique de deux manipulateurs en coopération. Dans la dernière partie, nous avons abordé le problème de diagnostic des systèmes hybrides. Deux approches ont été développées. La première est adaptée aux systèmes hybrides linéaires avec un saut sur l'état continu. Cette approche est basée sur les sous-espaces invariants. La deuxième méthode est une nouvelle approche pour le diagnostic et la reconstruction de défaut dans les systèmes hybride non linéaires. Cette dernière est basée sur un projecteur décomposant la dynamique du système hybride en deux parties. Cette décomposition permet par la suite la reconstruction des défauts. Cette Approche à été appliquée au problème de reconstruction de défauts dans un missile, en utilisant un modèle hybride non linéaire du missile.

APA, Harvard, Vancouver, ISO, and other styles

17

Batteux, Michel. "Diagnosticabilité et diagnostic de systèmes technologiques pilotés." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00643460.

Full text

Abstract:

Un système technologique piloté est constitué d'une variété de composants interagissant ensemble et combinant de multiples phénomènes physiques. Le stress subit par ces composants finit par engendrer des défauts (casse, usure, perforation, blocage) pouvant avoir de graves conséquences pour l'intégrité du système lui-même ou pour son environnement. Une solution, pour réduire les conséquences de tels défauts, est de mettre en place un outil embarqué de diagnostic qui permette de les détecter et les identifier rapidement et précisément pour, par exemple, placer le système dans un mode de fonctionnement approprié (mode dégradé, arrêt complet, etc.). À cette fin il apparaît alors comme impératif, lors de la phase de conception d'un tel outil de diagnostic, d'étudier la diagnosticabilité des défauts, étude qui consiste à s'assurer que l'outil sera toujours capable de diagnostiquer sans ambiguïté un défaut préalablement répertorié. Cette thèse présente une chaîne de conception outillée d'un tel outil de diagnostic appliquée à ce type de systèmes. Nous l'avons élaborée de manière complète en incluant l'ensemble des étapes nécessaires et suffisantes à la conception : les étapes préalables de représentation du système et des défauts potentiels, puis l'étude de la diagnosticabilité des défauts ainsi que la génération de l'outil associé à cette étude. L'élaboration d'un cadre théorique unifié, utilisé durant toutes les étapes de la chaîne, nous a par ailleurs permis de la garantir cohérente. Cette cohérence est de plus renforcée par le lien rigoureusement établi entre une étude de diagnosticabilité et la génération du diagnostiqueur associé. Cette thèse est le résultat d'un projet commun entre l'entreprise Sherpa Engineering ainsi que les laboratoires LRI de l'université Paris-Sud et du CNRS et LISE du CEA/LIST de Saclay.

APA, Harvard, Vancouver, ISO, and other styles

18

Baïkeche, Hamid. "Diagnostic des systèmes linéaires en boucle fermée." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2007. http://tel.archives-ouvertes.fr/tel-00198557.

Full text

Abstract:

Dans la majeure partie des travaux effectués dans le domaine de la surveillance des systèmes, les outils servant à la détection et à la localisation des défauts sont synthétisés à partir d'une représentation en boucle ouverte du système. Or, la réalité des applications industrielles fait que les systèmes sont majoritairement insérés dans une boucle de régulation ou d'asservissement. Dans ce contexte, la tâche de diagnostic s'avère particulièrement délicate pour différentes raisons. D'une part, le contrôleur peut atténuer l'effet des défauts ce qui rend difficile leur détection. D'autre part, les entrées du système étant corrélées avec les sorties à cause du bouclage cela engendre une difficulté pour la localisation. Les travaux présentés dans cette thèse se scindent en deux parties: la première porte sur l'analyse systématique de la sensibilité des différents signaux de la boucle de régulation par rapport aux défauts (paramétriques et non paramétriques). L'objectif est de sélectionner ceux qui contiennent le plus d'information sur les défauts pour être exploités par la procédure du diagnostic. La deuxième propose une méthode de détection et de localisation de défauts des systèmes linéaires en boucle fermée soumis à des défauts additifs. Le principe de la méthode consiste à découpler les défauts des sorties afin que chaque défaut affecte une seule sortie ce qui facilite leur localisation.

APA, Harvard, Vancouver, ISO, and other styles

19

Armant, Vincent. "Diagnostic distribué de systèmes respectant la confidentialité." Phd thesis, Université Paris Sud - Paris XI, 2012. http://tel.archives-ouvertes.fr/tel-00763370.

Full text

Abstract:

Dans cette thèse, nous nous intéressons à diagnostiquer des systèmes intrinsèquement distribués (comme les systèmes pairs-à-pairs) où chaque pair n'a accès qu'à une sous partie de la description d'un système global. De plus, en raison d'une politique d'accès trop restrictive, il sera pourra qu'aucun pair ne puisse expliquer le comportement du système global. Dans ce contexte, le challenge du diagnostic distribué est le suivant: expliquer le comportement global d'un système distribué par un ensemble de pairs ayant chacun une vision limitée, tout comme l'aurait fait un unique pair diagnostiqueur ayant, lui, une vision globale du système.D'un point de vue théorique, nous montrons que tout nouveau système, logiquement équivalent au système pair-à-pairs initialement observé, garantit que tout diagnostic local d'un pair pourra être prolongé par un diagnostic global (dans ce cas, le nouveau système est dit correct pour le diagnostic distribué).Nous montrons aussi que si ce nouveau système est structuré (c-à-d: il contient un arbre couvrant pour lequel tous les pairs contenant une même variable forme un graphe connecté) alors il garantit que tout diagnostic global pourra être retrouvé à travers un ensemble de diagnostics locaux des pairs (dans ce cas le nouveau système est dit complet pour le diagnostic distribué).Dans un souci de représentation succincte et afin de respecter la politique de confidentialité du vocabulaire de chacun des pairs, nous présentons un nouvel algorithme Token Elimination (TE), qui décompose le système de pairs initial vers un système structuré.Nous montrons expérimentalement que TE produit des décompositions de meilleurs qualité (c-à-d: de plus petites largeurs arborescentes) que les méthodes envisagées dans un contexte distribué. À partir du système structuré construit par TE, nous transformons chaque description locale en une Forme Normale Disjonctive (FND) globalement cohérente.Nous montrons que ce dernier système garantit effectivement un diagnostic distribué correct et complet. En plus, nous exhibons un algorithme capable de vérifier efficacement que tout diagnostic local fait partie d'un diagnostic minimal global, faisant du système structuré de FNDs un système compilé pour le diagnostic distribué.

APA, Harvard, Vancouver, ISO, and other styles

20

Mahatody, Thomas. "Spécification et conception d’un environnement d’aide à l’inspection des Systèmes Interactifs, basé sur la méthode Cognitive Walkthrough." Valenciennes, 2010. http://ged.univ-valenciennes.fr/nuxeo/site/esupversions/acd7f7bf-f5fa-46cc-bb9c-2f35bf3f4b41.

Full text

Abstract:

Cette thèse s’intéresse à l’évaluation des systèmes interactifs. Elle vise à contribuer à l’extension et à l’outillage de la méthode Cognitive Walkthrough. Cette méthode a fait l’objet de nombreuses études et expérimentations au niveau international. Elle a aussi conduit à plusieurs modifications et extensions. Malgré l’intérêt que suscite la méthode, son utilisation pose de nombreux problèmes aussi bien méthodologiques qu’applicatifs. Dans un premier temps, cette thèse décrit les éléments clés liées à la prise en compte des facteurs humains dans la conception et l’évaluation des systèmes interactifs. Puis, elle propose un état de l’art sur l’évaluation des systèmes interactifs basée sur la méthode Cognitive Walkthrough. Ensuite la spécification d’un environnement d’aide à l’inspection des systèmes interactifs basé sur la méthode Cognitive Walkthrough est décrite. Une maquette de l’environnement dénommé CWE (« Cognitive Walkthrough Environment ») est proposée ; elle a fait l’objet d’une première évaluation. Une conclusion et des perspectives terminent le mémoire This thesis is focused on the evaluation of interactive systems. It aims to contribute to the extension and equipment of the Cognitive Walkthrough method. This method is the subject of many studies and experiments worldwide. It has also undergone several modifications and extensions. Despite the interest in the method, its use poses many methodological and applicative problems. Firstly, this thesis describes the key elements related to human factors consideration in interactive system design and evaluation. Then, it proposes a state of the art on the evaluation of interactive systems based on the Cognitive Walkthrough method. Then the specification of an environment to support the inspection of interactive systems based on Cognitive Walkthrough is described. A mockup of an environment called CWE ("Cognitive Walkthrough Environment") is proposed; a first evaluation is exposed. A conclusion and perspectives end the thesis

APA, Harvard, Vancouver, ISO, and other styles

21

Depire, Alexandre. "Modélisation Markovienne – Modèles de régression de copules et valeurs extrêmes – Application aux systèmes d’aide à la conduite." Reims, 2008. http://theses.univ-reims.fr/exl-doc/GED00000749.pdf.

Full text

Abstract:

Cette thèse s'organise en deux grandes parties. La première partie porte sur le système d'aide à la conduite ACC. Nous étudions les stratégies de conduite et confirmons une hypothèse de F. Saad dans le premier chapitre. Le second chapitre aborde les automates cellulaires. Le troisième chapitre propose la validation d'une hypothèse dans le domaine de la psychologie de la conduite par l'utilisation de la modélisation markovienne. Le dernier chapitre porte sur la modélisation markovienne avec exogènes. Nous comparons avec une modélisation classique. Un cadre théorique est présente. L'étude d'outils pour l'évaluation d'un système d'aide à la conduite par le biais d'une comparaison avec/sans et cela sur des données réelles non contrôlées est central. Ceci nous a amené à considérer la notion de scène pouvant se définir comme la modification de la dépendance entre plusieurs indicateurs. L’objet central dans la dépendance est la copule, cœur de la seconde partie. Le premier chapitre est un état de l'art, évoque les mesures de dépendance et la fonction de linkage. Le second chapitre aborde une mesure de dépendance multivariée. Nous démontrons une formule de décomposition de l'information mutuelle. Le troisième expose une extension du modèle de cox au cas bivarié s'appuyant sur les copules de valeurs extrêmes. Des résultats d'approximation et de convergence sont prouvés. Pour conclure, une application est présentée sur les données du système lavia (limiteur de vitesse s'adaptant à la vitesse autorisée). Le quatrième chapitre porte l'estimation de la fonction de dépendance d'une copule bivariée. On démontre la convergence uniforme ainsi que la loi asymptotique de notre estimateur The thesis gets organized in two major parties. The first part turns on the intelligent transportation system (autonomous cruise control). In the first chapter we study strategies of drivers and confirm a hypothesis of F. Saad. The second chapter tackles the cellular automaton. The third chapter suggests validation of an assumption in the field of the driver psychology by the use of the markovian models. The last chapter deals with the input-output hidden markov models. A theoretical framework is presented. The main purpose is the study of tools for the evaluation of such systems through data with / without the system and real data, not controlled. The important notion is the concept of scene, as defined the changes in the dependence between several indicators. The central object in the dependence is the copula, the heart of the second part. The first chapter is a state of the art, refer to the measures of dependence and function of linkage. The second chapter tackles a measure of a multivariate dependence. We demonstrate a formula about the mutual information. In the third chapter, an extension of the cox model in bivariate case is presented, based on extreme value copulas. Some approximation results and the convergence are proved. We give an application on real data from lavia system (speed limiter). The fourth chapter is about the estimating of the dependence function in the bivariate case. We prove the uniform convergence and give the asymptotic law of our estimator

APA, Harvard, Vancouver, ISO, and other styles

22

Lheureux, Florent. "Innovations technologiques et sécurité routière : modélisation et optimisation de l’acception des systèmes d’aide à la conduite automobile." Aix-Marseille 1, 2009. http://www.theses.fr/2009AIX10092.

Full text

Abstract:

Cette thèse fait suite aux travaux du GARIG (INRETS) et du laboratoire de psychologie sociale de l’Université de Provence à propos du Limiteur s’Adaptant à la Vitesse Autorisée (LAVIA). On s’intéresse aux facteurs à l’origine de l’acceptation par les conducteurs des limiteur et régulateur de vitesse. Une revue de question sur ce thème aboutit à un constat : une approche plus extensive, intégrative et modélisatrice de ce thème est nécessaire. Un modèle a été conçu, avec notamment pour base théorique la théorie des représentations sociales. Plusieurs études ont été réalisées. Lors d’une première, on a développé le concept de Représentations Sociales d’Ancrage. Lors d’une seconde, on a démontré qu’avant essai les systèmes sont plus ou moins acceptés en fonction de leur compatibilité avec les valeurs des conducteurs. L’étude 3 a mis à l’épreuve et conforte la structure générale du modèle. L’étude 4 a exploré une voie d’optimisation de l’acceptation des systèmes : la voie analogique.

APA, Harvard, Vancouver, ISO, and other styles

23

Djeziri, Mohand Arab. "Diagnostic des Systèmes Incertains par l'Approche Bond Graph." Phd thesis, Ecole Centrale de Lille, 2007. http://tel.archives-ouvertes.fr/tel-00200030.

Full text

Abstract:

Le travail de thèse concerne la conception d'un système de surveillance robuste aux incertitudes paramétriques à base de modèles bond graphs sous forme LFT (Linear Fractional Transformations). Une procédure de génération automatique de résidus robustes et de seuils adaptatifs de fonctionnement normal a été développée et implémentée à l'aide d'outils logiciels appropriés. Les performances du diagnostic sont contrôlées par une analyse de la sensibilité de ces résidus, permettant de définir des indices de sensibilité aux incertitudes paramétriques, et des indices de détectabilité des défauts. L'outil bond graph permet par sa nature physique d'estimer a priori les valeurs détectables des défauts physiques. Outre l'implémentation informatique, les résultats de recherche sont validés par deux applications industrielles de complexité différente : un système électromécanique pour détecter et isoler des défauts tels que la variation anormale de l'amplitude du jeu dans la partie réducteur, tout en distinguant le défaut des variations paramétriques un procédé énergétique de génération de vapeur, qui constitue un système non stationnaire, où l'espace paramétrique est plus complexe.

APA, Harvard, Vancouver, ISO, and other styles

24

Sévigny, Johanne. "Méthode de diagnostic automatique pour les systèmes d'asservissement." Thesis, University of Ottawa (Canada), 1989. http://hdl.handle.net/10393/5605.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Dumont, Julien. "Systèmes multi-agent pour le diagnostic pluri-disciplinaire." Phd thesis, Ecole Nationale Supérieure des Mines de Saint-Etienne, 2011. http://tel.archives-ouvertes.fr/tel-00844133.

Full text

Abstract:

Ce travail de recherche est consacré à la formalisation et à la réalisation d'un processus de diagnostic pluridisplinaire. La particularité d'un tel diagnostic résulte du fait qu'il nécessite de nombreux spécialistes, chacun ayant des connaissances sur leur domaine. Le problème principal réside dans les interconnexions entre les domaines. Ces interconnexions peuvent ou non être connues et influer sur le diagnostic. Dans ce manuscrit, nous proposons de réaliser un diagnostic pluridisciplinaire l'aide d'un système multi-agents. Les agents élaborent un diagnostic local à un domaine puis, fusionnent leurs diagnostics afin d'obtenir le diagnostic pluridisciplinaire. Dans ce but, nous proposons un cadre d'argumentation et une méthode de fusion des diagnostics. Ensemble, ces deux propositions forment le modèle ANDi.

APA, Harvard, Vancouver, ISO, and other styles

26

Djeziri, Mohand Arab. "Diagnostic des systèmes incertains par l’approche Bond Graph." Ecole Centrale de Lille, 2007. http://tel.archives-ouvertes.fr/docs/00/20/00/30/PDF/These-Djeziri-07-12-2007.pdf.

Full text

Abstract:

Le travail de thèse concerne la conception d’un système de surveillance robuste aux incertitudes paramétriques à base de modèles bond graph sous forme LFT ( Linear Fractional Transformations). Une procédure de génération automatique de résidus robustes et de seuils adaptatifs de fonctionnement normal a été développée et implémentée à l’aide d’outils logiciels appropriés. Les performances du diagnostic sont contrôlées par une analyse de la sensibilité de ces résidus, permettant de définir des indices de sensibilité aux incertitudes paramétriques, et des indices de détectabilité des défauts. L’outil bond graph permet par sa nature physique d’estimer à priori les valeurs détectables (en terme de puissance) des défauts physiques. Outre l’implémentation informatique, les résultats de recherche sont validés par deux applications industrielles de complexité différente :Un système électromécanique pour détecter isoler des défauts telle que la variation anormale de l'amplitude du jeu dans la partie réducteur, tout en distinguant le défaut des variations paramétriquesUn procédé énergétique de génération de vapeur, qui constitue un système non stationnaire, où l'espace paramétrique est plus complexe This work deals with robust fault diagnosis in presence of parameter uncertainties using bond graph model in LFT form (Linear Fractional Transformations). An approach for ARRs and adaptive thresholds generation is developed and implemented on appropriate software. The diagnosis performances are improved using a residual sensitivity analysis, which allows defining sensitivity indexes of parameter uncertainties and fault delectability indexes. The fault detectable value can be estimated (in puissance terms) due to the energetic aspect of the bond graph tools. The developed method is applied in real time on two industrial applications with different complexities: Mechatronic system, in order to detect and to isolate backlash phenomenon by distinguishing fault from parameter uncertaintiesEnergetic process of steam generation, which is a no stationary system with a complex parameter space

APA, Harvard, Vancouver, ISO, and other styles

27

Ahriz, Hatem. "Modélisation automatique de systèmes physiques : application au diagnostic." Chambéry, 1998. http://www.theses.fr/1998CHAMS013.

Full text

Abstract:

L'objectif de notre travail de thèse est de fournir un cadre pour la construction automatique de modèles de systèmes physiques. Nous montrons, par ailleurs, la pertinence du modèle construit pour la tâche de diagnostic de défaillances. Ce travail aboutit à la réalisation de l'outil AIMD (AIde à la Modélisation et au Diagnostic). Notre approche consiste à considérer la tâche de modélisation comme une itération, qui commence par l'élaboration du modèle le plus simple, puis le complexifie si besoin pour tenir compte de deux éléments : les hypothèses de modélisation propres au contexte d'utilisation du système physique, et les contraintes reflétant le comportement dynamique désiré (attendu) de ce système. Une simulation qualitative permet de vérifier si le modèle courant peut, ou non, satisfaire ces contraintes. L'itération est terminée quand on obtient un modèle de parcimonie, ou si, par contre, aucun modèle satisfaisant ne peut être élaboré. Une phase préliminaire consiste à analyser la structure du système physique, donnée sous la forme de l'ensemble de composants et relations entre composants. Le modèle global du système physique est obtenu grâce à l'assemblage des fragments de modèles représentant chacun un composant du système physique. Une bibliothèque, préalablement construite, regroupe les différents fragments (chaque composant pouvant être représenté par plusieurs fragments). Nous utilisons le formalisme des graphes de liaisons pour représenter les fragments de modèles. Le résultat de la tâche de modélisation est alors donné sous forme de graphe de liaisons. Nous en dérivons, ensuite, un graphe causal. Ce dernier est utilisé comme référence (modèle de bon comportement) par rapport aux observations et mesures recueillies auprès du système physique. La tâche de diagnostic consiste, alors, à rechercher la cause d'une défaillance se manifestant par un symptôme.

APA, Harvard, Vancouver, ISO, and other styles

28

Adjallah, Kondo Hloindo. "Contribution au diagnostic des systèmes par observateur d'état." Vandoeuvre-les-Nancy, INPL, 1993. http://www.theses.fr/1993INPL110N.

Full text

Abstract:

La détection de défauts et le diagnostic à base de modèles utilisent différentes formes d'équations de représentation des systèmes, dont les modèles d'état. Les méthodes de détection de défauts basées sur la génération de redondances par observateurs d'état s'appuient, pour la plupart, sur des modèles linéaires ou linéarisés. Après avoir posé, dans un chapitre de généralité, les problèmes liés au diagnostic dans les systèmes industriels en général, un ensemble de techniques permettant de les résoudre est proposé, d'abord dans le cas linéaire, puis dans le cas non linéaire tout en évitant d'emprunter les formes canoniques observables souvent difficiles à manipuler. Le mémoire se décompose en trois principaux chapitres. Le premier chapitre commence par un bref rappel de la théorie générale des observateurs d'état et des méthodes de base de construction dans le cas linéaire. Ensuite, quelques méthodes de reconstruction d'état de systèmes linéaires en présence d'entrées perturbatrices ou inconnues sont présentées. Dans le second chapitre, on examine les problèmes de la reconstruction d'état des systèmes non linéaires et on propose quelques techniques de reconstruction d'état pour ces systèmes dont la principale est basée sur la théorie de stabilité de lyapunov. Les résultats de ces reconstructions d'état sont comparés, à l'aide d'un exemple, à ceux d'une technique basée sur la transformation du système sous forme canonique. Enfin, dans le troisième chapitre, on décrit les méthodes et techniques de génération de résidus robustes pour la détection de défauts des systèmes linéaires et linéarisés en présence d'erreurs de modèle ou de linéarisation ainsi que des systèmes non linéaires. Des résultats comparatifs sont présentés et analysés sur un exemple

APA, Harvard, Vancouver, ISO, and other styles

29

Youssef, Bilal. "Diagnostic par signatures graphiques des systèmes non linéaires." Grenoble INPG, 2005. http://www.theses.fr/2005INPG0145.

Full text

Abstract:

Ln this work, a graphical signature generation tool is proposed for diagnosis and parametric estimation for nonlinear systems. This tool is based on the definition of a two-dimensional graphical signature obtained by using the history of the output measurements or some moving-horizon window. The underlying idea is that if each parametric variation deforms this signature in a different way, the latter becomes a remarkable tool for diagnosis, in particular in the case of the diagnosis by human operator. The whole scheme is illustrated by three examples : the automotive electronic throttle control system, the simulated moving bed and the induction motor Dans ce travail, un outil graphique est proposé pour le diagnostic et l'estimation paramétrique des systèmes non linéaires. Cet outil est basé sur la définition d'une signature graphique générée à partir des mesures passées du système à diagnostiquer. Si l'allure de la signature se déforme d'une façon détectable lorsqu'un paramètre du système varie et indépendamment des valeurs des autres paramètres ; la signature devient un outil important du diagnostic en particulier dans le cadre d'un système d'aide au diagnostic à interface homme/ machine. Si en plus la déformation de la signature est corrélée à la variation du paramètre en question, la valeur de ce dernier peut être alors estimée. La méthodologie complète du diagnostic est illustrée sur trois exemples : le système de régulation du débit d'air entrant dans le moteur d'automobile, le lit mobile simulé et la machine asynchrone

APA, Harvard, Vancouver, ISO, and other styles

30

Leildé, Vincent. "Aide au diagnostic de vérification formelle de systèmes." Thesis, Brest, École nationale supérieure de techniques avancées Bretagne, 2019. http://www.theses.fr/2019ENTA0011.

Full text

Abstract:

Le model checking est une technique de vérification formelle qui consiste à certifier que le comportement d’un système formel satisfait des propriétés formelles. Son principe est d’explorer l’ensemble des exécutions possibles du système pour découvrir des chemins d’exécution (traces) violant les propriétés. Si c’est le cas, l’ingénieur doit remonter aux causes qui ont produit la trace. L’objectif de la thèse est d’assister l’ingénieur lors de cette phase que l’on appelle diagnostic. Nous proposons un cadre combinant différents types de connaissances et activités cognitives, supporté par une méthode et une infrastructure. Nous illustrons l’approche sur la sécurisation d’un système SCADA. Quand le diagnosticien est vérificateur du modèle, il doit faire face à des traces de grande taille. Il réalise un diagnostic en mobilisant une multitude d’activités cognitives complexes. Pour les outiller, nous proposons une classification de ces activités selon la taxonomie de Bloom. Quand la cause réelle opère sur des connaissances autres que celles du model checking, ces moyens sont alors insuffisants. Quand le diagnosticien est le concepteur du modèle, il dispose ou non de connaissances de domaine permettant de le débloquer en lui offrant des nouveaux regards sur la trace. Pour y parvenir, il faut disposer du domaine et corréler les connaissances du domaine et du model checking pour réduire leur fossé sémantique. Nous proposons des structures pour capturer et réutiliser le domaine. D’un côté le problem case formule le problème que l’on cherche à résoudre et permet de préciser le diagnostic de la solution construite. D’un autre côté les sample, pattern et component cases capturent des éléments de solutions et permettent d’isoler le diagnostic. Quand le diagnosticien est l’architecte du système, il combine des éléments de problèmes et de solutions provenant à la foisde l’ingénierie du domaine et de l’application. Pour progresser de manière fluide dans la solution et enrichir les propriétés à vérifier, nous proposons une méthode de résolution de problème. Alimentée par la base de connaissances issue du domaine, celle-ci réalise des allers-retours entre l’espace du problème et l’espace de la solution, traçant problèmes et solutions choisies, et augmentant la vérification et le diagnostic grâce à de nouvelles propriétés. De manière transversale aux autres phases, le processus de vérification doit être organisé. Nous proposons une infrastructure permettant d’organiser, capitaliser et réutiliser les diverses connaissances (model checking, domaine, méthode). L'infrastructure est divisée en trois niveaux, le niveau physique regroupe les données brutes, le niveau connaissance regroupe des ontologies, et le niveau d’accès fournit des interactions supportées par les connaissances, dont les activités cognitives de diagnostic, organisées suivant la taxonomie de Bloom. Nous proposons un outil de simplification de traces par facettes reposant sur cette infrastructure Model checking is a formal verification technique verifying that a system behavior satisfies formal properties. This technique explores all the possible executions of the system to discover execution paths (traces) violating formal properties. When a property is violated, the engineer must find the root causes that produced the trace. The goal of this work is to assist the engineer during this phase, which is called diagnosis. Our proposition is a framework combining various kinds of knowledge and cognitive activities, supported by a method and an infrastructure. We apply the approach to securing a SCADA system. When the diagnostician is the model verifier, he generally faces large traces. The diagnosis is obtained by mobilizing a multitude of complex cognitive activities. To tool these activities, we propose to classify them according to the Bloom’s taxonomy. Even so, these means are insufficient when the real cause doesn’t operate on model checking knowledge. When the diagnostician is the model designer, he may or may not have domain knowledge. This knowledge offers new perspectives about the trace, and may unblock the diagnosis. We propose a structure to capture and reuse this knowledge. Correlations can be explicited o reduce the semantic gap between domain and model checking knowledge. On the one hand, the problem case formulates the problem to be solved, and precises the diagnosis of the constructed solution. On the other hand, the sample, pattern and component cases capture elements of solutions, and isolate the diagnosis. When the diagnostician is the system architect, he combines elements of problemsand solutions from both domain and application engineering. To progress smoothly in the solution and enrich the properties to be checked, we propose a problem solving method. Fed by the domain knowledge base, the method goes back and forth between the problem space and the solution space, tracing chosen problems and solutions, and facilitating verification and diagnosis thanks to new properties. We propose an infrastructure to organize, share and reuse various knowledge implied during the verification process (model checking, domain, method). This infrastructure is divided into three levels, the physical level gathers the raw data, the knowledge level gathers ontologies, and the access level provides interactions supported by knowledge. We offer a trace simplification tool diagnosis based on facets, and promoted by our infrastructure

APA, Harvard, Vancouver, ISO, and other styles

31

Perez, zuniga Carlos gustavo. "Analyse Structurelle pour le Diagnostic des Systèmes Distribués." Thesis, Toulouse, INSA, 2017. http://www.theses.fr/2017ISAT0024/document.

Full text

Abstract:

Les récents développements des systèmes technologiques ont mené à une complexification des comportements des systèmes actuels. Une solution pour gérer cette complexité croissante consiste à les considérer comme un ensemble de sous-systèmes hétérogènes et à développer des techniques distribuées pour les contrôler et les gérer. Cette solution soulève plusieurs problèmes. Tout d’abord, l’augmentation de la taille et du nombre de composants entraîne immanquablement l’augmentation du nombre de fautes qui peuvent conduire le système dans un état de défaillance critique. De fait, parmi les fonctions opérationnelles, les tâches de détection et d’isolation des fautes (Fault Detection and Isolation ou FDI), de maintenance et de réparation sont devenues prédominantes et elles influent considérablement sur le coût total des produits finaux.Cette thèse porte sur la détection et l’isolation de fautes. Parmi les différentes méthodes pour générer des tests de diagnostic utilisant la redondance analytique, cette thèse adopte l’approche par espace de parité qui utilise les relations de redondance analytique (RRA). Étant donné un modèle du système sous la forme d’un ensemble d’équations différentielles, les RRA sont des relations obtenues à partir du modèle en éliminant les variables non mesurées. Ceci peut être effectué dans un cadre analytique en utilisant la théorie de l’élimination. Une autre solution consiste à utiliser l’analyse structurelle. L’analyse structurelle est basée sur une abstraction du modèle qui ne conserve que les liens entre variables et équations. Malgré son apparente simplicité, l’analyse structurelle fournit un ensemble d’outils puissants, s’appuyant sur la théorie des graphes, pour analyser et inférer des informations sur le système. Par ailleurs, elle a l’avantage de s’appliquer indifféremment sur les systèmes linéaires ou non linéaires.L’objectif de cette thèse est de développer des techniques efficaces basées sur l’analyse structurelle pour le diagnostic des systèmes continus distribué. Dans ce cadre, le système se décompose en un ensemble de sous-systèmes en fonction de contraintes fonctionnelles, géographiques ou de confidentialité. La thèse se divise principalement en deux parties :• la première partie cherche à mettre à lumière, à partir des modèles structurels obtenus au niveau des sous-systèmes, les redondances qui généreront des tests de diagnostic pertinents au niveau du système global,• la deuxième partie vise à formuler et résoudre le problème d’optimisation lié au choix d’un sous-ensemble de tests de diagnostic au niveau des sous-systèmes permettant une diagnosticabilité maximale pour le système global.La première partie utilise le concept d’ensemble minimal structurellement surdéterminé guidé par les fautes (Fault-Driven Minimal Structurally Overdetermined Set ou FMSO set). Ce concept est introduit dans la thèse. Il s’agit d’un sousensemble d’équations du modèle avec une redondance minimale à partir de laquelle une RRA sensible à un ensemble de fautes peut être obtenu. Deux solutions pour générer des ensembles FMSO pour le système global sont présentées, d’une part dans un cadre décentralisé avec des superviseurs imbriqués suivant une hiérarchie; d’autre part dans un cadre totalement distribué. Ces solutions sont basées sur les propriétés des ensembles FMSO au niveau des sous-systèmes qui sont présentées dans la thèse. La deuxième partie pose un problème d’optimisation dans le cadre d’une recherche heuristique et propose trois solutions basées sur un algorithme A* itératif combiné avec une fonction capable d’évaluer si un ensemble FMSO au niveau global peut être obtenu à partir des ensembles FMSO locaux sélectionnés. Les concepts introduits dans la thèse et les résultats sont appliqués à deux cas d’étude industriels. Le premier est une usine de désalinisation. Le second est un système de détermination et de contrôle d’attitude pour un satellite en orbite basse The recent development of technological systems implies a high complexity of behaviors for today’s systems. An answer to the increased system’s complexity is to look at them as a multitude of heterogeneous subsystems and develop distributed techniques to control and manage them. This raises a number of problems. Firstly, as the size and number of components increase, so does the number of fault occurrences that may drive the system to undergo critical failures. Fault detection and isolation (FDI), maintenance and repair are an increasing part of the operational everyday’s tasks and they impact drastically the total cost of final products.This thesis focuses on fault detection and isolation. Among the different methods to generate diagnosis tests by taking advantage of analytical redundancy, this thesis adopts the so-called parity space approach based on analytical redundancy relations (ARRs). Given a model of the system in the form of a set of differential equations, ARRs are relations that are obtained from the model by eliminating non measured variables. This can be performed in an analytical framework using elimination theory but another way of doing this is to use structural analysis. Structural analysis is based on a structural abstraction of the model that only retains a representation of which variables are involved in which equations. Despite the rusticity of the abstract model, structural analysis provides a set of powerful tools, relying on graph theory, to analyze and infer information about the system. Interestingly, it applies indifferently to linear or nonlinear systems. The goal of this thesis is to develop effective techniques based on structural analysis for diagnosis of distributed continuous systems. In this framework, the system is decomposed into a set of subsystems according to functional, geographical or privacy constraints. The thesis is organized in two parts:• highlighting the redundancies that are built into the global structural model and that can be used to generate diagnosis tests starting from the redundancies existing in the subsystem’s models,• formulating and solving the optimization problem linked to the choice of a subset of diagnosis tests at the subsystems level that can lead to a set of diagnosis tests achieving maximum diagnosability for the global system.The first part takes benefit of the concept of Fault-Driven Minimal Structurally Overdetermined Set (FMSO set) that is introduced in the thesis. An FMSO set determines a subset of equations of the model with minimal redundancy from which an ARR sensitive to a set of faults can be obtained. Two solutions for generating FMSOs for the global system are presented, in a decentralized framework with supervisors at each level of a hierarchy and in a totally distributed framework.These are based on the properties of the FMSO sets for the subsystems in relation to those of the global system derived in the thesis

APA, Harvard, Vancouver, ISO, and other styles

32

Gautier, Guillaume. "Diagnostic vibratoire des systèmes mécaniques par subspace fitting." Thesis, Tours, 2015. http://www.theses.fr/2015TOUR4026/document.

Full text

Abstract:

Dans ce mémoire, une méthode subspace fitting (SF) destinée à l’identification des paramètres mécaniques et l’évaluation de l’état de santé de structures vibrantes, est présentée. La méthode SF s’attache à extraire, à partir des méthodes d’identification par sous-espaces (4SID), une matrice d’observabilité du système et de la corréler, au sens de la norme, à une matrice d’observabilité théorique. L’originalité de ce travail est de construire la matrice d’observabilité théorique sur la base d’un modèle éléments finis (EF) de la structure considérée. En ajustant les paramètres inconnus du modèle EF, les propriétés mécaniques de la structure vibrante sont identifiées. Les coûts de calcul d’une telle procédure sont réduits en considérant une méthode de réduction de modèle basée sur la position des excitations et des capteurs. La méthode est évaluée pour l’identification des fréquences propres d’une structure vibrante. Des applications numériques et expérimentales s’attachent à montrer la pertinence d’une telle approche. En particulier, il est mis en évidence que la méthode SF permet d’identifier précisément les fréquences propres d’une structure, pour des niveaux de bruit importants In this thesis, a subspace fitting (SF) method is presented for the identification of mechanical parameters and assessment of the health condition of vibrating structures. The SF method attempts to extract, from subspace identification methods (4SID), a system observability matrix of the system and correlate them with a theoretical observability matrix. The originality of this work is to obtain the theoretical observability matrix from a finite element model (EF) of the structure. By adjusting unknown parameters of the FE model, the mechanical properties of the vibrating structure are identified. Computational costs of such a procedure are reduced by considering a model reduction method based on the excitations and sensors location. The method is evaluated for the identification of natural frequencies of a vibrating structure. Numerical and experimental applications are assessed to show the relevance of such an approach. In particular, it is highlighted that the SF method can accurately identify the natural frequencies of a structure to high noise levels

APA, Harvard, Vancouver, ISO, and other styles

33

Ben, Abboud Youssef. "Diagnostic de pannes électriques dans les systèmes logiques." Thesis, Montpellier 2, 2010. http://www.theses.fr/2010MON20012/document.

Full text

Abstract:

Les dernières technologies comme la 65nm, 45nm et la nouvelle technologie 32nm qui sera disponible à la fin de 2010, permettent la production de circuits de plus en plus complexes avec des performances très élevées. Ces nouvelles technologies imposent donc de nouveaux challenges pour la conception de circuits, mais également pour les méthodologies de test de fabrication et de diagnostic. De ce point de vue, les défaillances observées dans ces technologies ne peuvent pas être modélisées par des fautes classiques de collage. Les fautes de délai, de court-circuit, de circuit ouvert, etc. doivent également être prises en compte. Dans ce contexte, l'objectif de cette thèse a été de développer une méthode de diagnostic logique capable à la fois de traiter un ensemble complet de modèles de fautes et de fournir une localisation fiable et précise des défaillances dans un système sur puce. Ce manuscrit est organisé comme suit. Dans la première partie, les modèles de faute existants sont analysés afin de montrer les conditions de sensibilisation de chacun d'eux. La deuxième partie présente une méthode de diagnostic logique basée sur une approche « Effet-à-Cause». La dernière partie propose une nouvelle technique de diagnostic basée sur une approche « Cause-à-Effet » et permettant de traiter les circuits séquentiels. Les deux approches de diagnostic proposées exploitent les conditions de sensibilisations afin de cibler un ensemble élargi de modèles de fautes durant le processus de diagnostic. Les deux techniques sont validées sur un ensemble important de circuits benchmark et sur des systèmes sur puce fournis par la société STMicroelectronics Latest technologies like 65nm, 45nm and the next 32nm technology available at the end of 2010, allow the production of more and more complex and vey high performance circuits. These technologies lead to face with new challenges related to design, test and diagnosis. From this perspective, failures observed in these recent technologies can no longer be modeled by the classical stuck-at fault model. Delay faults, short-circuits, opens, etc. have also to be considered. In this context, the purpose of this thesis has been to develop a logic diagnosis approach able to deal with many types of faults as well as providing an accurate and reliable localization of failures in a system on chip. This manuscript is organized as follows. In the first part, existing fault models are analyzed in order to show the sensitization conditions related to each of them. The second part presents a logic diagnosis method based on the 'Effect-Cause' paradigm. The last part proposes another diagnosis technique based on the 'Cause-Effect' paradigm to deal with sequential circuits. The two proposed diagnosis approaches exploit the sensitization conditions in order to be able to consider a large set of fault models during the diagnosis process. Both techniques have been validated on a large set of benchmark circuits and on System-On-Chips provided by STMicroelectronics

APA, Harvard, Vancouver, ISO, and other styles

34

André, Stéphane. "Evaluation de la performance non financière des entreprises : apport des méthodes multicritère d’aide à la décision." Paris 9, 2009. https://bu.dauphine.psl.eu/fileviewer/index.php?doc=2009PA090025.

Full text

Abstract:

Avec l’intégration du développement durable dans la stratégie des entreprises, l’évaluation de la performance connait une profonde évolution. L'objet de cette thèse est de valider l'intérêt des méthodes d'aide multicritère à la décision (AMCD) pour l'évaluation des performances non financières. Dans ce contexte, nous avons conçu la démarche EPISSURE qui permet une évaluation de performances non financières grâce à des indicateurs de synthèse hiérarchiques calculés avec à des outils AMCD et élaborés selon un processus de concertation cadrée. Ce processus, dont le contour est défini par l’entreprise, intègre l’ensemble des parties prenantes de l'évaluation. Pour valider cette démarche, nous l’avons expérimentée sur huit terrains en entreprises traitant de l’évaluation de la performance environnementale et de celle d’actions de mécénat. Bien que des limites aient pu être mises en évidence, les retours terrain nous amènent à penser que l’intérêt de la démarche EPISSURE semble validé With the strengthening of corporate social responsibility, performance evaluation within companies needs to be revised. In this context, our research aims to validate the interest of the Multicriteria Decision Analysis methodologies (MCDA). We propose a method called EPISSURE which allows non financial performance evaluation thanks to synthesis indicators, which are built in a four hierarchical levels and computed with MCDA tools. These indicators are implemented thanks a formalized process called “framed dialog”. The purpose of this “framed dialog” is to build a common vision about performance evaluation for all the shareholders. In order to validate EPISSURE, we conducted eight fields’ studies about environmental and sponsorship performance evaluation. EPISSURE is still working on four of these eight studies. Even if several limits have been pointed up, feedbacks seem to validate that EPISSURE could be considered as an added value in order to evaluate non financial performance

APA, Harvard, Vancouver, ISO, and other styles

35

Philippot, Alexandre. "Contribution au diagnostic décentralisé des systèmes à événements discrets: application aux systèmes manufacturiers." Reims, 2006. http://theses.univ-reims.fr/exl-doc/GED00000337.pdf.

Full text

Abstract:

Le diagnostic des défaillances des systèmes industriels est à l'origine de nombreux travaux depuis ces dernières années. Il est défini comme l'opération permettant de détecter et de localiser un défaut. La détection de défauts consiste à rendre une décision sur l'état du système qu'il soit en fonctionnement normal ou défaillant. Cette opération est ensuite suivie d'une étape de localisation du défaut afin d'identifier ses causes et son origine. Ce mémoire de thèse présente une approche décentralisée avec coordinateur pour le diagnostic des Systèmes à Evénements Discrets (SED) et plus particulièrement pour les systèmes manufacturiers composés de capteurs et d'actionneurs discrets. Cette approche considère la Partie Opérative (PO) comme un ensemble d'éléments composé d'un actionneur et d'un ensemble de capteurs. La construction des diagnostiqueurs s'appuie sur une modélisation modulaire des éléments de la Partie Opérative, d'un modèle des spécifications de la Partie Commande (PC) et d'une information temporelle liée à la réactivité des actionneurs. Chaque diagnostiqueur représente un observateur de l'état du système affecté d'une étiquette de décision, cette décision étant le résultat de l'observation des événements, des conditions sur les états du système et/ou sur le temps de retard entre événements. Afin de définir la capacité de l'ensemble des diagnostiqueurs locaux à diagnostiquer un ensemble de défauts dans un délai fini, une notion de codiagnosticabilité a été établie. Dans cette thèse, cette notion tient compte de la modélisation des défauts à base d'événements, à base d'états et à base d'informations temporelles. Elle détermine ainsi l'ensemble des défauts que la structure décentralisée peut diagnostiquer. L'ensemble des décisions locales doit être ensuite agrégé afin d'obtenir une décision globale sur l'état du système. Cette fusion est réalisée par un coordinateur construit à partir d'un ensemble de règles permettant de résoudre les différents problèmes d'indécision et d'ambiguïté entre les diagnostiqueurs locaux. Ce coordinateur permet d'obtenir des performances de diagnostic équivalentes à celles d'un diagnostiqueur centralisé. Deux exemples d'applications manufacturières illustrent l'efficacité et l'intérêt de la structure décentralisée en terme d'explosion combinatoire. Un simulateur basé sur Stateflow de Matlab permet de tester et valider l'approche proposée Fault diagnosis of industrial systems is a subject that has received a great attention in the past few decades. It is defined as the process of detecting and isolating faults. Fault detection leads to a binary decision that either the system is working under normal conditions or an abnormality in its behaviour has occurred. Fault detection is followed by fault isolation, which determines the fault type, location and causes. This thesis presents a decentralized approach to realize the diagnosis of Discrete Event Systems (DES), particularly manufacturing systems with discrete sensors and actuators. This approach considers the plant as a set of elements. Each plant element is composed of an actuator and a set of sensors. The construction of the local diagnosers is based on a modular modelling of the plant elements, of the controller specifications and the temporal information about the actuators reactivity. It is a special case of an observer that carries fault information by means of labels attached to states. Diagnosers base their decisions on the sequences of observed events, on the current behavior and/or on the time delays between these events. In order to verify that the set of local diagnosers are capable to diagnose a set of faults within a bounded delay, a notion of codiagnosability must be defined. In this thesis, a timed-event-state-based diagnosability notion is defined in order to verify the diagnosability property of the set of local diagnosers. All local diagnosis decisions must be merged in order to obtain one global diagnosis decision. This fusion can be realized by a coordinator based on a set of rules. The goal of this coordinator is to solve the problem of decision conflict and/or ambiguity among local diagnosers in order to obtain a diagnosis performance equivalent to the one of the centralized diagnoser. Two examples of manufacturing applications are used to illustrate and to show the advantages and the interest of this approach. A simulation tool based on Stateflow of Matlab is constructed in order to test and validate the proposed approach on application examples

APA, Harvard, Vancouver, ISO, and other styles

36

Weber, Alexandre. "Modélisation et gestion de flux par systèmes multiagents : application à un système d’aide à la décision en épidémiologie." Ecole Centrale de Lille, 2007. http://tel.archives-ouvertes.fr/docs/00/25/99/41/PDF/These_A-WEBER.pdf.

Full text

Abstract:

Un système complexe est caractérisé par le grand nombre d’entités en interaction qu’il regroupe. Les échanges dans le système sont vus comme des flux. L’imprévisibilité de l’évolution de tels systèmes ne permet pas de les caractériser complètement. Par conséquent, pour modéliser et comprendre la circulation de flux dans les systèmes complexes, il est nécessaire de se tourner vers la simulation. Les Systèmes Multi-Agents (SMA) représentent une méthode particulièrement appropriée à ce type de modélisation. Nous appliquons cette démarche à l’étude de la circulation d’un parasite dans un écosystème (Cryptosporidium). Ce parasite étant particulièrement résistant aux méthodes de désinfection traditionnelles, il est nécessaire de saisir les facteurs prédominants agissant dans sa propagation. A cet effet, les données, recueillies auprès de biologistes, nous ont permis de concevoir une Simulation Orientée Agents (SOA) autorisant une exploration des comportements possibles du système. Les résultats permettent d’évaluer la fiabilité de la modélisation et de mieux comprendre la dissémination du parasite. Afin d’apporter aux biologistes un outil d’aide à la décision autonome, nous avons développé un système de niveau supérieur (méta-système) capable de réaliser le monitoring d’une SOA. Ce méta-système, basé sur le concept de métaheuristique, cherche à optimiser le comportement du système en fonction d’une problématique précise en évaluant l’impact de facteurs prédéfinis sur l’évolution de la SOA. Ainsi, il est à même d’interpréter les résultats des simulations pour permettre de faire émerger, par l’auto-génération de scenarii, les causes qui influent sur la propagation du parasite A complex system is characterized by the important number of entities in interaction which it gathers. Each exchange in the system can be interpreted as a flow. The stochastic evolution of such systems does not allow them to be characterized completely. Consequently, to model and understand the circulation of flow in this type of systems, we need to make use of simulation. Multi-Agent Systems (MAS) represent a particularly suitable method for this type of modeling. A particular application of this flow management method is to simulate the circulation of a parasite (Cryptosporidium) in an ecosystem. Because of the fact that this parasite is particularly resistant to the traditional disinfection methods, it is necessary to enhance the prevalent factors acting in its propagation. To this end, the data, received from biologists, enabled us to design an Agent-Oriented Simulation (AOS). This AOS allows the exploration of the system behaviour. The results make it possible to evaluate the reliability of modeling and to better understand the parasite dissemination. With an aim of bringing an autonomous decision support system to the biologists, we developed a system of higher level (meta-system) able to carry out the monitoring of an AOS. This meta-system, based on the concept of metaheuristic, tries to optimize the behavior of the system, according to precise problems, by evaluating the impact of preset factors on the evolution of the AOS. Thus, it is capable to interpret the simulation’s results in order to allow causes to emerge which influence the parasite propagation by self-generation of scenarios

APA, Harvard, Vancouver, ISO, and other styles

37

Gerlinger, Gilles. "Diagnostic en temps réel par système expert : application à un système de diagnostic embarqué sur automobile." Compiègne, 1991. http://www.theses.fr/1991COMPD366.

Full text

Abstract:

Il existe un intérêt grandissant à l'heure actuelle pour les systèmes experts (SEs) dits « temps réel ». A cela, on peut voir deux raisons. Tout d'abord un SE est capable, dans des cas où il n'existe pas de solution algorithmique satisfaisante, de résoudre un problème en un temps réaliste (polynomial), notamment à l'aide d'heuristiques appropriées. Ensuite, les applications temps réel peuvent bénéficier de certaines caractéristiques des SEs, particulièrement intéressantes vis-à-vis des contraintes de temps, comme la possibilité de faire progresser le travail déjà effectué sans le remettre en cause dans sa globalité ou la capacité à estimer le sous-espace de recherche le plus prometteur en fonction de l'état du système. Cependant, l'intégration d'un SE dans une application temps réel soulève bon nombre de difficultés. Globalement, le SE doit satisfaire trois exigences principales : 1) l'intégration dans l'environnement extérieur, c'est-à-dire avec les autres composants logiciels de l'application temps réel; 2) le fonctionnement en temps réel, qui recouvre des concepts comme le fonctionnement en continu, la prise en compte de données asynchrones, la focalisation d'attention, l'activation, etc. ; 3) la prise en compte du temps dans le raisonnement, afin que le SE puisse déterminer la position relative d'événements dans le temps. Tous ces aspects ont été développés à partir d'un générateur de SEs existant, le système SUPER. La démarche suivie est de faire du SE une des pièces d'un système temps réel conventionnel. Les points forts concernant par conséquent les problèmes d'interruption en cours de raisonnement, de communication et d'interaction entre modules et enfin de temps de réponse. Une application d'un tel système a été réalisée dans le cadre du projet européen PROMETHEUS avec la mise au point d'un système de diagnostic embarqué sur véhicule.

APA, Harvard, Vancouver, ISO, and other styles

38

Chabir, Karim. "Diagnostic de défauts de systèmes contrôlés via un réseau." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00653836.

Full text

Abstract:

Aujourd'hui, les réseaux de communications sont largement utilisés pour relier les points de ressources, qui permettent la transmission de données à distance, de réduire la complexité dans le cadre de câblage et les coûts de support et de fournir l'aise dans la maintenance. En raison de ces avantages, les réseaux ont été introduits dans les systèmes automatiques au cours de ces dernières décennies et de nouveaux protocoles de réseau industriel ont été également développés pour assurer le contrôle à distance. Les systèmes contrôlés en réseau SCR (Networked Control System NCS) sont des systèmes automatiques traditionnels où les actionneurs, les capteurs, les contrôleurs et des autres composants sont distribués autour d'un réseau de communication, qui peut être partagé ou non avec d'autres applications. Les données de commande et de diagnostic sont échangées entre les composants du système (capteur, contrôleur, actionneur) via ce réseau partagé. Cette nouvelle architecture de système de contrôle introduit des problèmes originaux, en termes de retard variable affectant la transmission, des pertes de paquets, etc. Dans l'objectif de maintenir de bonnes performances du module de diagnostic face à des éventuelles variations introduites par le réseau, il est intéressant d'introduire des nouvelles approches. Nous avons rapporté les résultats relatifs aux techniques d'estimation optimale à base de filtre de Kalman, de façon à constituer un document aussi complet que possible traitant la génération de résidus et l'isolation des défauts dans SCR. Notre contribution consiste, dans un premier temps, à développer un modèle d'état d'un système contrôlé via un réseau. En deuxième temps, nous proposons un générateur de résidus en se basant sur les hypothèses simulant le retard induit par le réseau. Finalement, nous développons un filtre isolateur pour identifier directement les défauts affectant les actionneurs dans un SCR.

APA, Harvard, Vancouver, ISO, and other styles

39

Domlan, Elom Ayih. "Diagnostic des systèmes à changement de régime de fonctionnement." Phd thesis, Institut National Polytechnique de Lorraine - INPL, 2006. http://tel.archives-ouvertes.fr/tel-00107611.

Full text

Abstract:

Les systèmes à commutation représentent une classe particulière de systèmes hybrides. Ils sont décrits par plusieurs modèles de fonctionnement et chaque modèle, définissant un mode du système, est actif sous certaines conditions opératoires particulières. Lorsque la loi de commutation régissant le passage d'un modèle de fonctionnement à l'autre est parfaitement connue, il est aisé de manipuler de tels systèmes car le mode actif peut être connu à chaque instant. Par contre, dans la situation où aucune information n'est disponible sur l'évolution de la loi de commutation, il est plus ardu de procéder au diagnostic ou encore de synthétiser une loi de commande sur ces systèmes. Il est abordé ici le problème de la reconnaissance du mode actif sur la base d'observations de l'entrée et de la sortie du système. L'identification des paramètres de la loi de commutation est ensuite étudiée sous l'hypothèse de la connaissance de la structure de la loi de commutation.

APA, Harvard, Vancouver, ISO, and other styles

40

Ramahaleomiarantsoa, Fanjason Jacques. "Diagnostic des systèmes à énergies renouvelables de type éolien." Phd thesis, Université Pascal Paoli, 2013. http://tel.archives-ouvertes.fr/tel-01022178.

Full text

Abstract:

Avec l'évolution technologique, le progrès de l'électronique de puissance et surtout l'enjeu économique, l'utilisation des machines asynchrones à cages ou à rotor bobiné occupe de plus en plus de place dans tous les domaines comme les entrainements électriques et la production d'énergie, leur robustesse, leur fiabilité et leur coût moins élevé sont particulièrement appréciés. Ces deux types d'actionneur en fonctionnement générateur sont la base des éoliennes actuelles.Néanmoins, malgré les travaux de recherches effectués ainsi que les améliorations apportées, ces machines demeurent des sièges potentiels de défaillances aussi bien au niveau stator que rotor. Les défauts les plus courants qui peuvent se produire dans la génératrice asynchrone à rotor bobiné du système éolien, au niveau rotor et stator sont : a) le court circuit sur les enroulements rotoriques et statoriques, b) les défaillances de roulements, c) les irrégularités statiques ou dynamiques de l'entrefer, d) les problèmes au niveau des balais et collecteurs. Ces types de défauts doivent êtres détectés, localisés à temps car ils peuvent endommager gravement le système. Durant ces dernières années, le diagnostic des défauts affectant les systèmes éoliens a été largement étudié. Un grand nombre de méthodes est disponible visant à améliorer la conception du système, à augmenter la qualité et la production d'énergie électrique et d'en diminuer les coûts. Malgré les résultats de la recherche, ces systèmes multi-complexes restent encore les sièges de réflexions de plusieurs laboratoires tant qu'industriels qu'académiques.Ce rapport de thèse présente une nouvelle méthodologie de diagnostic de défauts combinant la méthode à base de modèle utilisant les équations mathématiques explicites du processus et la méthode sans modèle. Les machines électriques sont modélisées analytiquement par la méthode des circuits électriques magnétiquement couplés. L'objectif est de générer des données en fonctionnement sain et en fonctionnement défaillant de ses variables d'état. Tandis que la méthode sans modèle utilisée est l'analyse en composantes principales (ACP). Les deux méthodes sont implémentées sous Matlab/ Simulink. Les données de la machine acquises sont traitées et analysées par des méthodes statistiques pour générer des résidus. La détection et la localisation de défauts sur la machine sont obtenues par l'analyse des résidus de ses variables d'état. Les résidus sont des indicateurs de défaillance ou non du système étudié. L'analyse des grandeurs caractéristiques de la machine étudiée dans ce rapport de thèse par le biais de plusieurs résultats de simulation montre l'efficacité de la méthode ACP, aussi bien sur le plan de la détection que de la localisation, par rapport aux autres méthodes de diagnostic des machines électriques.

APA, Harvard, Vancouver, ISO, and other styles

41

Zouari, Talel. "Diagnostic des systèmes dynamiques hybrides à modes non linéaires." Thesis, Lille 1, 2013. http://www.theses.fr/2013LIL10071/document.

Full text

Abstract:

Cette thèse concerne le diagnostic des systèmes à commutations (classe particulière de systèmes dynamiques hybrides) à modes non linéaires. Certains modes correspondent au fonctionnement normal, sans défaut ; d’autres modes représentent le comportement du système en présence de défauts capteurs, actionneurs ou composants internes. Une représentation générale multi-mode/multimodèle est proposée. Chaque mode non linéaire est modélisé sous la forme multimodèle de type Takagi-Sugeno. Cette modélisation permet de représenter un système non linéaire par une agrégation de modèles locaux linéaires. Une fonction de pondération est utilisée pour déterminer la contribution de chaque modèle local linéaire. Une conception robuste de résidus, basée sur des techniques de projection matricielle est proposée. Cette méthode utilise uniquement les données d’entrées/sorties et la connaissance des fonctions de pondération. En premier lieu, la méthode de projection des données permet de détecter et de localiser les défauts affectant les capteurs dans un mode non linéaire. En deuxième lieu, elle permet de détecter les défauts actionneurs ou les défauts internes en détectant les commutations et en reconnaissant, à chaque instant, le mode actif. Des conditions de discernabilité entre les modes sont établies et un indice de discernabilité calculé en-ligne est utilisé pour réduire la complexité de la méthode d’identification du mode courant. Des exemples académiques sont traités tout au long de la thèse afin d'illustrer en simulation, les différentes méthodes proposées This thesis deals with the diagnosis of switching systems (a special class of hybrid dynamical systems) with nonlinear modes. Some modes correspond to the normal operation, i.e. the fault-free case. The other modes may represent the system behavior in the presence of sensors, actuators or internal component faults. A general representation called multimode/multimodels is proposed. It models each nonlinear mode by a set of linear models. A weighting function is used to determine the contribution of each local model. A design method of robust residuals based on projection techniques is proposed. It uses only inputs/outputs data and the weighting functions. The knowledge of local parameters is not needed to compute the residuals. The fault detection and isolation with the data projection method includes firstly, the sensor faults in a nonlinear mode and secondly, the actuator faults or internal faults by detecting the mode switching and by recognizing, at each time-instant, the active mode.Discernability conditions between modes are established and a discernability index computed online is introduced in order to reduce the complexity of the current mode identification method. Academic examples are taken all along the thesis in order to illustrate the effectiveness of the different proposed methods and tools

APA, Harvard, Vancouver, ISO, and other styles

42

Dragan, Razvan Gabriel. "Etudes sur le diagnostic des systèmes par thermographie infrarouge." Thesis, Artois, 2014. http://www.theses.fr/2014ARTO0207/document.

Full text

Abstract:

La thèse intitulée Études sur le diagnostic des systèmes par thermographie infrarouge propose des recherche théoriques et expérimentales dans un domaine complexe - le domaine des méthodes d’analyse non-destructive, spécialement la thermographie infrarouge utilisant des diverses sources d’excitation thermique: laser à CO2, lampes photographiques à halogène, sources électriques, micro-ondes et induction électromagnétique. L’analyse par thermographie infrarouge a été appliquée sur des divers systèmes soit du génie civil, soit de l’ingénierie médicale, dans le but de détecter des défauts internes et de surface, micro-fissures, des métaux inglobés, et, en même temps, l’analyse de leur influences dans le processus de transfert thermique. La thèse est structurée en six chapitres dont trois s’occupent de l’introduction, les objectifs de la recherche, les conclusions, les contributions originales et la valorisation des résultats (publies et contrats de recherches), ainsi que le développement futur du sujet de la thèse. Les trois chapitre suivants développent le sujet de la thèse en commençant avec une analyse rigoureuse de la littérature suivie par des études théoriques et expérimentaux sur l’analyse des systèmes par thermographie infrarouge : Le travail contient 181 figures et 12 tableaux à travers lesquels sont mis en évidence les résultats et des informations de haut niveau scientifique. Pendant le stage doctoral ont été réalisées et publies 10 articles dans les volumes des conférences internationales dont pour six le docteur est premier auteur The thesis “Research concerning the systems analyze by infrared thermography” proposestheoretical and experimental researches în the very complex domain of non destructiveinspection methods, especially the infrared thermography – CO2 laser excitation, halogen lamps,electric heat sources, microwaves and electromagnetic induction. The thermographic analyzewas applied on materials used în constructions and biomedical engineering, the goal being theinternal and external defect detection, micro cracks, the detection of the embed metallic materialsand also the analysis of their thermal influence in the heat transfer process. The thesis isstructured in six chapters and, among them: three are concerned on introduction, thesisobjectives, conclusions, original contribution and thesis valorization (published papers andresearch grants)/future research directions. The next three develop, consistently, the thesissubject, beginning with critical analyze of the specialized literature that is followed bytheoretical study, and the experimental study of systems by infrared thermography. The PhDthesis contains 181 figures and 12 tables în which are illustrated and highlighted results andinformation with a high scientific degree. During the research program, the author elaborated andpublished 10 papers in the proceedings of different scientific events in Romania and abroad, insix of them being the first author

APA, Harvard, Vancouver, ISO, and other styles

43

Henry, David. "Diagnostic et contrôle de cohérence des systèmes multivariables incertains." Bordeaux 1, 1999. http://www.theses.fr/1999BOR12151.

Full text

Abstract:

Le travail de recherche presente dans ce memoire concerne la mise en oeuvre de methodologies de diagnostic robuste dans les systemes incertains. Deux approches sont developpees : la mise en oeuvre d'une procedure systematique pour la synthese d'un observateur pour une classe de systemes non lineaires et le developpement d'une approche frequentielle de controle de coherence des systemes multivariables incertains et perturbes. Dans un premier temps, nous presentons l'application des observateurs a entrees inconnues avec decouplage non lineaire au probleme de detection et localisation robustes de defauts. On montre que si certaines conditions (essentiellement des conditions de rang et de type lipschitz) sont satisfaites, alors il est possible de stabiliser l'observateur dans tout le domaine de decouplage a l'aide d'une matrice de gain constante. La methode de synthese proposee permet egalement de maitriser sa dynamique de reconstruction. La solution est basee sur la resolution d'un systeme d'inegalites matricielles lineaires (lmis). Dans un deuxieme temps, nous nous interessons a l'approche frequentielle d'invalidation de modele, basee sur le formalisme de la valeur singuliere structuree generalisee g. On montre que si il existe une frequence telle que la fonction g soit inferieure a une certaine valeur, alors le systeme surveille est defaillant. L'etude des proprietes de detectabilite et de sensibilite dans le contexte g conduit a la definition de deux tests permettant d'analyser la sensibilite de la fonction g vis-a-vis des defauts que l'on cherche a detecter. Trois methodes de localisation robuste sont egalement proposees dans le contexte g : une approche par analyse frequentielle du comportement de g, une approche par banc de fonctions g dediees et une approche basee sur les fonctions g-sensibilites. Ces methodes sont validees en simulation, sur un procede experimental de laboratoire et sur une machine asynchrone.

APA, Harvard, Vancouver, ISO, and other styles

44

Henry, David. "Diagnostic et contrôle de cohérence des systèmes multivariables incertains." Bordeaux 1, 1999. http://www.theses.fr/1999BOR10666.

Full text

Abstract:

Le travail de recherche presente dans ce memoire concerne la mise en oeuvre de methodologies de diagnostic robuste dans les systemes incertains. Deux approches sont developpees : la mise en oeuvre d'une procedure systematique pour la synthese d'un observateur pour une classe de systemes non lineaires et le developpement d'une approche frequentielle de controle de coherence des systemes multivariables incertains et perturbes. Dans un premier temps, nous presentons l'application des observateurs a entrees inconnues avec decouplage non lineaire au probleme de detection et localisation robustes de defauts. On montre que si certaines conditions (essentiellement des conditions de rang et de type lipschitz) sont satisfaites, alors il est possible de stabiliser l'observateur dans tout le domaine de decouplage a l'aide d'une matrice de gain constante. La methode de synthese proposee permet egalement de maitriser sa dynamique de reconstruction. La solution est basee sur la resolution d'un systeme d'inegalites matricielles lineaires (lmis). Dans un deuxieme temps, nous nous interessons a l'approche frequentielle d'invalidation de modele, basee sur le formalisme de la valeur singuliere structuree generalisee g. On montre que si il existe une frequence telle que la fonction g soit inferieure a une certaine valeur, alors le systeme surveille est defaillant. L'etude des proprietes de detectabilite et de sensibilite dans le contexte g conduit a la definition de deux tests permettant d'analyser la sensibilite de la fonction g vis-a-vis des defauts que l'on cherche a detecter. Trois methodes de localisation robuste sont egalement proposees dans le contexte g : une approche par analyse frequentielle du comportement de g, une approche par banc de fonctions g dediees et une approche basee sur les fonctions g-sensibilites. Ces methodes sont validees en simulation, sur un procede experimental de laboratoire et sur une machine asynchrone.

APA, Harvard, Vancouver, ISO, and other styles

45

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.

Full text

Abstract:

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

APA, Harvard, Vancouver, ISO, and other styles

46

Ribot, Pauline. "Vers l'intégration diagnostic/pronostic pour la maintenance des systèmes complexes." Phd thesis, Université Paul Sabatier - Toulouse III, 2009. http://tel.archives-ouvertes.fr/tel-00450835.

Full text

Abstract:

L'efficacité de la maintenance des systèmes industriels est un enjeu économique majeur pour leur exploitation commerciale. Les principales difficultés et sources d'inefficacité résident dans le choix des actions de maintenance. Un mauvais choix peut mener à une maintenance non satisfaisante et un surcoût dû à l'indisponibilité du système. Cette thèse propose une architecture générique de supervision pour aider à la prise de décisions d'actions de maintenance pour un système complexe. Cette architecture intègre des capacités de diagnostic et de pronostic permettant de connaître l'état actuel et l'état futur du système. La fonction de diagnostic détermine les composants en faute à l'origine des défaillances. La fonction de pronostic calcule la durée avant la prochaine défaillance du système. Nous présentons un cadre de modélisation générique formel pour un système complexe qui capture l'ensemble des connaissances nécessaires aux fonctions de diagnostic et de pronostic. Il permet de caractériser un couplage diagnostic/pronostic original. Une fonction générique et adaptative de pronostic est définie à l'aide d'un modèle de Weibull afin d'évaluer de façon probabiliste la durée de vie résiduelle du système. Des critères de performance pour l'architecture de supervision proposée reposant sur des propriétés du diagnostic et du pronostic sont caractérisés. Une méthodologie de retour sur conception est proposée dans le but d'assurer la performance de la fonction de diagnostic en garantissant la diagnosticabilité du système. L'application de ce travail de recherche aux systèmes aéronautiques s'inscrit dans le cadre du projet ARCHISTIC en collaboration avec Airbus et l'ENIT.

APA, Harvard, Vancouver, ISO, and other styles

47

Join, Cédric. "Diagnostic des systèmes non linéaires - Contribution aux méthodes de découplage." Phd thesis, Université Henri Poincaré - Nancy I, 2002. http://tel.archives-ouvertes.fr/tel-00003393.

Full text

Abstract:

Le travail présenté dans ce mémoire porte sur le diagnostic de systèmes non linéaires en temps continu. Dans le but de déterminer le type et l'apparition de défauts, des résidus structurés sont générés à partir de filtres, en respectant les étapes suivantes : - la première étape est une phase de découplage d'une partie de l'état du système de l'effet des perturbations. Nous proposons une méthode qui permet de diminuer la dimension de ce sous-espace d'état de manière à limiter au maximum la propagation de ces perturbations dans l'espace d'état ; - la deuxième étape est l'étude de l'ensemble des sous-espaces d'état sensibles aux défauts considérés dans le but de déterminer s'il est possible de les détecter et isoler. En supposant la non-apparition simultanée de plusieurs défauts, une analyse structurelle des caractéristiques géométriques du système est menée. Ainsi, des conditions nécessaires et suffisantes à l'isolation des défauts moins sévères que celles associées à la résolution du F.P.R.G. sont proposées ; - la troisième et dernière étape est la synthèse d'un filtre d'isolation des défauts considérés. Une méthode systématique assurant une expression explicite de l'injection de sortie est proposée. Une étude de la convergence des estimations de l'état du filtre vers l'état réel du système est également effectuée à partir de la théorie de la contraction. L'ensemble de la méthode est appliquée sur le système des ``3 cuves''. Des simulations mettent en relief les résultats obtenus et l'apport des méthodes proposées. Le dernier chapitre porte sur les prémices d'un formalisme algébrique du diagnostic pour les systèmes linéaires qui semble être une perspective intéressante pour les systèmes non linéaires.

APA, Harvard, Vancouver, ISO, and other styles

48

Chédor, Sébastien. "Diagnostic, opacité et test de conformité pour des systèmes récursifs." Phd thesis, Université Rennes 1, 2014. http://tel.archives-ouvertes.fr/tel-00980800.

Full text

Abstract:

L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur sera en mesure de déterminer avec certitude que la propriété est vérifiée par le système. L'opacité consiste, réciproquement, à déterminer qu'un doute existera toujours. Une autre application concerne la génération de cas de test. Une fois encore, on considère qu'un observateur n'accède qu'à une partie des événements se produisant dans le système (en général les entrées et les sorties). À partir d'une spécification, on produit automatiquement des cas de test, qui ont pour but de détecter des non-conformités (elles même formalisées de façon précise). Ces trois problèmes ont été étudiés pour des modèles finis. Dans cette thèse, nous étendons leur étude aux modèles récursifs, pour cela nous avons introduit notre propre modèle, les RTS, qui sont une généralisation des automates à pile, et d'autres modèles de la récursivité. Nous adaptons ensuite les techniques utilisées sur des modèles finis, qui servent à résoudre les problèmes qui nous intéressent.

APA, Harvard, Vancouver, ISO, and other styles

49

Fellouah, Rabah. "Contribution au diagnostic de pannes pour les systèmes différentiellement plats." Phd thesis, INSA de Toulouse, 2007. http://tel.archives-ouvertes.fr/tel-00206317.

Full text

Abstract:

Cette thèse s'intéresse au diagnostic de pannes dans les systèmes différentiellement plats, ceci constituant une large classe de systèmes non linéaires. La propriété de platitude différentielle est caractérisée par des relations qui permettent d'exprimer les états d'un système et ses entrées en fonction de ses sorties plates et de leurs dérivées. Ces relations qui sont à la base de la commande plate sont aussi utiles pour la réalisation du diagnostic de pannes. Ainsi sont introduites les notions de minimalité pour les sorties plates, de platitude stricte et de degré additionnel de redondance. Ceci conduit à la proposition d'une méthode globale de détection de pannes basée sur la platitude. Partant alors de la constatation que les systèmes différentiellement plats de complexité élevée sont souvent constituer de sous systèmes eux-mêmes différentiellement plats, l'approche de détection de pannes précédente peut être démultipliée au sein de cette structure de façon à en identifier les sous systèmes défaillants. On s'intéresse alors au cas courant de la platitude différentielle implicite et on montre dans le cadre d'une application aéronautique comment les réseaux de neurones permettent de constituer une solution numérique au problème de détection de pannes. La disponibilité en temps réel de dérivées successives des sorties étant essentielle pour la mise en oeuvre de ces méthodes, on étudie alors les performances d'un filtre dérivateur alors que le système est lui-même soumis à une commande plate, ceci conduira a modifié légèrement une telle loi de commande afin d'effectuer l'effet des erreurs d'estimation. On s'intéresse finalement à la détection des pannes dans les systèmes chaotiques différentiellement plats. On montre sur plusieurs exemples comment la propriété de platitude peut être mise à profit pour détecter et identifier des variations paramétriques au sein d'un tel type de système chaotique. Des résultats de simulation sont présentés. Finaleme nt des thèmes de recherche complémentaires à cette approche sont relevés.

APA, Harvard, Vancouver, ISO, and other styles

50

Boubezoul, Abderrahmane. "Système d'aide au diagnostic par apprentissage : application aux systèmes microélectroniques." Aix-Marseille 3, 2008. http://www.theses.fr/2008AIX30072.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic 'Systèmes d’aide au diagnostic'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles