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

Publish Year: 1394
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 634

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

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

لینک ثابت به این Paper:

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

MAYCOMP01_065

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

Abstract:

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

Authors

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

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

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • 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. ...
  • نمایش کامل مراجع