【摘 要】
：
在空间计算机的设计和制造中,高性能和高可靠是一对矛盾.使用防辐照器件制造空间计算机能够提高可靠性,但是防辐照器件不仅价格昂贵,而且在性能上远远落后于同时代的COTS器件
【机 构】
：
国防科学技术大学计算机学院,长沙,410073
论文部分内容阅读
在空间计算机的设计和制造中,高性能和高可靠是一对矛盾.使用防辐照器件制造空间计算机能够提高可靠性,但是防辐照器件不仅价格昂贵,而且在性能上远远落后于同时代的COTS器件,不能满足日益增长的空间高性能应用的需求;而使用COTS器件制造的计算机能够达到很高的性能,而且具有较高的性价比,但是在容错能力比不上防辐照器件,不能满足空间计算机在可靠性方面的要求.在COTS器件上实现软件容错,是提高空间高可靠计算机性能的方法之一,现已成为国际上的趋势.美国国家宇航局喷气推进实验室和Stanford大学的可靠性计算实验室在这些方面都进行了卓有成效的研究.然而在COTS器件上实现软件容错也带来了许多挑战.软件容错带来的性能和功耗开销,软件本身的容错能力等,都是必须面对的问题.本文在介绍了基于COTS器件的软件容错技术的背景和发展情况后,又针对其中的主要问题提出了可能的解决方法,其中基于错误流模型的容错编译技术具有较高的实用价值.
其他文献
本文在分析福建三都澳港口航道图测绘中压力式水位计实际运用的问题,针对目前测绘工作中的技术难点和特点进行分析,探讨港口航道图测绘中使用压力式水位计进行潮位观测,为满
晕渲地图由于其美观、立体感强的特点,在大型挂图的制作中一直受到人们的青睐.目前专题海图存在类型单调、风格单一的问题,将晕渲方法用于专题海图的制作,可以起到锦上添花的
本文通过对20年以上的基本水位站资料统计计算,用多年平均水位保证率曲线法求出该站的航行基准面;并用水位相关法设置基本水尺、临时水尺、航行水尺.
目的:建立竹柏叶中穗花双黄酮含量测定方法。方法:采用高效液相色谱法,色谱条件为:Agilent C18色谱柱(150 mm×4.6 mm,5μm);乙腈-0.05%磷酸水液为流动相,梯度洗脱(时间0~30
目的:比较国产缬沙坦和进口缬沙坦治疗轻、中度高血压的疗效及安全性。方法:156例轻、中度高血压患者随机分为两组,试验组(n=84)口服国产缬沙坦,对照组(n=72)服用进口缬沙坦,
基于Imagine体系结构,提出了一种科学程序局部性优化方法,旨在提高流程序的带宽利用率并保证Imagine强大的计算能力.关键技术在于通过对循环的计算变换和数据变换来开发体系
现有存储系统主要存在以下问题:信息存储规模有限、系统结构限制了高速应用范围以及系统实时性和可靠性不够.为了满足大容量、高效、可扩展和高服务质量的存储系统需求,提出
目的：利用CHIRALCEL OJ-H手性柱,建立了直接拆分西酞普兰对映异构体的方法。方法：考察了流动相中不同醇类改性剂、柱温、有机碱添加剂对西酞普兰对映异构体拆分的影响。优化后
目的:研究葛花中的鸢尾异黄酮对SMMC-7721人肝癌细胞株增殖的抑制作用。方法:将野葛花的甲醇提取物用盐酸加热水解得到葛花总异黄酮,总异黄酮经硅胶柱层析分离获得鸢尾异黄酮
本文基于对象存储的理论并结合现代媒体企业的存储需求,设计并实现了一种应用于连续媒体数据归档的、按内容寻址的存储系统.在CAS中采用了高速索引技术对数据对象进行快速定