数学物理学报(英文版) ›› 1983, Vol. 3 ›› Issue (3): 343-356.

• 论文 • 上一篇    

ANALYSING FAULT EQUIVALENCE IN LOGIC NETWORKS WITH STATE VARIABLE STAR ALGORITHM

刘志模1, 袁由光2   

  1. 1. Wanzhong Machinary Plant;
    2. Wuhan Digital Engineering Institute
  • 收稿日期:1982-11-15 出版日期:1983-09-25 发布日期:1983-09-25

ANALYSING FAULT EQUIVALENCE IN LOGIC NETWORKS WITH STATE VARIABLE STAR ALGORITHM

Liu Zhimo1, Yuan Yougaung2   

  1. 1. Wanzhong Machinary Plant;
    2. Wuhan Digital Engineering Institute
  • Received:1982-11-15 Online:1983-09-25 Published:1983-09-25

摘要: In this paper the State Variable Star Algoritnm(SVSALG) is briefly introduced. The identification of equivalent faults in logic networks is treated with the algorithm.It is shown that SVSALG is an efficient means to analyse fault equivalence. Based on the algorithm, the conception on a particular type of equivalence fault classes, the strongly connectivé equivalence fault class, is presented. The properties of the. equivalence class and its importance for multiple fault analysis are discussed in detail.

Abstract: In this paper the State Variable Star Algoritnm(SVSALG) is briefly introduced. The identification of equivalent faults in logic networks is treated with the algorithm.It is shown that SVSALG is an efficient means to analyse fault equivalence. Based on the algorithm, the conception on a particular type of equivalence fault classes, the strongly connectivé equivalence fault class, is presented. The properties of the. equivalence class and its importance for multiple fault analysis are discussed in detail.