A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le tag 'interaction'
Affiner la recherche Interroger des sources externesL'Assemblage de Programmes au Sein de Plateformes Logicielles : Syntaxe, Sémantique et Pragmatique. Application aux Plateformes dédiées aux Simulations en Agronomie / Pierre MARTIN
Titre : L'Assemblage de Programmes au Sein de Plateformes Logicielles : Syntaxe, Sémantique et Pragmatique. Application aux Plateformes dédiées aux Simulations en Agronomie Type de document : texte imprimé Auteurs : Pierre MARTIN, Auteur Année de publication : 2009 Langues : Français (fre) Tags : INTERACTION COUPLAGE SIMULATION SYSTEMES COMPLEXES LINGUISTIQUE Index. décimale : THE Thèses de doctorat Résumé : Les systèmes envisagés par les sciences du vivant (génétique, agronomie, écologie etc.) sont pour la plupart des systèmes complexes. Depuis les années 1960, l'informatique permet aux équipes de recherche de représenter es systèmes qu'ils étudient sous la forme de programmes de simulation numérique. L'idée de réutiliser les programmes et de les assembler a donné naissance aux plateformes logicielles. Pour l'agronomie, l'enjeu des plateformes est de répondre aux questions posées par le Développement Durable impliquant durabilité écologique, viabilité économique et équité sociale. La thèse traite de questions sémantiques générées par l'assemblage de programmes. Pour notre étude, nous avons mis au point une trame d'analyse originale établie sur la base de travaux en cybernétique, ingénierie logicielle et intelligence artificielle. La trame considère les niveaux morphologique, syntaxique et sémantique des langages d'assemblage. Au travers de l'analyse d'exemples (MODCOM, OpenMI, VLE, APES, DSSAT et SEAMLESS-IF) nous montrons que les règles syntaxiques inhérentes aux langages d'assemblages limitent leur aptitude à représenter les systèmes complexes. Nous montrons aussi que l'efficience des métadonnées et ontologies, destinées à faire coïncider les entrées / sorties des programmes, dépend des aspects implicites ayant prévalu à la représentation des systèmes. Afin d'accéder à l'implicite nous proposons de décrire le contenu du programme de façon formelle. Un modèle de description a été établi à partir de la linguistique pragmatique et de travaux en morphosyntaxe. L'interrogation partielle en mode direct permet de conférer une structure de description détaillée, basée sur les sept pronoms et adverbes que propose la langue française. Ce travail débouche sur la proposition d'un langage déclaratif de description de systèmes complexes. Directeur(s) de thèse : LIBOUREL T. Co-directeur(s) de thèse : REITZ P. Rapporteur(s) : ROUSSEAUX F.;SOULE-DUPUY C. Examinateur(s) : ACUTIS M.;DURU M.;HUCHARD M.;PRINCE V. Date de soutenance : 16/12/2009 L'Assemblage de Programmes au Sein de Plateformes Logicielles : Syntaxe, Sémantique et Pragmatique. Application aux Plateformes dédiées aux Simulations en Agronomie [texte imprimé] / Pierre MARTIN, Auteur . - 2009.
Langues : Français (fre)
Tags : INTERACTION COUPLAGE SIMULATION SYSTEMES COMPLEXES LINGUISTIQUE Index. décimale : THE Thèses de doctorat Résumé : Les systèmes envisagés par les sciences du vivant (génétique, agronomie, écologie etc.) sont pour la plupart des systèmes complexes. Depuis les années 1960, l'informatique permet aux équipes de recherche de représenter es systèmes qu'ils étudient sous la forme de programmes de simulation numérique. L'idée de réutiliser les programmes et de les assembler a donné naissance aux plateformes logicielles. Pour l'agronomie, l'enjeu des plateformes est de répondre aux questions posées par le Développement Durable impliquant durabilité écologique, viabilité économique et équité sociale. La thèse traite de questions sémantiques générées par l'assemblage de programmes. Pour notre étude, nous avons mis au point une trame d'analyse originale établie sur la base de travaux en cybernétique, ingénierie logicielle et intelligence artificielle. La trame considère les niveaux morphologique, syntaxique et sémantique des langages d'assemblage. Au travers de l'analyse d'exemples (MODCOM, OpenMI, VLE, APES, DSSAT et SEAMLESS-IF) nous montrons que les règles syntaxiques inhérentes aux langages d'assemblages limitent leur aptitude à représenter les systèmes complexes. Nous montrons aussi que l'efficience des métadonnées et ontologies, destinées à faire coïncider les entrées / sorties des programmes, dépend des aspects implicites ayant prévalu à la représentation des systèmes. Afin d'accéder à l'implicite nous proposons de décrire le contenu du programme de façon formelle. Un modèle de description a été établi à partir de la linguistique pragmatique et de travaux en morphosyntaxe. L'interrogation partielle en mode direct permet de conférer une structure de description détaillée, basée sur les sept pronoms et adverbes que propose la langue française. Ce travail débouche sur la proposition d'un langage déclaratif de description de systèmes complexes. Directeur(s) de thèse : LIBOUREL T. Co-directeur(s) de thèse : REITZ P. Rapporteur(s) : ROUSSEAUX F.;SOULE-DUPUY C. Examinateur(s) : ACUTIS M.;DURU M.;HUCHARD M.;PRINCE V. Date de soutenance : 16/12/2009 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-09 / 13822 Papier THESES INFORMATIQUE Disponible 
Titre : Formalisme, Outils et Eléments Méthodologiques pour la Modélisation et la Simulation Multi-Agents Type de document : texte imprimé Auteurs : F. MICHEL, Auteur Année de publication : 2004 Langues : Français (fre) Tags : MODELISATION ET SIMULATION INFORMATIQUE SYSTEMES MULTI-AGENTS PRINCIPE INFLUENCE/REACTION INTERACTION FORMALISM TOOLS AND METHODOLOGICAL ELEMENTS FOR THE MODELING AND SIMULATION OF MULTI-AGENTS SYSTEMS MODELING AND SIMULATION MULTI-AGENTS SYSTEMS INFLUENCE/REACTION MODEL INTERACTION Index. décimale : THE Thèses de doctorat Résumé : Cette thèse aborde des questions liées à la simulation informatique de systèmes complexes modélisés à l'aide du paradigme multi-agents. Cette approche repose sur l'idée qu'il est possible de représenter directement le comportement et les interactions d'un ensemble d'entités autonomes évoluant dans un environnement commun. Mal maîtrisée, la complexité des modèles considérés pose encore aujourd'hui de nombreux problèmes quant à leur élaboration et à leur implémentation. L'une des conséquences les plus critiques réside dans la difficulté de reproduire fidèlement les modèles publiés dans la littérature. Ce qui pose le problème de la vérification et de la validation de ce type de simulations. Dans cette thèse, nous considérons que ce problème est en majeure partie lié à un manque de correspondance entre les spécifications des modèles et les structures informatiques qui permettent de les exécuter. Le but de nos travaux est de faire un pas vers une mise en correspondance effective de ces deux parties. Pour cela, nous considérons deux approches complémentaires. La première se focalise sur l'élaboration d'outils génériques de conception de simulateurs. Il s'agit de rendre plus explicites les structures informatiques utilisées pour l'implémentation. La deuxième repose sur l'étude des moyens aujourd'hui utilisés pour modéliser un système multi-agents. Dans ce cadre, nous proposons une réflexion globale sur ce paradigme et nous identifions un ensemble de contraintes liées à son utilisation. A partir de cette réflexion, nous proposons un principe de modélisation basé sur l'approche Influence/Réaction et sur l'utilisation d'un modèle formel d'environnement pour systèmes multi-agents appelé MIC*. Nous montrons en quoi notre approche permet de respecter les différentes contraintes de modélisation identifiées et nous illustrons sa faisabilité à l'aide d'un exemple concret.
this thesis adresses questions related to the modeling and simulation of complex systems which are based on the multi-agents paradigm. Multi-agents simulations rely on the idea that it is possible to directly represent the behavior and the interactions of a set of autonomous entities situated in a common environment. Considering this framework, one critical issue relies on the difficulty to accurately achieve replication of published models. This raises problems for verification and validation in this kind of experiments. In this thesis, we advocate that this problem is mainly related to the gap that exists between models specifications and the computational structures which are used to execute them. The motivation of our work is to take step towards an effective mapping between these two sides. To handle this, we consider two complementary approaches. The former proposes generic simulator engineering tools. The idea is to explicit the computational structures which are used for the implementation. The later relies on the study of today multi-agents modeling means. Within this framework, we propose a reflexion about this paradigm and we identify a whole set of modeling constraints which are related to it. We then propose modeling principles based on the Influence/Reaction approach and on the use of a formal model of environment for multi-agents systems, namely MIC*. We show how our approach handles the identified modeling constraints and we illustrate its feasibility through a concrete example.Directeur(s) de thèse : FERBER J. Président du jury : DEMAZEAU Y. Rapporteur(s) : DROGOUL A.;DAVID R.C.;HENRY V.D. Examinateur(s) : MÜLLER J.P. Date de soutenance : 21/12/2004 Formalisme, Outils et Eléments Méthodologiques pour la Modélisation et la Simulation Multi-Agents [texte imprimé] / F. MICHEL, Auteur . - 2004.
Langues : Français (fre)
Tags : MODELISATION ET SIMULATION INFORMATIQUE SYSTEMES MULTI-AGENTS PRINCIPE INFLUENCE/REACTION INTERACTION FORMALISM TOOLS AND METHODOLOGICAL ELEMENTS FOR THE MODELING AND SIMULATION OF MULTI-AGENTS SYSTEMS MODELING AND SIMULATION MULTI-AGENTS SYSTEMS INFLUENCE/REACTION MODEL INTERACTION Index. décimale : THE Thèses de doctorat Résumé : Cette thèse aborde des questions liées à la simulation informatique de systèmes complexes modélisés à l'aide du paradigme multi-agents. Cette approche repose sur l'idée qu'il est possible de représenter directement le comportement et les interactions d'un ensemble d'entités autonomes évoluant dans un environnement commun. Mal maîtrisée, la complexité des modèles considérés pose encore aujourd'hui de nombreux problèmes quant à leur élaboration et à leur implémentation. L'une des conséquences les plus critiques réside dans la difficulté de reproduire fidèlement les modèles publiés dans la littérature. Ce qui pose le problème de la vérification et de la validation de ce type de simulations. Dans cette thèse, nous considérons que ce problème est en majeure partie lié à un manque de correspondance entre les spécifications des modèles et les structures informatiques qui permettent de les exécuter. Le but de nos travaux est de faire un pas vers une mise en correspondance effective de ces deux parties. Pour cela, nous considérons deux approches complémentaires. La première se focalise sur l'élaboration d'outils génériques de conception de simulateurs. Il s'agit de rendre plus explicites les structures informatiques utilisées pour l'implémentation. La deuxième repose sur l'étude des moyens aujourd'hui utilisés pour modéliser un système multi-agents. Dans ce cadre, nous proposons une réflexion globale sur ce paradigme et nous identifions un ensemble de contraintes liées à son utilisation. A partir de cette réflexion, nous proposons un principe de modélisation basé sur l'approche Influence/Réaction et sur l'utilisation d'un modèle formel d'environnement pour systèmes multi-agents appelé MIC*. Nous montrons en quoi notre approche permet de respecter les différentes contraintes de modélisation identifiées et nous illustrons sa faisabilité à l'aide d'un exemple concret.
this thesis adresses questions related to the modeling and simulation of complex systems which are based on the multi-agents paradigm. Multi-agents simulations rely on the idea that it is possible to directly represent the behavior and the interactions of a set of autonomous entities situated in a common environment. Considering this framework, one critical issue relies on the difficulty to accurately achieve replication of published models. This raises problems for verification and validation in this kind of experiments. In this thesis, we advocate that this problem is mainly related to the gap that exists between models specifications and the computational structures which are used to execute them. The motivation of our work is to take step towards an effective mapping between these two sides. To handle this, we consider two complementary approaches. The former proposes generic simulator engineering tools. The idea is to explicit the computational structures which are used for the implementation. The later relies on the study of today multi-agents modeling means. Within this framework, we propose a reflexion about this paradigm and we identify a whole set of modeling constraints which are related to it. We then propose modeling principles based on the Influence/Reaction approach and on the use of a formal model of environment for multi-agents systems, namely MIC*. We show how our approach handles the identified modeling constraints and we illustrate its feasibility through a concrete example.Directeur(s) de thèse : FERBER J. Président du jury : DEMAZEAU Y. Rapporteur(s) : DROGOUL A.;DAVID R.C.;HENRY V.D. Examinateur(s) : MÜLLER J.P. Date de soutenance : 21/12/2004 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-04 / 11700 Papier THESES INFORMATIQUE Disponible Documents numériques
Fichier (PDF)URL
