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

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

航天·开发 第四生存空间 全彩 【航空航天】

阿姆斯特朗首次登月真相究竟如何？在太空中会不会发生追尾？在太空怎样上厕所？未来的飞船会是什么样子？宇宙飞船、航天飞机、空天飞机三者之间有何区别？人类为什么要建立月球基地？火星探测有何意义？女航天员的婚......

数学模型及其在飞机设计与制造中的应用译文集 3 绘图语言系统-CLAM几何手册 【航空航天】

现代飞行控制系统的评估与确认方法 【航空航天】

本书对飞行控制系统的验证和确认进行了系统的论述，并重点着眼于近年来各种先进技术在现代飞行控制律的评估与确认过程中的实际应用，第一章主要介绍了先进飞行控制技术的发展；第二章从工程实践的角度对飞行控制...

飞行数据/话音记录器-黑匣子 【航空航天】

标准模型实验及数据分析译文选 【航空航天】

航天工程技术风险管理方法与实践 【航空航天】

本书阐述了航天工程各个阶段的技术风险管理模式；结合典型案例全面介绍了在设计、生产、试验、总装、总装测试及靶场测试、软件研制、外包外协等过程中的技术风险源研究与识别及其相互关系；从通用方法和航天工...

航空计算机系统与应用 【航空航天】

本书全面介绍了计算机系统在航空领域中的应用知识。全书分为10章。前两章介绍了计算机系统结构、通用计算机系统、计算机通信与网络等计算机的基础知识。在此基础上，第3～7章分别介绍了机载数据总线、大气数据...

空间系绳系统运动动力学与控制导论 【航空航天】

本书研究的是空间系绳系统运动动力学与控制问题。描述带有分布参数和集中参数的基本数学模型，并将模型用于设计系绳系统在轨道上运动的控制系统。研究空间系绳系统标称展开程序的建立方法以及用以解决程序运...

VHDL与数字系统设计 【航空航天】

随着计算机和大规模集成电路制造技术的迅速发展，现代的电子产品和复杂的数字逻辑系统正朝着高集成度、小型化和低功耗的方向发展。传统的依赖电路原理图的设计方法已经不能够满足现代复杂数字系统设计的要求...