交换超立方体在PMC模型下的g好邻条件诊断度.pdf

第 35卷 第5期 太 原 科 技 大 学 学 报 Vo1．35 No．5 2014年 10月 JOURNALOFTAIYUANUNIVERSITYOFSCIENCEANDTECHNOLOGY Oct．2014 文章编号：1673—2057(2014)05—0390—05 交换超立方体在 PMC模型下的g好邻条件诊断度 刘秀丽，原 军，马 雪 (太原科技大学应用科学学院，太原030024) 摘 要：诊断度是多处理器系统互连网络能够诊断的最大故障结点的个数，它是度量多处理器系统 故障诊断能力的一种参数。g好邻条件诊断度是2012年提 出的一种新的诊断度，它要求每个非故障顶 点至少有g个非故障邻点。研究了交换超立方体EH(5，t)在 PMC模型下的g好邻条件诊断度，证明了 EH(s，t)(1≤s≤t，0≤g≤s)在PMC模型下的g好邻条件诊断度为2(s+2一g)一1． 关键词：故障诊断；PMC模型；交换超立方体；条件诊断度 中图分类号：0157．5 文献标志码：A doi：10．3969／j．issn．1673-2057．2014．05．014 随着并行计算机系统规模的逐步扩大，系统中 1 预备工作 元件出现故障的可能性大大增加。为了保持并行 计算机系统的可靠性，系统中的故障元素应该被及 设G=(，E)是一个无向图，其中V=V(G)， 时诊断出来并被替换。Preparata等 在 1967年将 E=E(G)分别表示图G的顶点集和边集。当用图来 图论方法应用于计算机系统的故障诊断，创建了系 表示并行计算机系统时，顶点代表处理器，边代表 统级故障诊断理论。PMC模型是他们首次提出的 处理器之间的连接。假设 是 的一个非空子集， 系统故障诊断模型。诊断度是系统级故障诊断研 以 为顶点集，以两端点均在 中的边的全体为边 究的一个重要的参数，它是多处理器系统能够诊断 集所组成的子图，称为G的由 导出的子图，记为 的最大故障处理器的个数。传统的诊断度总是假 G[，]；G[V]称为 G的导出子图。G的顶点 的度 定系统的任何部分都可能同时失灵，但是对于大规 d。()是指G中与 关联的边 的数 目，用 6(G)和 模并行计算机系统而言，每一个处理器所有相邻的 △(G)来表示 G的顶点的最小度和最大度。对于图 处理器同时发生故障的概率是非常小的，因此它远 G的任一顶点集s，定义G中s|的邻集为与．s的顶点 远低估了并行计算机系统的自我诊断能力。为了 相邻的所有顶点的集，记为Ⅳ (Js)．定义c。(S)= 克服这个缺陷，2005年 Lai等 通过限制每个顶点 Ⅳ。(s)u (s)．设F为G的任意顶点子集，若 —F 的所有邻点不能同时发生故障，提出了一个新的诊 在中任意一点 在导出子图G[V—F]中至少有g个 断测度，称为条件诊断度。在此概念的启发下， 邻点，则称F为G的g好邻条件故障集。如果G—F 2012年Peng等 通过限制每个非故障顶点都有g 不连通且G—F的每个连通分支满足最小度为g，则 个非故障邻点，提出了g好邻条件诊断度。同时， 称F是一个g好邻条件故障割。G的所有g好邻条件 在文献[3]中，Peng等给出了超立方体在 PMC模型 故障割的最小顶点数称为G的g好邻条件连通度， 下的g好邻条件诊断度。本文研究了交换超立方 记为 ，c’(G)．其它文中未予定义直接使用的符号 体在PMC模型下的g好邻条件诊断度，并由此推出 和术语参见文献[4]． 对偶立方体在PMC模型下的g好邻条件诊断度。 在PMC模型下，相邻的两个处理器可以相互进 收稿 日期：2014-05—14 基金项目：国