| 基于布尔方程的系统级故障诊断表示及应用 |
| |
| 引用本文： | 刘兵,张大方,宣恒农.基于布尔方程的系统级故障诊断表示及应用[J].计算机科学,2003,30(6):165-167. |
| |
| 作者姓名： | 刘兵 张大方 宣恒农 |
| |
| 作者单位： | 1. 湖南大学计算机与通信学院,长沙,410082
2. 五邑大学计算机工程系,广东江门,529020 |
| |
| 基金项目： | 国家自然科学基金资助项目(编号:69973016)，广东省自然科学基金资助项目(编号:010475)共同资助 |
| |
| 摘 要： | With the popularization of multiprocessor systems and network applications,the study ot ctepenaaomty 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.
|
| 关 键 词： | 计算机 布尔方程 系统级故障诊断 图论模型 |
Representation and Application of the System-level Fault Diagnosis Based on Boolean Equation |
| |
| LIU Bing ZHANG Da-Fang XUAN Heng-Nong.Representation and Application of the System-level Fault Diagnosis Based on Boolean Equation[J].Computer Science,2003,30(6):165-167. |
| |
| Authors: | LIU Bing ZHANG Da-Fang XUAN Heng-Nong |
| |
| Abstract: | 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. |
| |
| Keywords: | System-level fault diagnosis Test model Boolean equation Consistent fault pattern |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
