Chapitre III

Simulation des systmes vnement discret

M.Reghioui - POP - P2011

Plan du chapitre
Introduction Aspects fondamentaux de la simulation Simulation par vnements Analyse des donnes de la simulation

M.Reghioui - POP - P2011

1. Introduction (1)

M.Reghioui - POP - P2011

1. Introduction (2)
Simulation vnements discrets : Simulation par vnements/temps/activit/processus Reproduire, vnements par vnements, lvolution dun systme au cours du temps. Objectif : faire reproduire chaque entit du modle les changements dtat de lentit correspondante du systme rel. Simulation par vnements : Implmenter la liste des vnements Grer la liste des vnements Collecter les statistiques
M.Reghioui - POP - P2011 4

2. Simulation par vnement/temps

Avancement du temps dans la simulation par vnement Charger la machine Traiter Dcharger

Avancement du temps dans la simulation par le temps

Simulation dune file dattente Par vnement Par temps

Tant que (temps de simulation < limite) Tant que (temps de simulation < limite) Sil y a une arrive ce temps l Si la machine nest pas occupe Si la machine est libre alors Gnrer un temps de service Gnrer un temps de service Ajouter le service la liste des vnements (LE) Ajouter fin de service LE Sinon ajouter la tche la file Sinon ajouter la tche la file Gnrer la prochaine arrive et lajouter LE Gnrer la prochaine arrive et lajouter LE temps = temps du prochain vnement Fin tant que temps M.Reghioui - POP - P2011 = temps +1; 5 Fin tant que

3. Langages de simulation
Languages classiques (C, pascal, java,) Produisent des modles trs rapides, et la simulation peut tre ralise sur nimporte quel ordinateur (en utilisant lexcutable) le dveloppement prend beaucoup de temps Langages de simulation spcifiques (GPSS,SIMAN,SLAM) La partie la plus importante et consommatrice de temps concerne la cration du modle Les domaines dapplication sont relativement limits

M.Reghioui - POP - P2011

4. Simulation par vnement (1)

Lhorloge de simulation est initialise zro et la liste des vnements venir est gnre Lhorloge de simulation est avance au moment darrive du prochain vnement Ltat du systme et la liste des vnements sont mis jour Algorithme Ordonnancer le premier vnement Temps = 0 Init statistiques; Tant que (temps<fin) Rcuprer le prochain vnement Temps = Temps de larrive du prochain vnement Excuter lvnement courant Fin Tant que Retourner les statistiques
M.Reghioui - POP - P2011 7

4. Simulation par vnement (2)

La structure vnement (Arrive, Service, Dpart) - Type dvnement - Temps darrive - Temps de traitement

Liste dvnements Structure de donnes pour sauvegarder les vnements venir Autres appellations : Agenda, calendrier, file
Oprations : - Mmoriser lvnement E venir au temps T - Obtenir vnement (E,T) La priorit est donn par rapport au temps darrive de lvnement Linsertion dans la file se fait par rapport au temps
E1 t1 E2 t2 E3 t3
M.Reghioui - POP - P2011

t1<= t2 <= t3 <= .

8

4. Simulation par vnement (3)

Implmentation de la liste des vnements Tableau tri Liste chaine trie Arbre de recherche binaire

Oprations de base Enlever un vnement Insrer un vnement (scanner la liste et insrer lvnement en fonction de la valeur de son temps darrive)

M.Reghioui - POP - P2011

4. Simulation par vnement (4)

Gestion des vnements Programme appel larrive dun vnement Chaque vnement doit avoir son propre code de gestion Actions Changer ltat du systme Gnrer de nouveaux vnements Exemple Si serveur occup alors // vnement arrive dun client Rajouter le client la file Sinon gnrer un temps de service, rajouter vnement dpart Rajouter vnement prochaine arrive Collecter les statistiques Si la file est vide alors // vnement dpart dun client Le serveur est libre Sinon enlever le client de la file, gnrer un temps de service, rajouter vnement dpart Collecter statistiques
M.Reghioui - POP - P2011

-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

10

5. Lois de probabilit (3)

Loi uniforme discrte (loi discrte support fini)
Paramtres

Densit

Support

Fonction de rpartition

Densit de probabilit

Fonction de rpartition
M.Reghioui - POP - P2011 11

5. Lois de probabilit (4)

Loi de poisson (loi discrte support dnombrable)
Paramtres

Densit

Support

Fonction de rpartition

Densit de probabilit

Fonction de rpartition
M.Reghioui - POP - P2011 12

5. Lois de probabilit (5)

Loi uniforme continue (loi continue support compact)
Paramtres

Densit

Support

Fonction de rpartition

Densit de probabilit

Fonction de rpartition
M.Reghioui - POP - P2011 13

5. Lois de probabilit (6)

Loi exponentielle (loi continue support semi-fini)
Paramtres

Densit

Support

Fonction de rpartition

Densit de probabilit

Fonction de rpartition
M.Reghioui - POP - P2011 14

5. Lois de probabilit (6)

Loi normale (loi continue support infini)
Paramtres

Densit

Support

Fonction de rpartition

Densit de probabilit

Fonction de rpartition
M.Reghioui - POP - P2011 15

6. Modlisation des donnes (1)

Quelle distribution utiliser comme entre pour la simulation
Temps inter-arrives Temps de service/excution Temps de pannes Temps de rparation

Mauvais choix de la loi de probabilit incorrectes mauvaises dcisions Sources de donnes :

Historique Systmes similaires Lois de probabilit (exponentielle, uniforme,)

donnes de sortie

Collecte de donnes (tche trs critique et prend du temps)

Mme si les donnes sont disponibles, elle peuvent tre manquantes ou biaises
M.Reghioui - POP - P2011 16

6. Modlisation des donnes (2)

Choix de la distribution en fonction de son support et de sa forme Plusieurs mthodes pour estimer les paramtres :
Estimateurs classiques (moyenne, cart type) Ressemblance maximale Moindres carres Test de Kolmogorov-Smirnov Test de Chi-Square
M.Reghioui - POP - P2011 17

7. Vrification et validation du modle (1)

Vrification La vrification consiste en le debuging du code de simulation Quelques suggestions
crire le code de la simulation dune manire logique et bien ordonne Rajouter des commentaires pour clarifier lutilisation des variables et tats Faire vrifier vos codes par plusieurs personnes Vrifier que les donnes dentre ne sont pas modifie aprs lexcution Tester la cohrence et la robustesse du simulateur en variant les donnes dentre Tester sur des configurations connues du systme Utiliser lanimation
M.Reghioui - POP - P2011 18

7. Vrification et validation du modle (2)

Validation La validation doit inclure les procdures suivantes
Valider le modle conceptuel (validit de faade) : le comportement semble correct pour des personnes familires avec le systme rel(logique, entres-sorties). Valider les hypothses sur le modle et les donnes Tester le comportement du modle
Comparaisons des donnes de sortie avec ceux du systme rel pour des configurations connues Appliquer des tests statistiques

M.Reghioui - POP - P2011

19

8. Interprtation des rsultats

Analyses statistiques des rsultats:
Donnes alatoires rsultats alatoires Diffrence entre les rsultats des excutions Les analyses statistiques doivent tre menes sur plusieurs excutions
Moyenne cart type ....

M.Reghioui - POP - P2011

20