【摘 要】
：
容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种.硬件故障注入法采用人为引入故障方法可加速系统的失效,并通
论文部分内容阅读
容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种.硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容错能力进行评价,更适合工程应用.本文研究采用硬件故障注入方法和特定容错测试仪,对客错箭载计算机的容错机制和设计方案进行了正确性验证,为容错箭载计算机的工程应用奠定技术基础.
其他文献
在釜式反应器釜中 ,甲醇钠加助催化剂下连续通入一氧化碳 ,与甲醇进行液相羰基化合成甲酸甲酯反应。研究考察了助剂、催化剂浓度、反应温度、压力等影响因素。结果表明 ,强极
介绍了一种新的软土地基处理方法--联合加载预压法的研究及应用过程,对其改进措施及加固机理做了探讨.该方法改进了传统排水固结法的一些不足之处.在某工地对该方法进行了现
临床药学服务是医疗卫生事业发展的必然趋势,是医院药学的发展方向。临床药学服务因其在保障合理用药,提高医疗质量,促进医药卫生资源合理使用等方面的重要作用而日益受到重
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法. 从而将这类问题的多项式可解性从坚持网、无冲突网和状态机网的仅有Petri网子类,推
贯流风机流场的分析研究是对其进行结构调整、性能优化的前提.本文运用烟迹和闪光照相的方法对贯流风机的内部流动进行了流场显示研究,得到了瞬态流场照片,并通过多点总压和
[目的]掌握五家渠周边地区荒漠鼠疫主要宿主、传播媒介、种群构成和季节消长规律,为鼠情防控工作提供科学依据.方法:大沙鼠调查采用一日弓形夹法,大沙鼠现场心脏采血.小型鼠
设b为偶数,本文基于作者的原有结果,进一步改进了算法,对于b≤2000,m≤10给出了所有广义Fermat素数F(b,m)＝b2m+1,其中最大的是16321024+1,有3290位.
铝电解过程中阳极上产生的气泡受到气泡内气体压力、液体静压力和气-液之间界面张力的共同作用,逐渐长大成为非球形的气泡。本文对这些力的作用进行了分析,建立气泡长大的数
以丙烯酸为原料 ,通过亲核加成反应合成了 β 丙烯酰氧基丙酸 ,然后再与乙二醇单甲醚反应 ,得到 β 丙烯酰氧基丙酸甲氧基乙酯。讨论了不同影响因素如阻聚剂、脱水剂和反应时
本研究应用模糊数学的"隶属函数"描述不同啤酒口感协调性特征,通过隶属度确定其质量等级.很大程度克服了以往简单评分法给结果造成的主观性和片面性,具有较高的准确性和公正