当前，基于模型的系统工程（model - based systems engineering，MBSE）和 SysML 语言在国内工业界和学术界得到广泛应用，但大多停留在作图、描述或建模层面，利用系统模型开展问题分析的案例鲜见。国际业界和研究机构早期也有类似问题，SysML v2 将加强基于模型的分析能力。 基于模型的分析在复杂系统研究领域应用广泛，形式化验证是基础且重要的方面，能确保系统逻辑建模的合理性，在 MBSE 中作用关键，但利用 SysML 系统模型开展形式化模型验证存在诸多不足与挑战，如应用场景和方法难形成标准化框架、对数学和逻辑背景要求高、缺少工具支持等，许多工程团队更依赖传统方法，限制了系统模型价值，制约数字化转型。 本书介绍通过数学方法验证系统模型是否符合预期需求和规范的方法，开展基于系统模型的形式化分析，以解决高端装备和复杂体系设计与评估问题，确保系统正确运行。内容安排上，前 4 章是系统工程、体系架构与框架和建模语言等基础内容；从第 5 章开始，介绍基于系统模型的验证、确认和认证的方法。 在基于模型的设计实践中，形式化验证是确保系统符合严格安全标准和法规的重要手段，与 MBSE 工具链集成实现自动化验证后，可大幅提高验证效率和准确性。译者希望借此为提升国内复杂系统设计能力、加速数字化转型落地提供支撑。

·本书介绍质量的基本概念、质量管理体系、常用质量管理工具、6σ 管理、质量检验、质量设计、可靠性基础知识、可靠性模型、可靠性设计、可靠性分析技术、可靠性试验与评估和可靠性管理。在内容上考虑到不同的读者对理论学习和实用性的要求，本书既系统介绍质量与可靠性的基本概念、基本理论和方法，又注重案例的介绍，力求兼顾理论与实践，将质量管理的思想和可靠性的概念介绍给读者，指导读者分析和解决在学习、生活、工作当中遇到的相关问题。本书可作为管理科学与工程、工业工程、工程管理等专业的本科生或研究生的教材，也可作为相关专业的研究生和教师的参考资料，还可供从事质量管理与可靠性相关工作的人员学习参考。

本书深入总结编者近年来围绕帆式船舶自主航行控制任务取得的关键研究成果，涵盖帆式船舶建模、迎 / 顺风换舷策略、自主制导技术、动态面控制、鲁棒神经阻尼技术、动态事件触发机制、速度调节控制、能耗优化与肌力补偿等理论技术与实际需求实践，设计帆式船舶自主航行制导与鲁棒控制策略。本书内容融入了编者对帆式船舶智能航行控制的一系列思考所得和研究设计范例，力求使本书内容在全面性和实用性方面具有较高的参考价值。本书各部分内容既相互联系又相互独立，读者可根据自己需要选择学习。本书内容精炼，系统性和实用性强，可作为交通运输工程、交通信息工程及控制、航海科学与技术、控制科学与工程等专业高年级本科生和研究生的教材和参考书使用，也可供绿色智能船舶建造及航行控制相关领域的广大工程技术人员和科研工作者自学和参考。

本书以传感为核心，主要讲述光电与光纤传感器相关的技术及应用，其中，光传感的 MEMS 化作为传感器发展的方向，也做了深入介绍。全书内容包括与传感器有关的光（辐射）源、光电器件、结型光电器件、光电发射器件、光纤、各种光纤传感器件与技术、MEMS 光传感系统及工艺。对涉及的典型应用，也做了适当介绍。本书可作为理工科院校光电信息科学与工程、光学工程、信息与通信工程等专业从事传感领域研究的高年级本科生、研究生的学习教材或参考书，也可为研究和从事相关领域的科研人员和工作人员提供参考。

本书系统阐述航天器轨道力学知识，含太阳系与轨道力学发展历程、时间系统和质点动力学基础；二体轨道等经典内容；轨道覆盖等与航天任务相关内容；限制性三体问题等深空轨道知识。内容丰富、体系严谨、图像清晰，配例题习题，可作本科教材，供航天相关专业研究生和从业人员参考 。

本书针对飞机、起重机械、压力容器等重要装备关键结构的裂纹损伤监测的重大现实需求，开展基于柔性涡流阵列传感器的金属结构裂纹监测原理与技术研究。以飞机结构为主要研究对象，研制相关传感器及配套设备，分析监测机理，提出优化方式实现高灵敏感知；建立逆向求解方法，提出输出表征方法实现高可靠监测；研究失效模式和机理，提出耐久集成方法实现服役环境下耐久集成。可为相关装备研制、使用管理的技术与管理人员提供损伤监测手段，也可作为数字孪生等领域研究人员参考用书 。

本书面向航天测控数据处理领域，紧密结合航天测控网跟踪测量设备技术发展和数据处理技术在航天测控中的应用，突出理论应用与工程实践相结合，给出空间目标跟踪测量数据处理方法，系统梳理空间目标跟踪测量数据处理技术的相关基础知识，全面阐释测量数据误差修正和跟踪测量设备数据处理、多源观测数据融合方法及空间目标轨迹重构方法。主要内容包括测量数据误差辨识与修正、大地测量与坐标系、跟踪测量设备数据处理、多源观测数据融合和空间目标轨迹融合、空间目标轨迹重构与评估、数据处理系统等。其中，测元数据融合的目标飞行参数确定模型与算法、空间目标轨迹融合方法以及目标轨迹重构与评估是重点，含笔者近年在空间目标跟踪测量数据融合处理技术研究中的最新成果，且在多个实际工程中成功应用，工程应用价值强。本书面向航天测控领域广大工程技术人员，可作为从事导弹和运载火箭发射测量数据处理工作的科技人员的教材，也可作为轨道测量数据处理、航空航天测量数据融合处理、精度分析评估等与数据处理相关领域科技人员的参考书。

深度学习是机器学习领域中一个新的研究方向，也是机器学习领域中近年来发展最快的一个分支，在语音和图像识别方面具有突出优势，极大推动了人工智能技术的发展。本书介绍了深度卷积神经网络、理论基础、面向真实世界的单帧图像超分辨率重建技术研究、面向真实世界的单帧图像超分辨率重建技术研究、双波段异源图像检测跟踪成像技术应用研究、基于回归网络的单幅图像超分辨重建代码实例等。

本书以构建 “航天发射” 知识体系、树立 “测试发射” 岗位意识为目标，系统梳理智能技术在航天发射领域的应用。重点阐述其在运载火箭测试发控系统、航天测试发射故障诊断、航天发射任务筹划、运载火箭飞行控制等方面的应用，覆盖航天发射工程任务主要环节。作为本科生《航天发射工程》课程基础教材编写，对智能技术在航天发射工程应用展开系统研究，也可作航天领域研究生、初级技术人员教学参考书，以及数据处理、故障诊断、任务筹划、飞行控制等方向科技人员的参考书与培训教材 。

微多普勒效应是目标本体及其结构组件的微动在目标中心频率周围产生额外的频率调制，包含有目标微动分量几何特征和微动细节等独有特征，有利于提升雷达的目标检测成像识别性能。 本书作为世界系统阐述雷达多普勒效应专著的第2版，除更正了第1版存在的错误外，在原有内容基础上，翔实介绍了多种微多普勒雷达系统架构，增加了雷达多普勒效应在生命特征探测、手势识别、再入飞行器/无人机识别等领域的最新应用成果。 本书既可以作为雷达、导航等专业领域的科技管理人员、研发人员的参考书，也可作为高等院校电子信息类学科专业研究生的学习教材。