Symbolic Reliability Analysis with the Aid of Variable-Entered Karnaugh Maps
- 1 June 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. R-32 (2) , 134-139
- https://doi.org/10.1109/TR.1983.5221510
Abstract
A method for finding the symbolic reliability of a moderately complex system is presented. The method uses Bayesian decomposition to reduce the system into simpler series-parallel subsystems. The successes or failures of these subsystems are found by inspection and then recast into disjoint sum-of-product forms with the aid of the Karnaugh map. Subsequently, an almost minimal disjoint expression for the system success or failure is obtained with the aid of a variable-entered Karnaugh map (VEKM). This VEKM method is illustrated by applying it to some examples recently solved in the literature. The main advantage of the method is the pictorial insight it provides to the reliability analyst.Keywords
This publication has 18 references indexed in Scilit:
- System-Reliability Evaluation Techniques for Complex/Large SystemsߞA ReviewIEEE Transactions on Reliability, 1981
- An Algebraic Technique for Reliability EvaluationIEEE Transactions on Reliability, 1980
- An Improved Algorithm for Network ReliabilityIEEE Transactions on Reliability, 1979
- An Efficient Method for Reliability Evaluation of a General NetworkIEEE Transactions on Reliability, 1978
- Bayesian Decomposition Method for Computing the Reliability of an Oriented NetworkIEEE Transactions on Reliability, 1976
- On the Analysis of Fault TreesIEEE Transactions on Reliability, 1975
- A Simple Method for Reliability Evaluation of a Communication SystemIEEE Transactions on Communications, 1975
- A Fast Algorithm for Reliability EvaluationIEEE Transactions on Reliability, 1975
- A Boolean algebra method for computing the terminal reliability in a communication networkIEEE Transactions on Circuit Theory, 1973
- Probability MapsIEEE Transactions on Reliability, 1963