基于通用比较模型的t-可诊断系统的特征化及并行诊断算法

摘要：

文中介绍了一种系统级故障诊断模型--通用比较模型.该模型允许处理器作为自身的比较器,综合了经典的PMC模型和Maeng/Malek模型的优点.基于该模型,分析了多处理器系统的t-可诊断性问题,给出了t-可诊断系统的特征化,证明了一个系统成为t-可诊断系统的新的充分必要条件.其次,证明了在通用比较模型中,确定故障处理器集的问题等价于求解一个超图的最小横切集(Minimum traversal),该超图是根据多处理器的通信图和比较图求得的.最后,给出了特定情况下的一个系统级故障诊断并行算法,该算法是完全分布的,并且在信息传输次数方面是最优的.

关键词：t-可诊断系统、通用比较模型、症状、PMC模型、MM模型

所属期刊栏目：23

分类号：TP302(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：126-133