ارزيابي قابليت اطمينان سيستم هاي حمايت شده با رزرو لغزشي توسط شبكه پتري

استفاده از افزونگي در ساختار سيستم هاي صنعتي يكي از راهكارهاي افزا يش قابلين اطمينان و بهره وري آنها است. این مكانيزم ها در كنار مزيت افزايش قابليت اطمينان و بالابردن سطح اتكاپذيري سيستم، هزينه هاي گاهاً سنگيني برا ي صاحبان صنايع به دنبال دارد. در ميان افزونگي هاي شناخته شده، افزونگي رزرو لغزشي به عنوان يكي از مكانيزم هاي مقرون به صرفه به شمار مي رود. ماهيت متفاوت اين نوع رزرو، كار مدلسازي و در نتيجه ارزيابي پارامتر هاي اتكاپذيري آن را دشوار ساخته است بهطوري كه به رغم كاربرد بسيار اين رزرو در صنعت، تحقيقات انگشتشماري در اين زمينه انجام شده است. شبكه هاي پتر ي به عنوان يكي از ابزارهاي مناسب براي مدلسازي رفتار پوياي سيستم شناخته شدهاندكه مي توانند مكانيزم هاي پيچي ده را به راحتي مدل كنند. اين مقاله براي اولين بار مدل شبكه پتري سيستم حمايت شده با رزرو لغزشي را ارائه نموده و ضمن مقايسه صرفه اين رزرو با انواع ديگر آن به ارزيابي قابليت اطمينان اين سيستم مي پردازد. مدل ارائه شده ساختار ماژولار دارد كه مي - تواند با تغيير سيستماتيك قسمتي از هسته مدل، سيستمهاي رزرو مختلف (سرد، گرم و ولرم) را مدل كند. وجود چنين مدلي راه را براي شناخت هرچه بهتر رفتار رزرو لغزشي و مزاياي آن در صنايع مختلف هموار مي سازد.