| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 基于通用比较模型的 t-可诊断系统的特征化及并行诊断算法 |
| 作者 | 彭 宇 1) 洪炳熔 1) 乔永强 2) |
| 作者单位 | 1) (哈尔滨工业大学计算机科学与工程系智能机器人研究室 哈尔滨 150001) 2) (航天部骊山微电子公司 西安 710075) |
| 发表年份 | 2000 |
| 发表月份 | 2期 （页码：126—133) |
| 文章摘要 | 文中介绍了一种系统级故障诊断模型——通用比较模型.该模型允许处理器作为自身的比较器,综合了经典的PMC模型和Maeng/Malek模型的优点.基于该模型,分析了多处理器系统的 t-可诊断性问题,给出了 t-可诊断系统的特征化,证明了一个系统成为 t-可诊断系统的新的充分必要条件.其次,证明了在通用比较模型中,确定故障处理器集的问题等价于求解一个超图的最小横切集(Minimum traversal),该超图是根据多处理器的通信图和比较图求得的.最后,给出了特定情况下的一个系统级故障诊断并行算法,该算法是完全分布的,并且在信息传输次数方面是最优的. 关键词 t-可诊断系统,通用比较模型,症状,PMC模型,MM模型 中图法分类号:TP302 |