基于布尔方程的系统级故障诊断表示及应用  

Representation and Application of the System-level Fault Diagnosis Based on Boolean Equation

作　　者：刘兵[1] 张大方[1] 宣恒农[2] 

机构地区：[1]湖南大学计算机与通信学院,长沙410082 [2]五邑大学计算机工程系,广东江门529020

出　　处：《计算机科学》2003年第6期165-167,共3页Computer Science

基　　金：国家自然科学基金资助项目(编号:69973016);广东省自然科学基金资助项目(编号:010475)共同资助

摘　　要：With the popularization of multiprocessor systems and network applications,the study of dependability of systems has become an unportant research area of computer science. A 'Boolean equation diagnosis' method is firstly presented for test model of system-level fault diagnosis, and the correctness of the equations has been proven. The Boolean equation is more concise than the graph method in test model representation. Based on the equations,the methods to compute optimal diagnosis, the set of consistent fault pattern,absolute good processors and bad processors are presented. And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved. It is a useful attempt in theory and practice of system-level fault diagnosis.With the popularization of multiprocessor systems and network applications,the study of dependability of systems has become an important research area of computer science. A 'Boolean equation diagnosis' method is firstly presented for test model of system-level fault diagnosis. and the correctness of the equations has been proven. The Boolean equation is more concise than the graph method in test model representation. Based on the equations, the methods to compute optimal diagnosis,the set of consistent fault pattern,absolute good processors and bad processors are presented. And some theorems about the relationship among different test models on the set of consistent fault pattern and diagnosibility are proved. It is a useful attempt in theory and practice of system-level fault diagnosis.

关 键 词：计算机 布尔方程 系统级故障诊断 图论模型 

分 类 号：TP306.3[自动化与计算机技术—计算机系统结构]