مقایسه الگوریتم های وارسی مدل احتمالاتی
Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 529
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
MAYCOMP01_066
تاریخ نمایه سازی: 5 بهمن 1395
Abstract:
وارسی مدل یکی از روش های بررسی صحت عملکرد یک سیستم کامپیوتری است. وارسی مدل احتمالاتی برای بررسی سیستم هایی با ویژگی های غیرقطعی و احتمالاتی استفاده می شود. پژوهش های زیادی برای افزایش کارایی و مقیاس پذیری الگوریتم های وارسی مدل احتمالاتی ارائه شده اند. اساس این الگوریتم ها بر استفاده از روش های تکراری عددی است. در این مقاله به مقایسه چهار روش عددی پایه شامل روش های تکرار ارزش، گاوس-سایدل، تکرار سیاست و تکرار سیاست بهبود یافته پرداخته می شود. با در نظر گرفتن تعدادی مثال نمونه زمان مصرفی این الگوریتم ها مقایسه شده و نشان داده می شود که در شرایط مختلف کدام روش می تواند انتخاب مناسب تری باشد.
Keywords:
وارسی مدل احتمالاتی , روش تکرار ارزش , روش گاووس- سایدل , روش تکرار سیاست , روش تکرار سیاست بهبود یافته , مقایسه کارایی
Authors
محمدصادق محققی
مربی، گروه علوم کامپیوتر، دانشگاه ولیعصر (عج)، رفسنجان
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :