ارائه روشی برای رسم مدل مارکوف قابلیت اطمینان سیستم TMR باقابلیت پیکره بندی مجددوحل آن

Publish Year: 1392
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 3,942

This Paper With 7 Page And PDF Format Ready To Download

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

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

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

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

ICEEE05_317

تاریخ نمایه سازی: 3 آذر 1392

Abstract:

سیستم های کنترل دربرخی کاربردها نظیر کنترل هواپیماها کنترل کشتی ها و سیستم های کنترل نیروگاه های اتمی بایستی بصورت مطمئن طراحی شوند ازاین رو درزمان طراحی و بهره برداری ارزیابی قابلیت اطمینان ایمنی و دیگرویژگیهای اتکاپذیری آنها اهمیت ویژه ای پیدا می کند یکی ازروشهای طراحی مطمئن برای افزایش قابلیت اطمینان سیستم به کارگیری افزونگی درساختارآن است افزونگی هیبریدی یکی ازانواع آنها می باشد و ساختارTMR با ویژگی پیکره بندی مجدد توسط چندرزرو سرد یا گرم حمایت میشود که این نوع افزونگی یکی ازروشهای معمول صنعتی است تاکنون روش سیستماتیکی برای ساخت مدل مارکوف سیستم TMR با قابلیت پیکره بندی مجدد و حمایت شده توسط رزروهای سرد ارایه نشده است همچنین فرمول بسته ای برای قابلیت اطمینان این سیستم ها درمقالات و کتب وجود ندارد این مقاله دو موضوع فوق را موردتوجه قرارمیدهد و درقالب مثالهایی پس ازرسم مدل مارکوف رابطه ای برای ارزیابی قابلیت اطمینان این نوع سیستم ها ارایه میدهد

Keywords:

افزونگی , رزرو سرد , سیستم با قابلیت پیکره بندی مجدد مدل مارکوف , ساختارTMR

Authors

کوروش اصلان صفت

دانشگاه شهید بهشتی

غلامرضا لطیف شبگاهی

دانشگاه شهید بهشتی

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • G. Cathebras, "Dependability: A Challenge for Electricat Medical Implants", Annual ...
  • E. Dubrova, "Fault-Tolerat Design", New York Heidelberg Dordrecht London: Springer, ...
  • R. W. a. J. S. C. Butler, "Techniques for Modeling ...
  • K. G. Popstojanova, A. P. Mathur and K S. Trivedi, ...
  • H. Guo and X. Yang, "Automatic Creation of Markov Models ...
  • K. S. Trivedi and D. Medhi, "Dependability and Security Models", ...
  • th International Workshop on Design of Reliable Communication Networks, Washington, ...
  • J. J. Peng, Y. P. Liu and Y. Chen, " ...
  • , No. 3, PP. 315-324, 2012. ...
  • نمایش کامل مراجع