Deskripsi
Aspek metodologis simulasi. Pemodelan sistem peristiwa diskrit. Formalisme pemodelan: FSA, FSM, Petri Nets, DEVS, lainnya. Verifikasi dan validasi. Model seluler: Cellular Automata, Cell-DEVS. Model kontinu dan hibrida. Teknik simulasi Paralel dan Terdistribusi (PADS). Middleware PADS: HLA, Parallel-DEVS, Time-Warp.
Prasyarat
- Prasyarat: pengetahuan C++ dan konsep dasar konkurensi dan sistem terdistribusi.
Syarat dan ketentuan
- Prasyarat: pengetahuan C++ dan konsep dasar konkurensi dan sistem terdistribusi.
Teks rujukan dalam bahasa aslinya
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.
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/grad/courses/SYSC/