模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

微处理器在自动检测和控制中的应用 【工业技术】

现代食品微生物检测技术 【工业技术】

普通高等教育“十一五”规划教材:本书主要介绍现代食品微生物检测的相关技术，包括免疫抗体技术，酶联免疫技术、放射免疫分析技术，单克隆抗体技术，免疫金技术、PCR技术、环介导等温扩增技术，基因芯片技术等。 ...

检测技术和系统 【工业技术】

本书是一本介绍检测技术和检测系统的高等学校专业教材，全书分四大部分十五章，分别介绍检测装置的动静态特性，6种检测技术（机械式、阻抗式、电量式、充电式、辐射式、生物信息）的检测原理及应用实例；中间信号调......

建设工程现场试验检测技术手册 【工业技术】

本书根据2011年底最新现行标准为依据进行编制，目的是给现场试验人员带来最新现行标准规范要求。本书可供工程测试领域的工作者使用。

热工检测系统设计 【工业技术】

本书概括介绍了热工检测系统及热工检测系统设计基础，简单介绍了计算机辅助电厂热控系统设计，重点介绍了600MW、300MW、1000MW机组热工检测系统设计和脱硫脱销系统热工检测系统设计，对我国火力发电厂采用的先进...

材料检测 【工业技术】

本书根据教育部和建设部2004年制定的《建设行业技能型紧缺人才培养培训指导方案》，结合初、中级试验工岗位要求，以材料检测工作过程为导向编写，主要内容包括试验检测数据处理、常用原材料、砌筑砂浆、混凝土、...

建筑安装工程质量保证资料管理手册 【工业技术】

机电类特种设备无损检测 【工业技术】

本书针对机电类特种设备行业特点、主要介绍电梯、起重机械、客运索道、大型游乐设施、场（厂）内机动车辆的基础知识和射线、超声波、磁粉、渗透等无损检测的基本原理、操作方法等。供从事机电类特种设备制造检...

拉脱法检测混凝土抗压强度技术规程 【工业技术】