تحلیل سیستم های مشتری- خدمتگذار با استفاده از وارسی مدل احتمالاتی

سال انتشار: 1394
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 716

فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

MAYCOMP01_065

تاریخ نمایه سازی: 5 بهمن 1395

چکیده مقاله:

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

نویسندگان

محمدصادق محققی

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Hsiung, Pao-Ann, Farn Wang, and Yue-Sun Ku, _ Verification of ...
  • Forejt, Vojtech, Marta Kwiatkowska, Gethin Norman, and David Parker. "Automated ...
  • Parker, David Anthony. _ Implementation of symbolic model checking for ...
  • Baier, Christel, and Joost-Pieter Katoen. Principles of model checking. Vol. ...
  • نمایش کامل مراجع