| Titre : | Une boite a outils pour l'étude des systémes à événements discret |
| Auteurs : | Khalil Kasmiori, Auteur ; BELKACEM GUESSOURI, 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, 2015 |
| ISBN/ISSN/EAN : | MINF/29 |
| Format : | 1 vol. (27 p.) / 30 cm |
| Langues: | Français |
| Résumé : |
Dans ce travail, nous avons introduit une technique de contrôle de base pour modéliser une classe particulière des systèmes à événements discrets. Le but de ce travail était d'arriver rapidement à introduire les notions de contrôle et c'est ce qui justifie le choix d'automates à états finis comme outils de modélisation. Les automates à états finis ont l'avantage d'être très simples à comprendre au niveau théorique. De plus, les diagrammes de transitions aident à visualiser le lien direct entre l'outil de modélisation qu'est l'automate et l’étude de ce système. Au niveau du premier chapitre de ce travail, plusieurs opérations pouvant être effectuées sur les automates furent décrites, Dans le deuxième chapitre, on a présenté les différentes étapes suivies lors de la réalisation de notre outil ; en langage C++ servant à étudier les SÉD modélisés par des machines à états finis, Les diverses façons d'implanter un automate furent décrites. De plus, les exécutables permettant d'effectuer les opérations vues au chapitres 1 furent identifiés. Les possibilités de cet outil ne s'arrêtent pas là, mais nous nous sommes concentrés sur les opérations que nous avions déjà étudiées théoriquement. A travers ce travail de fin d’étude, les points suivants peuvent être considérés comme des bénéfices pour nous : connaitre le concept de SED, connaitre en détail comment les automates sont utilisés pour l’étude les SEDs, une expérimentation de notre outil sur des modèles réels afin d’évaluer les performances que se soit de la méthode ou de l’outil reste comme problème ouvert. |
| Sommaire : |
Chapitre 1 1-Introduction générale ……………………………………………01 1-Introduction ..……………………………………………03 1-2 Définition ………………………………………………..03 1-2-1 Définition 1 ………………………………………….03 1-2-2 Définition …………………………………………….03 1-3 Machines à états fini ……………………………………...03 1-3-1 Automates …………………………………………….03 1-3-2 Définitions …………………………………………….04 1-3-3 Représentation graphique ………………………...……04 1-4 Opération sur les Automates ….……………………………05 1-4 -1 opérations unaires …………………………….……….05 1-4-2 Partie accessible ………………………………….…….05 1-4-3 partie Coaccessible …………………………………….06 1-4-4 L’opération Trim …………………………………...…..07 1.4.5 Projection et Projection Inverse …………………...….07 1-4-6 Complément ……………………………………..….…08 1-5 Opération Binaire ……..........................................................09 1.5.1 Le Produit …………………………………………...….10 1-5-2 Propriétés de produit ……………………………...…..11 1-5-3 La composition Parallèle.……………………………...…11 1-5-4 Propriétés de la composition parallèle ……………...….12 1-6 Notion d’observabilité ………………………...………….…..13 1-6-1 Événements observables .………………………………...13 1-6-2 Événements non observables………………………….….13 Chapitre 2 1. Introduction …………………………………………………….. 14 2. Analyse des Besoins ………………………………………….. 14 3. Conception ……………………………………………...……… 14 4.Architecture du système à développer ………………………..…. 15 4.1.1 Interface Utilisateur …………………………………..….. 15 4.1.2 L’automate dessiné en Petc ..........................................…... 15 4.1.3 Enregistrer l’automate dans un fichier.txt …………..……. 15 4.1.4 Conversion du fichier texte …………………………..…... 15 4.1.5 Choisir une opération …………………………………..….16 4.1.6 Application ……………………………………………..… 16 4.1.7 Afficher les résultats …………………………………..….. 16 5. Conception détaillée de l’application ………………………..…… 16 1.5 Accessibl …………………..………………………………..17 1.5 Coaccessible ………………………………………………… 17 1.5Trim ………………………………………………………... 17 1.4 Complet ……………………………………………………... 17 1.1 Observabilité ……………………………………...…………. 17 1.5 Produit ……………………………………………………… 17 1.5Parallèle ………………………………………………………..17 5 . Structures de données utilisées …………………………………… 18 6.1 Matrice d’affichage …………………………………………. 18 7 Réalisation ………………………………………………………… 18 5.5 Environnement de développement …………………...……… 19 8 Implémentation des procédures ……………………………………... 19 8.1 Algorithme : Accessible ………………………………………. 19 8.2 Algorithme : Coaccessible …………………………………….. 20 8.3 Algorithme : Trim ………………………………………………21 8.4 Algorithme : Complet …………………………………………. 22 9.Résultats ………………………………………………………….. 23 1.5 menu ………………………………………………………. 23 9.1.1 Les boutons ………………….………...……….... 23 9.2 Opérations Unaire ………………………….………………. 23 9.2.1 Les boutons ……………………………………… 23 9.5.2 Résulta ……………………………………………24 9.3 Opérations Binaire ………………………………………….. 25 9.3.1 Les boutons …...………………………………… 25 9.4 Résultat ……………………………………………………… 26 9.5 Conclusion …………………………………………………... 26 Conclusion général …………………………………………………27 |
| Type de document : | Mémoire licence |
Disponibilité (1)
| Cote | Support | Localisation | Statut |
|---|---|---|---|
| MINF/29 | Mémoire licence | bibliothèque sciences exactes | Consultable |
