【摘 要】
：
当系统包含足够多的故障点时,mesh/torus网整个系统很有可能是不安全的.本文采用扩展的局部安全性信息来指导3维mesh/torus网的容错路由.扩展的局部安全性信息在每个平面内部对无故障节点分类,所以系统中的故障块也是在不同的平面上构成的,而不是基于整个系统.很多基于整个系统不安全的节点在2维的平面中都会变成安全的节点.不管是在安全的系统内,甚或不安全的系统内,扩展的局部安全性信息都能有效地
论文部分内容阅读
当系统包含足够多的故障点时,mesh/torus网整个系统很有可能是不安全的.本文采用扩展的局部安全性信息来指导3维mesh/torus网的容错路由.扩展的局部安全性信息在每个平面内部对无故障节点分类,所以系统中的故障块也是在不同的平面上构成的,而不是基于整个系统.很多基于整个系统不安全的节点在2维的平面中都会变成安全的节点.不管是在安全的系统内,甚或不安全的系统内,扩展的局部安全性信息都能有效地指导容错路由.应该注意到,我们的方法不会将任何无故障节点设置为无效节点,而在以往的方法中并不是这样.所有的故障块都是在平面内构成的,而不是基于整个系统;在一个平面内,任何包含在故障块里的无故障节点仍然可作为出发点或者目标点,这样将大大提高系统的计算能力和性能.模拟结果表明本文方法优于已有的方法.
其他文献
本文对甲(月朁)型活性染料及其构效关系进行了探讨。文章围绕甲(月朁)为母体的活性染料、甲(月朁)活性染料的合成、甲(月朁)活性染料的结构和光谱性能、甲(月朁)活性染料的应用性能等进行了论述。
随着集成电路设计复杂性的日益增加,功能验证已成为整个设计流程的瓶颈.传统的模拟验证方法需要大量的时间,而且不能获得完全的覆盖率;形式验证方法是模拟方法的重要补充,它无需产生测试激励,不仅能够缩短设计周期,而且能够达到完全的功能覆盖率.本文介绍了目前应用最广泛的一种形式验证方法——等价性检验在一款通用CPU设计验证中的应用,包括RTL设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功
本文介绍了一种可修复的三模冗余容错计算机,在建立该机故障模型的基础上,提出了一种高效的、可检测处理系统故障和表决器故障的表决机制.
本文研究了针对网络的基于三值BGM模型的分布式系统级故障诊断问题,主要对一步可诊断性的相关问题进行了研究,解决了相应的可诊断度问题、特征问题等,并提出了进一步需要解决的问题.
软件测试和软件容错是两种提高软件系统可靠性的主要技术手段.本文根据文献提出的一种基于规范和程序域分析的软件测试方法,开发出90个测试用例,对34个版本的RSDIMU容错软件进行测试.实验表明:软件测试和软件容错技术相结合,可以进一步提高软件系统的可靠性.
BCH纠错编码是线性分组码的一种,有较好的纠错能力,信息隐藏是近年来信息安全领域出现的新技术.本文讨论将BCH纠错编码与信息隐藏技术结合应用,并通过编程进行模拟实验,得到一些有意义的结论.当含有隐藏信息的彩色图象遭受恶意攻击或受到通信干扰时,采用纠错编码可以改善性能.文中对在不同攻击类型情况下所得到的纠错效果进行对照,采用BCH纠错编码后,局部垂直线条引起的影响可完全消除,局部水平线条引起的影响也
本文介绍了一种软件测试技术——代码覆盖分析,讨论了在测试计划中增加覆盖分析时应该考虑的细节,详细介绍了代码覆盖的基本方法和一般方法,并对各种方法进行了分析比较.
本文以状态变换图为基础,分析冗余状态与变换之间的特征,讨论了结构故障和冗余之间的联系,并结合验证算法提出状态冗余的隐含遍历确认方法.
随着工艺的发展,功耗成为大规模集成电路设计领域中一个关键性问题.降低电源电压是减少电路动态功耗的一种十分有效的方法,但为了保证系统性能,必须相应地降低电路器件的阈值电压,而这样又将导致静态功耗呈指数形式增长,进入深亚微米工艺后,漏电功耗已经能和动态功耗相抗衡,因此,漏电功耗快速模拟器和低功耗低漏电技术一样变得十分紧迫.诸如HSPICE的精确模拟器可以准确估计漏电功耗,但仅仅适合于小规模电路.本文首
软件测试是软件工程领域中重要组成部分.随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件可测试性则是降低测试复杂性的有效手段.为达到这一目标,首先要能对软件的可测试性进行准确的度量.这种度量结果除了作为软件度量的一个量化指标外,还应能为改善可测试性提供指导、为测试的设计提供有效帮助.本文对现有软件可测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于P