博士学位论文 涡扇发动机排气系统红外特征计算与抑制技术研究

航天型号软件工程方法与技术

本书分析了国内外航天软件工程实施情况，介绍了航天型号软件研制过程和管理内容，并深入阐述了软件研制各阶段、软件项目管理与计划、软件配置管理和软件质量保证等涉及的理论、方法和相关技术，详细分析了模型驱...

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

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

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

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

机载软件研究流程最佳实践

本书深入解读了民用飞机机载软件最具代表性的符合性方法RTCA DO—178B标准，结合国际机载软件项目经验详细分析了DO—178B标准各过程阶段的目标、活动和符合性数据，分析上述标准要求的软件工程背景和依据，并通...

数字航空电子技术 航空电子元件、软件、功能件

本书以专题形式详细介绍了数字航空电子技术及其发展状况，内容涵盖航空电子元件、软件、功能件以及航空电子系统的工程开发与实现。手册提出了数字航空电子技术的许多新概念、新原理和新技术，介绍了数字航空电...

机载软件适航标准DO-178B\C研究

本书综合了国外著名航空厂商机载软件研制的成功经验，结合中国航空工业的实际特点，应用国际国内软件适航标准的要求，经过分析、研究和归纳，提出了一套完整的、严格的、规范的、易操作的A级软件研制流程的最佳实...

机载计算机技术

本书涵盖了机载计算机的研究、生产和试验等方面，阐述了机载计算机发展过程的过去、现在和将来。

星上计算机及其抗辐射加固技术的新进展

航空导航微计算机的设计研究