A Minimizing Algorithm for Sum of Disjoint Products
Author:
- 1 October 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Reliability
- Vol. R-36 (4) , 445-453
Abstract
This paper describes a minimizing version of the Abraham sum-of-disjoint products (sdp) algorithm, called the Abraham-Locks-Revised (ALR) method, as an improved technique for obtaining a disjoint system-reliability formula. The principal changes are: 1) Boolean minimization and rapid inversion are substituted for time-consuming search operations of the inner loop. 2) Paths and terms are ordered both according to size and alphanumerically. ALR reduces the computing cost and data processing effort required to generate the disjoint system formula compared to the seminal 1979 Abraham paper, and obtains a shorter formula than any other known sdp method. Very substantial savings are achieved in processing large paths of complex networks.Keywords
This publication has 13 references indexed in Scilit:
- An Improved Abraham-Method for Generating Disjoint SumsIEEE Transactions on Reliability, 1987
- Recent Developments in Computing of System-ReliabilityIEEE Transactions on Reliability, 1985
- Algorithms for Generating Minimal Cutsets by InversionIEEE Transactions on Reliability, 1985
- Recursive Disjoint Products: A Review of Three AlgorithmsIEEE Transactions on Reliability, 1982
- Recursive Disjoint Products, Inclusion-Exclusion, and Min-Cut ApproximationsIEEE Transactions on Reliability, 1980
- Inverting and Minimizing Boolean Functions, Minimal Paths and Minimal Cuts: Noncoherent System AnalysisIEEE Transactions on Reliability, 1979
- A Boolean algebra method for computing the terminal reliability in a communication networkIEEE Transactions on Circuit Theory, 1973
- An Implicit Enumeration Scheme for Proper Cut GenerationTechnometrics, 1970
- A Way to Simplify Truth FunctionsThe American Mathematical Monthly, 1955
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952