【摘 要】
：
软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误（silent data corruption,简称SDC）是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基于不变
【机 构】
：
东南大学计算机科学与工程学院,计算机网络和信息集成教育部重点实验室（东南大学）
论文部分内容阅读
软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误（silent data corruption,简称SDC）是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基于不变量的检测方法.不变量是运行时刻保持不变的程序特征.在软错误发生后,由于程序受到影响,不变量一般不再满足.根据该原理,在源代码中插入以不变量为内容的断言,利用发生软错误后断言报错来检测软错误.首先,根据错误传播分析确定了检测位置,提取了检测位置的不变量;定义了表征不变量检测能力的渗透率,在同一检测位置依据渗透率将不
其他文献
颈髓损伤是临床上一种常见的疾病,损伤后会出现四肢运动、感觉、大小便以及脏器功能紊乱,神经功能恢复差[1],致残率高,死亡率高。近年来,随着交通业、建筑业的发展,外伤性颈
2011年年底,国家发改委、工信部共同发布了《食品工业“十二五”发展规划》,首次将营养与保健食品制造业列入国家发展规划。2012年6月,由国家发改委、工信部、国家粮食局等支
在分析DW16断路器触头系统结构形式的基础上,研制了新的粉末冶金触头材料,并设计了合理的触头组合方式。试验结果表明,这种触头组合完全符合DW16断路器的技术要求。
本文通过对美国主流金融机构、国内证券公司、创投机构、公募基金的估值对比分析,可以得知资产管理机构在金融行业中估值最高。同时,对美国资产管理机构的商业模式、业务特点
关于新时期统一战线的政治基础,现有的科学社会主义教科书对这个问题的回答基本上是一致的,即'四项基本原则'。例如,中央党校范若愚、江流主编的《科学社会主义概论
新闻采访是一门很有发挥空间的学问。经典的新闻采访学教导我们：要善于与采访对象沟通，要尽陕缩短与采访对象的心理距离；要细致观察；要顺藤摸瓜……这些都很正确，但在我看来失之笼
内张蹄式制动器在各种车辆和工程机械中广泛应用.但原有蹄式制动器摩擦片比压不相等,摩损不均匀,摩擦材料利用不充分,而且磨损较快。本文提出摩擦片等比压设计原则,导出了相
在山东丰源远航煤业有限公司北徐楼煤矿,无论是在矿图书室里,还是在工区图书角里,甚至是在职工宿舍、办公室,随处可见捧着书本的青年职工,他们爱书读书行动已成为煤矿的一道
礼仪不仅是社会文明的标志，也是个体道德修养的外在体现。医学生未来所从事的是“救死扶伤”特殊的“窗口”行业，面对的是处于疾病痛苦之中的患者。医者良好的礼仪素养是其职业
目的使用自行设计的《肺康复知识调查问卷》对慢性阻塞性肺疾病患者进行评估后予以针对性健康教育,与常规教育方式相比,是否可以提高COPD患者肺康复知识掌握程度。方法选取20