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

لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (..pptx) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 21 صفحه

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

21 از Sharif university of technology Computer department 1 روشی جدید برای آزمون مدل ماشین های محدودیت احتمالی سید عسگری قاسمپوری استاد پروژه: دکتر علی موقر رحیم آبادی استاد مشاور: دکتر سید حسن میریان حسین آبادی دانشگاه صنعتی شریف دانشکده کامپیوتر 21 از Sharif university of technology Computer department 2 مقدمه طراحی به روش پیمانه ای و مولفه گرا تعامل پیمانه ها با یکدیگر واسط بین پیمانه ها زبان هماهنگ سازی ریو سیستم های همروند مبتنی بر مولفه کانال ها معنی ریو قابل بیان با ماشین محدودیت ریو با کانال های گم کننده یا خراب کننده پیام قابل بیان با ماشین محدودیت احتمالی 21 از Sharif university of technology Computer department 3 چالش ها آیا مدار ریو طراحی شده نیازهای سیستم را برآورده می سازد؟ آزمون مدل ماشین محدودیت معادل مدار ریو آیا مدار ریو شامل کانال های گم کننده و خراب کننده نیازهای سیستم را برآورده می سازد؟ آزمون مدل ماشین محدودیت احتمالی معادل 21 از Sharif university of technology Computer department 4 رئوس مطالب انواع کانال ها در ریو مدارهای ریو ماشین محدودیت معادل هر کانال کانال های گم کننده پیام و ماشین محدودیت احتمالی ساده کانال های سنکرون و ماشین محدودیت احتمالی بررسی منطق زمانی (PCTL) نتیجه گیری و کارهای آتی 21 از Sharif university of technology Computer department 5 انواع کانال در ریو هر کانال دارای یک سر مبدا و یک سر مقصد می باشد. کانال FIFO1 با میانگیر تک سلولی داده در سر مبدا نوشته شده و از سر مقصد خوانده می شود. کانال FIFO نامحدود نوشتن همواره فعال است ولی خواندن زمانی که میانگیر پر باشد فعال است. کانال سنکرون نوشتن در مبدا مستلزم خواندن همزمان داده در مقصد است (برای هماهنگ سازی)