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

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

航天器软件测试技术与实践 【航空航天】

本书系统介绍了航天器软件测试的基本方法、流程和各项主要技术，对当前航天器软件测试常用工具进行了比对说明。针对近年来载入航天工程等重大型号中提出并应用的测试覆盖率分析技术、仿真测试环境搭建技术、...

飞行器不确定性多学科设计优化理论与应用 【航空航天】

本书以提高飞行器总体设计水平、增强飞行器可靠性和稳健性为背景，对飞行器的不确定性多学科设计优化理论与应用进行系统深入的阐述。全书分为两个部分，共计十二章。第一部分（第一至八章）为UMDO理论部分：第一章介...

北京理工大学教育基金会·教授文库 固体推进剂化学与技术 【航空航天】

本专著较全面地叙述了火箭固体推进剂的能量、燃烧、力学和安定性及危险性质，并介绍了主要两类推进剂——双基和复合推进剂的概况以及它们的制造工艺，同时，对推进剂应用于发动机装药时所涉及的绝热包覆技术也作...

应用流体力学 【航空航天】

造福人类的应用卫星 【航空航天】

激光陀螺及其应用 【航空航天】

航空气象应用简明手册 【航空航天】

陀螺仪原理及应用 【航空航天】

惯性陀螺的系统应用考虑 【航空航天】