British Journal of Mathematics & Computer Science, ISSN: 2231-0851,Vol.: 22, Issue.: 3
Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams
Ali Muhammad Ali Rushdi1 and Alaa Mohammad Alturki1* 1King Abdulaziz University, PO.Box 80204, Jeddah 21589, Saudi Arabia.
Ali Muhammad Ali Rushdi1 and Alaa Mohammad Alturki1*
1King Abdulaziz University, PO.Box 80204, Jeddah 21589, Saudi Arabia.
(1) Serkan Araci, Hasan Kalyoncu University, Turkey.
(1) Abdullah Sonmezoglu, Bozok University, Turkey.
(2) Qingzhen Xu, South China Normal University, China.
(3) Sushil Ghimire, Kantipur Engineering College, Tribhuvan University, Nepal.
Complete Peer review History: http://www.sciencedomain.org/review-history/19261
A prominent reliability model is that of the partially-redundant (k-out-of-n) system. We use algebraic as well as signal-flow-graph methods to explore and expose the AR algorithm for computing k-out-of-n reliability. We demonstrate that the AR algorithm is, in fact, both a recursive and an iterative implementation of the strategy of Reduced Ordered Binary Decision Diagrams (ROBDDs). The underlying ROBDD for the AR recursive algorithm is represented by a compact Signal Flow Graph (SFG) that is used to deduce AR iterative algorithms of quadratic temporal complexity and linear spatial complexity. Extensions of the AR algorithm for (single or scalar) threshold, double-threshold, vector-threshold, and k-to-l-out-of-n systems have similar ROBDD interpretations.
AR algorithm; k-out-of-n system; reduced ordered binary decision diagram; reliability; signal flow graph.
DOI : 10.9734/BJMCS/2017/33642Review History Comments