| Titre : | Implémentation parallèle d’une technique d’analyse en arriérer de marquages accessibles dans les RDPs |
| Auteurs : | Rihab SAHRAOUI, Auteur ; Hammadi Bennoui, 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, 2020 |
| Format : | 1 vol. (51 p.) / ill. / 29 cm |
| Langues: | Français |
| Mots-clés: | Analyse B-W,BPN,Processus,Parall`elisme. |
| Résumé : |
L’analyse B-W est une technique particuli`ere de r´esolution de probl`emes de diagnostic.Elle est bas´ee sur les BPNs, qui sont destin´es `a repr´esenter le comportement causal du syst`eme `a diagnostiquer. Le principe de cette technique utilise deux types de jetons ; jeton normal noir repr´esente la satisfaction de la condition associ´ee `a une place marqu´ee et jeton inhib´e repr´esente la non-satisfaction de la condition. Une parall´elisation de l’analyse B-W `a ´et´e est propos´ee. Une telle parall´elisation est bas´ee sur un ensemble de processus
d´eriv´es de la structure du mod`ele BPN. |
| Sommaire : |
I ETAT DE L’ART 1
1 Diagnostic bas´e mod`ele 2 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1 Notions pr´eliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1.1 Description de syst`eme . . . . . . . . . . . . . . . . . . . . . . . . . . 2 1.1.2 Observation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.1.3 Diagnostic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 Le mod`ele comportemental . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Approches bas´ees-mod`ele . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.3.1 Approche bas´ee consistance . . . . . . . . . . . . . . . . . . . . . . . . 5 1.3.2 Approche bas´ee abduction . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3.3 Approche d’int´egration . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 Probl`eme de diagnostic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.5 R´esolution d’un probl`eme de diagnostic . . . . . . . . . . . . . . . . . . . . 7 1.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2 Une technique d’analyse bas´ee sur les BPNs pour la r´esolution de probl`eme de diagnostic 9 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.1 R´eseaux de Petri comportementaux (BPNs) . . . . . . . . . . . . . . . . . . . 9 2.1.1 Mod`eles causaux . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.1.2 R´eseaux de Petri : notions de base . . . . . . . . . . . . . . . . . . . . 10 2.1.3 R´eseaux de Petri comportementaux (BPNs) . . . . . . . . . . . . . . . 11 2.1.3.1 Repr´esentation d’un model causal par un BPN . . . . . . . 12 2.1.3.2 Exemple d’illustration . . . . . . . . . . . . . . . . . . . . . . 12 2.2 Analyse B-W . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2.1 Discussion informelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.2.2 Principe et cadre d’utilisation . . . . . . . . . . . . . . . . . . . . . . . 14 2.3 Application de la technique B-W pour la r´esolution de probl`emes de diagnostic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.3.1 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2.4 Exploitation de parall´elisme dans l’analyse en arri`ere . . . . . . . . . . . . . 19 2.4.1 Partitionnement de r´eseau (BPN) . . . . . . . . . . . . . . . . . . . . . 19 2.4.2 D´erivation de processus . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.4.3 Plusieurs solutions et v´erification des incoh´erences . . . . . . . . . . 23 2.4.4 Exemple . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24 2.5 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 II IMPLEMENTATION 28 3 D´eveloppement d’un outil de d´erivation de processus parall`ele pour l’exploitation d’analyse B-W 30 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.1 Analyse de besoins . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.2 Conception globale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30 3.2.1 Module de mod´elisation . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.2.2 Module de partitionnement des transitions . . . . . . . . . . . . . . . 31 3.2.3 Module de d´erivation de processus . . . . . . . . . . . . . . . . . . . 31 3.3 Conception d´etaill´ee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.3.1 Structure de donn´ees . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.3.1.1 Mod´elisation . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 3.3.1.2 Partitionneemnt des transitions . . . . . . . . . . . . . . . . 34 3.3.1.3 D´erivation de processus . . . . . . . . . . . . . . . . . . . . 34 3.3.2 Algorithmes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 3.3.2.1 Module de mod´elisation . . . . . . . . . . . . . . . . . . . . 35 3.3.2.2 Module de Partitionneemnt des transitions . . . . . . . . . 35 3.3.2.3 Module de derivation de processus . . . . . . . . . . . . . . 36 3.4 Impl´ementation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3.4.1 Outils et langage de d´evelopement . . . . . . . . . . . . . . . . . . . . 37 3.4.1.1 Langage de programmation python . . . . . . . . . . . . . . 38 3.4.1.2 Editeur de programmation Pycharm . . . . . . . . . . . . . 38 3.4.1.3 Package “Tkinter” . . . . . . . . . . . . . . . . . . . . . . . . 38 3.4.1.4 Package “multiprocessing” . . . . . . . . . . . . . . . . . . . 38 3.4.1.5 Syst`eme de pr´eparation de documents LATEX . . . . . . . . . 38 3.4.1.6 Editeur TEX MAKER . . . . . . . . . . . . . . . . . . . . . . . 39 3.4.2 Impl´ementation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.4.2.1 Application d’accueil . . . . . . . . . . . . . . . . . . . . . . 39 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 Conclusion g´en´erale x |
| Type de document : | Mémoire master |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/604 | Mémoire master | bibliothèque sciences exactes | Consultable |
