【摘 要】
：
提出一套适用于空间机器人的高可信软件设计模型和算法，将空间机器人软件错误检测分为单元级和系统级2个层级，针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制
【机 构】
：
哈尔滨工业大学计算机科学与技术学院
论文部分内容阅读
提出一套适用于空间机器人的高可信软件设计模型和算法，将空间机器人软件错误检测分为单元级和系统级2个层级，针对单元级检测设计程序基本块模型以及基于该模型的数据流和控制流错误检测算法；针对分布式软件系统级的错误检测，设计多节点自适应冗余模型，在此基础上设计基于微检查点的错误检测算法，对空间机器人软件系统的错误检测形成一个完整覆盖，该方法已得到成功应用。
其他文献
本文对现代体育教学体系进行研究与分析,总结出目前中学生体育教学体系中存在的几点不足,并提出一些建设性意见。
据美国《橡胶世界》报道,印度橡胶局（IRB）预测,今年天然橡胶的供求缺口为7.5万t。IRB称,今年天然橡胶产量将增至90.2万t,比去年增长4.6%,而橡胶制品行业对天然橡胶的需求将超过
采用Midas Civil软件对独立深基坑进行分析时计算结果与启明星软件分析结果基本吻合,验证了Midas Civil软件荷载输入及边界条件设定的合理性,并进一步提出深浅基坑联合支护设
<正>董明珠再一次连续上头条。11月2日,深交所对格力电器(000651.SZ)再次下发关注函。针对日前珠海银隆与广东中信阳光签订1000辆新能源车订单一事,深交所要求格力电器11月7
现代汉语成语中的羡余不仅可以加强语意,而且能够使内容表达得更完整更准确。通过介绍成语的定义与特性,对现代汉语成语的羡余现象进行分类并且作了简要的分析和探讨,讨论了
介绍了一种新的、环保的AEM硫化体系。基于胍类促进剂的危害已得到公认,采用ACT55和XLA-60来代替二邻甲苯胍（DOTG）或二苯胍（DPG）,与相对于己二胺氨基甲酸盐（HMDC）成本更低的己二胺（H
从分析我国新型职业农民培育现状入手,指出培育新型职业农民是高职院校的一项基础性和长期性工作任务,总结了广东农工商职业技术学院培育新型职业农民的主要做法,即精准育人
以《内燃机》精品课程建设为例，围绕师资建设、教学与科研、教学方法与手段等等方面，探讨了精品谏程的建设与人才培养的关系。
运用ABAQUS对坑中坑式基坑进行了数值模拟分析,得到了基坑开挖过程中内外坑围护结构的变形规律,探讨了内坑围护桩插入深度对坑中坑变形的影响。得出如下结论:内坑的开挖对外
在当前的国际国内经济背景下,人民币名义汇率出现较大程度的波动,名义汇率与均衡汇率也发生了一定的背离,产生汇率错位(exchange rate misalignment)。汇率错位会使农业政策