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

لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل :  powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 21 اسلاید

 قسمتی از متن powerpoint (..ppt) : 
 

روشي جديد برای آزمون مدل ماشين های محدوديت احتمالی
سيد عسگري قاسمپوري
استاد پروژه: دکتر علي موقر رحيم آبادي
استاد مشاور: دکتر سيد حسن ميريان حسين آبادي

دانشگاه صنعتی شريف
دانشکده کامپيوتر
21 از
1
Sharif university of technology Computer department
مقدمه
طراحی به روش پيمانه اي و مؤلفه گرا
تعامل پيمانه ها با يکديگر
واسط بين پيمانه ها
زبان هماهنگ سازی ريو
سيستم های همروند مبتنی بر مؤلفه
کانال ها
معني ريو
قابل بيان با ماشين محدوديت
ريو با کانال های گم کننده يا خراب کننده پيام
قابل بيان با ماشين محدوديت احتمالی
21 از
2
Sharif university of technology Computer department
چالش ها
آيا مدار ريو طراحی شده نيازهای سيستم را برآورده می سازد؟
آزمون مدل ماشين محدوديت معادل مدار ريو
آيا مدار ريو شامل کانال های گم کننده و خراب کننده نيازهای سيستم را برآورده می سازد؟
آزمون مدل ماشين محدوديت احتمالي معادل
21 از
3
Sharif university of technology Computer department
رئوس مطالب
انواع کانال ها در ريو
مدارهای ريو
ماشين محدوديت معادل هر کانال
کانال های گم کننده پيام و ماشين محدوديت احتمالي ساده
کانال های سنکرون و ماشين محدوديت احتمالي
بررسی منطق زمانی ( PCTL )
نتيجه گيری و کارهای آتی
21 از
4
Sharif university of technology Computer department