论文部分内容阅读
航天环境的特殊性决定了星载软件的高可靠性要求，软件的容错设计是保证星载软件可靠性的有效手段。同时，对软件容错设计本身的技术验证也是非常必要的。文章在对软件容错设计分析的同时，结合工程项目实践，构建了一个软件故障注入模型，用以模拟空间环境故障对软件的影响，并验证项目中软件容错能力的健壮性。
星载软件容错设计及验证技术
【摘 要】
：
航天环境的特殊性决定了星载软件的高可靠性要求，软件的容错设计是保证星载软件可靠性的有效手段。同时，对软件容错设计本身的技术验证也是非常必要的。文章在对软件容错设计分
【机 构】
：
中国电子科技集团公司第36研究所
【出 处】
：
中国电子科学研究院学报
【发表日期】
：
2009年3期
其他文献
OFDM（正交多载波调制）是一种在无线环境下具有较高频谱利用率的多载波调制技术,它具有较强的对抗多径干扰和消除符号间干扰的能力。基于Vogler模型出发,根据实测的短波信道参数
多少年来，人们从来没有像今天一样对江河山川、一草一木如此动容，也从来没有像今天一样对自然生态如此尊崇。 在圣地延安的东南缘，有一个被誉为“陕西的一叶肺”、黄土高原上的香格里拉的田园小城。这里有连绵起伏、重峦叠嶂的山脉，这里有群山吐翠、万木葱茏的森林，这里有天朗气清、沁人心脾的空气，这里有清澈见底、奔流不息的河流……这里更有勤劳智慧包容相济的人民，这就是玲珑秀美的黄龙县。 黄龙有着悠久的历史。她
共享经济是指拥有闲置资源的机构或个人有偿让渡资源使用权给他人,让渡者获取回报,分享者利用分享他人的闲置资源创造价值。共享经济模式不仅可作为一种有效解决和处理当前陕
雷达辐射源识别既是雷达侦察系统中信号处理的重要内容，同时又为判断敌方武器威胁、战场态势评估提供依据。为准确解决辐射源识别问题，研究了粗糙集中基于可辨识矩阵和逻辑运算
面向应用领域的可信软件模型的建模与评估，是在现有的可信计算硬件平台和可信的操作系统之上，实现可信的Web应用、可信的应用软件和可信的开放网络环境的关键。详细介绍了可信
自卑心理是指个人由于某种原因（如生理、心理缺陷或学习成绩欠佳）而产生的轻视自己，认为自己在某方面不如他人的一种消极心理现象。具有自卑心理的学生，在体育课上总觉得运动能力不如他人，不愿参加体育运动，对体育学习丧失信心。这种心理对学生的体育学习和教师的体育教学活动都有消极的影响。 一、学生在体育活动中产生自卑心理的原因 1.自我认识不足，过低估计自己 人们总是根据他人对自己的评价和与他
多用户多输入多输出（MIMO）系统中需要对用户进行合理调度,一般基于信道增益的调度算法忽略了用户之间的公平性。基于此,提出了一种公平的多用户调度算法,其思想是先根据信道条
机载战场监视雷达是现代战争中保障信息优势的一种重要装备,简要总结了地面运动目标跟踪(GMTT)的特点,以及当前实用于战场监视雷达GMTT应用的多假设跟踪(MHT)方法。提出了一