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

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

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

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

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

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

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

作为智能材料的一大类，形状记忆聚合物由于其可设计性强、材料种类广泛，在航空航天、生物医学等领域有着巨大的潜在应用价值，近年来发展迅速,已经成为研究热点。本书从形状记忆聚合物的种类、机理、多功能性、材料的**研究方向等方面作了全面综述，涵盖了目前国内外研究进展及应用进展；深入探讨了形状记忆的分子设计和机理等基础理论、测试

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

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

本书针对高分子材料需要添加助剂以增加其功能性和高性能化的要求，设计和制备了系列高分子材料用助剂，系统研究了助剂结构性能和应用，获得了良好阻燃、阻隔和力学等性能的功能化高分子复合材料。这为实现高分子材料功能化和高性能化的生产及其应用提供了理论指导与实践基础。

后摩尔时代将硅通孔（throughsiliconvia，TSV）技术等先进集成封装技术作为重要发展方向。本书系统介绍作者团队在TSV三维集成方面的研究工作，包括绪论、TSV工艺仿真、TSV工艺、TSV三维互连电学设计、三维集成微系统的热管理方法、三维集成电学测试技术、TSV转接板技术、TSV三维集成应用、发展趋势。为了

本书对化学工业进行了概述；介绍了天然气、石油、煤等化学原料的组成和初加工流程，硫酸、硝酸、烧碱、纯碱、合成氨、尿素等典型无机化工产品的性质、用途和生产工艺流程，以及二甲苯、乙烯、丙烯、丁二烯及主要衍生品等典型有机化工产品的性质、用途和生产工艺流程；探讨了绿色化学工艺、原子经济性的定义和实现绿色化学工艺的途径与案例，以及

本书分为两个主要部分：第一部分是设计引言，讲述了乡村别墅住宅的选址及场地分析、报建、常见别墅建筑风格、抗震与防火设计、庭院设计、施工要点等内容；第二部分是近年来一些较为典型的案例分析，介绍了建筑的空间组织、材料运用，包含实景照片、设计图纸、文字描述等，在分析设计手法的同时，也剖析了施工过程中遇到的难点及解决措施。本书适

本书基于流行稳定版Flink1.13进行讲解，从Flink数据处理思想开始讲起，带领读者深入理解Flink的基本架构，进而由浅入深结合具体案例进行讲解，详细剖析了Flink中DataStreamAPI的使用，并对Flink中的时间语义、状态、容错机制等重要概念进行了详尽的阐释。同时，本书还对实际开发过程中常用的Flin

在数字化时代，公司的业务都高度依赖信息技术，研发效能已经成为信息科技企业发展的核心竞争力。研发效能在国内还处于快速探索期，还有一系列非常重要的概念需要澄清，方法和实践需要整理，问题和困惑需要解答。本书试图通过洞悉研发效能提升的底层逻辑，全方位、系统地介绍研发效能的全景。我们希望这本书是研发效能领域的百科全书，能够涵盖效

本教程详细介绍了ZooKeeper+Dubbo3联合开发时的高频实战技能，包含ZooKeeper的数据模型、Watch观察者机制、服务器角色、领导选举、ZAB协议、ZooKeeper架构、节点类型、ZooKeeper运用场景、搭建单机和主从环境、常用的Command命令、ACL授权、配额等高频使用技术点。在Dubbo3

本书结合案例介绍了产品经理需要用到的各种产品设计方法和思路，帮助读者将从本书所学到的知识灵活地运用到自己的工作中。本书主要内容包括产品原型设计过程中输入、反馈、输出等类型控件的使用方法，产品原型的设计方法，通用的产品功能设计方法，通用的产品逻辑，基础系统产品的设计思路，通用的产品体系，通用的产品设计方法，通用的产品设计

本书全面系统地介绍中文版Maya2016的基本功能及实际运用，内容包括Maya的建模、灯光、摄影机、材质与纹理、渲染技术、动画技术、动力学与特效等。本书主要针对零基础读者编写，是入门级读者快速、全面掌握Maya2016的实用参考书。 本书以课堂案例为主线，通过对各案例实际操作的讲解，帮助读者快速上手，熟悉软件功能和动

本书以实际应用为写作目的，围绕Excel2016软件展开介绍，内容遵循由浅入深、从理论到实践的原则进行讲解。全书共10章，依次介绍了Excel报表的基本操作、数据的输入与编辑、公式与函数的基本应用、公式与函数的高级应用、数据的分析与处理、数据的动态统计分析、数据的图形化展示、VBA与宏的应用、Excel自动化报表、Ex