مقایسه الگوریتم های وارسی مدل احتمالاتی
سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 524
فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
MAYCOMP01_066
تاریخ نمایه سازی: 5 بهمن 1395
چکیده مقاله:
وارسی مدل یکی از روش های بررسی صحت عملکرد یک سیستم کامپیوتری است. وارسی مدل احتمالاتی برای بررسی سیستم هایی با ویژگی های غیرقطعی و احتمالاتی استفاده می شود. پژوهش های زیادی برای افزایش کارایی و مقیاس پذیری الگوریتم های وارسی مدل احتمالاتی ارائه شده اند. اساس این الگوریتم ها بر استفاده از روش های تکراری عددی است. در این مقاله به مقایسه چهار روش عددی پایه شامل روش های تکرار ارزش، گاوس-سایدل، تکرار سیاست و تکرار سیاست بهبود یافته پرداخته می شود. با در نظر گرفتن تعدادی مثال نمونه زمان مصرفی این الگوریتم ها مقایسه شده و نشان داده می شود که در شرایط مختلف کدام روش می تواند انتخاب مناسب تری باشد.
کلیدواژه ها:
وارسی مدل احتمالاتی ، روش تکرار ارزش ، روش گاووس- سایدل ، روش تکرار سیاست ، روش تکرار سیاست بهبود یافته ، مقایسه کارایی
نویسندگان
محمدصادق محققی
مربی، گروه علوم کامپیوتر، دانشگاه ولیعصر (عج)، رفسنجان
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :