فروشگاه اینترنتی نفیس فایل

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

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

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

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

مدار ریو

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

مدارهای ریو

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

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

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

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

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

پرداخت با کلیه کارتهای عضو شتاب امکان پذیر است.