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

第 2 卷 第 期 计 算 机 学 报 RVO1 2 IV1 333 年 月 OC~INEN SJ O.OMPUNTE =Fe1 333 基于通用比较模型的 bt可诊断系统的 特征化及并行诊断算法 彭 宇-1 洪炳熔-1 乔永强1 -1)哈尔滨工业大学计算机科学与工程系智能机器人研究室 哈尔滨 -(333-1 1)航天部骊 山微 电子公司 西安 5-335(1 摘 要 文 中介绍 了一种系统级故障诊断模型 通用 比较模型 该模型允许处理器作为 自身 的比较器 综合 了 6 6 1 4 经典的 模型和 模型的优点 基于该模型 分析 了多处理器系统的 可诊断性 问题 给 出了 可 g 1 4 t 4 t MOO O Fan O OF k k 诊断系统的特征化 证 明了一个系统成为 可诊断系统的新 的充分必要条件 其次 证 明了在通用 比较模型 中 确 4 kt 1 4 4 定故障处理器集 的问题等价于求解一个超 图的最小横切集 )O-a-imiut rFtV O14该超 图是根据多处理器 的通信 图 和 比较 图求得 的 最后 给 出了特定情况下 的一个系统级故障诊断并行算法 该算法是完全分布 的 并且在信息传 1 4 4 4 输次数方面是最优 的1 关键词 可诊断系统 通用 比较模型 症状 模型 模型 kt 4 4 4MOO 4OO 中图法分类号 UM23 t STh eTcacrchaticctzO zn b ftcdOzgcsbh lSgchyg mcghB zO cTh dhOhacbtihB ezyGcatgzO pzBhb cOB c Mcacbbhb PbdzatcTy nza ftcdOzgtg -1 -1 1 9 9 MNIA Gm C.IA Y-an