説明
シミュレーションの方法論的側面。離散事象システムのモデリング。モデリング形式：FSA、FSM、Petriネット、DEVS、その他。検証と妥当性確認。セルラモデル：セルラオートマトン、Cell-DEVS。連続およびハイブリッドモデル。並列・分散シミュレーション（PADS）技術。PADSミドルウェア：HLA、Parallel-DEVS、Time-Warp。
前提条件
- 前提条件：C++の知識および並行性と分散システムの基本概念の理解。
条件および詳細
- 前提条件：C++の知識および並行性と分散システムの基本概念の理解。
原語による参照テキスト
Methodological aspects of simulation. Modeling discrete events systems. Modeling formalisms: FSA, FSM, Petri Nets, DEVS, others. Verification and validation. Cellular models: Cellular Automata, Cell-DEVS. Continous and hybrid models. Parallel and Distributed simulation (PADS) techniques. PADS middleware: HLA, Parallel-DEVS, Time-Warp.
- Prerequisite(s): knowledge of C+ + and of basic concepts of concurrency and distributed systems.
出典と参照
日付と出典は、情報を確認する際の参考のために保持されています。翻訳は読みやすくするための提案であり、条件や要件については公式の出典が基準となります。
出典の参照 : https://calendar.carleton.ca/grad/courses/SYSC/