空间探测中基于COTS部件的软件容错技术

来源 :计算机工程与科学 | 被引量 : 0次 | 上传用户:lizhongfeng3218
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着航天活动的发展,空间探测任务对于高性能计算的需求越来越明显,高性能的空间超级计算机成为决定下一代空间探测计划成败的关键之一。专用的防辐射计算部件不仅价格昂贵,而且在性能上远远落后于同时代的商用部件(COTS)。使用软件容错技术在COTS部件上搭建空间超级计算机,在达到和专用防辐射部件同样的容错效果的前提下,能够大幅度降低成本,提高性能和性能/功耗比。美国国家宇航局和斯坦福大学的实验已经验证,使用COTS部件有助于实现低成本高效能的下一代空间科学探测计划。
其他文献
精确中断是实现软中断调试的关键。由于NUAL程序的特点,在NUAL处理器中实现精确中断比较困难。现有的重放缓冲和当前状态缓冲机制虽然能够解决这一问题,但前者实现代价较大,
本文介绍了现有的对影像数据管理和索引的方法及其存在的不足,提出了一种基于非均匀划分思想对分布式影像数据进行管理和索引的方法,避免了由于边缘补零带来的时间和空间开销。
针对现有的均值漂移算法不能适应非刚性目标的复杂运动情况,本文首先利用基于边缘的背景减方法去除背景干扰;然后利用GVF Snake技术提取出目标轮廓,结合目标轮廓改进了传统的颜色直方图;最后基于该颜色直方图结合卡尔曼滤波器或粒子滤波器改进了传统的均值漂移算法。实验表明,该算法可以实现快速的非刚性目标跟踪,对目标的不规则运动和严重遮挡有很好的鲁棒性。
近年来,伴随着人工智能的飞速进步,人工智能的运用几乎渗透到各个领域,对当今的会计行业产生了巨大的影响。在提高会计工作效率、提升企业竞争力的同时,也对会计从业人员提出
<正> 现以东风EQ140型汽车为例。该车主减速器是采用单级双曲线齿轮传动,运转平稳,噪音小。但由于该种减速器承受的负荷较大,若使用维修不当,就会造成早期磨损,缩短其使用寿
在正规文法的基础上,通过增加一个约束变量集合,给出了二元文法的定义,证明了二元文法与袋自动机的等价性,定义了平衡推导、递增推导、递减推导和传递推导,证明了它们与不变重复序
针对网络信息层次化的问题进行研究, 建立了信息结构体的简化数学模型, 并根据此简化模型的次优方案求解, 得出了网络信息层次化的次优算法, 同时对最优算法和次优算法就其在
文章分析了传统在线入侵检测技术设计思路的不足,然后从安全数据库系统在线入侵检测出发,提出了国产安全数据库系统SDM4的实时审计入侵检测系统RAIDS设计方案,分析了该系统对传
一条五马河碧波荡漾  一座永安寺钟声悠扬  一道摩天嶺高耸入云  一扇南大门包容开放  五马啊五马,生我养我的地方  五马啊五马,日夜思念的故乡  山里的泉水最甜  酒都的美酒最香  离开你,你在我梦里  走进你,你在我心上  一个小山村宁静安祥  一段老故事伴我成长  一片高粱红孕育希望  一條致富路托起梦想  五马啊五马,生我养我的地方  五马啊五马,日夜思念的故乡  远飞的鸟儿归巢  离家的
目的通过分析胃癌根治术后并发肠套叠3例病人的临床诊断与治疗方法,为进一步对胃癌根治术后并发肠套叠的及时诊断与治疗提供帮助。方法回顾性分析2018年10月至2019年3月安徽