【摘 要】
：
在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查
【机 构】
：
哈尔滨工业大学计算机科学与技术学院,哈尔滨工业大学航天学院
【基金项目】
：
航天“十五’预研项目“星上弹上容错计算机系统可靠性评测技术的研究”资助（417010402）
论文部分内容阅读
在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
据2011年4月4日Hietpoas RT(Proc Natl Acad Sci USA,2011 Apr 4.[Epub ahead of print])报道,马萨诸塞大学医学院研究人员开发出一种新的突变基因筛查技术,该技术能在同一试
本文阐述了应用导弹飞行中遥外测所测得的实际弹道参数，从而得出弹道上各点与地面之间的高度。
铁西区是沈阳市的重工业区,人口较密集。本文仅就沈阳市铁西区人口、死因及寿命的变动趋势进行初步分析。本文人口资料采用当地公安、卫生防疫及计划生育部门的生命统计资料
健康扶贫是精准扶贫的组成部分,也是当前扶贫工作的重要内容。健康扶贫政策的实施将推动中国、乃至全人类共同减贫目标的实现。改革开放以来,我国扶贫工作取得显著成效,但因
开发了一种镁合金上组合镀层,化学镀层与碱性锌镍镀层的组合,镀层耐蚀性大幅度提高.厚度不超过35 μm的镀层可以承受800～1000 h的中性盐雾腐蚀,镀层可作为镁合金苛刻环境下的
住房抵押贷款,作为老百姓购房的一种行之有效的金融手段,由于种种原因的影响,还没有发挥应有的作用,笔者认为要作进一步的完善工作。
本文鉴于金融科技的创新,突破区块链应用货币化和虚拟化的思维局限,全面落实区块链的实地应用,在分析数字经济时代区块链技术生活化嵌入模式的基础上,论证了区块技术驱动创新
让居民买得放心、住得舒心,花最少的钱,住质量最好的房,是我们刻意追求的最大愿望。为此,我们邯郸经济适用房发展中心站在从讲政治的高度来抓好经济适用住房(安居工程)建设每
1989年上海造漆厂取得的成绩是可喜的。完成工业总产值6702万元,产量10106吨,分别比上年增长0.29％和1％,实现利润550万元,比上年增长39.9％,做到了效益高于速度的增长,成为全国涂