課程說明
模擬之方法論面向。離散事件系統建模。建模形式：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/