پاورپوینت روشي جديد برای آزمون مدل ماشين های محدوديت احتمالی (⭐⭐⭐)
دسته بندي :
علوم پایه »
دانلود پاورپوینت های علمی
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 21 اسلاید
قسمتی از متن powerpoint (..ppt) :
1
روشي جديد برای آزمون مدل ماشين های محدوديت احتمالی
2
مقدمه
طراحی به روش پيمانه اي و مؤلفه گرا
تعامل پيمانه ها با يکديگر
واسط بين پيمانه ها
زبان هماهنگ سازی ريو
سيستم های همروند مبتنی بر مؤلفه
کانال ها
معني ريو
قابل بيان با ماشين محدوديت
ريو با کانال های گم کننده يا خراب کننده پيام
قابل بيان با ماشين محدوديت احتمالی
3
چالش ها
آيا مدار ريو طراحی شده نيازهای سيستم را برآورده می سازد؟
آزمون مدل ماشين محدوديت معادل مدار ريو
آيا مدار ريو شامل کانال های گم کننده و خراب کننده نيازهای سيستم را برآورده می سازد؟
آزمون مدل ماشين محدوديت احتمالي معادل
4
رئوس مطالب
انواع کانال ها در ريو
مدارهای ريو
ماشين محدوديت معادل هر کانال
کانال های گم کننده پيام و ماشين محدوديت احتمالي ساده
کانال های سنکرون و ماشين محدوديت احتمالي
بررسی منطق زمانی ( PCTL )
نتيجه گيری و کارهای آتی
5
انواع کانال در ريو
هر کانال دارای يک سر مبدإ و يک سر مقصد می باشد.
کانال FIFO1 با ميانگير تک سلولی
داده در سر مبدإ نوشته شده و از سر مقصد خوانده می شود.
کانال FIFO نامحدود
نوشتن همواره فعال است ولی خواندن زمانی که ميانگير پر باشد فعال است.
کانال سنکرون
نوشتن در مبدإ مستلزم خواندن همزمان داده در مقصد است (برای هماهنگ سازی)
کانال FIFO1
کانال FIFO نامحدود
کانال سنکرون