【摘 要】
:
在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于
【机 构】
:
西安交通大学软件学院,西安交通大学能源与动力工程学院
论文部分内容阅读
在高辐射宇宙环境下,大量射线容易使航天计算机发生瞬态故障,导致程序出现控制流错误,而传统控制流错误检测算法存在运算复杂度高、具有滞后性和配置不灵活等缺点。为此,基于结构化标签提出一种可配置的控制流错误检测算法。算法使用2个标签,通过对基本块设计结构引入双指令环,解决块间滞后性的问题,实现基本块间和块内的控制流检测。实验结果表明,与同类算法相比,该算法在保证等效检错能力的情况下可使空间开销降低49.3%,时间开销降低17%~45.3%,故障覆盖率提高6.2%~8.6%。
其他文献
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题
针对现有异构网络算法负载不均衡和网络寿命短的问题,提出一种基于能量均衡与动态调节的节点筛选算法。根据网络节点间的相邻性与链路结构特点计算节点的距离和能量,引入方向
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食
Back to yield
新媒体的蓬勃发展使其在文化传播中起着不可忽略的作用,并为社会大众的文化传播提供了充足的活力,更提供了不同以往的传播方式和丰富多样的传播方式、传播渠道,对高校校园文
“中茶108”是由中国农业科学院茶叶研究所从龙井43辐射诱变后代中,经单株选育而成的优良无性系茶树品种,属灌木型、中叶类、特早生种,2010年通过品种鉴定成为国家级良种(国品
股指期货是以股票价格指数为交易标的的期货,投资者运用股指期货,既能够有效的规避股票市场的系统风险,又能够利用它进行套利。目前,股指期货套利功能引起了国内外投资者的广
随着电力事业的不断发展和改革,电力企业的竞争日益激烈,10kV作为配电网的主要形式是电力企业竞争力的体现。电力大客户与供电企业之间存在直接的利益关系,所以加强供电企业
永磁隧道推进器(TT-PM)是罗尔斯·罗伊斯公司隧道推进器的最新型设计,设计重点在用于产品的运行可靠性以及周期成本。该产品采用永磁电机技术,不仅提高效率,而且安装结构更加
商业银行对中小公司客户的贷款风险管理是国际、国内不断研究和讨论的课题。近年来,中小企业在中国经济快速发展的过程中发挥了强有力的促进作用,但商业银行在拓展该类客户市
会计行业的发展,一定程度上推动了我国经济建设的发展壮大。随着改革开放的逐渐深入,会计在发展中所起到的作用也越来越明显,当下如何有效的开展会计工作以便更好地推动企业