folded hypercubes在pmc模型下的可诊断数 diagnosability of folded hypercube in the pmc model.pdfVIP

Electronic Folded 李刚平，朱 强，郭洋洋 (西安电子科技大学理学院，陕西西安710071) 摘要可诊断数是衡量多处理器系统可靠性的一个重要参数。文中通过对折叠立方体的可诊断性研究，证明了 关键词折叠立方体；可诊断数；PMC模型；精确策璐；悲观策略 中图分类号0151．6文献标识码A 文章编号1007—7820(2013)01—016—03 ofFolded inthePMCModel DiagnosabilityHypercube LIGangping，ZHUQiang，GUOYangyang ofScience，Xidian 710071，China) (School University，Xi’an Abstract an rolein the of this systems．In Diagnosabilityplaysimportantmeasuringreliabilitymultiprocessor is thatinthePMC Folded with paper，itproved model，the(n+1)一dimensionalHypercube the withthe forn≥4． strategyfor，lt3，and(2n+2)／(2n+2)一diagnosablepessimisticstrategy precisediagnosis folded strategy KeywordsHypercube；diagnosability；PMCmodel；pessimisticstrategy；pessimistic 随着半导体技术的不断发展，以及大规模多处理 首先提出，在这个模型下，如果两个处理器之间有连 系统应用的日益广泛，多处理器系统的安全性和稳定 线，它们就可以相互测试。在PMC模型中，假设测试 性问题变得越来越重要，而系统故障的诊断是保证系 者是好的，那么测试结果就是可靠的。而如果测试者 统可靠性的重要手段。系统级故障诊断的基本思想 是故障处理器，那么无论被测试者是否有故障，测试的 是：系统中处理器之间相互测试，通过对测试结果进行 结果都可能为0或1。许多著名的网络在PMC模型下 逻辑分析确定系统中的故障处理器。 系统级诊断是多处理器系统的一种测试和故障诊 断方法。它利用多处理器系统内部固有的并行机制， 提出，在这种诊断模型下许多网络的诊断数已被求 在这种方式下，多处理器系统被看作是一个图G(y， E)，每个处理器是图的一个顶点，两个处理器之间的 定输入下的运算结果进行的，而且比较是由第3个处 连线是图中的一条边。一个处理器可以测试另一些指 理器来完成。 定的处理器并产生0／1的测试结果。测试结果为0表 定义1一个系统称为t一可诊断的，如果该系统 示测试通过；测试结果为1表示测试没有通过。0和1 中发生故障处理器的数目不超过t时，所有的处理器 就是测试处理器和被测试处理器之间有向边的权。测 都能被准确地诊断出是故障的或非故障的。一个系统