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

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

قابل ویرایش 21 اسلاید

قسمتی از اسلایدها

مدار ريو

گرافی است شامل:

گره ها: مجموعه های غير تهی از سر کانال ها

يال ها: کانال های بين گره ها

انواع گره در ريو:

گره مبدإ: فقط شامل سرهای مبدإ کانال ها مي باشد

نوشتن در گره مبدإ A زمانی موفقيت آميز خواهد بود که تمام سرهای مبدإ متلاقی در A داده را بپذيرند و در آن صورت داده بر روی آن سرها نوشته خواهد شد (تکرار کننده)

گره مقصد: فقط شامل سرهای مقصد کانال ها می باشد

خواندن در گره مقصد A زمانی موفقيت آميز است که حداقل يکی از سر کانال های موجود در A داده مفيد ارائه کند (ادغام کننده غير قطعی)

گره مرکب: شامل سرهای مبدإ و مقصد کانال ها می باشد

يک داده مفيد که بوسيله يکي از سرهاي مقصد ارائه شده دريافت گشته و در تمام سرهاي مبدإ منقطع در A نوشته مي شود

ماشين محدوديت

سيستم حالت-گذار برچسب دار شامل:

حالت: بيان گر پيکربندی مدار ريو متناظر (وضعيت ميانگير ها در هر لحظه)

گذار: بر چسب دار با جفت

N گره های مدار ريو معادل است که جريان داده بطور همزمان در آن مشاهده می گردد.

g شرطي بر روی داده های مشاهده شده مي باشد

گذاری که از حالت q بيرون می آيد نشان دهنده جريان داده ممکن در پيکربندی مربوطه و تأثير آن بر پيکربندی است

فهرست مطالب و اسلایدها

انواع کانال ها در ريو

مدارهای ريو

ماشين محدوديت معادل هر کانال

کانال های گم کننده پيام و ماشين محدوديت احتمالي ساده

کانال های سنکرون و ماشين محدوديت احتمالي

بررسی منطق زمانی (PCTL)

نتيجه گيری و کارهای آتی