الوصف
الجوانب المنهجية للمحاكاة. نمذجة أنظمة الأحداث المتقطعة. أشكال النمذجة: FSA، FSM، شبكات بيتري، 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/