محمدصادق محققی - مربی، گروه علوم کامپیوتر، دانشگاه ولیعصر (عج)، رفسنجان

وارسی مدل یکی از روش های بررسی صحت عملکرد یک سیستم کامپیوتری است. وارسی مدل احتمالاتی برای بررسی سیستم هایی با ویژگی های غیرقطعی و احتمالاتی استفاده می شود. پژوهش های زیادی برای افزایش کارایی و مقیاس پذیری الگوریتم های وارسی مدل احتمالاتی ارائه شده اند. اساس این الگوریتم ها بر استفاده از روش های تکراری عددی است. در این مقاله به مقایسه چهار روش عددی پایه شامل روش های تکرار ارزش، گاوس-سایدل، تکرار سیاست و تکرار سیاست بهبود یافته پرداخته می شود. با در نظر گرفتن تعدادی مثال نمونه زمان مصرفی این الگوریتم ها مقایسه شده و نشان داده می شود که در شرایط مختلف کدام روش می تواند انتخاب مناسب تری باشد.

وارسی مدل احتمالاتی، روش تکرار ارزش، روش گاووس- سایدل، روش تکرار سیاست، روش تکرار سیاست بهبود یافته، مقایسه کارایی