PMC故障模型的方程诊断  

The Equation Diagnosis on PMC Fault Model

作　　者：宣恒农[1] 张大方[2] 张明[3] 

机构地区：[1]南京经济学院计算机科学与技术系,江苏南京210003 [2]湖南大学计算机与通信学院,湖南长沙410082 [3]南京师范大学数学与计算机科学学院,江苏南京210097

出　　处：《电子学报》2003年第5期694-697,共4页Acta Electronica Sinica

基　　金：国家自然科学基金 (No 699730 1 6) ;广东省自然科学基金 (No 0 1 0 4 75)

摘　　要：首次建立起PMC方程模型的定义 (即PMC模型的方程描述 ) .PMC模型是一种最常见的系统级故障模型 ,针对传统的图论诊断算法离不开“t 可诊断性”和“相信大多数”(即假定系统中故障机的台数少于处理机总台数的一半 )的特点 ,文中引入“绝对故障基”等概念 ,并充分运用“集团”工具 ,在不以“t 可诊断性”和“相信大多数”作前提假设的情况下 ,找到了求PMC模型全体相容故障模式的具体方法———方程诊断算法 .The definition of PMC equation model (that is equation description of PMC model)was first set up.PMC model is a kind of most common system level fault model.Owing to the characteristics that traditional graph theory diagnosis algorithm couldn't be without ' t diagnosabe' and 'believe the most' (that is supposing the number of fault processors less than half the number of all processors in the system),the concepts of 'absolute fault base'etc.were defined,and the tool of 'body grouping'was fully wielded,finally a concrete method--equation diagnosis algorithm was found,on seeking all consistent fault patterns for the class of models without supposing ' t diagnosable' or 'believe the most'.

关 键 词：系统级故障诊断 PMC故障模型 方程诊断 相容故障模式 T-可诊断性 

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