Thèse soutenue

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

FR  |  
EN
Auteur / Autrice : Bruno Lucas
Direction : Michel Dumas
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1994
Etablissement(s) : Paris 11

Résumé

FR

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