|
| Titre : | Evaluation des performances d’un graphe d’événements fortement connexe. | | Type de document : | theses et memoires | | Auteurs : | Yazid Saad, Auteur ; Lydia Mouder, Auteur ; Tassadit Becha, Directeur de thèse | | Editeur : | Tizi-Ouzou : UMMTO F.G.E.I | | Importance : | 66 p. | | Présentation : | ill. | | Format : | PDF | | Note générale : | Bibliogr. | | Langues : | Français | | Mots-clés : | Graphe d’événements Réseau de petri Temps de cycle Programmation linéaire Automatisation en réseau. | | Résumé : | Ce mémoire porte sur l’évaluation des performances des graphes d’événements fortement connexes, utilisés pour modéliser des systèmes automatisés à événements discrets.
Après une introduction aux réseaux de Petri et à leurs variantes, nous abordons les graphes d’événements temporisés et temporels, avec une modélisation formelle en algèbre max-plus et standard. Deux méthodes sont ensuite utilisées pour évaluer le temps de cycle : l’analyse des circuits critiques et la programmation linéaire. Un exemple pratique d’architecture d’automatisation en réseau est modélisé pour illustrer l’approche, avec une implémentation en MATLAB. Ce travail met en évidence l’efficacité des graphes fortement connexes dans l’optimisation du comportement temporel des systèmes complexes. | | Diplôme : | Master | | Permalink : | ./index.php?lvl=notice_display&id=38085 |
Evaluation des performances d’un graphe d’événements fortement connexe. [theses et memoires] / Yazid Saad, Auteur ; Lydia Mouder, Auteur ; Tassadit Becha, Directeur de thèse . - Tizi-Ouzou (Tizi-Ouzou) : UMMTO F.G.E.I, [s.d.] . - 66 p. : ill. ; PDF. Bibliogr. Langues : Français | Mots-clés : | Graphe d’événements Réseau de petri Temps de cycle Programmation linéaire Automatisation en réseau. | | Résumé : | Ce mémoire porte sur l’évaluation des performances des graphes d’événements fortement connexes, utilisés pour modéliser des systèmes automatisés à événements discrets.
Après une introduction aux réseaux de Petri et à leurs variantes, nous abordons les graphes d’événements temporisés et temporels, avec une modélisation formelle en algèbre max-plus et standard. Deux méthodes sont ensuite utilisées pour évaluer le temps de cycle : l’analyse des circuits critiques et la programmation linéaire. Un exemple pratique d’architecture d’automatisation en réseau est modélisé pour illustrer l’approche, avec une implémentation en MATLAB. Ce travail met en évidence l’efficacité des graphes fortement connexes dans l’optimisation du comportement temporel des systèmes complexes. | | Diplôme : | Master | | Permalink : | ./index.php?lvl=notice_display&id=38085 |
|