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

暂缺简介...

暂缺简介...

暂缺简介...

《镍电解精炼工》讲述了镍及其主要化合物的物理化学性质，电化学，湿法冶金电解过程，镍电解精炼，始极片的制作与加工，镍电解精炼阴阳极出装，镍电解精炼溶液循环，镍电解精炼电熔造液，镍电解精炼洗涤，镍电解精炼铜棒除锈，设备故障及维护，镍湿法精炼基础知识，电解镍产品质量标准，镍电解精炼主要经济技术指标。《镍电解精炼工》可作为电解精炼工岗位培训教材，也可供有色金属冶炼企业工程技术人员、管理人员、企业实习的大学生阅读参考。

暂缺简介...

《冲压工艺与模具设计》根据模具设计与制造专业的岗位要求、工作流程及职业资格标准，组织教学内容，优化课程体系，突出国家职业资格标准和企业岗位需求。课程开发体现“在工作中学习，在学习中工作”的理念，明确职业导向，将具体的工作情景置于教学过程中，并以开放性思维来构建教学过程，将相应的理论知识与工作任务相结合，做到“用什么，学什么”，学以致用。工作任务的开发是以“校企合作”为基础，将企业的工作形态和工作内容充分且有效地呈现于教学过程之中。共分为五个模块，十四个项目，内容由浅入深，全面覆盖了冲压工艺与模具设计的知识和相关的操作技能。主要包括冲压加工基本知识、冲裁工艺与冲裁模、弯曲工艺与弯曲模、拉深工艺及拉深模具、成形工艺与模具设计。

《模具数控与电加工》是按照国家示范学校建设课程教学改革精神，根据模具数控加工技术领域职业岗位的技能需求，并参照国家职业标准《数控车工》、《数控铣工》及《电火花和线切割操作工》的理论知识要求和技能要求开发的一本特色教材。《模具数控与电加工》从学生认知的角度出发，借鉴企业的人才需求方向，本着“理论够用为度、培养技能为先、重在实际应用”的原则，以“工学结合”为切入点，以“工作任务”为导向，模拟“职业岗位情境”项目进行设计。为了能充分体现模具零件加工的特点，全书始终以模具零件为载体，并结合编写人员多年来的教学与实践经验，将编写的核心放在模具数控编程指令和编程实例的讲解以及模具零件工艺方案的制订方面。《模具数控与电加工》划分为4个项目，分别为模具数控加工基础、模具零件的数控车削编程、模具零件的数控铣削编程和模具零件的数控电加工编程。每个项目又划分为2个模块，每个模块包含2～5个任务。每个任务均按“任务描述→任务分析→相关知识→任务解决→知识拓展→思考与练习”方式进行内容展开。每个任务内容的设计，力求贴近生产实际和反映模具数控加工的相关技术。在编程部分，都是选择模具零件作为任务内容，包括导柱、导套、冲裁模凸模和凹模、注塑模凸模和型腔、卸料板等，充分体现了模具加工的特色。

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

暂缺简介...