پاورپوینت روشی جدید برای آزمون مدل ماشین های محدودیت احتمالی
شامل 21 اسلاید درقالب پاورپوینت و قابل ویرایش
فهرست برخی از مطالب:
- انواع کانال ها در ریو
- مدارهای ریو
- ماشین محدودیت معادل هر کانال
- کانال های گم کننده پیام و ماشین محدودیت احتمالی ساده
- کانال های سنکرون و ماشین محدودیت احتمالی
- بررسی منطق زمانی (PCTL)
- نتیجه گیری و کارهای آتی
بخشی از متن فایل پاورپوینت:
مقدمه
- طراحی به روش پیمانه ای و مؤلفه گرا
- تعامل پیمانه ها با یکدیگر
- واسط بین پیمانه ها
- زبان هماهنگ سازی ریو
- سیستم های همروند مبتنی بر مؤلفه
- کانال ها
- معنی ریو
- قابل بیان با ماشین محدودیت
- ریو با کانال های گم کننده یا خراب کننده پیام
- قابل بیان با ماشین محدودیت احتمالی
