作　　者： ; ; ;

机构地区： 湖南大学信息科学与工程学院软件学院

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

摘　　要： 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.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]