【摘 要】
:
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入
【机 构】
:
国防科技大学计算机学院,中国电子系统设备工程公司研究所
论文部分内容阅读
空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些故障的主要影响之一是引发程序控制流错误.文中提出了一种软件实现的控制流检测方法CFCAF.CFCAF基于插入虚拟基本块后的控制流图对基本块分类,并为基本块设计格式化标签,然后在基本块内插装标签更新、比较指令,实现对基本块之间、基本块内和过程间调用的控制流检测.CFCAF的特点是可以根据可靠性和性能的需求进行灵活配置.对CFCAF及目前有代表性的两个同类算法进行的故障注入实验结果表明,CFCAF算法以平均41.7%的性能代价和平均34%的空间
其他文献
在移动互联网时代,"互联网+教育"不仅促进了教育事业的信息化和网络化,还通过教育类APP市场的内向细分和外缘延展,重构了教育的既定内涵。学界对带有市场基因的用户体验的关
目的探讨扩张型心肌病患者心外膜脂肪厚度与左心室重构和左心室功能不全的相关性。方法选取本院2012年1月至2013年12月期间收治的100例扩张型心肌病患者为观察组,选取同期到
四手联弹作为钢琴的一种表演形式,对于培养学生的音乐表现力,协作演奏能力具有重要的意义。由于这种表演形式是由两位演奏者在一台钢琴上合作完成,因此对合作者的自身素质有
质量关系到企业未来的市场,安全生产关系到企业员工的生命与健康,文明施工关系到企业的形象,工程成本控制关系到企业的生存与发展,而施工进度则是上述各方面的基础。项目施工
通过研究指出中学体育教师专业化发展的必要性,并提出了加强体育教师专业化发展的具体策略,对于促进体育教师专业化发展水平的发展,提高体育教学质量,促进学生的全面发展,具
采用VISSIM软件,分别针对顺直路段和曲线路段不同交通流状态下不同低速货车混入率进行模拟仿真,引入速度差概念分析低速货车混入率对小型车的影响.仿真结果表明,随着交通量以
硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法
为比较健美操和跆拳道的锻炼对心理健康的影响,使用SCL-90分别对锻炼健美操组、锻炼跆拳道组和对照组3组被试者进行前后测量,进行方差分析.结果表明,健美操组比跆拳道组更能
文化教育侵略是日本侵华第二战场,在其侵华过程中扮演着重要角色。日华学会从1918年成立至1945年解散,经营留日教育管理事务20余年,客观上为中国人留学日本教育事业做出一定
风扇在做裸机测试时其轴芯发生了断裂。采用化学成分分析、金相检验、硬度测试、断口宏观和微观观察等方法对断裂原因进行了分析。结果表明:由于风扇轴芯材料的过热加工,导致