Tutoriels
SiBemol : un simulateur de la dynamique d'une exploitation agricole simple virtuelle.
Ce tutoriel est destiné à accompagner pas à pas le développement d'une base de connaissances dans l'environnement de modélisation/simulation DIESE.
Le système pris comme objet de la modélisation est une exploitation agricole virtuelle. On a sur elle une vue très simplificatrice, avec la seule finalité de rencontrer, lors de sa modélisation, un éventail de situations représentatif de la démarche de modélisation, des difficultés rencontrées et des capacités d'expression des connaissances, notamment sur la conduite du système.
L'énoncé du problème de modélisation est donné dans le document. Il contient la description du système de production étudié (aspects structurels, ressources et pilotage) et de son environnement.
Ce développement guidé doit familiariser le lecteur-manipulateur avec les outils offerts par l'environnement pour capturer et organiser ses connaissances. Le pré-requis est donc d'avoir installé DIESE sur la machine de travail.
Le but de ce tutoriel n'étant pas d'enseigner la programmation C/C++, les corps de toutes les fonctions de la base de connaissance (qu'elles soient fonction-membre d'une classe ou fonction globale "libre") sont fournis dans un fichier qui accompagne ce tutoriel. Les opérations de "copier/coller" à partir de ces fichiers vers l'espace de développement de la base sont décrites précisément dans le document d'accompagnement.
De même, le but de ce tutoriel n'étant pas d'enseigner le langage par lequel on rédige les fichiers en entrée des simulations, le contenu de ces fichiers est fourni dans un fichier qui accompagne ce tutoriel. Les opérations de "copier/coller" à partir de ce fichier vers l'espace des données sont décrites précisément dans le document d'accompagnement.
PackMan : Remplissage de briques de jus de pomme et conditionnement en pack.
Ce tutoriel comprend une base de connaissances développée sour DIESE (avec une base de cas d'application constituant des entrées du simulateur) et un document d'accompagnement.
Ce document est une sorte de support de cours qui complète la formation théorique et pratique à l'environnement de modélisation/simulation DIESE.
On décrit d'abord un système réel (ou supposé tel) dont on souhaite étudier le fonctionnement par une approche de simulation informatique. La description du système est informelle, à la manière dont l'énoncerait celui qui l'a conçu ou installé, ou celui chargé de le piloter.
On analyse ensuite cette description informelle à l'aide des concepts que fournit une ontologie des systèmes pilotés, et avec une orientation informatique « objet ».
Les auteurs ont par ailleurs développé un modèle, et développé le simulateur correspondant, à titre de solution de référence au problème de la modélisation de notre système. Le corps du document consiste à éclairer les choix faits lors de ce travail.
Une dernière partie donne des exemples d'utilisation du simulateur développé, pour répondre à des questions typiques en expérimentation virtuelle.
Le lecteur pourra donc s'exercer à développer lui-même sa version du simulateur, guidé par la compréhension des choix de référence, ou bien utiliser ce document comme une référence lors du développement de simulateurs dans d'autres domaines d'application.
Le code complet du simulateur est fourni en annexe, ainsi qu'un jeu complet de ses fichiers d'entrée.
| Haut de la page |
 |