描述
模拟的方法学方面。离散事件系统建模。建模形式化：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/