模型检测

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

农业源温室气体检测技术规程与控制技术研究

汽车故障诊断与检测

本书首先介绍了必要的汽车检测常用工量具及仪表仪器的使用，然后系统地介绍了汽车发动机和地盘部分的故障检测、诊断与相应的维修方法。在本书编写过程中，以传授新技术为主要目的，由浅入深地对一些新技术的理论...

初中各科教学指要与检测 语文 第2册

电子元器件选用与检测一本通

本书介绍了电阻器、电位器、电容、电感和变压器、半导体二级管等元器件的特性和选用与检测方法。

机械精度设计与检测基础

本书内容为：绪论，测量技术基础，孔、轴结合尺寸精度设计与检测，几何精度设计与检测，表面粗糙度轮廓设计与检测，典型零件结合的精度设计与检测，圆柱齿轮精度设计与检测，尺寸链的精度设计基础，机械零件的精度设......

无机结合料及路面现场检测试验

本套书和学习光盘分为六个分册，本手册和光盘为第五分册，分为三个部分，其主要内容包括：总则、无机结合料试验、路面现场检测试验。本手册可供建设单位、监理单位、施工单位试验检测人员使用。...

电子工业毒害物质检测及防治

本书注重阐述了电子工业及产品带来的环境问题，电子产品的主要生产工艺，在生产过程中产生和涉及的有毒有害物质，以及这些有毒有害物质的分析检测技术及方法，电子产品绿色设计与制造。...

柴油发动机电控系统检测与修复

本书从分析故障原因开始，确定完成检修作业所需的工作任务，最终确定适合教学的学习任务，通过完成学习任务牵引知识学习。

公路工程检测技术

本书为交通系统高职高专公路与桥梁专业统编教材之一，全书共分十五章，主要介绍公路工程质量检验评定方法、试验检测数据处理及成果分析；材料的检测方法；指标检测方法；施工与试验检测方法等内容。书后每章附有思考...