Télécharger mémoire online approche de modélisation des systèmes à événements discrets utilisant les concept – Maps, tutoriel rapport PDF.

Résumé
Introduction générale
Problématique
Objectifs spéciﬁques
Organisation de la thèse et organisation du travail
I Concept-maps et langages visuels
1 Fondements des concept-maps
1.1 Introduction
1.2 Origines
1.3 Fondements psychologiques
1.4 Fondements épistémologiques
1.5 Déﬁnition
1.6 Création de concept-maps
1.7 Domaines d’application
1.8 Techniques similaires
1.8.1 Mind Map
1.8.2 Cluster Map
1.8.3 Argument-Map
1.8.4 Topic Map
1.8.5 Text Graph
1.9 Conclusion
2 Langages visuels et spéciﬁques au domaine
2.1 Introduction
2.2 Les graphes
2.3 Les langages visuels
2.4 Classiﬁcation des langages visuels
2.4.1 Selon les systèmes de programmation
2.4.2 Selon la technique de spéciﬁcation
2.4.3 Selon le domaine d’application
2.4.4 Selon les relations spatiales
2.5 Les langages spéciﬁques au domaine
2.5.1 Le développement des DSLs
2.5.2 Outils de développement des DSLs
2.5.3 Architecture d’une DSM
2.6 Conclusion
3 Ingénierie dirigée par les modèles et spéciﬁcation formelle des DSMLs visuels
3.1 Introduction
3.2 Ingénierie dirigée par les modèles
3.2.1 Principes
3.2.2 Modèle, métamodèle et mégamodèle
3.2.3 Transformation de modèles
3.2.3.1 Outils de transformation
3.2.4 Transformation basée sur la méta-modélisation
3.2.4.1 Déﬁnition des règles de transformation
3.2.4.2 Expression des règles de transformation
3.2.4.3 Exécution des règles de transformation
3.2.5 Transformation de graphes
3.3 Spéciﬁcation formelle des DSMLs visuels
3.3.1 Les proﬁls UML
3.3.2 La syntaxe
3.3.3 Sémantique formelle
3.3.3.1 Sémantique axiomatique
3.3.3.2 Sémantique dénotationnelle
3.3.3.3 Sémantique opérationnelle
3.4 Conclusion
4 Concept-maps en modélisation et simulation
4.1 Introduction
4.2 Projet de modélisation et de simulation
4.2.1 Formulation du problème
4.2.2 Objectifs et plan du projet
4.2.3 Élaboration du modèle conceptuel
4.2.4 Collecte de données
4.2.5 Translation du modèle
4.2.6 Vériﬁcation et validation du modèle
4.2.6.1 Techniques de validation subjectives
4.2.6.2 Techniques de validation objectives
4.2.7 Conception des expérimentations
4.2.8 Analyse des résultats
4.2.9 Documentation et implémentation
4.3 Choix d’un outils de simulation
4.4 L’explication en simulation
4.4.1 Connaissances explicatives
4.4.2 Connaissances factuelles du domaine de simulation
4.4.3 Stratégies d’explication
4.4.4 Le module d’explication
4.4.4.1 Architecture du module d’explication
4.5 Conclusion
II Conception et implémentation
5 La bibliothèque Japrosim
5.1 Introduction
5.2 Japrosime : une vue générale
5.3 Simulation à évènements discrets par interaction de processus en Java
5.4 Librairies similaires
5.5 Conception et paquetages
5.5.1 Le noyau
5.5.2 Le paquetage random
5.5.3 Le paquetage statistique
5.5.4 Le paquetage utilities
5.6 Scénario simple de ﬁles d’attente
5.6.1 Solution analytique
5.6.2 Solution par simulation utilisant Japrosim
5.7 La collecte automatique des statistiques
5.8 Conclusion
6 Extended Queueing Networks Modeling and Markup Language (EQNM2L)
6.1 Introduction
6.2 Phase de décision
6.3 Phase d’analyse : notions de base
6.3.1 Classes et priorités
6.3.1.1 Classes
6.3.1.2 Priorités
6.3.2 Stations de service
6.3.2.1 Station asymétrique
6.3.2.2 Station Fork/Join
6.3.2.3 Possession simultanée de ressources
6.3.2.4 Choix
6.3.3 Types de service
6.3.3.1 Traitement par lot
6.3.3.2 Préemption
6.3.3.3 Blocage
6.3.3.4 Service dépendant de la charge
6.3.3.5 Pannes des serveurs
6.3.4 Arrivées (Entrées)
6.3.5 Départs (Sorties)
6.3.6 Stratégie de routage
6.3.7 Région à capacité limitée
6.4 Phase de conception
6.4.1 Le métamodèle
6.4.2 Sémantique statique
6.4.3 Syntaxe concrète et langage visuel
6.4.4 Dialecte XML
6.4.4.1 Interopérabilité
6.4.4.2 Format d’échange
6.5 Phase d’implémentation
6.5.1 GME ToolKit
6.5.2 L’environnement de modélisation graphique d’EQNM2L
6.5.3 Génération automatique de code
6.5.3.1 Métamodèle Java
6.5.3.2 Spéciﬁcation de règles
6.6 Conclusion
Conclusion générale et perspectives

Résumé sur approche de modélisation des systèmes à événements discrets

Chapitre 1: Fondements des concept-maps
1.1 Introduction
Les travaux en psychologie sur la mémoire et la représentation des connaissances émergèrent durant les années 60 et vers la ﬁn de cette décennie. Plusieurs techniques sont proposées, parmi lesquelles les mind-maps et les concept-maps. Dans ce chapitre nous allons aborder l’historique et l’origine des concept maps, étudier leurs fondements théoriques et explorer leurs domaines d’application. Nous faisons une comparaison des concept-maps avec les autres techniques similaires aﬁn de pouvoir les identiﬁer sans ambigüité.
1.2 Origines
L’invention des concept-maps remonte à 1972. A l’époque, le professeur Novak et son équipe de recherche travaillaient sur un projet dans le domaine de l’éducation à l’université Cornell aux états unis. L’objectif était de développer un outil permettant de décrire les changements explicites de la compréhension conceptuelle chez les enfants.
«In our discussions, the idea developed to translate interview transcripts into a hierarchical structure of concepts and relationships between concepts, i.e., propositions. the ideas developed into the invention of a tool in 1972 we now call the concept map ». [Novak et Canas 06].
Les concepts sont arrangés de façon hiérarchique, du plus général, plus inclusif en haut, au plus spéciﬁque et moins général en bas. Un concept est généralement représenté par un ou deux mots dans un nœud. Les concepts sont reliés par des lignes pour créer des aﬃrmations ou des propositions. Les Propositions sont des déclarations concernant des évènements ou des objets, montrant une relation entre deux concepts ou plus.
Les concept-maps sont basés sur une psychopédagogie cognitive explicite et une épistémologie constructiviste.
Cette idée est basée sur la théorie d’assimilation constructiviste d’Ausubel qui dit :
…………

Si le lien ne fonctionne pas correctement, veuillez nous contacter (mentionner le lien dans votre message)
PFE une approche de modélisation des systèmes à événements discrets (1.44 MB) (Rapport PDF)