本书为普通高等学校机械类和近机械类专业技术基础课教材。全书共10章：第1～5章主要阐述互换性基本概念、尺寸精度、形状和位置精度、表面粗糙度及测量技术基础等机械零件的精度设计基础知识；第6章和第7章主要阐述轴承、键、螺纹、圆锥、导轨和齿轮等典型零件的精度设计基础知识；第8章主要阐述尺寸链的基本概念及计算；第9章简单介绍计

本书深入探讨高性能齿轮精密数控加工基础理论和方法、关键技术及制齿装备。第1章介绍高性能齿轮数控加工技术、高性能齿轮数控加工装备研究现状及发展趋势、面临的机遇和挑战。第2章介绍高性能齿轮精密修形计算理论。第3章介绍高性能齿轮加工原理误差消减方法。第4章介绍数控制齿机床多源误差建模方法及补偿技术。第5章介绍精密数控制齿机床

本书针对医用纳米材料生物效应研究与安全性评价这一内涵日益丰富且发展迅猛的新领域，主要介绍医用纳米材料的基本信息、发展现状和未来前景，阐述纳米药物及纳米相关医疗器械安全性评价的基本概念、主要内容和主要挑战，探讨医用纳米材料安全性评价的必要程序、组织管理和监管框架，系统梳理纳米生物效应与安全性研究所涉及的检测方法、药代动力

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

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

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

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

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

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

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