설명
시뮬레이션의 방법론적 측면. 이산 사건 시스템 모델링. 모델링 형식: 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/