بررسی تاثیر پیشمحاسبات بر کارایی روشهای وارسی مدل احتمالاتی

وارسی مدل احتمالاتی یکی از روشهای تحلیل و بررسی سیستمهایی با ویژگیهای غیرقطعی و احتمالاتی است. در این روش از الگوریتمهای عددی برای انجام محاسبات و تقریب پاسخها استفاده میشود. استفاده از تحلیلهای مبتنی بر گراف قبل ازشروع محاسبات عددی میتواند موجب کاهش فضای حالات مسئله و زمان مصرفی حل آن شود. این تحلیلها که به عنوان پیش محاسبات معروف هستند از طرفی میتوانند سربار زمان مصرفی قابل توجه داشته باشند به شکلی که زمان اجرایی کل فرایندوارسی مدل احتمالاتی را افزایش دهند. این مقاله به بررسی تعدادی مثال نمونه پرداخته و تاثیر پیش محاسبات بر زمان مصرفیکل و دقت محاسبات را تحلیل میکند. نتایج کار نشان میدهد در تعدادی از مثالها انجام پیش محاسبات زمان مصرفی کل را افزایش میدهد و عدم استفاده از این پیش محاسبات منطقیتر است

کلیدواژه ها:

وارسی مدل احتملاتی ، فرایندهای تصمیم مارکوف ، تحلیل مبتنی بر گراف