航天型号高可靠软件系统调试原理与技术

本书针对复杂航天型号对软件高可靠性的要求，在深入分析软件故障特征的基础上，阐述当前软件调试手段与工具的技术分类体系，介绍一批最新的、具有代表性的软件调试技术，包括：程序规则分析、用户行为分析、虚拟化调...

线性控制系统理论在惯性导航系统中的应用

航天型号软件测试

微米/纳米技术在航天系统中的应用

航天型号软件工程

本书阐述了软件工程的基本概念，介绍了航天型号软件工程各个阶段的工作内容，提供了丰富的工程研制经验。

航天型号可靠性守则

本书详细归纳了中国航天五十多年来航天型号可靠性管理、设计、分析、试验等方面的经验教训，并将其提炼为航天型号全体研制人员共同遵守的行为准则，明确航天型号可靠性工作该做什么、怎么做。...

自主系统及其在NASA智能航天器操作和探测系统中的应用

本书内容包括：背景简介、飞行与着陆软件、自主飞行系统进展、自主着陆系统进展、自主运行系统核心技术、基于自主飞行器的设计、合作自主系统、自主飞行器的应用、自主运行系统使命等内容。...

鲁棒故障检测方法及其在卫星姿态控制系统中的应用

国际飞行试验机构、试飞员培养及型号试飞

本书主要介绍了国外飞行试验机构的任务宗旨、重要设施；试飞员的选拔、培养与使用等内容。

Kalman滤波理论及其在导航系统中的应用

本书紧密结合Kalman滤波理论在导航、制导与控制领域的应用展开，深入浅出，系统介绍了Kalman滤波基础理论及最新发展，主要内容有Kalman滤波基本理论、实用Kalman滤波技术和Kalman滤波的新应用。...