【摘 要】
：
针对星载软件系统因宇宙射线和环境扰动而产生的软件错误及错误传播问题,研究星载软件系统错误传播分析方法。利用该方法从信号和模块2个层面评测软件的可靠性,并根据结果对
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
【基金项目】
：
航天科技创新基金资助项目(CASC0409)
论文部分内容阅读
针对星载软件系统因宇宙射线和环境扰动而产生的软件错误及错误传播问题,研究星载软件系统错误传播分析方法。利用该方法从信号和模块2个层面评测软件的可靠性,并根据结果对系统信号或模块的脆弱性进行分析,找出系统较为脆弱的信号与模块,以及最可能传播错误的信号传播路径。定义信号与模块的错误传播率、暴露率等参数,设计参数的计算方法,提出错误传播图的构建算法。通过具体实例的注入实验,计算分析各可靠性参数,对信号及模块的脆弱性进行评估。结果表明,定义的参数能有效描述错误传播现象,验证了算法的实用性及有效性。
其他文献
以国际经济理论为基础,建立外贸增长方式的评价指标体系,采用1995年～2007年的浙江外贸数据,通过层次分析法和主成分分析法,对浙江外贸增长方式进行实证研究的结果表明：浙江外贸
随着科研秘书工作的重要性加重,科研秘书工作的角色定位也越来越重要,本文将通过对科研秘书工作性质的两重性进行分析,进而对科研秘书的角色定位加以探讨。
梁启超是我国近代著名思想家、政治家,同时也是伟大的教育家。梁启超培养出的九个子女,个个都成为国家社会各界的精英和栋梁,研究梁启超的家庭教育思想对当今的中国家庭具有
<正>盆底失弛缓型便秘（dyssynergic defecation,DD）是指盆底功能障碍所致的便秘,患者排便时盆底肌呈反常收缩、肛门直肠角缩小或变化不大,导致排便时压力过高,粪便不能正常排出
南卡罗来纳大学摩尔商学院是全美顶级商学院之一，连续14年来在《美国新闻和世界报道》“全美最佳研究生院”国际商务领域的调查中稳居榜首。文章通过对南卡罗来纳大学摩尔商学
分组密码的设计与分析是目前信息安全领域中的热点问题,差分密码分析和线性密码分析是攻击迭代分组密码最有效的两种方法。本文讨论了差分密码分析和线性密码分析的基本原理
发行人良好的治理结构向外部投资者传递着公司重要的利好信息,从而使得公司治理在IPO(Initial Public Offerings,首次公开发行)发行定价中扮演着重要角色。本文以此思路为出
五彩椒系椒中之珍品，也是一种优良的盆栽观果花卉，同株果实有绿、黄、白、紫、红五色，鲜艳夺目，具有光泽、点缀于绿叶之中玲珑可爱。株高约50厘米左右，株产果可达250个，它集食用、
本研究是“申报桂花品种国际登录权”课题的后续部分。桂花是我国传统的十大名花之一，深受国人喜爱。在其漫长的栽培历史过程中，桂花的分布早已远远超过《中国植物志六十一卷》
本论文研究是山水园林城市创建研究的一个组成部分,是笔者在参与四川省古蔺县城景观风貌研究中经过自己的思考和总结所整理的关于城市山水景观规划设计的方法的集成。本文在