پاورپوینت روشي جديد برای آزمون مدل ماشين های محدوديت احتمالی (pptx) 21 اسلاید

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

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

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

قسمتی از متن PowerPoint (.pptx) :

روشي جديد برای آزمون مدل ماشين های محدوديت احتمالی مقدمه طراحی به روش پيمانه اي و مؤلفه گرا تعامل پيمانه ها با يکديگر واسط بين پيمانه ها زبان هماهنگ سازی ريو سيستم های همروند مبتنی بر مؤلفه کانال ها معني ريو قابل بيان با ماشين محدوديت ريو با کانال های گم کننده يا خراب کننده پيام قابل بيان با ماشين محدوديت احتمالی چالش ها آيا مدار ريو طراحی شده نيازهای سيستم را برآورده می سازد؟ آزمون مدل ماشين محدوديت معادل مدار ريو آيا مدار ريو شامل کانال های گم کننده و خراب کننده نيازهای سيستم را برآورده می سازد؟ آزمون مدل ماشين محدوديت احتمالي معادل رئوس مطالب انواع کانال ها در ريو مدارهای ريو ماشين محدوديت معادل هر کانال کانال های گم کننده پيام و ماشين محدوديت احتمالي ساده کانال های سنکرون و ماشين محدوديت احتمالي بررسی منطق زمانی (PCTL) نتيجه گيری و کارهای آتی انواع کانال در ريو هر کانال دارای يک سر مبدإ و يک سر مقصد می باشد. کانال FIFO1 با ميانگير تک سلولی داده در سر مبدإ نوشته شده و از سر مقصد خوانده می شود. کانال FIFO نامحدود نوشتن همواره فعال است ولی خواندن زمانی که ميانگير پر باشد فعال است. کانال سنکرون نوشتن در مبدإ مستلزم خواندن همزمان داده در مقصد است (برای هماهنگ سازی) انواع کانال (ادامه ...) کانال های سنکرون تصفيه کننده P: نوشتن زمانی فعال است که در سر مقصد بطور همزمان داده خوانده شود اگر نوشتن همواره فعال است ولی داده دور ريخته مي شود توليد کننده P: اگر داده ای در سر مبدإ نوشته شود، يکی از داده های موجود در P بطور همزمان در مقصد خوانده می شود. مدار ريو گرافی است شامل: گره ها: مجموعه های غير تهی از سر کانال ها يال ها: کانال های بين گره ها انواع گره در ريو: گره مبدإ: فقط شامل سرهای مبدإ کانال ها مي باشد نوشتن در گره مبدإ A زمانی موفقيت آميز خواهد بود که تمام سرهای مبدإ متلاقی در A داده را بپذيرند و در آن صورت داده بر روی آن سرها نوشته خواهد شد (تکرار کننده) گره مقصد: فقط شامل سرهای مقصد کانال ها می باشد خواندن در گره مقصد A زمانی موفقيت آميز است که حداقل يکی از سر کانال های موجود در A داده مفيد ارائه کند (ادغام کننده غير قطعی) گره مرکب: شامل سرهای مبدإ و مقصد کانال ها می باشد يک داده مفيد که بوسيله يکي از سرهاي مقصد ارائه شده دريافت گشته و در تمام سرهاي مبدإ منقطع در A نوشته مي شود گره مرکب گره مقصد گره مبدإ مدار ريو (يک مثال) گره A مبدإ، B مقصد، C و D مرکب می باشند (A,C) کانال فيلتر با الگوی P={0} و (A,D) کانال فيلتر با الگوی P={1} می باشد (C,B) توليد کننده 1 و (D,B) توليد کننده 0 است. اگر داده 0 در A نوشته شود کانال (A,C) آن را عبور می دهد ولی کانال (A,D) آن را از بين می برد. در گره C مقدار 0 دريافت شده و مقدار 1 در B خوانده می شود اگر داده 1 در A نوشته شود کانال (A,D) آن را عبور می دهد ولی کانال (A,C) آن را از بين می برد. در گره D مقدار 1 دريافت شده و در گام بعدی مقدار 0 در B خوانده می شود ماشين محدوديت يک سيستم حالت-گذار برچسب دار شامل: حالت: بيان گر پيکربندی مدار ريو متناظر (وضعيت ميانگير ها در هر لحظه) گذار: بر چسب دار با جفت N گره های مدار ريو معادل است که جريان داده بطور همزمان در آن مشاهده می گردد. g شرطي بر روی داده های مشاهده شده مي باشد گذاری که از حالت q بيرون می آيد نشان دهنده جريان داده ممکن در پيکربندی مربوطه و تأثير آن بر پيکربندی است