Université du Havre

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

1. 
   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.

2. 
   Itération asynchrone : modèle mathématique, étude de la convergence : espace continu, espace discret
   
3. 
   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)

1. 
   Principes généraux : concepts, étape d'une étude d'une étude de simulation
   
2. 
   Modèles mathématiques et informatique
   
3. 
   Simulation distribuée : introduction à HLA et à la simulation multi-agents
   
4. 
   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