Aperçu des sections

  • Généralités

    Tout replier Tout déplier

  • Présentation du Cours MESI

    Intitulé de la matière : Méthodologie et Evaluation des Systèmes Informatiques 
    Unité d'enseignement : UEM3

    Volume horaire global: 14 semaines
    Volume horaire/semaine: 
    • Cours : 01 heure 30 minutes
    • TD : 01 heure 30 minutes
    Coefficient: 02
    Crédits: 04
    Modalité d'évaluation: Examen écrit (60%), Evaluation continuée (40%)
    Modalité de suivi: Interrogations, Devoirs


  • Contact

    Enseignante de la matière : Djamila Mohdeb
    Email: djamila.mohdeb@univ-jijel.dz
    Disponibilité (horaire et lieu) : 

    • Hors-ligne : /
    • En-ligne: Les étudiants peuvent poster leurs questions sur le Forum de ce cours.


  • Compétences visées

    L'objectif de ce cours est de permettre à l'étudiant de simuler un processus et de voir à travers le prototype réalisé le comportement de son système.

  • Connaissance Préalables Recommandées

    Maîtriser un langage de programmation graphique (par exemple: C++)

  • Contenu de la Matière

    Syllabus

    Chapitre 1: Introduction à la Modélisation et la Simulation pour les Systèmes Informatiques
    Chapitre 2: La Génération des Nombres Aléatoires
    Chapitre 3: Les Machines à Etats Finis
    Chapitre 4: Les Chaînes de Markov
    Chapitre 5: Les Réseaux de Petri
    Chapitre 6: La Simulation à Evènements Discrets : Les Files d'Attente
    Chapitre 7: Études de Quelques Langages de Simulation (ARENA-SIMAN, QNAP2)

  • Rendez-vous en ligne

  • Chapitre 1: Notions Fondamentales

  • Chapitre 2: Génération des Nombres Aléatoires

    • Support de Cours

    • Icône Fichier
      Chapitre 02 (Partie 01) Fichier
    • Icône Fichier
      Chapitre 02 (Partie 02) Fichier

    • Série de TD

    • Icône Fichier
      Série de TD n°01 Fichier
    • Icône Fichier
      Série de TD n°02 Fichier

    • Ressources

    • Icône Fichier
      Table K-S Fichier
    • Icône Fichier
      Table Chi-Carré Fichier
    • Icône Fichier
      Table de Corrélation (Two Tails) Fichier
    • Icône Fichier
      Table de Loi Normale Fichier

      Note : Valeurs critiques pour tester les hypothèses (Loi Normale, Runs Test)

      Niveau de signification, α

      Valeur Critique

      α=0.10

      1.645

      α=0.05

      1.96

      α=0.01

      2.575

       


  • Chapitre 3 : Machines à Etats Finis

    • Support de Cours

    • Icône Fichier
      Chapitre 03 Fichier

    • Série de TD

    • Icône Fichier
      Série de TD n°03 Fichier

  • Chapitre 4: Chaînes de Markov

  • Chapitre 5: Réseaux de Petri

  • Chapitre 6: Simulation à Evènements Discrets

  • Chapitre 7: Etude de Quelques Langages de Simulation

  • Examens

  • Bibliographie

    1. Erard, P.-J., & Déguénon, P. (1996). Simulation par événements discrets: Concepts et réalisations en SIMULA, ADA et SMALLTALK. EPFL Press.
    2. Fleury, G., Lacomme, P., & Tanguy, A. (2006). Simulation à événements discrets. Eyrolles.
    3. Ruegg, A. (1989). Processus stochastiques: Avec applications aux phénomènes d'attente et de fiabilité. EPFL Press.
    4. Birta, L. G., & Arbez, G. (2019). Modelling and Simulation: Exploring Dynamic System Behaviour1 . Springer.
    5. Loper, M. L., & Register, A. (2015). Introduction to Modeling and Simulation2 . Springer.
    6. Ören, T., Zeigler, B. P., & Tolk, A. (2023). Body of Knowledge for Modeling and Simulation: A Handbook3 . Springer.
    7. Lawson, M. V. (2003). Finite Automata. CRC Press.
    8. Grinstead, C. M., & Snell, J. L. (2012). Introduction to Probability. American Mathematical Society.
    9. Norris, J. (1998). Markov Chains. Cambridge University Press.
    10. Esparza, J. (2006). Petri Nets: Modelling, Analysis and Applications. Springer.