装备测试性设计分析验证技术

介绍了测试性的基本概念，详细阐述了测试性工作通用要求和实施方法，以及测试性设计分析验证中关键技术。包含已有的测试性设计、分析验证中的常用方法和规则，以及在实际装备综合诊断中，针对装备保障中存在的测试...

安全协议操作语义与验证

安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...

飞机总体设计支持技术探索与实践

飞机总体设计则是飞机研制过程中对项目成败有决定性意义关键阶段，应用现代先进技术对这一阶段进行有效支持对于提升设计质量和效率具有重要意义。本书围绕飞机总体设计支持技术的应用与发展，论述了从相对独立...

有趣的情景百科绘本 民用飞机

本书是一本2-6岁儿童的飞机百科绘本，书中详细地介绍了民用的支线客机、医疗飞机、水上飞机、大型客机、货运飞机、警用直升机、轻型飞机和通用飞机等，每一架飞机都有不同的绘画表现形式，包括飞机的内部构造、...

民用建筑节能设计技术

本书介绍了民用建筑节能设计技术及相关知识。

常用民用房屋设计技术规范

民用航空安全与管理

本书以章节形式对国际民航安全规定、从事民航乘务员的要求、客舱安全运行规定、机组人员职责和机上特殊服务案例为主要讲述内容。

民用建筑采暖通风设计技术措施

民用航空器维修人员执照笔试题汇编 飞机机械部分试用本

维修性设计与验证