Mô tả
Các khía cạnh phương pháp luận của mô phỏng. Mô hình hóa hệ thống sự kiện rời rạc. Các hình thức mô hình: FSA, FSM, Petri Nets, DEVS, và các phương pháp khác. Xác minh và xác thực. Mô hình tế bào: Máy tự động tế bào (Cellular Automata), Cell-DEVS. Mô hình liên tục và lai. Kỹ thuật mô phỏng song song và phân tán (PADS). Phần mềm trung gian PADS: HLA, Parallel-DEVS, Time-Warp.
Tiền đề
- Tiền đề: kiến thức về C++ và các khái niệm cơ bản về đồng thời và hệ phân tán.
Điều kiện và thủ tục
- Tiền đề: kiến thức về C++ và các khái niệm cơ bản về đồng thời và hệ phân tán.
Văn bản tham chiếu bằng ngôn ngữ gố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.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/SYSC/