本书系统地介绍了雷达装备测试性理论与应用，主要包括雷达装备测试性的相关概念、测试性要求与确定、测试性建模、测试性分配、测试性预计、测试性分析、测试性设计、诊断策略设计、测试性试验与评价，内容系统性、理论性、针对性和应用性较强。 本书可作为雷达装备保障工程、雷达工程、预警探测、后勤与装备保障等相关专业学生的教学参考书，也可作为从事雷达装备论证、研制、生产、使用的工程技术人员和管理人员的技术参考书。

本书主要对现代武器装备发展采办科学管理的基本内容、规律和主要经验教训进行了分析。全书共分四章，第一章主要分析了现代武器装备的基本属性，由于存在这些属性，其发展工作除了必要资源投入外，还必须加强科学管理。第二章从理论和实践相结合的分析中，归纳总结了发展现代武器装备如何做好全系统管理、全寿命管理、全目标管理全费用管理、全可用性管理、全换代管理、全风险管理、全规划计划管理等，这些科学管理工作，既各有其独立的内涵，又有其内在的联系性。第三章提出了在现代武器装备采办领域应具有乐为文化和先进思维文化，并简述了乐为文化的基本内容。对先进思维文化比较详细地分析了忧患思维、系统思维、效费思维、创新思维、优势思维、优化思维等的基本内容。第四章简要阐述了如何建立现代武器装备科学管理体系，先进的科学管理体系是落实科学管理的保证。本书适合现代武器装备采办、管理人员、研发人员和科研教学人员使用。

本书系统地讨论了功能材料在安全人机工程中的应用，全书共六篇19章。第一篇（第1～2章）给出了安全人机工程的总体框架及人机建模方法；第二篇（第3～4章）给出了功能材料的物理基础及分类；第三篇（第5～10章）讲述了功能材料在安全与微纳器件中的应用，包括阻燃材料的阻燃机理、常用阻燃技术、石墨烯对阻燃所起的作用、阻燃与纳米材料的测试及微纳器件的飞秒激光加工与制备；第四篇（第11～12章）给出了低维光纤光栅功能器件的理论基础及可穿戴服装人体温度的实时测量；第五篇（第13～15章）介绍了光子与纳米技术在组织体及医学中的应用，包括光与组织体的作用模型、激光诱导的焊接组织技术以及纳米载药策略；第六篇（第16～19章）介绍了超材料在人与机隐身中的应用，包括亚波长电磁理论基础以及飞行器隐身技术等。本书可作为高等院校安全工程、人机与环境工程、系统工程、材料工程以及高分子材料等专业的本科生与研究生教材，也可供有关教师以及科技人员学习参考。

本书系统介绍了行人惯性导航及其相关技术。全书共10章， ~4章介绍了与惯性导航相关基础知识，包括惯性导航基本原理、惯性传感器介绍、惯性导航机制及捷联惯性导航误差分析等；第5~8章详细介绍了基于自约束的行人惯性导航，包括行人惯性导航基本原理、误差分析、降低误差的方法和自适应行人惯性导航的实现；第9~10章介绍了传感器融合的方法和对行人惯性导航发展的展望。

反应式和并发系统指实时运行的计算系统，如操作系统、控制系统、交互系统和并发系统。这些系统很难规约、实现和验证，主要原因是系统与其环境之间及系统本身的并行进程之间交互的复杂性，在交互时间上的微小变化可能导致完全不同的行为。 时序逻辑是一种形式化规约语言，可用于刻画和分析反应式系统中有关时间和行为方面的属性。它提供了一种简单、自然但精确的方式来讨论交互发生的顺序，而无须采用绝对时间度量。 本书全面介绍了时序逻辑和作者开发的反应式程序的计算模型。 本书是国际著名计算机科学家Zohar Manna和Amir Pnueli（图灵奖得主）的代表作，适合作为计算机、软件工程、人工智能、自动化等专业高年级本科生、研究生的教材或参考书，也可供相关领域的研究人员和技术开发人员参考。

暂缺简介...

本书结合知识蒸馏相关理论，针对当前图像去雾算法存在的去雾图像颜色失真严重、训练模型网络结构复杂、去雾模型泛化能力不足、真实场景去雾性能较差等问题开展了相关理论研究。提出了基于物理模型引导的自蒸馏图像去雾算法、基于在线知识蒸馏的图像去雾算法、基于半监督的知识蒸馏图像去雾算法、基于多先验引导的知识蒸馏图像去雾等算法。

《先进半导体集成设计研究》是作者针对半导体芯片集成单元设计领域所撰写的学术专著，是对作者在该领域科研学术成果的系统性论述。具体内容包括对当前主流以FinFET技术进行改良的先进金属氧化物半导体场效应晶体管集成技术、在开关特性上有质的飞跃的隧道场效应晶体管、利用高肖特基势垒实现的隧道场效应晶体管、可利用单个晶体管实现同或（异或非）逻辑且可实现导电类型切换的可重置晶体管、可以长久保持被重置导电类型的非易失可重置晶体管，以及结构更为简单、单个单元即可实现同或逻辑的可重置肖特基二极管、集成化的先进传感器件设计等方面的研究。《先进半导体集成设计研究》可供相关专业科研人员和工程技术人员参考。

暂缺简介...

本书结合作者单位多年来从事航空航天高端紧固连接设计、制造、检测等方面的经验和成果，主要通过七个方面系统介绍紧固连接技术：在紧固件结构与性能方面，主要介绍了各种紧固件的结构，制造紧固件的工艺流程，包括成形工艺，热处理表面处理等；在紧固连接正向设计技术方面，主要介绍了螺纹连接的设计、校核方法和理论基础；在紧固连接仿真分析技术方面，主要介绍了紧固连接静力学、动力学等建模和仿真优化技术；在紧固连接安装技术方面，主要介绍了紧固件安装孔成形，安装工具和安装方法等；在紧固连接可靠性技术方面，主要介绍了紧固连接可靠性设计和方法，紧固连接工艺可靠性和可靠性试验评估和参数估计方法等；在紧固连接失效分析技术方面，主要介绍了常见失效模式与特征和失效预防的措施和方法等。最后介绍了典型紧固连接技术应用工程实例。