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

暂缺简介...

本书根据原书进行修订再版。本书以“成形、改性与金属工艺全过程”为课程主线，以“抓主线、抓本质、抓联系、抓特点和抓应用”为教学主导思想。全书共分三篇，系统而简明地阐述了工程材料及其改性（机械工程材料）、毛坯成形及其选择（金属热加工基础）、零件成形及其装配（机械加工基础）的基本理论和基本工艺方法。

本书主要讲授金属在熔焊过程中温度、化学成分、组织及性能的变化规律；常见焊接冶金缺陷产生的原因、影因素及防止措施；焊接材料的性能与应用。全书共分六单元，包括：焊接热过程、焊缝金属的构成、焊接接头的组织与性能焊接冶金、焊接材料、焊接冶金缺陷及防止措施。本教材在编写过程中，从现代高职人才培养目标出发，注重教学内容的实用性。特别是结合焊接专业技术岗位特点，尽量结合生产实际组织教材内容，使学生掌握金属熔焊原理基本知识。

本书在系统阐述铸造工艺技术及装备设计的基础上，结合我国铸造业生产实际，注重铸造工艺技术的实用性和先进性，吸取国内外铸造工艺技术的新研究应用成果，既介绍砂型铸造和特种铸造工艺设计基本知识，又介绍艺术铸造、铸造工艺数字化设计和绿色铸造技术等铸造工艺新技术应用，可更好地满足高级应用型铸造技术专门人才培养的需要。

本书内容包括CA6140A型车床的基本操作、简单台阶轴的车削加工、车槽与切断、套类零件的加工、圆锥面的加工、车成形面和滚花、螺纹的加工等，书中内容以典型的构件作为载体，以实际工作任务为导向，与技能鉴定相结合。本书可作为高职高专院校、中等职业学校、机械类、机电类专业的教材，也可作为培训用书，并可供广大技术工人使用。

本书将粘土旧砂完全再生技术领域所取得的研究成果结集出版，以图和广大铸造工作者及从事铸造教学及科研工作的学者共享。本书以粘土旧砂为研究对象，介绍粘土旧砂完全再生工艺路线、再生砂性能及工艺适应性，再生设备的原理及设计，从而推广粘土旧砂完全再生技术的研究成果，为铸造行业的节能减排做出应有的贡献。

本书采用典型企业产品为载体，由简入深讲述了数控机床编程的技能和方法。以FANUC数控系统为主、华中数控系统为辅讲解了数控车床、数控铣床、加工中心的编程，内容简洁，每指令的讲解后续都提供若干企业产品加工实例，并配备零件加工后的效果图。附录中筛选了数控技能大赛试题编程加工和数控中、高级、技师职业技能鉴定考核题库及答案，习题中列举了很多配合件装配图和零件图，便于数控机床编程与加工练习，具有较强的针对性和实用性。本书可供数控行业的工程技术人员参考，也可供中高等院校师生学习使用，同时也可作为各类数控技能竞赛和国家职业技能鉴定数控操作工的参考书。

本书以非金属矿精细化加工为目标，以精细化加工单元作业为主线，结合作者近年来在非金属矿精细化加工的研究和实践经历，详细介绍了非金属矿精细化加工各单元作业所需装备的基本构造、工作原理、应用特点和工艺设计与设备选型等，内容涵盖了粉碎、分级、选矿、提纯、表面改性、混合、脱水、造粒、传输、喂料、计量以及综合利用等。本书可用作矿物加工工程、无机非金属材料工程等相关专业的大专生、本科生、研究生的教材，也可作为相关领域工程技术人员与大专院校相关专业教师的参考书。

本书着重介绍了钨极氩弧焊（GTAW）的基础知识和操作方法，以及金属材料的焊接及有色金属材料的焊接等实用技术，解析了钨极氩弧焊的应用，同时也讲解了焊接工艺评定、焊工考试要求等内容，应用技术比较全面。本书以初级工的实用技术为主，兼顾初、中级焊工学习和提高，多以图解方式说明原理和操作技巧，通俗易懂，并结合经常接触到的氩弧焊接实用技术，对铝及铝合金的焊接、异种金属材料的焊接和异种有色金属焊接等技术，从理论和实际操作技能上，作了全面讲解，突出焊接的实用性。本书适合初、中、高级焊工自学和提高。