لینک دانلود و خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل : .ppt ( قابل ویرایش و آماده پرینت )

تعداد اسلاید : 21 اسلاید

قسمتی از متن .ppt :

روشی جدید برای آزمون مدل ماشین های محدودیت احتمالی

مقدمه

طراحی به روش پیمانه ای و مؤلفه گرا
تعامل پیمانه ها با یکدیگر
واسط بین پیمانه ها
زبان هماهنگ سازی ریو
سیستم های همروند مبتنی بر مؤلفه
کانال ها
معنی ریو
قابل بیان با ماشین محدودیت
ریو با کانال های گم کننده یا خراب کننده پیام
قابل بیان با ماشین محدودیت احتمالی

چالش ها

آیا مدار ریو طراحی شده نیازهای سیستم را برآورده می سازد؟
آزمون مدل ماشین محدودیت معادل  مدار ریو
آیا مدار ریو شامل کانال های گم کننده و خراب کننده نیازهای سیستم را برآورده می سازد؟
آزمون مدل ماشین محدودیت احتمالی معادل

رئوس مطالب

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