Title :
Prime Implicants of Noncoherent Fault Trees
Author :
Worrell, R.B. ; Stack, D.W. ; Hulme, B.L.
Author_Institution :
Sandia National Laboratories, Division 4414; Albuquerque, New Mexico 87185 USA.
fDate :
6/1/1981 12:00:00 AM
Abstract :
The discussion prompted by a Kumamoto & Henley paper is analyzed and the central issues are set forth. Results of the SETS program are used to clarify some misunderstandings and to show that it can be used to obtain quickly all of the results presented by Kumamoto & Henley. A special class of noncoherent trees is identified on which the standard algorithm for coherent trees will always work.
Keywords :
Algorithm design and analysis; Boolean algebra; Equations; Error correction; Fault trees; Laboratories; Technical drawing; Boolean equations; Noncoherent fault trees; Prime implicants;
Journal_Title :
Reliability, IEEE Transactions on
DOI :
10.1109/TR.1981.5220996
