《航天型号可编程逻辑逻辑器件软件验证技术与实践》系统地论述了可编程逻辑器件软件：从研制阶段的研制流程要求，到可编程逻辑器件的软件测试要求；从源代码的规范性测试技术到功能级仿真，再到网表级功能和时序验证技术；从代码级的设计经验总结到功能级、时序级典型问题分析总结。这些都是我们从大量工程实践中积累而来的宝贵财富。第1章简要

《航天科技出版基金自助出版通信卫星信息系统设计技术》从通信卫星基本概念入手，在介绍信息系统概念的基础上，对概念中所涉及的星间信息系统和星载信息系统（遥测遥控、数据管理、综合电子）的相关知识和相关技术进行了详细阐述。由此引出通信卫星信息系统设计方法，对通信卫星信息系统设计技术的基础理论知识、设计要点、工作流程、工作规范、

以实践十号返回式卫星10个微重力科学项目空间实验研究为核心，介绍相关科学研究的状况、进展及展望，特别介绍实践十号返回式卫星项目的研究目标、研究内容、空间实验装置和实验状况，以及部分空间科学实验的结果等。

以实践十号返回式卫星10个微重力科学项目空间实验研究为核心，介绍相关科学研究的状况、进展及展望，特别介绍实践十号返回式卫星项目的研究目标、研究内容、空间实验装置和实验状况，以及部分空间科学实验的结果等。

《中国航天技术进展丛书：远程火箭重力场重构与补偿》基于飞行力学、制导控制、地球物理学、大地测量等多个学科和技术的长期研究，在扰动重力场研究方面，突破了基于有限元思想的模型重构技术，实现了模型快速高精度构建；建立了等效补偿理论与补偿模式，实现了改进飞行精度的箭上实时补偿，解决了重构理论及应用基础问题。《中国航天技术进展丛

全书共分六个部分，第一部分介绍了可诊断性与可重构性的定义、内涵及研究进展等;第二部分研究了系统建模与故障分析方法、可诊断性与可重构性理论的核心,以及系统诊断和重构能力的表征、判定和量化方法;第三部分阐述了基于相关性模型、解析冗余关系、距离相似度、方向相似度和考虑非线性因素影响的可诊断性评价方法,以及基于相关性模型、DM

《飞行器制造工程专业综合实验教程》是适应新时期飞行器制造工程专业本科教学对实验教材的需要，旨在强化、规范实验教学，通过实验课程教学促进学生对理论知识的理解、深化，培养学生的动手能力和实验技能。《飞行器制造工程专业综合实验教程》主要汇编了飞行器制造工程专业本科培养方案中飞行器制造技术基础、飞机钣金成形原理与工艺、飞机装配

火箭研制充满挑战，航天发射风险常在，重复性故障时有发生。因此，需要不断总结经验教训，以避免发生付出生命代价的故障。 他山之石，可以攻玉。该书结合载人航天工程运载火箭控制任务需求，强调基础原理与工程实践相结合，创新性地采用“经验一基本原理一应用分析”的写作模式，就控制系统的系统设计、产品实现、验证与确认等方面的实践进行

《珞珈一号01星夜光遥感设计与处理》设计并实现高灵敏度、高动态范围、高几何辐射质量的夜光成像，研制我国首个分辨率**、**几何精度优于200m的中国夜光遥感正射影像一张图。在国内开创互联网+遥感卫星数据公益服务模式，为联合国难民营设置、瑞典森林火灾和印尼地震等提供遥感数据定制服务。

首先，从卫星总体和电推进系统总体两个层面论述电推进总体设计的相关内容。其次，介绍相较传统化学推进卫星，使用电推进后，卫星设计和研制涉及到的新技术、新设计、新状态。最后，介绍电推进航天器的试验与设计案例。