Discrete-event modeling and simulation : theory and applications

>> Google Books

所蔵情報QRコード

Discrete-event modeling and simulation : theory and applications / edited by Gabriel A. Wainer, Pieter J. Mosterman

資料種別:

図書

出版情報:

Boca Raton, FL : CRC Press, c2011

形態:

xxiii, 510 p. ; 25 cm

シリーズ名:

Computational analysis, synthesis, and design of dynamic systems series / series editor, Pieter J. Mosterman <BB13867726>

著者名:

ISBN:

9781420072334 [1420072331] (: hbk.)

書誌ID:

BB24113396

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index

主題:

COMPUTERS / Computer Engineering bisacsh; TECHNOLOGY & ENGINEERING / Electrical bisacsh; TECHNOLOGY & ENGINEERING / Engineering (General) bisacsh

言語:

英語

目次情報:

Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler

Contributors

Theory / Section I：

DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1：

System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiÃ¡Chapter 2：

A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3：

Continuous System Simulation and Control / Ernesto Kofman ; FranÃ§ois E. Cellier ; Gustavo MigoniChapter 4：

Methodology and Tools / Section II：

Heterogeneous Model Composability / Hessam S. Sarjoughian ; Gary R. MayerChapter 5：

Effective and Efficient Modeling and Simulation with DEVS Variants / Adelinde M. Uhrmacher ; Jan Himmelspach ; Roland EwaldChapter 6：

Object-Oriented Comodeling Methodology for Development of Domain Specific DEVS Models / Chang Ho Sung ; Tag Gon KimChapter 7：

A Framework for Simulation-Based Structure and Parameter Optimization of Discrete-Event Systems / Olaf Hagendorf ; Thorsten PawlettaChapter 8：

Parallel Simulation of DEVS and Cell-DEVS Models in PCD++ / Gabriel A. Wainer ; Qi Liu ; Shafagh JaferChapter 9：

From Virtual to Real-A Progressive Simulation-Based Design Framework / Xiaolin HuChapter 10：

Applications / Section III：

Formalization for Formal Verification of an Optical Network-on-Chip Using DEVS / Luiza Gheorghe Iugan ; Gabriela Nicolescu ; Ian O'ConnorChapter 11：

Construction Simulation Using Cell-DEVS Modeling / Amin Hammad ; Hong Pang ; Cheng ZhangChapter 12：

Stochastic Modeling Strategies for the Simulation of Large (Spatial) Distributed Systems: Application to Fire Spread / Alexandre Muzy ; David R.C. HillChapter 13：

Environmental Models in DEVS: Different Approaches for Different Applications / Jean-Baptiste Filippi ; Teruhisa KomatsuChapter 14：

Standardization / Section IV：

DEVS Standardization: Foundations and Trends / Khaldoon Al-Zoubi ; Olivier Dalle ; Saurabh Mittal ; JosÃ© L. Risco MartÃn ; Hessam Sarjoughian ; Luc Touraille ; Mamadou K. TraorÃ©Chapter 15：

An Introduction to DEVS Standardization / Chapter 16：

Standardizing DEVS Model Representation / Chapter 17：

Standardizing DEVS Simulation Middleware / Chapter 18：

Index

Foreword: The DEVS Core and Challenges to Its Continued Development / Bernard P. Zeigler

Contributors

Theory / Section I：

DEVS as a Semantic Domain for Programmed Graph Transformation / Eugene Syriani ; Hans VangheluweChapter 1：

System State Identification Using DEVS / Norbert Giambiasi ; Diego Llarrull ; Maximiliano CristiÃ¡Chapter 2：

A Formal Definition of Dynamic Structure Discrete-Flow Components / Fernando BarrosChapter 3：

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium Wainer, Gabriel A., Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Society for Computer Simulation International	7 図書 Portable hydrogen energy systems : fuel cells and storage fundamentals and applications (: pbk) Ferreira-Aparicio, Paloma, Chaparro, Antonio M. Academic Press
2 電子ブック Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium Wainer, Gabriel A., Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Society for Computer Simulation International	8 電子ブック Proceedings of the 2009 Spring Simulation Multiconference Wainer, Gabriel, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Society for Computer Simulation International
3 電子ブック Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium Wainer, Gabriel, Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Society for Computer Simulation International	9 図書 Summer Computer Simulation Conference (SCSC) Summer Computer Simulation Conference, Wainer, Gabriel Printed from e-media with permission by Curran Associates
4 図書 Advances in ceramics for environmental, functional, structural, and energy applications Materials Science & Technology ... Conference & Exhibition, Mahmoud, Morsi M., Sridharan, Kumar, Colorado, Henry, … John Wiley & Sons	10 電子ブック Proceedings of the 2007 Summer Computer Simulation Conference Wainer, Gabriel A., Association for Computing Machinery-Digital Library. ACM Digital Library Proceedings, Society for Computer Simulation International
5 図書 Computational analysis, synthesis, and design of dynamic systems series Mosterman, Pieter J.	11 図書 Structures of discrete event simulation : an introduction to the engagement strategy (: E. Horwood ; : Halsted Press) Evans, J. B. (John B), 1947- Ellis Horwood, Halsted Press
6 図書 On the theory and application of the general linear model Koerts, J., Abrahamse, A. P. J. (Adriaan Pieter Johannes) Rotterdam University Press	12 電子ブック IEE Colloquium on Discrete Event Dynamic Systems - A New Generation of Modelling, Simulation and Control Applications IEEE Electronic Library (IEL) Conference Proceedings, IET