Un modèle basé DEVS Pour la simulation et la vérification d’un procédé industriels
| dc.contributor.author | Ramdane ,Moncef Abdelkrim | |
| dc.contributor.author | Hafsi ,Houssem | |
| dc.contributor.author | Seddari, Noureddine | |
| dc.date.accessioned | 2025-04-20T13:49:39Z | |
| dc.date.available | 2025-04-20T13:49:39Z | |
| dc.date.issued | 2022 | |
| dc.description.abstract | La modélisation et la simulation des systèmes revêtent une grande importance dans l'étape de la conception et du contrôle des systèmes industriels. En effet, ces techniques permettent de fournir un prototype formel ou matériel conforme aux spécifications du système réel ou à une ou plusieurs de ses parties et dont le comportement, quand il est soumis à un ensemble d’entrées provoque un ensemble de sorties, qui permettent lorsqu'elles sont projetées sur le système réel d'en déduire un ensemble de conclusions. Plusieurs travaux de recherche et de nombreuses implémentations ont été conduits sur le thème de la modélisation et de la simulation (M&S) des systèmes industriels. Le travail présenté dans cette mémoire est une contribution dans le domaine de la M&S des systèmes industriels. Après avoir mené une étude approfondie dans le cadre de la modélisation la simulation des systèmes industriel, Nous avons proposé une méthode qui est basée principalement sur le formalisme DEVS (Discrète Event system Spécification). Ainsi une version de ce travail a été implémentée sur la plate-forme JAVADEVS et en utilisant l’outil DEVS - Suite et a abouti à l'implémentation d'un simulateur de système industriel (Procédé de compression de la réfrigération de propane pour le nouveau projet de train Skikda LNG, Algérie). | |
| dc.identifier.uri | http://dspace.univ-skikda.dz:4000/handle/123456789/4618 | |
| dc.language.iso | fr | |
| dc.publisher | Faculté des sciences. | |
| dc.title | Un modèle basé DEVS Pour la simulation et la vérification d’un procédé industriels | |
| dc.title.alternative | Réseaux et Systèmes Distribués (RSD) | |
| dc.type | Thesis |