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

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

کلیدواژه ها:

TMR افزونگی ، رزرو سرد ، سیستم بازتنظیم ، مدل مارکوف ، ساختار