Commande avant 16h,
expédié le jour même (lu. - ve.)
Livraison express sous 48h.
Rubrique :
Données - Informatique - I.A. - IHM
ISBN :
9782364935396
Référence :
1539
Année de parution :
2016
Le réseau RED organise la première édition des Journées DEVS Francophones (JDF). RED a pour but de développer, fédérer et promouvoir les travaux autour de la théorie de la modélisation et de la simulation, et plus particulièrement autour du formalisme DEVS et de ses extensions. L’objectif est de promouvoir une approche systémique et intégrée de la modélisation des systèmes complexes. Les principaux thèmes du réseau sont :
- l’ingénierie des modèles ;
- la validation et la certification des simulateurs ;
- la performance des simulateurs ;
- la validation et la vérification des modèles.
| Référence : | 1539 |
| Nombre de pages : | 136 |
| Format : | 17x24 |
| Reliure : | Broché |
| Rôle | |
|---|---|
| Collectif Workshop Red | Auteur |
Introduction
P.-A. Bisgambiglia, G. Quesnel and R. Duboz
Conférences invitées
DEVS: Past, Present, and Future
Bernard P. Zeigler
Parcours de grands graphes et calcul à hautes performances : l’exemple du graph500
Michael Krajecki et François Alin
The Leviathan Model
Guillaume Deffuant
Articles courts
Modeling organization of spiking neural nets in DEVS for high performance parallel simulation
A. Muzy and B. Zeigler
Vers une nouvelle spécification formelle des systèmes multi-agents
R. Franceschini, P.-A. Bisgambiglia and P. Bisgambiglia
Modélisation participative, pensée systémique et questions de santé
R. Duboz
Formulation spatiale de données SIG pour la simulation de MAS/LUCC
D. Prunetti, P.-A. Bisgambiglia, C. Dettoto, E. Innocenti, C. Tafani, Y. Jouve and F. Gueniot
Théorie de la Modélisation et de la Simulation
Extension du formalisme SES pour l’intégration de la hiérarchie d’abstraction et la granularité
temporelle au sein de la modélisation et de la simulation DEVS
L. Capocchi, J.-F. Santucci and B.P. Zeigler
Formal Methods and Discrete-Event Simulations
A. Yacoub, M. Hamri and C. Frydman
Phénomènes de Diffusion au sein des Réseaux Sociaux Multicouches : Modélisation et Simulation
Y. Bouanan, J. Ribault, G. Zacharewicz and B. Vallespir
Applications et API 47
DEVSimpy-mob : une application mobile hybride pour la simulation à évènements discrets des systèmes ubiquitaires
L. Capocchi, S. Sehili, C. Kessler and J.-F. Santucci
An overview of Python PDEVS
Y. Van Tendeloo, H. Vangheluwe
Encoding CDEVS and PDEVS into Timed Petri Net
V. Albert, S. S. Ponnusamy
Plateforme DEVS multicomposant dédiée à la gestion des pêcheries
E. Innocenti, P.-A. Bisgambiglia and D. Urbani
Optimisation et Simulation
L’optimisation via la simulation : proposition d’une architecture nouvelle intégrant le formalisme DEVS
B. Poggi, T. Antoine-Santoni and J.-F. Santucci
Optimisation des simulations DEVS distribuées par apprentissage indépendant de la dynamique des modèles
C. Herbez, E. Ramat and G. Quesnel
La reproductibilité des simulations stochastiques parallèles et distribuées utilisant le calcul à haute performance
Van Toan Dao, Vincent Breton, Hong Quang Nguyen and David R.C. Hill
Démo
VLE
Gauthier Quesnel
MS4Me and DEVSimPy
L. Capocchi, J.-F. Santucci and B.P. Zeigler
ProDEVS
V. Albert and C. Foucher
fwkDEVS
A. Hamri
P.-A. Bisgambiglia, G. Quesnel and R. Duboz
Conférences invitées
DEVS: Past, Present, and Future
Bernard P. Zeigler
Parcours de grands graphes et calcul à hautes performances : l’exemple du graph500
Michael Krajecki et François Alin
The Leviathan Model
Guillaume Deffuant
Articles courts
Modeling organization of spiking neural nets in DEVS for high performance parallel simulation
A. Muzy and B. Zeigler
Vers une nouvelle spécification formelle des systèmes multi-agents
R. Franceschini, P.-A. Bisgambiglia and P. Bisgambiglia
Modélisation participative, pensée systémique et questions de santé
R. Duboz
Formulation spatiale de données SIG pour la simulation de MAS/LUCC
D. Prunetti, P.-A. Bisgambiglia, C. Dettoto, E. Innocenti, C. Tafani, Y. Jouve and F. Gueniot
Théorie de la Modélisation et de la Simulation
Extension du formalisme SES pour l’intégration de la hiérarchie d’abstraction et la granularité
temporelle au sein de la modélisation et de la simulation DEVS
L. Capocchi, J.-F. Santucci and B.P. Zeigler
Formal Methods and Discrete-Event Simulations
A. Yacoub, M. Hamri and C. Frydman
Phénomènes de Diffusion au sein des Réseaux Sociaux Multicouches : Modélisation et Simulation
Y. Bouanan, J. Ribault, G. Zacharewicz and B. Vallespir
Applications et API 47
DEVSimpy-mob : une application mobile hybride pour la simulation à évènements discrets des systèmes ubiquitaires
L. Capocchi, S. Sehili, C. Kessler and J.-F. Santucci
An overview of Python PDEVS
Y. Van Tendeloo, H. Vangheluwe
Encoding CDEVS and PDEVS into Timed Petri Net
V. Albert, S. S. Ponnusamy
Plateforme DEVS multicomposant dédiée à la gestion des pêcheries
E. Innocenti, P.-A. Bisgambiglia and D. Urbani
Optimisation et Simulation
L’optimisation via la simulation : proposition d’une architecture nouvelle intégrant le formalisme DEVS
B. Poggi, T. Antoine-Santoni and J.-F. Santucci
Optimisation des simulations DEVS distribuées par apprentissage indépendant de la dynamique des modèles
C. Herbez, E. Ramat and G. Quesnel
La reproductibilité des simulations stochastiques parallèles et distribuées utilisant le calcul à haute performance
Van Toan Dao, Vincent Breton, Hong Quang Nguyen and David R.C. Hill
Démo
VLE
Gauthier Quesnel
MS4Me and DEVSimPy
L. Capocchi, J.-F. Santucci and B.P. Zeigler
ProDEVS
V. Albert and C. Foucher
fwkDEVS
A. Hamri
Livres de l'auteur Collectif Workshop Red
