Описание
Методологические аспекты моделирования и симуляции. Моделирование систем с дискретными событиями. Формализмы моделирования: FSA, FSM, Петри-сети, DEVS и др. Верификация и валидация. Клеточные модели: клеточные автоматы, Cell-DEVS. Непрерывные и гибридные модели. Техники параллельной и распределённой симуляции (PADS). PADS middleware: 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/