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

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

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

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

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

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

暂缺简介...

暂缺简介...

《乳酸菌环境生理学》内容共包括五章：第一章基于宏基因组技术解析传统发酵食品中乳酸菌的基因组多样性，利用比较基因组学技术探究传统发酵食品中优势乳酸菌的基因多样性。第二章基于宏基因组技术解析肠道中乳酸菌的基因组多样性，并利用比较基因组学技术评价肠道优势菌种的安全性。第三章介绍了实验室适应性进化方法及其在微生物研究中的应用情况，并论述了益生乳酸菌在适宜营养条件和碳源限制条件下长期传代过程中的适应性机制。第四章从基因组、转录组、蛋白组和代谢组水平详细论述了抗生素环境中益生乳酸菌的适应性机制。第五章论述了益生乳酸菌在工业化生产过程中胁迫条件下的响应机制。

本项目以南昌地铁六眼井车站为依托，展开一系列创新和研究，主要研究包括深岩层地下连续墙施工机械选型与快速施工工艺研究、紧邻建筑物SMW工法桩施工工艺研究、半铺盖系统下基坑施工设备配置研究、富水地层主体结构防水施工技术研究等四个方面。旨在解决上述重大技术难题，指导工程建设，提升工程建设经济和社会效益，同时丰富隧道建设方法，推动隧道建设行业进步。依托南昌地铁3号线六眼井站具体施工情况，积极探索新工法，得到一种安全高效并具有推广价值的临近高层建筑物深基坑围护结构快速施工技术、半盖挖车站盖板下支撑快速架设配置技术、半盖挖车站深基坑快速开挖技术、主体结构防渗技术，提高安全保障、提高施工效率、延长结构寿命，将六眼井车站安全如期建成，同时也将为半盖挖车站的设计和施工提供技术帮助和理论支持，为地铁车站建设提供更多科学依据及借鉴作用。