Utilisation du grafcet et des reseaux bayesiens pour le diagnostic de fonctionnement. Application au systeme cryogenique de l'experience tore supra

par OLIVIER BADIE

Thèse de doctorat en Sciences appliquées

Sous la direction de J.-C. POMEROL.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    Dans beaucoup de procedes, les connaissances de base sont contenues dans le grafcet. Nous avons donc concu, dans le cadre du procede cryogenique de tore supra, un systeme de diagnostic reposant sur ce formalisme. Ce systeme est constitue de deux modules. Le premier, le module de prediagnostic a ete mis en uvre sous la forme d'un systeme expert. Il est base sur les methodes de travail des operateurs, et sur leur representation du procede. Il est construit directement a partir de l'etude du grafcet et repose sur la notion de macro-etape. Associe a une aide en ligne contextualisee, il fournit a l'utilisateur l'etat du procede et ses evolutions possibles. Par la definition d'un regime de fonctionnement, il reduit le domaine de recherche de panne et prepare le travail de diagnostic du second module. Celui-ci est structure autour d'un reseau bayesien qui relie, par des relations causales probabilisees, les defauts possibles du procede. Les points d'entree du reseau sont les defauts associes aux parametres observables du procede, eux-memes relies dans un modele de bon fonctionnement. On considere qu'il y a defaut lorsqu'il y a divergence entre les valeurs issues du modele et les mesures. Le defaut decele est alors introduit dans le reseau bayesien par une mise a jour de ses probabilites. La phase de diagnostic consiste a propager ces modifications jusqu'a obtenir les probabilites des defauts elementaires de l'installation. Le premier chapitre du rapport decrit l'environnement applicatif de la these. Le second presente les problemes liees a la supervision et au diagnostic des systemes complexes. Le troisieme expose differentes approches du raisonnement approximatif, en insistant sur le raisonnement probabiliste. Enfin, les chapitres 4 et 5 decrivent les solutions choisies, leur implementation, et les resultats obtenus


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 191 P.
  • Annexes : 107 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1994 474
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1994
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.