TOP-DOWN ALGORITHM FOR OBTAINING PRIME IMPLICANT SETS OF NON-COHERENT FAULT TREES

被引：23

作者：

KUMAMOTO, H ^{[1
]}

HENLEY, EJ ^{[1
]}

机构：

[1] UNIV HOUSTON,DEPT CHEM ENGN,HOUSTON,TX 77004

来源：

关键词：

D O I：

10.1109/TR.1978.5220351

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：242 / 249

页数：8

共 10 条

[1] ANALYSIS OF FAULT TREES [J].

BENNETTS, RG .

[2]

FUSSELL JB, 1974, IEEE T RELIAB, VR 23, P51, DOI 10.1109/TR.1974.5215704

[3]

FUSSELL JB, 1972, T AM NUCL SOC, V15

[4]

KARNAUGH G, 1953, AIEE T COMMUNICATI 1, V72, P593

[5] COMPUTER-AIDED SYNTHESIS OF FAULT-TREES [J].

LAPP, SA ;

POWERS, GJ .

[6] MINIMIZATION OF BOOLEAN FUNCTIONS [J].

MCCLUSKEY, EJ .

BELL SYSTEM TECHNICAL JOURNAL, 1956, 35 (06) :1417-1444

[7]

Quine W.V., 1952, AM MATH MON, V59, P521, DOI 10.1080/00029890.1952.11988183

[8] A NEW ALGORITHM FOR GENERATING PRIME IMPLICANTS [J].

SLAGLE, JR ;

CHANG, CL ;

LEE, RCT .

[9]

VESELY WE, 1970, IN1349 NTIS

[10]

WORREL RB, 1974, SLA730028A SAND LAB