Affichage des articles dont le libellé est modélisation. Afficher tous les articles
Affichage des articles dont le libellé est modélisation. Afficher tous les articles

ICSMO 2018

ICSMO 2018

The 6th International Conference on System Modeling and Optimization  
University of Valenciennes, Valenciennes, France  / February 7-11, 2018

ICSMO is calling for papers !

Accepted papers of ICSMO 2018 will be published in the International Journal of Modeling and Optimization (ISSN:2010-3697 www.ijmo.org ), which will be indexed by Engineering & Technology Digital Library, ProQuest, Crossref, Electronic Journals Library,DOAJ, Google Scholar, EI (INSPEC, IET).

Régulation de trafic urbain multimodal : une modélisation multi-agents

Régulation de trafic urbain multimodal : une modélisation multi-agents
Matthis Gaciarz 1, 2 

1 SMA - Systèmes Multi-Agents
LIRIS - Laboratoire d'InfoRmatique en Image et Systèmes d'information
http://www.grettia.ifsttar.fr/

Résumé : Depuis plusieurs décennies, la congestion urbaine est de plus en plus répandue et dégrade la qualité de vie des habitants des villes. Plusieurs méthodes sont utilisées pour diminuer la congestion urbaine, notamment la régulation du trafic et la valorisation des transports en commun. Depuis les années 1990 l'utilisation d‘outils issus de l'intelligence artificielle, et en particulier des méthodes distribuées et les systèmes multi-agents, a permis de concevoir de nouvelles méthodes de régulation du trafic. Parallèlement, l'amélioration des capacités de communication des véhicules et des conducteurs et l'arrivée de voitures autonomes permettent d'envisager de nouvelles approches en matière de régulation. Le travail de recherche proposé dans le cadre de cette thèse est structuré en deux volets. Nous proposons d'abord une méthode de régulation du trafic à une intersection s'appuyant sur la négociation automatique. Notre méthode se fonde sur un système d'argumentation décrivant l'état du trafic et les préférences de chacun, appuyé par des méthodes de raisonnement pour les véhicules et les infrastructures. Dans le deuxième volet de cette thèse, nous proposons une méthode de coordination des bus avec le reste du trafic. Celle-ci permet à un bus de se coordonner de manière anticipative avec les prochaines intersections qu'il prévoit de traverser, afin de mettre en place une politique commune de régulation qui permet au bus d'atteindre son prochain arrêt en subissant le minimum de congestions potentielles

Combining microscopic traffic modelling and 3 pollutant emission modellings to assess modifications of traffic supply and demand.

Combining microscopic traffic modelling and 3 pollutant emission modellings to assess modifications of traffic supply and demand.
Résumé : Traffic management definition and assessment strategies rely on results from successive stages of modelling: from traffic to air pollution concentrations. The objective of this study was to improve this modelling process. Combining microscopic traffic modelling and 3 pollutant emission modellings was performed: two using aggregated traffic estimates (HBEFA, Copert) and the other using vehicle trajectory (Phem). The studied area is part of the Lyon urban area (6,2 km², 2091 road sections). Traffic and emissions were simulated for 16 scenario resulting from modifications of supply or demand (traffic calibration on the afternoon rush hour). Copert and HBEFA estimations show many similarities and differences with Phem. Ranking of scenarios on the basis of their variation to the reference was performed and analysed. Copert and HBEFA provide the same ranking. To focus on the analysis of two scenarios, difference of NOx emissions per link were maped (only the higher variations). The relevance of dealing with both the network and the links spatial scales to assess the impact of the scenario was clearly shown
Anne-Laure Badin, Aurore Clavel, Thérèse Vittoz, Caroline Sorand, Delphine Lejri, et al.. Combining microscopic traffic modelling and 3 pollutant emission modellings to assess modifications of traffic supply and demand.. Journal of Earth Sciences and Geotechnical Engineering, 2017, 7 (1), pp.175-190. <https://www.scienpress.com/journal_focus.asp?main_id=59&Sub_id=IV&Issue=112175><hal-01493777>

Thèse IFSTTAR GRETTIA - Régulation de trafic urbain multimodal : une modélisation multi-agents

Thèse IFSTTAR GRETTIA - Régulation de trafic urbain multimodal : une modélisation multi-agents

Résumé : Depuis plusieurs décennies, la congestion urbaine est de plus en plus répandue et dégrade la qualité de vie des habitants des villes. Plusieurs méthodes sont utilisées pour diminuer la congestion urbaine, notamment la régulation du trafic et la valorisation des transports en commun. Depuis les années 1990 l'utilisation d‘outils issus de l'intelligence artificielle, et en particulier des méthodes distribuées et les systèmes multi-agents, a permis de concevoir de nouvelles méthodes de régulation du trafic. Parallèlement, l'amélioration des capacités de communication des véhicules et des conducteurs et l'arrivée de voitures autonomes permettent d'envisager de nouvelles approches en matière de régulation. Le travail de recherche proposé dans le cadre de cette thèse est structuré en deux volets. Nous proposons d'abord une méthode de régulation du trafic à une intersection s'appuyant sur la négociation automatique. Notre méthode se fonde sur un système d'argumentation décrivant l'état du trafic et les préférences de chacun, appuyé par des méthodes de raisonnement pour les véhicules et les infrastructures. Dans le deuxième volet de cette thèse, nous proposons une méthode de coordination des bus avec le reste du trafic. Celle-ci permet à un bus de se coordonner de manière anticipative avec les prochaines intersections qu'il prévoit de traverser, afin de mettre en place une politique commune de régulation qui permet au bus d'atteindre son prochain arrêt en subissant le minimum de congestions potentielles
TH2016GACIARZMATTHIS.pdf
Matthis Gaciarz 1, 2 

Laval virtual 2017, du 22 au 26 mars 2017 à Laval

Laval virtual 2017, du 22 au 26 mars 2017 à Laval

Laval Virtual s’associe à Media Deals, avec le soutien de Creative Europe Media et le CNC pour mettre à l'honneur et valoriser les contenus de Réalité Virtuelle et Réalité Augmentée au sein du plus important événement international dédié aux Technologies du Virtuel : LAVAL VIRTUAL 2017, qui se tiendra du 22 au 26 Mars 2017. 
Dans le cadre ces sélections, les studios auront l'opportunité de venir présenter leur activité auprès d'un public qualifié lors des Berlinales, le 16 Février 2017 à Berlin.
Vous êtes producteur de contenus VR et/ou AR ? Vous cherchez à communiquer auprès d’une cible qualifiée et marquer votre position sur ce domaine ? Vous avez un projet et êtes en recherche de financement ? Venez présenter votre savoir-faire au sein de la section VR/AR Contents de Laval Virtual !

A µ-calculus formulation of the diagnosability of discrete event systems: International Journal of Critical Computer-Based Systems: Vol 6, No 4

A µ-calculus formulation of the diagnosability of discrete event systems: International Journal of Critical Computer-Based Systems: Vol 6, No 4
Diagnosis is a crucial task in safety critical systems. In particular, diagnosability is the property ensuring that any failure can be determined within a finite delay. Early works on diagnosability of discrete event systems (DES) establish intermediary models from the analysed model and then call specific procedures to check diagnosablity based on these models, while some recent works try to give a diagnosability formulation as a model-checking problem. The present work attempts to contribute to this trend by developing a single framework able to handle both of the diagnosability issues: how to model the problem? and how to decide it? Namely, a generic operative formulation of diagnosability using the µ-calculus logic is established, which allows resolving the diagnosability issue within a single formalism. We also show how the developed formulation can be extended to deal with further diagnosability issues. Besides, using the same formulation, an online diagnosis algorithm is developed.
Florent Peres Univ. Lille Nord de France, F-59000 Lille, France; IFSTTAR, COSYS/ESTAS, F-59650 Villeneuve d'Ascq, France
Mohamed Ghaze Univ. Lille Nord de France, F-59000 Lille, France; IFSTTAR, COSYS/ESTAS, F-59650 Villeneuve d'Ascq, France DOI: http://dx.doi.org/10.1504/IJCCBS.2016.081806

ESI Group: première présence au CES de Las Vegas.

ESI Group: première présence au CES de Las Vegas.
ESI Group, créateur de logiciels et services de prototypage virtuel, annonce pour la première fois sa présence au Consumer Electronics Show (CES) de Las Vegas, du 5 au 8 janvier 2017, au stand 5915 dans le Hall Nord. La société présentera ESI Pro-SiVIC, sa solution pour tester virtuellement la performance opérationnelle des différents systèmes de perception à bord d'un véhicule ou d'un aéronef, ainsi que Virtual Human-in-the-loop, fruit d'un projet innovant pour créer un modèle humain de validation des systèmes de décision.
Développé en partenariat avec l'IFSTTAR, ce modèle est capable de prédire la perception, les représentations mentales, l'anticipation et la décision d'un conducteur pour évaluer comment il interagira avec son véhicule, ainsi que l'impact de son comportement sur la performance opérationnelle des nouveaux équipements avancés d'aide à la conduite.

Un modèle scientifique pour décrire le cycle de vie des bulles de champagne - Sciencesetavenir.fr

Un modèle scientifique pour décrire le cycle de vie des bulles de champagne - Sciencesetavenir.fr


Le champagne, c'est avant tout ses bulles. Mais d'où viennent-elles ? ISOPIX/SIPAGérard Liger-Belair, chercheur en mécanique des fluides au CNRS à Reims, s'est intéressé à l'histoire de ces bulles de bout en bout, de leur genèse au cours du processus de champagnification à leur éclatement une fois le bouchon sauté et les coupes servies. Le tout fait l'objet d'un double-article dans The European Physical Journal, à paraître le 6 janvier 2017. L'enjeu ? Constituer un modèle physique complet de la formation des bulles à partir du dioxyde de carbone dissout dans le liquide, de la mise en bouteille au débouchage.

Copyright Le champagne, c'est avant tout ses bulles. Mais d'où viennent-elles ?
ISOPIX/SIPA


Jean-Patrick Lebacque animera un Seminar@SystemX le 15 décembre prochain | IRT SystemX

Jean-Patrick Lebacque animera un Seminar@SystemX le 15 décembre prochain | IRT SystemX
Jean-Patrick Lebacque, ingénieur général des Ponts et chaussées et Directeur du GRETTIA (Laboratoire Génie des Réseaux de Transport Terrestres et Informatique Avancée de l’Ifsttar), va animer un Seminar@SystemX le 15 décembre prochain de 10h00 à 11h30 à l’IRT SystemX (Bâtiment 863, Salle Bienvenüe (2ème étage)) sur le thème « Évolution des systèmes de transports, évolution de la modélisation macroscopique du trafic ».

Un réacteur chimique conçu par modélisation et fabriqué par impression 3D - Une première mondiale

Un réacteur chimique conçu par modélisation et fabriqué par impression 3D - Une première mondiale

Les chercheurs d’IFP Energies nouvelles (IFPEN) ont mis au point une méthodologie innovante pour concevoir par CFD (Computational Fluid Dynamics) et fabriquer par impression 3D un réacteur chimique en métal destiné à la production de carburants propres. Si l’impression 3D en métal est déjà utilisée par l’industrie aéronautique et automobile, c’est une première expérience et une prouesse technique pour un réacteur chimique opéré à de hautes conditions de pression et température, et qui met en jeu des réactions entre du gaz, du liquide et du solide.

Les drones, nouveaux outils de la recherche | CNRS Le journal

Les drones, nouveaux outils de la recherche | CNRS Le journal
Reconstituer une abbaye en 3D, modéliser les nuages ou suivre au plus près la vie d'une communauté d'oiseaux... Les drones offrent de nouvelles possibilités aux chercheurs. «CNRS Le journal» lève le voile sur ces projets inédits.

CEA - Les matériaux du nucléaire - Modélisation et simulation des matériaux de structure

CEA - Les matériaux du nucléaire - Modélisation et simulation des matériaux de structure

Les matériaux sont la clé (ou le verrou) de pans entiers de l’industrie, en général, et de l’industrie nucléaire, en particulier. La sûreté et la durée d’exploitation des réacteurs nucléaires, la faisabilité des opérations du cycle du combustible dépendent des matériaux employés. Ce dossier décrit la démarche scientifique associée à la conception des matériaux du nucléaire : des outils de modélisation et de simulation aux outils de validation expérimentale. 

Modélisation hydrologique dans le futur : des jeunes chercheurs récompensés | Irstea

Modélisation hydrologique dans le futur : des jeunes chercheurs récompensés | Irstea

Un collectif international de 8 jeunes chercheurs – dont 2 d’Irstea (Guillaume Thirel, auteur principal, et Carina Furusho-Percot) – se sont alors posés la question : les modèles hydrologiques actuellement utilisés peuvent-ils faire face à des bassins changeants et rester pertinents pour les études d’impact réalisées par les gestionnaires ?

Congrès MCD 2016, Nantes | Chantiers de France

Congrès MCD 2016, Nantes | Chantiers de France
Organisée par l’Ifsttar, la huitième conférence internationale de la RILEM rassemblera les spécialistes des mécanismes de fissuration et de décollement des chaussées à la Cité internationale des congrès. 250 participants provenant de 35 pays y sont attendus. La manifestation permettra d’évoquer l’état de l’art et de dresser un bilan des acquis et des progrès réalisés en matière de modélisation et de détection des anomalies.
En savoir plus : http://mcd2016.sciencesconf.org/program

« La modélisation, cœur historique de l’Inria »

« La modélisation, cœur historique de l’Inria »

  La simulation, mais surtout la modélisation, est au centre des activités de l’Institut national de recherche informatique et automatique, explique Antoine Petit, son PDG.

Interstices - Modéliser et simuler la fonte des calottes polaires

Interstices - Modéliser et simuler la fonte des calottes polaires

Le niveau des mers monte, pour différentes raisons liées au réchauffement climatique. Les glaciers de  l’Antarctique et du Groenland, qu’on appelle calottes polaires ou inlandsis, jouent un rôle majeur dans l’évolution du niveau des mers. Peut-on prévoir l’évolution future de ces calottes polaires et en particulier le vêlage d’icebergs dans l’océan ?

ADVANCITY Journée modélisation urbaine 23/09/2015 Partie 1

ADVANCITY Journée modélisation urbaine 23/09/2015 Partie 1


Table-ronde 1 : "Couplage data et modélisation : est-ce la garantie d’une ville plus intelligente, plus économe et mieux préparée face aux risques ?"
Modérateur : Frédéric Bourquin (IFSTTAR)
Aria Technologies- Jacques Moussafir
COSMO - Thierry de Lumley
Université de Cergy Pontoise - Samuel Rufat
IFSTTAR - Gérard Hégron