CONTRIBUTION A L'ELABORATION D'UN SYSTEME AUTOMATISE D'AIDE AU DIAGNOSTIC DE LA MALADIE DE HORTON PDF Download

Author: JOCELYNE.. MOULINET VASSEUR
Publisher:
ISBN:
Category :
Languages : fr
Pages : 144

View

Book Description

Author: Jocelyne Moulinet (médecin.)
Publisher:
ISBN:
Category :
Languages : fr
Pages :

View

Book Description

Author: Negar Armaghan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 372

View

Book Description
Face à l'évolution technologique rapide des produits, l'innovation incrémentale des nouveaux produits, et la mobilité du personnel le plus expérimenté, les entreprises cherchent à formaliser et à capitaliser leurs expériences et les savoir-faire des acteurs d'entreprise en vue d'une réutilisation ultérieure. Afin de répondre à cette problématique, l'approche du raisonnement à partir de cas conversationnel (RàPCC) est une réponse potentielle à la question de la capitalisation et de la réutilisation des connaissances. Notre recherche s'intéresse aux méthodes permettant de piloter le retour d'expérience (RETEX) appliqué à la résolution de problèmes techniques. Notre méthodologie pour créer un système d'aide au diagnostic des pannes est divisée en quatre phases : la description d'événements, l'élaboration de l'ensemble des solutions apportées aux pannes, la mise en place d'une aide au diagnostic grâce aux arbres de défaillances et la mise en place d'un système informatique. Afin d'extraire les connaissances tacites et les formaliser, nous avons créé des protocoles de décision dans le but d'aider l'expert à résoudre un problème industriel. Nous avons donc proposé une formulation et l'élaboration de cas conversationnels dans le domaine du diagnostic. Ces cas doivent être stockés dans une base de cas. Afin de valider notre proposition méthodologique, nous avons réalisé la phase expérimentale dans une entreprise industrielle de l'Est de la France. Nous proposons finalement une maquette informatique conçue pour l'entreprise. Cette maquette permet de réaliser un diagnostic des pannes en créant des cas dans une base de cas pour une réutilisation ultérieure.

Author: MOHAMED-KAMEL.. HAMROUNI
Publisher:
ISBN:
Category :
Languages : fr
Pages :

View

Book Description

Author: Rosario Toscano
Publisher:
ISBN:
Category :
Languages : fr
Pages : 154

View

Book Description
Le travail présenté dans cette thèse s’inscrit dans le cadre général de la maintenance conditionnelle des installations industrielles. Plus exactement, nous nous intéressons à la maintenance conditionnelle, basée sur la surveillance en continu de l’évolution du système considéré. Ce type d’approche repose sur la détection précoce de déviations faibles par rapport à une caractérisation du système en fonctionnement nominal. La mise en œuvre d’une telle approche passe par la conception d’un système de diagnostic. Un système de diagnostic comporte un module permettant de générer des indicateurs de « santé » de l’installation sous surveillance, un module destiné à l’évaluation de ces indicateurs et enfin de module de prise de décision. La synthèse d’un système de diagnostic peut s’opérer suivant deux types d’approches : les méthodes quantitatives et les méthodes qualitatives. Les méthodes quantitatives reposent sur la connaissance d’un modèle mathématique du processus, les techniques utilisées se ramènent à un problème d’estimation paramétrique d’état. Les méthodes qualitatives reposent sur le savoir d’experts ayant une très bonne connaissance de l’installation à surveiller et/ou sur l’existence d’une base de connaissances numériques correspondant aux divers modes de fonctionnement de l’installation. Malheureusement, les connaissances nécessaires à la réalisation d’un système de diagnostic ne sont, en général, pas disponible directement. Elles doivent être extraites d’une masse d’informations souvent considérable. Nous proposons une méthodologie générale d’aide à la conception d’un système de diagnostic. Cette méthodologie repose sur l’analyse fonctionnelle et dysfonctionnelle de l’installation et débouche sur la notion de métamodèle. Les connaissances issues de l’application de cette méthodologie peuvent alors être utilisées pour réaliser la synthèse des différents modules composant un système de diagnostic. Nous proposons, à cet effet, un certain nombre d’approches complémentaires, basé sur la connaissance de formes et l’estimation d’état, permettant la synthèse de ces différents modules.

Author: JOEL.. COLLOC
Publisher:
ISBN:
Category :
Languages : fr
Pages :

View

Book Description
CETTE ETUDE MONTRE LES SPECIFICITES DES BESOINS EN INFORMATION DES MEDECINS ET L'EMPIRISME, L'IMPRECISION, L'INCOMPLETUDE ET L'EVOLUTIVITE DES CONNAISSANCES MEDICALES. NOUS MONTRONS LES APPORTS DES MODELES EXISTANTS ET PROPOSONS UNE APPROCHE ORIENTEE OBJET POUR L'ELABORATION D'APPLICATIONS EN MEDECINE ET EN SCIENCES HUMAINES. LE MODELE DEFINIT UN DOUBLE NIVEAU CONCEPTUEL: 1) LE NIVEAU INTERIEUR: ENDOBJET, INSTAURE UNE HIERARCHIE DE COMPOSITION D'OBJET, DOTEE D'UN HERITAGE MULTIPLE ASCENDANT. DES FONCTIONS REPRESENTENT L'EVOLUTION DE L'OBJET, EVALUENT SON ETAT ET LUI DONNENT UN COMPORTEMENT ADEQUAT; 2) LE NIVEAU EXTERIEUR: EXOBJET, IMPLANTE UNE HIERARCHIE DE SPECIALISATION DE TYPES D'OBJETS ET UN HERITAGE SIMPLE DESCENDANT. LES TYPES CONTROLENT LES CONTRAINTES STATIQUES ET DYNAMIQUES DES OBJETS INSTANCIES. LE MODELE IMPLANTE UN RAISONNEMENT ANALOGIQUE ET INDUCTIF EXPLOITANT LA HIERARCHIE DE TYPES. NOUS SOULIGNONS L'INTERET DE L'APPROCHE OBJET EN GENIE LOGICIEL, L'ENCAPSULATION FAVORISE LA MODULARITE, LA PORTABILITE, LA SECURITE ET LA CONFIDENTIALITE. TOUTE INTERFACE DOIT PRESERVER LA LIBERTE D'INITIATIVE DE L'UTILISATEUR. NOUS PROPOSONS UNE METHODE DE CONSTRUCTION D'APPLICATIONS, INTEGRANT DES SYSTEMES EXPERTS. NOUS L'APPLIQUONS A LA CONCEPTION D'UN OUTIL ORIENTE OBJET D'AIDE AU DIAGNOSTIC MEDICAL 03ADM

Author: Mohammed Benkirane
Publisher:
ISBN:
Category :
Languages : fr
Pages : 308

View

Book Description
L'aboutissement d'un projet de conception d'un système a base de connaissances dépend fortement de la phase d'acquisition des connaissances expertes. Cette phase extrêmement laborieuse nécessite généralement, de la part du cogniticien, l'utilisation de plusieurs méthodes et outils issus de la psychologie, de la pédagogie et de l'informatique. L'exploitation de ces moyens dans un contexte industriel est sujette à des problèmes de diverses natures (humaines, organisationnelles, techniques, etc). Pour mieux structurer la phase d'extraction de connaissances, une approche méthodologique capable d'intégrer ces différents problèmes s'avère nécessaire. Elle fait l'objet de cette thèse composée de cinq parties. La première présente les problèmes lies a la phase d'extraction et les principales caractéristiques de la connaissance humaine ainsi que celles des systèmes à base de connaissances. La seconde recense les outils et les techniques issus des recherches récentes sur l'extraction de connaissances en intelligence artificielle et en psychologie cognitive. La troisième partie s'attache à décrire la problématique d'extraction pour le développement d'un système d'aide du diagnostic des causes des défauts en coulée continue. Cette expérience enrichissante a permis de cerner le processus d'extraction dans un contexte industriel. L'étude de ce processus ainsi qu'une description de notre méthodologie d'extraction font l'objet de la quatrième partie. Enfin, la dernière partie présente l'apport de l'utilisation de cette méthodologie pour le développement du système coccinelle ainsi que les perspectives de notre recherche

Author: Mickael Arnaud
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description
L'amélioration de la surveillance de la sécurité des médicaments grâce à l'utilisation des bases de données médico-administratives est source de nombreuses promesses. L'objectif de cette thèse était de développer un système automatisé de détection et de priorisation des signaux de sécurité adapté aux bases de données médico-administratives, pour la surveillance de la sécurité des médicaments des maladies chroniques. Les antidiabétiques non insuliniques (ANI) ont été sélectionnés comme cas d'étude pour le développement et l'évaluation de ce système. Nous avons d'abord étudié le profil d'utilisation des ANI en France, et avons retrouvé un fort mésusage des inhibiteurs de la dipeptidylpeptidase-4 (DPP-4) ainsi qu'un risque accru de non observance avec ces derniers. Nous avons ensuite réalisé deux revues de la littérature qui nous ont permis de sélectionner, pour la détection, la méthode sequence symmetry analysis, et de construire, pour la priorisation, notre algorithme que nous avons structuré autour de la force, la nouveauté, l'impact du signal de sécurité, et les modalités d'utilisation du médicament. Nous avons enfin évalué, d'une part, les performances du système développé, dans une étude pilote sur les ANI qui a montré des résultats satisfaisants et permis d'identifier un nouveau signal de sécurité entre les inhibiteurs de la DPP-4 et les événements thromboemboliques veineux, et d'autre part, son acceptabilité auprès des décideurs de santé qui l'ont jugé positivement. Ces résultats nous invitent à poursuivre nos recherches sur l'amélioration et la validation du système développé.

Author: Olfa Mosbahi-Khalgui
Publisher:
ISBN:
Category :
Languages : fr
Pages : 299

View

Book Description
Le travail de thèse présente une méthode de développement de systèmes automatisés basée sur les méthodes formelles B et TLA+. Le développement par raffinement est au cœur de la méthode proposée. Un système automatisé est modélisé par deux composants, un contrôlé formé par le dispositif physique et son environnement et un contrôleur pilotant ce dernier. Il est exprimé par un produit synchronisé sur les actions de ces deux composants. La première contribution de la thèse concerne la proposition d'une approche qui combine le B événementiel et le langage de modélisation TLA+ pour la vérification des propriétés de vivacité. Nous définissons une extension syntaxique et sémantique du B événementiel permettant d'exprimer des propriétés de vivacité. Nous développons un prototype pour la transformation d'un modèle B en un module TLA+ sur lequel nous effectuons la preuve des propriétés de vivacité avec le model checker TLC. Pour la vérification de ce type de propriétés sur des systèmes infinis, nous proposons l'utilisation des diagrammes de prédicats qui sont des abstractions des systèmes modélisés en TLA+. La deuxième contribution est la proposition d'une technique pour représenter explicitement le temps en B événementiel. Cette technique s'appuie sur la réalisation d'un entrelacement entre un processus qui gère le temps avec les autres processus du système. Le temps modélisé est discret et son écoulement est modélisé par des événements. Cette approche est assez différente des systèmes temporisés où l'on considère que le temps s'écoule indépendamment du système. Dans la troisième contribution, nous proposons une approche de développement des systèmes automatisés en utilisant la technique de composition où il s'agit de développer conjointement le contrôleur et le composant physique qu'il contrôle et appliquer le raffinement aussi bien sur le contrôleur que le contrôlé. Le raffinement est une technique de base des méthodes que nous proposons et si notre objectif est de construire des contrôleurs corrects, le critère de correction porte sur le comportement du système automatisé qui résulte de la composition du contrôleur et du contrôlé. Nous présentons également un théorème de compositionnalité qui indique sous quelles conditions il est possible de déduire que le composé des raffinements des contrôleur et contrôlé est un raffinement du composé des contrôleur et contrôlé abstraits. La dernière contribution porte sur la définition, la preuve et l'utilisation d'un patron de raffinement pour les processus continus dans des systèmes de production manufacturière. Ce type de patron prouvé permet d'utiliser l'abstraction discrète de l'effet d'un processus continu agissant pendant un certain temps.

Author: Aditya Johri
Publisher: Cambridge University Press
ISBN: 1107785855
Category : Technology & Engineering
Languages : en
Pages : 1124

View

Book Description
The Cambridge Handbook of Engineering Education Research is the critical reference source for the growing field of engineering education research, featuring the work of world luminaries writing to define and inform this emerging field. The Handbook draws extensively on contemporary research in the learning sciences, examining how technology affects learners and learning environments, and the role of social context in learning. Since a landmark issue of the Journal of Engineering Education (2005), in which senior scholars argued for a stronger theoretical and empirically driven agenda, engineering education has quickly emerged as a research-driven field increasing in both theoretical and empirical work drawing on many social science disciplines, disciplinary engineering knowledge, and computing. The Handbook is based on the research agenda from a series of interdisciplinary colloquia funded by the US National Science Foundation and published in the Journal of Engineering Education in October 2006.