本套手册共分3卷14篇，本书共分为6篇42章。本次修订重点是对标准进行了更新，对淘汰过时的内容进行了删改，增加了新技术、新工艺、新方法和新设备。主要内容包括：电弧焊、电阻焊、高能束焊、钎焊、其他焊接方法、焊接过程自动化技术。

本书结合作者多年来在机械结合面接触特性等方面的科研工作的积累，紧紧围绕结合面基础特性参数的理论计算、实验验证及其力学机理建模等方面展开研究。通过机械结合面微观形貌、表面接触机理、实验研究，揭示了机械结合面法向接触特性；采用理论建模和实验研究相结合，评价了结合面理论模型的有效性和可行性，为后续的研究奠定了理论与实验研究基础。

本书紧密结合零（部）件数控加工，详尽地做了数控编程工艺思路分析，讲解应用PowerMILL 2012各功能解决高速数控加工编程中问题的方式和操作方法。全书按数控加工工艺流程编排章节内容，第1～3章介绍PowerMILL 2012的基础知识、基本操作以及高速数控加工刀具路径方面的知识等内容，第4章集中讲解应用PowerMILL 2012编制高速粗加工刀具路径，第5章介绍应用PowerMILL 2012编制高速精加工刀具路径，第6章详细地讲解了刀具路径切入段、切出段和连接段各种方式和参数的设置，第7章介绍加工范围的控制方式和方法，第8章介绍用于引导和优化刀具路径生成的参考线及刻线加工编程，第9章讲解高速清角加工编程，第10章介绍孔加工编程，第11章介绍编辑刀具路径的方法及刀具路径的安全检查，第12章介绍高速加工编程综合实例，第13章介绍刀具路径后置处理方法及机床后处理文件的订制。为方便读者学习，本书附带了一张光盘，包含了书中所有的实例源文件以及部分实例的操作视频文件。本书可供大中专院校、职业院校、技工学校和各类短期培训班数控技术应用专业师生使用，还可供机械加工企业、工科科研院所从事数控加工的工程技术人员参考。

本书系统介绍了各种基本传热模型：包括传统Jaeger模型，高效深切模式下的倾斜移动热源磨削、圆弧接触移动热源模型以及有限宽度三维热源模型；系统介绍了磨削区各传热体之间热分配的子模型：工件与磨粒间热分配、磨屑能与磨屑温度、磨削液的冷却效应与对流换热系数模型以及综合传热模型。结合实例，系统介绍了如何应用上述模型，建立包括简单干磨、传统浅磨、缓进给磨削、高速、超高速高效深切磨削、快速点磨等多种磨削工况下磨削温度综合分析模型的方法和具体分析计算步骤。

本书是经全国职业教育教材审定委员会审定的“十二五”职业教育国家规划教材，是根据教育部于2014年公布的《中等职业学校数控技术应用专业教学标准》，同时参考数控车工国家职业资格标准（中级）要求编写的。本书包含FANUC系统的数控机床理论基础及实践操作；主要内容共四个单元，单元一主要介绍数控车削的加工特点、功能、机床坐标系统、基本指令、各系统的基本操作、对刀、机械结构、机床的维护维修等；单元二中含五个项目主要有：轴类、套类、沟槽及螺纹类零件的加工。将相关知识、编程技巧、工艺分析、相关计算、加工路线、工序简图、刀具选择、切削用量、参考程序等机融合在一起。并配备有大量习题以便于教学及实训加工；单元三包括简单外轮廓、较复杂外轮廓及配合综合零件车削加工三个方面的综合实训；单元四为考核鉴定模拟理论试题库（附答案）及技能考核试题库，以便于培训、考核鉴定和自查。本书可作为中职数控技术应用专业教材，也可以作为从事数控车床工作相关人员的实训参考书。

本书系统全面地介绍了水玻璃砂的工艺原理及实用生产技术，还介绍了水玻璃砂技术研究与应用的新成就及其发展趋势。主要内容包括：概述、水玻璃砂的工艺原理及特征、水玻璃黏结剂的老化及改性、CO2硬化水玻璃砂、有机酯硬化水玻璃砂、水玻璃砂涂料、水玻璃旧砂再生技术、水玻璃砂工艺技术研究的新成果及发展方向、水玻璃黏结剂及其型砂的性能测试方法、水玻璃自硬砂工业应用实例。本书内容丰富新颖，密切结合工厂的生产实际，对水玻璃砂材料、工艺、装备的理解及应用具有较大的指导意义。

本书系统地介绍了冲模的设计与制造技术。全书内容包括：冲模设计基础、冲裁模设计、弯曲模设计、拉深模设计、其他冲压成形工艺、冲模制造、冲模典型零件加工实例、冲模的装配与调试、冲压设备、冲压件的常见缺陷及对策等。本书以冲压工艺分析、模具结构设计与制造技术为重点，结构体系合理，技术内容全面；书中配有丰富的图表和应用实例，实用性强，能开拓思路，便于自学。

《先进陶瓷模具：设计、制造与性能（英文版）》是作者结合多年从事陶瓷模具研究的相关成果撰写而成。在全面综述国内外陶瓷模具及相关研究进展的基础上，主要介绍了先进陶瓷模具设计技术、制造工艺与性能研究的新进展。书中首先阐述了计算智能技术如BP神经网络、遗传算法、免疫算法及其混合算法等在陶瓷模具材料组分与制备工艺优化设计方面的应用，并将有限元方法用于陶瓷模具结构优化设计，对冷热挤压模具及其挤压过程的热应力进行了计算与分析；基于设计结果，研制了氧化铝基、氧化锆基和碳氮化钛基微纳复合陶瓷模具材料，并详细介绍了其力学性能、微观结构与增韧补强机理；考虑到实际应用的需要，又进一步介绍了所研制的三种微纳复合陶瓷模具材料的摩擦与磨损特性。《先进陶瓷模具：设计、制造与性能（英文版）》既有陶瓷模具材料与结构设计方面的理论分析与模拟计算，又有材料性能与摩擦磨损应用，反映了陶瓷模具领域近期的研究成果。《先进陶瓷模具：设计、制造与性能（英文版）》可供普通高等学校机械类、材料类专业研究生和高年级本科生阅读，也可供机械工程、材料加工工程、模具材料、模具设计与制造等相关领域的研究人员、工程技术人员参考。

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检测、自动机上的模型检测、抽象解释、程序分析、实时系统验证，同时介绍NuSMV和UPPAAL两个流行的模型检测器。

暂缺简介...