本书主要介绍近几年来作者在系统签名理论方面的研究成果，内容侧重于系统签名的度量特征，主要探讨如何更有效地从系统结构出发来计算签名，以及签名作为可靠性度量的年龄性质等，这些结果对系统签名在可靠性中获得更深入的应用至关重要。此外，本书还介绍了文献中已有的系统签名的一些扩展，包括多状态系统签名、多类型系统签名、概率签名、耦合

逆合成孔径雷达是对空天目标进行探测、跟踪、成像的重要传感器，可获取目标的一维、二维甚至三维图像。随着先进成像雷达装备的研制，雷达成像也面临高载频、大带宽、目标远距离、非合作带来的一系列挑战，亟须研究和探索与之相适应的高分辨成像算法和技术。本书重点阐述研究团队在逆合成孔径雷达精细化成像与多维度成像方面取得的**研究成果，

随着现代社会信息化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失。机械化的定理证明能够建立更为严格的正确性，从而奠定系统的高可信性。本书阐述机械化定理证明的逻辑基础和关键技术，分析比较各类主流证明助手的设计特点，重点讨论在编译器验证领域取得的重要研究成果，并以实例详述验证编译器的开发和实现。

本书在田野调查基础上，通过查阅方志、史籍、档案等资料，从“面—线—点”三个层次调查陕西传统城区的历史文化资源构成与保存现状。同时，本书以韩城、麟游、陈炉、米脂、高家堡、波罗、蜀河、石泉、漫川关这9座城镇为样本，试图通过系统的田野调查从定量层面揭示历史城镇的保护情况，进而全面掌握城镇传统资源保存现状，提出具有现实意义的城

本书是为庆祝中华人民共和国成立70周年而精选的山西国保级古建筑研究综述性论文合集，共30余篇。内容涉及了山西唐、五代、宋辽金、明清各时期中**历史、科学与艺术价值的国保级古建筑，对每一处古建筑的历史沿革、研究综述、保护大事记等方面进行总结梳理，其中许多论文均为原创性和首次发表，代表了目前山西省在古建筑保护与研究领域的*

本书是“十三五”江苏省高等学校重点教材(编号：2019-1-063)。《BR》物联网在制造领域的深度渗透和落地应用催生了一种以“物物互联、泛在感知”为特征的新型制造技术——制造物联网。制造物联技术为制造业生产要素的智能化识别、定位、跟踪、监控和管理提供了很好的解决方案。本书共由四篇构成：第一篇介绍了制造物联技术理论基础

《光电信息专业实验教程》是基于光电信息科学技术的发展和电子信息领域对高素质应用型人才的需求，依托光电信息科学与工程专业建设需要编写的实验课程教材。本书由两大部分组成：第一部分为光电信息技术原理，包括激光原理、光通信原理和光电转换原理，共有10个专业实验项目；第二部分为光电信息技术应用，包括光信息处理技术应用、光电探测技

数据要素是新型生产要素之一，因其蕴含着巨大价值，其重要性被提到了新的高度，但其理论体系尚未完全形成，全生命周期各个环节的理论和技术还在不断探索中。《BR》本书以数据要素知识体系构建和数据要素价值的发掘应用为主线，从理论和行业案例两个方面，对数据要素生命周期涉及的基础理论、概念和方法及数据要素驱动业务发展行业应用案例进行

针对大尺寸钼靶材制备难度大、致密度和晶粒尺寸的均匀性难以控制等技术难点，本书从钼粉的制备和靶材的热加工工艺入手，研究了原材料及还原工艺对钼粉性能的影响和烧结钼的热变形行为，分析了变形温度、应变速率、变形量等对其动态再结晶和静态再结晶的影响，确定了钼靶材的制备工艺，实现了钼靶材的微观组织调控。本书还研究了钼靶材的原始组织

辐射在半导体器件中电离产生电子-空穴对，长时间辐射剂量累积引起半导体器件电离辐射总剂量效应。电离辐射总剂量效应是辐射效应中最常见的一种，会导致器件性能退化、阈值电压漂移、迁移率下降、动态和静态电流增加，甚至功能失效，因此在辐射环境中工作的半导体器件和电子系统必须考虑电离辐射总剂量效应问题。本书主要介绍空间辐射环境与效应