Methode d'aide a la modelisation par graphes de liaison et utilisation pour le diagnostic qualitatif de systemes physiques

par BRUNO LUCAS

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Dumas.

Soutenue en 1994

à Paris 11 .

    mots clés mots clés


  • Résumé

    Dans les domaines de technologie avancee, un effort de reflexion est consacre au developpement de systemes d'aide a l'operateur. Nous proposons, dans le cadre de ce travail, une aide a la modelisation et au diagnostic de systemes. La phase cruciale de modelisation a ete etudiee dans le but de generer des modeles complementaires d'un systeme. Nous avons applique au raisonnement qualitatif une methode de modelisation des systemes basee sur la technique des graphes de liaison qui permet de generer a partir de la structure du systeme: le modele causal (graphe de causalite), le modele qualitatif (contraintes de type qsim), le modele numerique (diagramme-bloc). La methode apporte aussi des informations supplementaires sur la coherence et la stabilite du systeme et une cohesion entre tous les modeles. L'ensemble des modeles generes est ensuite exploite: le modele causal pour la generation de regles de diagnostic et la generation d'un graphe d'evenement, le modele qualitatif et le modele numerique pour la simulation. Nous proposons aussi une methode de diagnostic couplant le modele graphe d'evenement et le modele diagramme-bloc du systeme. Cette methode est basee sur l'algorithme de reiter et greiner capable de localiser le ou les composants defaillants d'un systeme et evite les difficultes de l'enumeration a priori des defaillances. Malgre tout il s'avere interessant d'exploiter les connaissances de pannes pour rendre le diagnostic plus rapide. Un pretraitement est ainsi effectue avec le graphe des evenements qui proposera a l'algorithme des ensembles d'initialisation pertinents. Ce graphe d'evenements est constitue hors-ligne a partir de la simulation du graphe de causalite pour les pannes. La modelisation par la methode des graphes de liaison apporte de nombreuses solutions exploitables non seulement en diagnostic qualitatif mais aussi en simulation et en conception. Son aspect informatisable permet la creation d'un puissant outil de modelisation


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 176 P.
  • Annexes : 120 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011727
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.