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

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

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

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

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

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

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

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

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

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