Download - Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique
![Page 1: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/1.jpg)
Analyse de Résultats de Simulation
Cours
Pierre-Yves Gueniffey – Julien Roux
InfoTronique
![Page 2: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/2.jpg)
2
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression de l’état transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 3: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/3.jpg)
3
Introduction
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
La simulation : outil incontournable
Objectifs de la simulation ?
Qu’est-ce qu’on demande à un modèle de simulation ?
Développement d’un modèle de simulation :
• Vérification du modèle de simulation
• Validation du modèle de simulation
![Page 4: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/4.jpg)
4
Introduction
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Deux questions essentielles :
• Combien de temps la simulation doit-elle fonctionner ?
• Quand est-ce que le modèle a atteint un état stable ?
Efficacité du modèle :
• Estimation de la variance
• Réduction de la variance
![Page 5: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/5.jpg)
5
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression de l’état transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 6: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/6.jpg)
6
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Vérification = débogage
– S’assurer que le modèle fait ce qu’il est censé faire
• Beaucoup de techniques dans la littérature
– Nous allons en décrire quelques unes
![Page 7: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/7.jpg)
7
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Création modulaire et hiérarchique
– Les modèles de simulation sont de très gros programmes
– Modularité : Le modèle doit être constitué de modules qui communiquent entre eux par des interfaces bien définies
– Hiérarchie : Chaque module du programme est divisé récursivement en modules plus petits jusqu’à obtenir des modules faciles à déboguer
![Page 8: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/8.jpg)
8
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Création modulaire et hiérarchique
– Exemple : Etude de congestion d’un réseau
Modèle Système
![Page 9: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/9.jpg)
9
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Création modulaire et hiérarchique
– Exemple : Etude de congestion d’un réseau
![Page 10: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/10.jpg)
10
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Antibugging
– Ajout de vérifications et de messages dans le programme qui détectent les bugs.
– Exemple dans un réseau :
Nb paquets sources = Nb paquets reçus + Nb paquets perdus
![Page 11: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/11.jpg)
11
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Parcours structuré
– Le développeur explique chaque ligne de son code à une autre personne
– Ceci permet souvent de détecter des bugs
![Page 12: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/12.jpg)
12
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Modèles déterministes
– Pas de variables aléatoires
– Permettre à l’utilisateur de spécifier n’importe quelle distribution
– Ainsi il peut calculer les variables de sortie et déboguer
![Page 13: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/13.jpg)
13
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Exécuter des cas simples
– Assez complexes pour être analysés sans simulation
– Exemples dans un réseau :• Un seul paquet
• Une seule source
• Un seul nœud intermédiaire
![Page 14: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/14.jpg)
14
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Trace
– Liste temporelle d’évènements et de variable
– Ajoute des appels processeur
– Doit pouvoir être désactivé
![Page 15: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/15.jpg)
15
Techniques de vérification de modèles
InfoTronique
• Trace– Exemple dans un réseau :
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
![Page 16: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/16.jpg)
16
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Affichage graphique
– Longue durée des simulations
– L’affichage graphique permet à l’utilisateur de savoir où en est le programme
– Plus compréhensible que les traces
![Page 17: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/17.jpg)
17
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Test de continuité
– Exécuter plusieurs fois la simulation avec de petits changements
– Petits changements dans les entrées du modèle
– Impliquent généralement de petits changements dans les sorties
![Page 18: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/18.jpg)
18
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Test de continuité
– Exemple dans un réseau :
Nombre de sources Nombre de sources
Sortie Sortie
Courbe avant vérification Courbe après vérification
![Page 19: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/19.jpg)
19
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Tests de dégénérescence
– Test des cas extrêmes
– Exemples dans un réseau :• Aucune source
• Aucun routeur
• Routeurs avec des temps de service nuls
![Page 20: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/20.jpg)
20
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Tests de consistance
– Test avec des paramètres d’entrée différents qui ont les mêmes effets
– Exemple dans un réseau :• 2 sources avec 100 paquets / s et 4 sources avec 50 paquets / s
![Page 21: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/21.jpg)
21
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Indépendance de « germe »
– Les germes utilisés pour la génération de nombres aléatoires ne doivent pas affecter le résultat final
– Exécuter la simulation avec différentes valeurs de germes
![Page 22: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/22.jpg)
22
Techniques de vérification de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Questions
![Page 23: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/23.jpg)
23
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 24: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/24.jpg)
24
Techniques de validation de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Qu’est-ce que la validation de modèle ?
Trois aspects essentiels pour valider un modèle :
• la validation des hypothèses émises au départ
• la validation des valeurs mises en entrée
• la validation des valeurs de sortie
![Page 25: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/25.jpg)
25
Techniques de validation de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Validation des trois aspects par :
• (1) Avis d’experts
• (2) Des mesures effectuées auprès d’un système réel
• (3) Des résultats théoriques
![Page 26: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/26.jpg)
26
Techniques de validation de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(1) Avis d’experts
Principe
Le choix des experts
Comment les experts procèdent ?
![Page 27: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/27.jpg)
27
Techniques de validation de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Mesures effectuées auprès d’un système réel
Principe
Méthode peu utilisée car :
• Souvent le système réel n’existe pas
• Coût élevé des mesures
![Page 28: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/28.jpg)
28
Techniques de validation de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Résultats théoriques
Principe
Les résultats théoriques sont utilisés pour des cas complexes
![Page 29: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/29.jpg)
29
Techniques de validation de modèles
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Un modèle n’est jamais parfaitement modélisé
![Page 30: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/30.jpg)
30Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Questions
Techniques de validation de modèles
![Page 31: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/31.jpg)
31
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression de l’état transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 32: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/32.jpg)
32
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Définitions :
– Comportement à l’état uniforme :Comportement lorsque le système a atteint un état stable
– Etat transitoire :Partie initiale de la simulation, avant l’état stable
![Page 33: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/33.jpg)
33
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Dans la plupart des simulations, on ne s’intéresse qu’au comportement à l’état final
• Dans ce cas l’état transitoire ne doit pas être inclus dans le programme final
• Il faut le supprimer• Méthodes empiriques
– Nous allons les décrire
![Page 34: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/34.jpg)
34
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Longues exécutions
– Simulations assez longues pour s’assurer que les conditions initiales n’affectent pas les résultats
– Nécessite des ressources
– Difficile de savoir si la durée d’exécution est suffisamment longue
– Méthode non recommandée
![Page 35: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/35.jpg)
35
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Initialisation appropriée
– Démarrer la simulation dans un état proche de l’état uniforme
– Réduction de la durée de la période transitoire
– Exemple :• Une simulation d’exécution CPU doit démarrée avec des tâches en
attente
![Page 36: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/36.jpg)
36
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Troncation– n observations
– On ignore les l premières observations
– On calcule le minimum et le maximum des n-l observations restantes
– On répète l’opération jusqu’à ce que l’observation l+1 ne soit ni le maximum ni le minimum
![Page 37: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/37.jpg)
37
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Troncation– Exemple :
Numéro de l’observation
Valeur
Intervalle transitoire
![Page 38: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/38.jpg)
38
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Suppression des données initiales
– Réplications : Exécution de la simulation sans changer les paramètres d’entrée mais en changeant les germes des nombres aléatoires
– m réplications de taille n
– xij : la jéme observation de la ième réplication
![Page 39: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/39.jpg)
39
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Suppression des données initiales1. Calcul de la moyenne :
2. Assigner 1 à l
3. Supposer que l’état transitoire dure seulement l, supprimer les l premières observations
![Page 40: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/40.jpg)
40
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Suppression des données initiales4. Calcul du changement relatif
Changement relatif =
5. Répéter les actions 3 et 4 en variant l de 1 à n-1. Après une certaine valeur de l, le graphe se stabilise. Cette valeur de l est la durée de l’état transitoire
![Page 41: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/41.jpg)
41
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Suppression des données initiales– Exemple :
![Page 42: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/42.jpg)
42
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Déplacer la moyenne de réplications indépendantes
– Similaire à la méthode précédente
– Utilisation d’une fenêtre de temps mouvante
![Page 43: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/43.jpg)
43
Suppression de l’état transitoire
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Lots de Moyennes
– Similaire aussi
– Très longues simulations divisées en parties de durée égale
– Calcul de la variance
![Page 44: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/44.jpg)
44Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Questions
Suppression de l’état transitoire
![Page 45: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/45.jpg)
45
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression de l’état transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 46: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/46.jpg)
46
Simulations terminales
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Cas des simulations qui n’atteignent jamais un état final
• Dans ce cas, étude de l’état transitoire
• Exemples : – Transfert de petits fichiers sur un réseau
– Systèmes qui s’éteignent chaque jour à 17h
![Page 47: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/47.jpg)
47Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Questions
Simulations terminales
![Page 48: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/48.jpg)
48
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 49: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/49.jpg)
49
Critère de fin : Estimation de la variance
x
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Bien choisir la durée de simulation
Rappel :
• La simulation est découpée en échantillons
• Moyenne d’un échantillon :
• Variance de la moyenne d’un échantillon pour n observations indépendantes :
n
xVarxVar
)()(
![Page 50: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/50.jpg)
50
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Trois méthodes pour calculer correctement la variance :
• (1) Réplications indépendantes
• (2) Méthode des sous échantillons
• (3) Méthode de régénération
![Page 51: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/51.jpg)
51
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(1) Réplications indépendantes
Repose sur la technique de réplication
Le principe :
• m réplications de taille n + n0
(avec n0 la longueur de la phase de transition)
![Page 52: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/52.jpg)
52Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(1) Réplications indépendantes
Calcul de la moyenne pour chaque réplication:
Critère de fin : Estimation de la variance
![Page 53: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/53.jpg)
53Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(1) Réplications indépendantes
Calcul d’une moyenne générale pour toutes les réplications:
Critère de fin : Estimation de la variance
![Page 54: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/54.jpg)
54Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(1) Réplications indépendantes
Calcul de la variance de la moyenne répliquée :
Critère de fin : Estimation de la variance
![Page 55: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/55.jpg)
55Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(1) Réplications indépendantes
Intervalle de confiance pour la réponse moyenne :
Critère de fin : Estimation de la variance
![Page 56: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/56.jpg)
56
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Le principe :
• simulation de (N + n0) observations
• n0 : nombre d’observations dans la phase de transition
• On ignore les n0 observations
• Les observations restantes sont divisées en m lots :
n
Nm
![Page 57: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/57.jpg)
57Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Calcul de la moyenne pour chaque lot :
Critère de fin : Estimation de la variance
![Page 58: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/58.jpg)
58Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Calcul de la moyenne générale :
Critère de fin : Estimation de la variance
![Page 59: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/59.jpg)
59
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Calcul de la variance des moyennes du lot :
![Page 60: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/60.jpg)
60
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Intervalle de confiance pour la réponse moyenne :
![Page 61: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/61.jpg)
61
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Meilleure méthode que les réplications indépendantes
Calcul de la covariance pour optimiser l’intervalle de confiance :
![Page 62: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/62.jpg)
62
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(2) Méthode des sous échantillons
Autocovariance et variance pour des tailles de lots différentes
Taille des lots Auto covariance
Variance
![Page 63: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/63.jpg)
63
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Le principe :
• Simulation régénérative
• Points de régénération :
![Page 64: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/64.jpg)
64
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Considérons la simulation régénérative suivante :
• m cycles de tailles n1,…,nm
![Page 65: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/65.jpg)
65
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Moyennes d’un cycle :
![Page 66: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/66.jpg)
66
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Procédure pour calculer la moyenne générale et son intervalle de confiance :
![Page 67: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/67.jpg)
67
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Calcul des sommes de cycle :
![Page 68: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/68.jpg)
68
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Calcul de la moyenne générale :
![Page 69: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/69.jpg)
69
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Calcul de la différence entre les sommes de cycles attendus et observés :
![Page 70: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/70.jpg)
70
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Calcul de la variance des différences :
![Page 71: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/71.jpg)
71
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Calcul de la longueur d’un cycle moyen :
![Page 72: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/72.jpg)
72
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Intervalle de confiance pour la réponse moyenne :
![Page 73: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/73.jpg)
73
Critère de fin : Estimation de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
(3) Méthode de régénération
Avantage de cette méthode :
• Tient compte de la phase de transition
Inconvénient de cette méthode :
• Temps de simulation ??
• Point de régénération ??
• Application des méthodes de réduction de variance ??
![Page 74: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/74.jpg)
74Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Questions
Critère de fin : Estimation de la variance
![Page 75: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/75.jpg)
75
Plan
• Introduction• Techniques de vérification de modèles• Techniques de validation de modèles• Suppression transitoire• Simulations terminales• Critère de fin : Estimation de la variance• Réduction de la variance• Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 76: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/76.jpg)
76
Réduction de la variance
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
![Page 77: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/77.jpg)
77Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
• Questions
Réduction de la variance
![Page 78: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/78.jpg)
78
Conclusion
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique
Réaliser une simulation c’est déjà bien…
Mais ce n’est pas tout…
Il faut aussi la valider et l’analyser.
Nous avons vu plusieurs méthodes pour cela
Pour être sûr de s’approcher des cas réels
Il faut les appliquer toutes
Bon courage …
![Page 79: Analyse de Résultats de Simulation Cours Pierre-Yves Gueniffey – Julien Roux InfoTronique](https://reader035.vdocuments.mx/reader035/viewer/2022081515/551d9d84497959293b8bfe8a/html5/thumbnails/79.jpg)
79
Questions
Cours - Analyse de Résultats de Simulation – P.Y. Gueniffey, J. Roux
InfoTronique