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

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

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

暂缺简介...

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

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

暂缺简介...

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

可充电锂离子电池因其能量密度高、循环寿命长、成本下降等优点，已广泛应用于从电动汽车到微电网等众多行业的储能领域。充电是锂离子电池补充和储存能量的重要过程，充电策略的好坏极大地影响着锂离子电池的性能和寿命。用精确的数学模型进行分析和预测在充电过程中电池状态的变化，基于先进模型的充电策略可以提供优异的充电性能，如延迟电池寿命的退化。因此，研究基于先进模型的锂离子电池充电控制策略具有重要的工程和学术价值。基于此，本书将从基础理论到实际设计和应用，详细介绍目前*先进的基于模型的锂离子电池充电控制技术，特别是在电池建模、状态估计和*优充电控制方面。此外，还介绍了一些必要的设计考虑因素，如集中式和领导-追随结构的电池组充电控制，为提高充电性能和延长电池/电池组的寿命提供了出色的解决方案。本书所提供的丰富的材料和知识，可以让我们从理论设计到工程应用对电池充电控制技术有足够的了解。

本书从服务、空口和网络的角度出发，介绍了当前网络到未来网络的演变以及潜在的用例、需求、指标和启用技术，讨论了物理层技术、可重构智能表面、毫米波和太赫兹通信、通信传输层、高容量传连接、云本地方法、机器类型通信、边缘智能等新兴技术，重点讲述了网络安全和区块链以及它们在未来的预期应用。