| Titre : | une technique de diagnostic basee sur les reseaux de petri bayesiens |
| Auteurs : | Soumia Mancer, Auteur ; Abdelmoutia Telli , Directeur de thèse |
| Type de document : | Monographie imprimée |
| Editeur : | Biskra [Algérie] : Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, Université Mohamed Khider, 2015 |
| ISBN/ISSN/EAN : | MINF/141 |
| Format : | 44 / ill., couv. ill. en coul / 23.5cm |
| Résumé : |
L’informatique est aujourd’hui omnipr´esente dans la vie quotidienne, dans des ap-pareils plus ou moins critiques d’o`u la fiabilit´e et la sˆuret´e des syst`emes 1 g´erant cesdispositifs deviennent une n´ecessit´e. Pour cette raison, le g´enie logiciel cherche toujoursa am´eliorer le processus de construction du logiciels pour arriver `a des r´esultats satis-faisantes. Le diagnostic des d´efaillances pr´esente l’un des tˆaches importantes dans ceprocessus. Au niveau de chaque phase, un processus de validation est lanc´e pour compa-rer l’entr´ee(S) de la phase avec sa sortie(S’), s’il y a une ´equivalence alors le syst`eme(S’)passe vers la phase suivante, sinon les r´esultats de la comparaison sont consid´er´es comme des pannes dans le syst`eme(S’) et la tˆache du diagnostic prend sa place pour d´eterminerl’ensemble des composants fautifs menant le syst`eme(S’) d’arriver `a ces r´esultats. Apartir de l’ensemble du diagnostics trouv´es la r´eparation du syst`eme(S’) sera faite et leprocessus de la validation sera r´ep´et´e jusqu’arriv´e `a un syst`eme valide.Deux approches ont ´et´e propos´ees dans ce contexte, la premi`ere heuristique r´ealis´ee par les SEs 2 et bas´ee sur l’exp´erience ; et la deuxi`eme bas´ee mod`ele plus g´en´erique que la premi`ere, elle est introduite pour tous les domaines. Et puisque les diagnosticssont g´en´er´es `a partir des observations, le calcul de ceux-ci dans cette approche est bas´e abduction en gardant la consistance du mod`ele. Une autre vision dit que l’illustrationdu syst`eme de diagnostic par l’aspect probabiliste permet de d´eterminer les meilleursdiagnostics en se basant sur la th´eor`eme de Bayes |
| Sommaire : |
Table des mati`eres 1 Introduction 1 I Etat de l’art 3 2 Diagnostic Bas´e Mod`ele 4 2.1 Diagnostic bas´e mod`ele . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.1.1 D´efinitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1.2 Diagnostic bas´e coh´erence . . . . . . . . . . . . . . . . . . . . . . . 6 2.1.3 Diagnostic bas´e abduction . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Diagnostic `a base des r´eseaux de Petri . . . . . . . . . . . . . . . . . . . . 9 2.2.1 R´eseaux de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.2.2 Raisonnement avec les RdPs[BEN14, Por93] . . . . . . . . . . . . . 10 2.3 Diagnostic `a base des r´eseaux bay´esiens . . . . . . . . . . . . . . . . . . . 11 2.3.1 R´eseaux Bay´esiens . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.3.2 Diagnostic `a base des RBs . . . . . . . . . . . . . . . . . . . . . . . 12 3 Diagnostic bas´e PPN 16 3.1 Probability Propagation Nets . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.1.1 Calcul des probabilit´es avec les PPN . . . . . . . . . . . . . . . . . 20 3.1.2 PPN de haut niveau . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.2 PPN et r´eseaux bay´esiens . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 3.2.1 Transformation des RBs vers les PPNs . . . . . . . . . . . . . . . . 24 3.2.2 Diagnostic `a base des PPNs . . . . . . . . . . . . . . . . . . . . . . 27 II D´eveloppement d’un outil de diagnostic 34 4 D´eveloppement d’un outil de diagnostic 35 4.1 D´efinition des besoins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 4.2 Conception architecturale . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 4.3 Conception d´etaill´ee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38 4.4 Impl´ementation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42 5 Conclusion 43 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/141 | Mémoire | bibliothèque sciences exactes | Consultable |
