Computation of k-out-of-n System Reliability via Reduced Ordered Binary Decision Diagrams
Journal Title: Journal of Advances in Mathematics and Computer Science - Year 2017, Vol 22, Issue 3
Abstract
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
Authors and Affiliations
Ali Muhammad Ali Rushdi, Alaa Mohammad Alturki
Keywords
Related Articles
- EP ID EP321923
- DOI 10.9734/BJMCS/2017/33642
- Views 124
- Downloads 0
Modelling Miraa Addiction like a Disease Incorporating Voluntary Quitting
This study presented a deterministic model of miraa addiction based on three compartmental classes incorporating miraa specific attributes as well as the aspect of voluntary quitting. Our model was based on SIS classical...
Achieving System Reliability with the Fewest Identical Components
enerally, redundancy allocation problems are NP-hard. This paper presents an explicit polynomially bounded algorithm for a special class of redundancy allocation models.
On Characterizations of Some Types of Fuzzy Soft Sets in Fuzzy Soft Bitopological Spaces
In this paper, we introduce and study the notion of kernal operator in fuzzy soft bitopological space. Moreover, some important results related to this notion are obtained. Furthermore, we introduce the concept of Alexan...
An Interactive Model for Fully Fuzzy Multi-level Linear Programming Problem based on Multi-objective Linear Programming Technique
An interactive approach is proposed to find the optimal fuzzy solution of fully fuzzy multi-level linear programming (FFMLLP) problem. Firstly, convert the problem under consideration into non-fuzzy multi-level multi-obj...
General Version of Gauss-type Proximal Point Method and Its Uniform Convergence Analysis for Metrically Regular Mappings
We study the uniform convergence of the general version of Gauss-type proximal point algorithm (GG-PPA), introduced by Alom et al. [1], for solving the parametric generalized equations y ∈ T(x), where T : X 2Y is a set...