EBookClubs

Read Books & Download eBooks Full Online

EBookClubs

Read Books & Download eBooks Full Online

Book UN ENVIRONNEMENT DE MODELISATION MULTI AGENTS POUR LA SPECIFICATION ET L EVALUATION DES PERFORMANCES DES SYSTEMES INDUSTRIELS DE PRODUCTION

Download or read book UN ENVIRONNEMENT DE MODELISATION MULTI AGENTS POUR LA SPECIFICATION ET L EVALUATION DES PERFORMANCES DES SYSTEMES INDUSTRIELS DE PRODUCTION written by JEAN-YVES.. GOUJON and published by . This book was released on 1997 with total page 242 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE ETUDE SE SITUE DANS LA CADRE DE LA MODELISATION, DE LA SPECIFICATION ET DE L'EVALUATION DES PERFORMANCES DES SYSTEMES INDUSTRIELS DE PRODUCTION. NOTRE TRAVAIL REPOSE SUR LA METHODOLOGIE DE MODELISATION DE SYSTEMES INDUSTRIELS DE PRODUCTION ET SUR LE CONCEPT D'ENVIRONNEMENT DE MODELISATION DEFINIS AU LABORATOIRE D'INFORMATIQUE (LIMOS) DE L'UNIVERSITE BLAISE PASCAL DE CLERMONT-FERRAND. DANS UNE PREMIERE PARTIE, NOUS PROPOSONS UNE DEMARCHE DE SPECIFICATION DU SOUS-SYSTEME DECISIONNEL DES SYSTEMES INDUSTRIELS DE PRODUCTION. CETTE DEMARCHE COMPREND UNE STRUCTURATION DU SOUS-SYSTEME DECISIONNEL QUI MET EN UVRE UN MODELE MULTI-AGENTS ET UNE SPECIFICATION DE L'ALGORITHME DE RESOLUTION DES AGENTS DU MODELE AVEC LA METHODE SA-RT. DANS UNE DEUXIEME PARTIE, NOUS PROPOSONS UN ENVIRONNEMENT DE MODELISATION MULTI-AGENTS POUR LA RESOLUTION DES PROBLEMES LIES AUX SYSTEMES INDUSTRIELS DE PRODUCTION. CET ENVIRONNEMENT COMPREND : LA DEMARCHE DE SPECIFICATION PROPOSEE DANS LA PREMIERE PARTIE ET UN ENVIRONNEMENT LOGICIEL, APPELE COUPLAGE-TRIPLE. LE COUPLAGE-TRIPLE MET EN OEUVRE UNE METHODE D'OPTIMISATION POUR DETERMINER L'ORDRE D'UTILISATION DES PIECES EN ENTREE DU SYSTEME, UN MODELE MULTI-AGENTS POUR SPECIFIER ET PLANIFIER LE FONCTIONNEMENT INTERNE DU SYSTEME ET UN MODELE DE SIMULATION POUR EVALUER LES PERFORMANCES DU SYSTEME. CE TRAVAIL EST VALIDE SUR TROIS EXEMPLES INDUSTRIELS. LE PREMIER EXEMPLE CONCERNE LE DIMENSIONNEMENT ET LA PROPOSITION DE REGLES DE GESTION POUR UN SYSTEME DE PRODUCTION DE BOBINES D'ALLUMAGE. LE DEUXIEME EXEMPLE CONSISTE A CONCEVOIR UN ENVIRONNEMENT DE PLANIFICATION DYNAMIQUE POUR LES FONDERIES DE TYPE SABLE. LE TROISIEME EXEMPLE CONCERNE LA PLANIFICATION DES MOUVEMENTS D'UN ROBOT DE MANUTENTION ET L'ORDONNANCEMENT DES PIECES EN ENTREE DANS UN ATELIER DE TRAITEMENT DE SURFACE. LES RESULTATS OBTENUS PERMETTENT DES GAINS DE PRODUCTIVITE ET UNE AMELIORATION DU FONCTIONNEMENT DU SYSTEME.

Book UML 2000   The Unified Modeling Language  Advancing the Standard

Download or read book UML 2000 The Unified Modeling Language Advancing the Standard written by Andy Evans and published by Springer. This book was released on 2003-06-29 with total page 586 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the Third International Conference on the Unified Modeling Language, 2000, held in York, UK in October 2000. The 36 revised full papers presented together with two invited papers and three panel outlines were carefully reviewed and selected from 102 abstracts and 82 papers submitted. The book offers topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modeling, behavioral modeling, methodology, actions and constraints, patterns, architecture, and state charts.

Book Approche multi agents pour la conception et la construction d un environnement de simulation en vue de l   valuation des performances des ateliers multi sites

Download or read book Approche multi agents pour la conception et la construction d un environnement de simulation en vue de l valuation des performances des ateliers multi sites written by Stéphane Galland and published by . This book was released on 2001 with total page 278 pages. Available in PDF, EPUB and Kindle. Book excerpt: Nous nous situons dans le contexte de la simulation de systèmes industriels complexes et distribués en termes opérationnel, informationnel et décisionnel. Nous considérons plus particulièrement les problèmes de formalisation, de modularité, de centralisation et de mise en évidence des flux et sous-systèmes. En effet, l'évolution du contexte industriel pousse les entreprises à évoluer vers des systèmes de plus en plus décentralisés (entreprises virtuelles, groupement d'entreprises, décentralisation,...). Les méthodes et les outils de simulation existants ne supportent pas de manière optimale ces nouveaux systèmes. En effet, il reste aujourd'hui très difficile de modéliser et simuler le comportement de systèmes tels que les groupements d'entreprises. Après avoir mis en évidence cette problématique, nous proposons dans le cadre de nos travaux de recherche une apporche méthodologique adaptée aux systèmes industriels fortement distribués. Cette approche est basée sur les systèmes multi-agents et reste indépendante de toute plateforme ou outil informatique. Nous proposons un cycle de vie et une première définition des phases les plus importantes : spécification d'un modèle de simumation, conception d'un modèle multi-agents et implantation d'un modèle informatique. Les concepts que nous mettons en oeuvre (systèmes multi-agents, systémique, ...) nous permettent de répondre aux différents problèmes posés par les systèmes de production complexes et distribués.

Book Supply Chain Optimisation

Download or read book Supply Chain Optimisation written by Alexandre Dolgui and published by Springer Science & Business Media. This book was released on 2006-06-18 with total page 293 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume collects recent results in supply chain optimisation. It presents new approaches and methods based on operations research, artificial intelligence and advanced computing techniques for design of production systems, supply and inventory management, production planning and scheduling, location, transportation and logistics, and simulation in supply flow optimisation. The text presents a wide spectrum of optimisation problems taking into account supply chain paradigms, which are pivotal to improving productivity.

Book Proceedings of the     European Simulation Multiconference

Download or read book Proceedings of the European Simulation Multiconference written by and published by . This book was released on 1996 with total page 1186 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Proposition d un environnement de mod  lisation et de test d architectures de pilotage par le produit de syst  mes de production

Download or read book Proposition d un environnement de mod lisation et de test d architectures de pilotage par le produit de syst mes de production written by Rémi Pannequin and published by . This book was released on 2007 with total page 142 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le développement des technologies infotroniques, qui permettent de faire porter numériquement des données par le produit afin de lui conférer un rôle actif dans la boucle cybernétique, conduisent à remettre en question l'organisation conventionnelle des systèmes de pilotage, pour s'orienter vers un pilotage par le produit. Il existe un large consensus sur l'intérêt de cette approche dans la prise de décision tant centralisée que distribuée. Cependant, peu de travaux portent sur l'évaluation de l'efficience du pilotage par le produit dans l'interaction entre des systèmes d'information centralisés de niveau business (ERP) et des systèmes distribués de niveaux process (MES). Notre contribution porte sur un outil de modélisation et de simulation de systèmes de pilotage contrôlés par le produit afin d'évaluer différentes topologies d'organisation combinant décisions centralisées et/ou distribuées en comparant certains critères de productivité. Nous présentons d'abord la définition, le développement et la validation d'un environnement d'évaluation orienté composants, basé sur un outil d'émulation et un système multi-agents, permettant d'analyser les performances d'un système de pilotage par le produit et de le comparer avec des approches classiques. Nous présentons ensuite l'application du pilotage par le produit à partir d'une série d'expériences réalisées à l'aide de l'environnement développé. Ces expériences, menées sur un cas industriel ainsi que sur une plateforme d'expérimentation de laboratoire permettent d'éprouver et de valider la faisabilité du concept de pilotage par le produit en terme d'impact décisionnel et en terme de contraintes techniques.

Book Simulation spatiale    base d   agents avec NetLogo 1

Download or read book Simulation spatiale base d agents avec NetLogo 1 written by Arnaud Banos and published by ISTE Group. This book was released on 2015-02-01 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: La simulation spatiale à base d’agents a connu un essor considérable au sein de la communauté scientifique, mais également auprès de nombreuses disciplines de sciences sociales. Les modèles agents sont tout aussi bien des outils de compréhension, de prospection et de scénarisation, que des médias de l’échange interdisciplinaire. Proposant une approche méthodologique au travers d’un exemple fil rouge inspirée d’une problématique réelle en épidémiologie, cet ouvrage étudie la modélisation à base d'agents des phénomènes spatialisés ainsi que les possibilités d’exploration de modèles agent offertes par la plateforme NetLogo (modèles agrégés, systèmes dynamiques, systèmes multi-acteurs). Guide pédagogique, il s’appuie sur des techniques reconnues de modélisation et de prospection via des méthodes d’exploration et de scénarisation par simulation participative.

Book Jfms 2022

    Book Details:
  • Author : Collectif Workshop Red
  • Publisher : Éditions Cépaduès
  • Release : 2022-04-20
  • ISBN : 2364939313
  • Pages : 13 pages

Download or read book Jfms 2022 written by Collectif Workshop Red and published by Éditions Cépaduès. This book was released on 2022-04-20 with total page 13 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les Journées Francophones de la Modélisation et de la Simulation. Ingénierie Dirigée par les Modèles pour la Théorie de la Modélisation et de la Simulation et les Systèmes Multi-Agents.

Book ANALYSE ET SPECIFICATION DE SYSTEMES DE PRODUCTION POUR L EVALUATION DES PERFORMANCES ET LA RECHERCHE D ORDONNANCEMENTS

Download or read book ANALYSE ET SPECIFICATION DE SYSTEMES DE PRODUCTION POUR L EVALUATION DES PERFORMANCES ET LA RECHERCHE D ORDONNANCEMENTS written by Christophe Caux and published by . This book was released on 1993 with total page 206 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES SYSTEMES DE PRODUCTION POSENT DE NOMBREUX PROBLEMES, TANT AU NIVEAU DE LEUR CONCEPTION QUE DE LEUR EXPLOITATION. CES PROBLEMES NECESSITENT LE RECOURS A L'EVALUATION DES PERFORMANCES DU SYSTEME ETUDIE AFIN D'AIDER A LA DECISION ET D'EVITER DES INVESTISSEMENTS INCONSIDERES. LES OBJECTIFS DE CETTE THESE SONT D'UNE PART DE PROPOSER UNE METHODOLOGIE DE MODELISATION POUR LA CLASSE DES SYSTEMES DE PRODUCTION ET D'AUTRE PART DE CHERCHER DES ORDONNANCEMENTS PLANIFIES EN UTILISANT UN COUPLAGE ENTRE DES METHODES D'ORDONNANCEMENT ET UN MODELE DE SIMULATION. LA PREMIERE PARTIE DE CETTE THESE PRESENTE LES PROBLEMES QUE POSENT LES SYSTEMES DE PRODUCTION ET CRITIQUE QUELQUES ENVIRONNEMENTS DE MODELISATION EXISTANTS. LA METHODOLOGIE PROPOSEE REPOSE SUR UNE APPROCHE HIERARCHIQUE, UNE APPROCHE ORIENTEE-OBJETS ET LES RESEAUX DE PETRI POUR L'ANALYSE ET LA SPECIFICATION DE L'ASPECT STATIQUE DU SYSTEME. LA DYNAMIQUE DU SYSTEME EST DECRITE SELON UNE APPROCHE TRANSACTIONNELLE. UNE TECHNIQUE PERMETTANT DE GENERER AUTOMATIQUEMENT UN MODELE DE SIMULATION QNAP2 (QUEUEING NETWORK ANALYSIS PACKAGE) A PARTIR DE LA SPECIFICATION EST PRESENTEE. LA DEUXIEME PARTIE PROPOSE UN COUPLAGE ENTRE DES METHODES D'ORDONNANCEMENTS ET UN MODELE DE SIMULATION POUR LA DETERMINATION D'ORDONNANCEMENTS PLANIFIES DE SYSTEMES COMPLEXES. CE COUPLAGE EST MIS EN UVRE AVEC L'ALGORITHME DU RECUIT SIMULE ET AVEC UNE HEURISTIQUE ORIGINALE NOMMEE SESF QUI OFFRE UN TRES BON RAPPORT TEMPS D'EXECUTION/QUALITE DU RESULTAT. LA METHODOLOGIE DE MODELISATION PROPOSEE ET L'UTILISATION DU COUPLAGE POUR LA RECHERCHE D'ORDONNANCEMENTS SONT VALIDEES SUR DEUX EXEMPLES INDUSTRIELS: UNE CHAINE DE SOUDURE DE MOTEURS D'ESSUIE-GLACES DU GROUPE VALEO ET UN ATELIER DE DECAPAGE DE PIECES D'AVIONS

Book Un environnement actif pour la simulation multi agents

Download or read book Un environnement actif pour la simulation multi agents written by Fabien Badeig and published by . This book was released on 2010 with total page 232 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans cette thèse, nous proposons un modèle de simulation multi-agents, le modèle Eass (Environment as Active Support for Simulation) dont l'originalité est d'intégrer le processus de simulation dans la modélisation du système. Actuellement lors de l'élaboration d'une simulation, la modélisation du système se confond avec sa mise en oeuvre dans une plate-forme de simulation car la phase d'activation des agents gérée par un ordonnanceur global et la phase d'action des agents qui intègre le mécanisme de sélection d'actions de l'agent dépendra en partie de la plate-forme de simulation. Notre proposition est d'externaliser l'évaluation du contexte local à chaque agent et la sélection du comportement en fonction de cette évaluation dans une entité centrale qui est l'environnement, tout en gardant les propriétés d'autonomie, de réactivité et de pro activité propres au paradigme multi-agent. Pour ce faire, il a fallu réifier le lien entre le contexte d'un agent et son comportement associé à ce contexte en s'appuyant sur le principe Property-based Coordination pour permettre la représentation et la gestion des informations relatives aux composants du système. Ainsi, la modélisation ne consiste pas uniquement à modéliser le comportement de l'agent mais également à modéliser le comportement de la simulation en prenant en compte le processus d' ordonnancement. Après avoir proposé un modèle de simulation, nous avons explicité une architecture fonctionnelle précisant les spécifications que les plates-formes de simulation doivent respecter pour mettre en oeuvre notre modèle Eass. Pour illustrer cette architecture, deux plates-formes de simulation furent développées : la première à partir d'outils existants en couplant la plate-forme agent MadKit avec un générateur de systèmes experts Jess, et la deuxième qui est une plate- forme que nous avons entièrement développée pour s'abstraire des concessions liées à l'utilisation d'outils existants. L'application de notre modèle de simulation est un problème de gestion de crise dans les transports. Pour la modélisation du problème, il a fallu prendre en compte les contraintes organisationnelles et communicationnelles qui résultent de la nécessité de faire intervenir différents services avec leurs propres protocoles pour résorber la crise. Pour répondre à ce problème, nous nous sommes appuyés sur l'extension du modèle organisationnel Moise qui intègre la modélisation de la dimension communicationnelle de l'organisation, auquel nous avons intégré la modélisation de la simulation avec la défi nition des comportements des agents

Book Optimisation des syst  mes de production

Download or read book Optimisation des syst mes de production written by Philippe Lacomme and published by . This book was released on 1998 with total page 287 pages. Available in PDF, EPUB and Kindle. Book excerpt: DANS LE CADRE DE L'OPTIMISATION ET DU PILOTAGE DES SYSTEMES INDUSTRIELS DE PRODUCTION A FLUX DISCRETS, LES PROBLEMES A RESOUDRE SONT DES PROBLEMES DE DIMENSIONNEMENT, DE COMPREHENSION DU FONCTIONNEMENT DU SYSTEME, DE SUIVI ET DE GESTION DE LA PRODUCTION, DE PLANIFICATION ET D'ORDONNANCEMENT AINSI QUE DE PILOTAGE. IL EXISTE DIFFERENTS CAS DE FIGURE SUIVANT QUE L'ON CHERCHE A RESOUDRE LES PROBLEMES DE MANIERE PREDICTIVE OU REACTIVE ET SELON QUE LE SYSTEME ETUDIE POSSEDE OU NON UN COMPORTEMENT DETERMINISTE (PRESENCE DE PANNES OU D'ALEAS). UNE PREMIERE PARTIE DE NOTRE TRAVAIL PORTE SUR LA RESOLUTION DE PROBLEMES DANS LE CAS D'APPROCHE PREDICTIVE EN UTILISANT DES ALGORITHMES STOCHASTIQUES ISSUS DU RECUIT SIMULE. UNE DEUXIEME PARTIE PORTE SUR LA RESOLUTION DE PROBLEME D'ORDONNANCEMENT ET DE PLANIFICATION AVEC UNE APPROCHE REACTIVE GRACE A UN MODELE DETERMINISTE DU SYSTEME. NOUS PROPOSONS UN ENVIRONNEMENT LOGICIEL, LE COUPLAGE-TRIPLE DETERMINISTE QUI UTILISE UN MODELE D'EVALUATION DU CRITERE A MINIMISER, UN MODELE D'OPTIMISATION ET UN MODULE SPECIFIANT LE FONCTIONNEMENT INTERNE DU SYSTEME. CET ENVIRONNEMENT EST MIS EN UVRE SUR UN PROBLEME DE PLANIFICATION DANS LES FONDERIES DE TYPE SABLE ET UN PROBLEME D'ORDONNANCEMENT DANS UNE LIGNE DE TRAITEMENT DE SURFACE. UNE TROISIEME PARTIE PORTE SUR L'IMPACT DES EVENEMENTS ALEATOIRES DANS LES SYSTEMES DE PRODUCTION. NOUS PROPOSONS LE COUPLAGE-TRIPLE STOCHASTIQUE AFIN DE MESURER LES CONSEQUENCES DES EVENEMENTS ALEATOIRES ET POUR DETERMINER DES ORDONNANCEMENTS DE LA PRODUCTION POUR LESQUELS CES CONSEQUENCES SOIENT AUSSI FAIBLES QUE POSSIBLE. NOUS PROPOSONS D'UTILISER UN ALGORITHME STOCHASTIQUE D'OPTIMISATION D'UNE VARIABLE ALEATOIRE QUI CONVERGE EN PROBABILITE. LE COUPLAGE-TRIPLE STOCHASTIQUE EST UTILISE SUR UN PROBLEME DE PLANIFICATION DANS LES FONDERIES DE TYPE SABLE ET UN PROBLEME D'ORDONNANCEMENT DANS UN FLOW-SHOP STOCHASTIQUE. UNE QUATRIEME PARTIE EST CONSACREE A L'ETUDE DES PROBLEMES DE PILOTAGE. NOUS DEFINISSONS LA NOTION D'ENVIRONNEMENT DE PILOTAGE COMME UN CADRE GENERIQUE POUR ASSISTER LE CONCEPTEUR D'UN SYSTEME DE PILOTAGE. CET ENVIRONNEMENT DE PILOTAGE EST UTILISE POUR DEFINIR ET IMPLANTER UN SYSTEME DE PILOTAGE POUR UNE LIGNE DE TRAITEMENT DE SURFACES.

Book MODELISATION ET SIMULATION DE L ENVIRONNEMENT DANS LES SYSTEMES MULTI AGENTS  APPLICATION AUX ROBOTS FOOTBALLEURS

Download or read book MODELISATION ET SIMULATION DE L ENVIRONNEMENT DANS LES SYSTEMES MULTI AGENTS APPLICATION AUX ROBOTS FOOTBALLEURS written by Laurent Magnin and published by . This book was released on 1996 with total page 318 pages. Available in PDF, EPUB and Kindle. Book excerpt: CETTE THESE EST CONSACREE A LA MODELISATION ET LA SIMULATION DE L'ENVIRONNEMENT DANS LE CADRE DES SYSTEMES MULTI-AGENTS, SUJET TROP PEU SOUVENT ETUDIE. A PARTIR DU PROJET MICROB AYANT POUR BUT L'ETUDE DE LA COOPERATION ENTRE ROBOTS (ESSENTIELLEMENT ENTRE ROBOTS FOOTBALLEURS), NOUS PRESENTONS UN PANORAMA DES FORMES ACTUELLES DE ROBOTIQUE, NOTAMMENT DE LA ROBOTIQUE MOBILE COLLECTIVE. AYANT A SIMULER DE TELS ROBOTS FOOTBALLEURS SUR ORDINATEUR, SONT EXPOSES DIVERS SIMULATEURS (SOIT PUREMENT ROBOTIQUES, SOIT DE SYSTEMES MULTI-AGENTS SITUES). APRES UN EXPOSE GENERAL ET CRITIQUE SUR LA MODELISATION ET LA SIMULATION DE L'ENVIRONNEMENT DES SYSTEMES MULTI-AGENTS, NOUS PROPOSONS UN MODELE ORIGINAL DE SIMULATION DE TELS SYSTEMES (SIMULATION EVENEMENTIELLE DECRITE PAR DES REGLES ENVIRONNEMENTALES DECLARATIVES). UN SIMULATEUR, SIEME, UTILISANT CE PRINCIPE EST ENSUITE EXPOSE EN DETAIL. POUR FINIR, NOUS DECRIVONS LA SIMULATION DU PROJET MICROB QUE NOUS AVONS PU REALISER SUR ORDINATEUR GRACE A CETTE PLATE-FORME

Book Explicabilit   des syst  mes multi agents

Download or read book Explicabilit des syst mes multi agents written by and published by . This book was released on 2023-07-05 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Book Analyse de performance par simulation et conception de syst  mes de production robustes

Download or read book Analyse de performance par simulation et conception de syst mes de production robustes written by Séverine Durieux and published by . This book was released on 2003 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: La simulation des flux tient, dans les études de conception de systèmes une place prépondérante. Cependant, la plupart des études ne prend en compte qu'un contexte donné (i.e. un environnement). Or, cet environnement peut changer. Ainsi, les très bonnes performances obtenues sur un environnement peuvent être détériorées si celui-ci évolue. Il est donc important de prendre en compte ces changements éventuels lors de l'évaluation des solutions, pour concevoir des systèmes performants et robustes. Dans ce travail, nous nous intéressons à la notion de robustesse, présentons plusieurs approches de la littérature, leurs intérêts et leurs limites. Nous proposons un cadre conceptuel et une démarche méthodologique pour aborder ce type d'étude. Nous suggérons l'utilisation de plusieurs autres méthodes comme les treillis de Galois ou l'analyse de risque ainsi qu'une nouvelle approche basée sur des courbes de références. Enfin, plusieurs applications industrielles illustrent ces approches

Book Environnement multi agent pour la multi mod  lisation et simulation des syst  mes complexes

Download or read book Environnement multi agent pour la multi mod lisation et simulation des syst mes complexes written by Benjamin Camus and published by . This book was released on 2015 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail de thèse porte sur l'étude des systèmes complexes par une démarche de modélisation et simulation (M&S). La plupart des questionnements sur ces systèmes nécessitent de prendre en compte plusieurs points de vue simultanément. Il faut alors considérer des phénomènes évoluant à des échelles (temporelles et spatiales) et des niveaux de résolutions (de microscopique à macroscopique) différents. De plus, l'expertise nécessaire pour décrire le système vient en général de plusieurs domaines scientifiques. Les défis sont alors de concilier ces points de vues hétérogènes, et d'intégrer l'existant de chaque domaine (formalismes et logiciels de simulation) tout en restant dans le cadre rigoureux de la démarche de M&S. Pour répondre à ces défis, nous mobilisons à la fois des notions de modélisation multi-niveau (intégration de représentations micro/macro), de modélisation hybride (intégration de formalismes discrets/continus), de simulation parallèle, et d'ingénierie logicielle (interopérabilité logiciel, et ingénierie dirigée par les modèles). Nous nous inscrivons dans la continuité des travaux de M&S existants autour de l'approche AA4MM et du formalisme DEVS. Nous étudions en effet dans cette thèse en quoi ces approches sont complémentaires et permettent, une fois combinées dans une démarche d'Ingénierie Dirigée par les Modèles (IDM), de répondre aux défis de la M&S des systèmes complexes. Notre contribution est double. Nous proposons d'une part les spécifications opérationnelles de l'intergiciel de co-simulation MECSYCO permettant de simuler en parallèle un modèle de manière rigoureuse et complètement décentralisée. D'autre part, nous proposons une approche d'IDM permettant de décrire de manière non-ambiguë des modèles, puis de systématiser leur implémentation dans MECSYCO. Nous évaluons les propriétés de notre approche à travers plusieurs preuves de concept portant sur la M&S du trafic autoroutier et sur la résolution numérique d'un système d'équations différentielles.

Book Approche formelle et op  rationnelle de la multi mod  lisation et de la simulation des syst  mes complexes

Download or read book Approche formelle et op rationnelle de la multi mod lisation et de la simulation des syst mes complexes written by Gauthier Quesnel and published by . This book was released on 2006 with total page 204 pages. Available in PDF, EPUB and Kindle. Book excerpt: Dans le cadre de la recherche scientifique, nous assistons depuis quelques années à un essor de la multi-modélisation, c’est-à-dire, l’utilisation de la combinaison de différents formalismes pour l’étude des systèmes complexes où l’informatique se présente comme l’un des supports théoriques ou opérationnels pour son développement. La problématique étudiée dans cette thèse découle de ces travaux. Nous étudions, en particulier, le couplage de modèles hétérogènes en utilisant la spécification à événements discrets de B. P. Zeigler, DEVS, Discret EVent System specification. Nos travaux portent principalement sur les ajouts, à ce formalisme, d’outils aussi bien formels qu’opérationnels pour simplifier le couplage ou le développement de modèles. Nous étudions également la construction de plans d’expériences, le paramétrage de modèles et la distribution de simulation. De ces travaux, sont nées des collaborations avec des laboratoires de biologie où la nécessité de la création d’une spécification formelle des Systèmes Multi-Agents, principalement centré individu, est apparue. Nous proposons cette spécification en nous basant sur les travaux de J.C. Soulié et les environnements multiples et R. Duboz pour le comportement des agents. L’ensemble des objets manipulés par les SMA sont définis suivant une approche modulaire où chaque entité est spécialisée dans un domaine. Afin de mettre en œuvre tous les concepts étudiés dans cette thèse, une plate-forme logicielle VLE, Virtual Laboratory Environment, recouvrant tous les aspects de la multi-modélisation a été développée.