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 'systemes complexes'
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 : Codage Indirect de la Forme dans les Systèmes Multi-Agents: Emergence Multi-Niveaux, Evolution et Morphogénèse Type de document : texte imprimé Auteurs : Grégory BEURIER, Auteur Année de publication : 2007 Langues : Français (fre) Tags : SYSTEME MULTI-AGENTS VIE ARTIFICIELLE AUTO-ORGANISATION EMERGENCE MULTI-NIVEAUX EVOLUTION MORPHOGENESE SYSTEMES COMPLEXES Index. décimale : THE Thèses de doctorat Résumé : La fin du XXème siècle a connu une augmentation drastique de la complexité des systèmes crées de mains d'hommes. Cette nouvelle classe de systèmes met en Å“uvre des dynamiques qui posent de réels problèmes en termes de compréhension et de conception. Nous nous proposons dans cette thèse d'aborder la thématique de la modélisation et du design de systèmes complexes artificiels du point de vue de la forme. En effet, la forme est dans les systèmes à la fois le support et le moyen d'adaptation de la fonction, il est donc intéressant de pouvoir contrôler ce paramètre lors du développement de systèmes complexes (informatiques, robotiques, etc.). Nous présentons, à cet effet, une approche constructive de la forme. Notre objectif est de développer des modèles comportementaux capables d'inscrire une forme donnée dans la dynamique de systèmes composés d'un grand nombre d'entités autonomes en interaction. Après avoir justifié l'utilisation des systèmes multi-agents (SMA) comme paradigme de modélisation et de simulation, nous présentons deux modèles de SMA capables de produire des formes. Le premier modèle utilise une approche multi-phéromonale pour construire par agrégations des formes émergentes sur plusieurs niveaux. Les agents réagissent à des lois comportementales récursives et s'orientent par des tropismes sur les phéromones, via leurs interactions dans l'environnement. Le second modèle présente une approche morphogénétique pour faire évoluer, au sein d'un SMA, un patrimoine génétique qui code la forme du système. Via l'utilisation d'outils de l'algorithmique évolutionniste et d'un modèle bio-inspiré par le fonctionnement des gènes sélecteurs et de segmentations présents chez les animaux, nous présentons des SMA capables d'évoluer pour apprendre à s'organiser en formes complexes. Nous raffinons ensuite ce modèle pour reproduire la croissance de la forme par agrégation. Nous présentons ensuite la plate-forme de simulation de Vie Artificielle, TurtleKit 2, modifiée et améliorée pour les besoins de cette thèse et nous concluons enfin en exhibant des applications possibles des modèles présentés. Directeur(s) de thèse : FERBER J. Rapporteur(s) : HASSAS S.;CHEVRIER V. Examinateur(s) : BOURGINE P.;MICHEL F.;MULLER J.P.;SIMONIN O. Date de soutenance : 19/12/2007 Codage Indirect de la Forme dans les Systèmes Multi-Agents: Emergence Multi-Niveaux, Evolution et Morphogénèse [texte imprimé] / Grégory BEURIER, Auteur . - 2007.
Langues : Français (fre)
Tags : SYSTEME MULTI-AGENTS VIE ARTIFICIELLE AUTO-ORGANISATION EMERGENCE MULTI-NIVEAUX EVOLUTION MORPHOGENESE SYSTEMES COMPLEXES Index. décimale : THE Thèses de doctorat Résumé : La fin du XXème siècle a connu une augmentation drastique de la complexité des systèmes crées de mains d'hommes. Cette nouvelle classe de systèmes met en Å“uvre des dynamiques qui posent de réels problèmes en termes de compréhension et de conception. Nous nous proposons dans cette thèse d'aborder la thématique de la modélisation et du design de systèmes complexes artificiels du point de vue de la forme. En effet, la forme est dans les systèmes à la fois le support et le moyen d'adaptation de la fonction, il est donc intéressant de pouvoir contrôler ce paramètre lors du développement de systèmes complexes (informatiques, robotiques, etc.). Nous présentons, à cet effet, une approche constructive de la forme. Notre objectif est de développer des modèles comportementaux capables d'inscrire une forme donnée dans la dynamique de systèmes composés d'un grand nombre d'entités autonomes en interaction. Après avoir justifié l'utilisation des systèmes multi-agents (SMA) comme paradigme de modélisation et de simulation, nous présentons deux modèles de SMA capables de produire des formes. Le premier modèle utilise une approche multi-phéromonale pour construire par agrégations des formes émergentes sur plusieurs niveaux. Les agents réagissent à des lois comportementales récursives et s'orientent par des tropismes sur les phéromones, via leurs interactions dans l'environnement. Le second modèle présente une approche morphogénétique pour faire évoluer, au sein d'un SMA, un patrimoine génétique qui code la forme du système. Via l'utilisation d'outils de l'algorithmique évolutionniste et d'un modèle bio-inspiré par le fonctionnement des gènes sélecteurs et de segmentations présents chez les animaux, nous présentons des SMA capables d'évoluer pour apprendre à s'organiser en formes complexes. Nous raffinons ensuite ce modèle pour reproduire la croissance de la forme par agrégation. Nous présentons ensuite la plate-forme de simulation de Vie Artificielle, TurtleKit 2, modifiée et améliorée pour les besoins de cette thèse et nous concluons enfin en exhibant des applications possibles des modèles présentés. Directeur(s) de thèse : FERBER J. Rapporteur(s) : HASSAS S.;CHEVRIER V. Examinateur(s) : BOURGINE P.;MICHEL F.;MULLER J.P.;SIMONIN O. Date de soutenance : 19/12/2007 Réservation
Réserver ce document
Exemplaires
Cote Support Localisation Section Notes Disponibilité THE-07 / 13440 Non renseigné THESES INFORMATIQUE Disponible
