ساخت سیستماتیک مدل مارکوف قابلیت اطمینان معماری NMR با رزرو در سیستم های مطمئن

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

This Paper With 6 Page And PDF Format Ready To Download

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

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

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

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

ISCEE16_139

تاریخ نمایه سازی: 21 تیر 1393

Abstract:

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

Authors

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

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

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

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

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

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • _ _ _ _ _ Engineering in Medicine and Biology ...
  • E. Dubrova, "Fault-Tolerat Design", New York Heidelberg Dordrecht London: Springer, ...
  • R. W. a. J. S. C. Butler, "Techniques for Modeling ...
  • _ _ _ _ International Symposium on Software Reliability Engineering, ...
  • H. Guo and X. Yang, "Automatic Creation of Markov Models ...
  • K. S. Trivedi and D. Medhi, "Dependability and Security Models", ...
  • J. J. Peng, Y. P. Liu and Y. Chen, "A ...
  • , No. 3, PP. 315-324, 2012. ...
  • نمایش کامل مراجع