MIASC-4 « Simulations discrètes distribuées »
Master sciences et technologies
Mention Mathématiques-Informatique
Semestre
2ème année, 1er semestre
Parcours
-
Spécialité : master recherche MIASC (Mathématiques et Informatique Appliquées aux Systèmes Complexes)
Intitulé
|
Vol. horaire
|
Crédits ECTS
|
Coef.
|
Responsable
|
MIASC-7 : Simulations discrètes distribuées
|
CM : 22h
|
6
|
6
|
Moustapha Nakechbandi
Mhamed Itmi (PSI – Rouen)
|
Participants
-
Moustapha Nakechbandi
-
Mhamed Itmi
Objectifs
-
Illustrer les évolutions actuelles dans les méthodes et les outils du parallélisme.
-
Aborder les principaux problèmes liés à la simulation des systèmes complexes lorsque le simulateur doit s'exécuter dans un environnement distribué.
Pré-requis (le cas échéant)
M2-13 (parallélisme et distribution), M1-09 (Analyse numérique matricielle)
Contenu de l'UE
Partie A : Environnements parallèles et distribués
-
Rappel sur les notions de base du parallélisme :
- Speedup et efficacité, la loi d'Amdahl. Le modèle de PRAM, diviser et paralléliser, préfixe parallèle, le théorème de Brent.
- Parallélisation de boucles. Analyse de la dépendance, systèmes d'équations de récurrence, transformations du temps et de l'espace, et génération du code.
- Le modèle réseau de stations (le meta-parallèlisme) et les outils de développement MPI, OpenMP
- Problèmes liés à la parallelisation des algorithmes : répartition de charge, ordonnancement, routage, synchronisation, terminaison.
-
Itération asynchrone : modèle mathématique, étude de la convergence : espace continu, espace discret
-
Applications :
- Simulation parallèle pour un problème de dynamique des populations.
- Simulation parallèle pour le problème routage dans les réseaux.
Partie B : Simulation discrète : aspect mathématiques et informatique (mutualisée avec master recherche MI, Rouen)
-
Principes généraux : concepts, étape d'une étude d'une étude de simulation
-
Modèles mathématiques et informatique
-
Simulation distribuée : introduction à HLA et à la simulation multi-agents
-
Analyse de résultats : étude des entrées/sorties. Vérification et validation d'un modèle de simulation.
Bibliographie
-
Parallel and Distributed Simulation Systems, Richard M. Fujimoto , Edition: Hardcover, 1999.
-
Les application du calcule parallèle, pratique et outils, coordonnateur Bernard Philippe, Hermès 1999.
-
Algorithmique parallèle, A. Legrand, Y. Robert, Dunod, 2003.
-
La Simulation distribuée et parallèle, Florent NOLOT, Polycopiés, Cours de DEA Univ. de Lille, 2003.
Fiche descriptive de l'UE
Dostları ilə paylaş: |