|
|||||
|
|
| "嫦娥五号"探测器GNC应用软件高可信研制技术 | |
| 作者姓名： | 李轶 黎藜 郭明姝 王同磊 张国峰 李晓锋 |
| 摘 要： | 基于"嫦娥五号"(Chang'E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究.针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,... |
| 关 键 词： | 嫦娥五号 GNC分系统 应用软件 高可信 |