ش | ی | د | س | چ | پ | ج |
1 | 2 | |||||
3 | 4 | 5 | 6 | 7 | 8 | 9 |
10 | 11 | 12 | 13 | 14 | 15 | 16 |
17 | 18 | 19 | 20 | 21 | 22 | 23 |
24 | 25 | 26 | 27 | 28 | 29 | 30 |
بخشی از متن:
پاورپوینت روشی جدید برای آزمون مدل ماشین های محدودیت احتمالی
نوع فایل power point
قابل ویرایش 21 اسلاید
قسمتی از اسلایدها
مدار ریو
گرافی است شامل:
گره ها: مجموعه های غیر تهی از سر کانال ها
یال ها: کانال های بین گره ها
انواع گره در ریو:
گره مبدإ: فقط شامل سرهای مبدإ کانال ها می باشد
نوشتن در گره مبدإ A زمانی موفقیت آمیز خواهد بود که تمام سرهای مبدإ متلاقی در A داده را بپذیرند و در آن صورت داده بر روی آن سرها نوشته خواهد شد (تکرار کننده)
گره مقصد: فقط شامل سرهای مقصد کانال ها می باشد
خواندن در گره مقصد A زمانی موفقیت آمیز است که حداقل یکی از سر کانال های موجود در A داده مفید ارائه کند (ادغام کننده غیر قطعی)
گره مرکب: شامل سرهای مبدإ و مقصد کانال ها می باشد
یک داده مفید که بوسیله یکی از سرهای مقصد ارائه شده دریافت گشته و در تمام سرهای مبدإ منقطع در A نوشته می شود
ماشین محدودیت
سیستم حالت-گذار برچسب دار شامل:
حالت: بیان گر پیکربندی مدار ریو متناظر (وضعیت میانگیر ها در هر لحظه)
گذار: بر چسب دار با جفت
N گره های مدار ریو معادل است که جریان داده بطور همزمان در آن مشاهده می گردد.
g شرطی بر روی داده های مشاهده شده می باشد
گذاری که از حالت q بیرون می آید نشان دهنده جریان داده ممکن در پیکربندی مربوطه و تأثیر آن بر پیکربندی است
فهرست مطالب و اسلایدها
انواع کانال ها در ریو
مدارهای ریو
ماشین محدودیت معادل هر کانال
کانال های گم کننده پیام و ماشین محدودیت احتمالی ساده
کانال های سنکرون و ماشین محدودیت احتمالی
بررسی منطق زمانی (PCTL)
نتیجه گیری و کارهای آتی