| Titre : | Analyse de reconfiguration des systèmes de fabrication reconfigurable |
| Auteurs : | Radjia Rezgui, Auteur ; Samir Tigane, 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, 2017 |
| Format : | 1 vol. (54 p.) / 30 cm |
| Langues: | Français |
| Résumé : |
|
| Sommaire : |
I État de l’art 1 Les Systèmes de fabrication reconfigurable 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Systèmes fabrication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2.1 Évaluation des systèmes fabrication . . . . . . . . . . . . . . . . . . 4 1.3 Systèmes de fabrication reconfigurable RMS . . . . . . . . . . . . . . . . . 6 1.3.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.3.2 Exemples de systèmes reconfigurables . . . . . . . . . . . . . . . . 6 1.3.3 Comparaison des systèmes de fabrication . . . . . . . . . . . . . . 7 1.3.4 Les caractéristiques des RMSs . . . . . . . . . . . . . . . . . . . . 8 1.3.5 Machine-outil reconfigurable (RMT : Reconfigurable Machine Tool) 9 1.3.6 Technologies supplémentaires . . . . . . . . . . . . . . . . . . . . . 12 1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2 Réseaux de Petri 2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2 Méthodes Formelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2.2 Langages formels . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2.3 Technique d’analyse . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.2.4 Technique de Vérification formelle . . . . . . . . . . . . . . . . . . 16 2.2.5 Classification des méthodes formelles . . . . . . . . . . . . . . . . . 16 2.3 Réseaux de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.3.1 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.3.2 Définition informelle . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.3.3 Définition formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 2.3.4 Représentation graphique . . . . . . . . . . . . . . . . . . . . . . . 18 2.3.5 Représentation matricielle . . . . . . . . . . . . . . . . . . . . . . . 18 2.3.6 Déroulement d’un RdP . . . . . . . . . . . . . . . . . . . . . . . . 19 2.3.7 Propriété des RdPs . . . . . . . . . . . . . . . . . . . . . . . . . . 21 2.3.8 Modélisation des systèmes concurrents . . . . . . . . . . . . . . . . 22 2.3.9 Méthode d’analyse des RdPs . . . . . . . . . . . . . . . . . . . . . 24 2.3.10 Outils de modélisation des réseaux de Petri . . . . . . . . . . . . . 25 2.3.11 Type de RdP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.4 Réseau de Petri stochastique . . . . . . . . . . . . . . . . . . . . . . . . . 25 2.4.1 Historique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.4.2 Définition informelle . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.4.3 Définition formelle . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 2.4.4 Réduction dans les RdPS . . . . . . . . . . . . . . . . . . . . . . . 27 2.4.5 Type d’analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.4.6 Chaines de Markov . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 2.4.7 Lois exponentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 2.4.8 Analyse de performance . . . . . . . . . . . . . . . . . . . . . . . . 30 2.5 Réseau de Petri stochastique Généralisés GSPN . . . . . . . . . . . . . . . 31 2.5.1 Définition Formelle . . . . . . . . . . . . . . . . . . . . . . . . . . 33 2.5.2 Règles d’évolution des RdPS . . . . . . . . . . . . . . . . . . . . . 33 2.5.3 D’autre Modèle . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.6 Reconfiguration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34 2.7 Transformation de Modèle . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.7.1 Définition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35 2.7.2 Type de Transformation . . . . . . . . . . . . . . . . . . . . . . . 35 2.7.3 Principe de transformation de graphes . . . . . . . . . . . . . . . 35 2.7.4 Grammaire de graphe . . . . . . . . . . . . . . . . . . . . . . . . . 36 2.7.5 Principe de déroulement de règles . . . . . . . . . . . . . . . . . . 36 2.7.6 Système de transformation de graphes . . . . . . . . . . . . . . . . 37 2.7.7 Outils de transformations de graphes . . . . . . . . . . . . . . . . 37 2.8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3 Conception et Modélisation 3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.2 Analyse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 3.3 Présentation de l’approche INRS . . . . . . . . . . . . . . . . . . . . . . . 39 3.4 Définition de l’INRS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 3.5 Classes générales de bloc net . . . . . . . . . . . . . . . . . . . . . . . . . 40 3.6 Un INRS pour GSPN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 3.6.1 Blocs de réseau pour GSPN . . . . . . . . . . . . . . . . . . . . . . 44 3.7 Conception . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 3.7.1 les Règles de Transformation . . . . . . . . . . . . . . . . . . . . . . 48 3.7.2 Conception détaillée . . . . . . . . . . . . . . . . . . . . . . . . . . 49 3.8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 4 Réalisation 4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4.2 Outils et langages de développement . . . . . . . . . . . . . . . . . . . . . 51 4.2.1 PIPE 3.0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4.2.2 XML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4.2.3 PNML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 4.2.4 NetBeans IDE 8.1 . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.2.5 UML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.2.6 LATEX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.3 Implémentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.3.1 fonctionnalités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 4.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/245 | Mémoire master | bibliothèque sciences exactes | Consultable |
