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

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

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

مدار ريو

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

مدارهای ريو

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

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

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

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

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

---

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