PLD数位逻辑实务应用 第2章 如何设计一个数位系统 【工业技术】

逻辑电路的分析与设计 【工业技术】

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

中国可以不缺水 资源系统工程管理学的十二年研究与实践 【工业技术】

国家建筑标准设计图集 冰蓄冷系统设计与施工图集 06K610 【工业技术】

本图集包括冰蓄冷系统的设计原理，计算公式，蓄冰装置、制冰设备设备、换冷嘲热风设备、输送设备的选用及典型系统图、自控原理及工程示例，以及施工安装说明节点详图。...

国家建筑标准设计图集 06SS128 太阳能集中热水系统选用与安装 【工业技术】

本图集包括太阳能集中热水系统的开工与适用范围；太阳能中热水系统原理图和控制要求；太阳能集热器的性能参数和安装详图；辅助热源的设置原理。...

国家建筑标准设计图集 06K301-2 空调系统热回收装置选用与安装 【工业技术】

本图集包括五种回收装置（转轮式、板式、热管式、中间热媒式、溶液吸收式）及制冷机冷凝热回收系统的原理、组成、特点、设计原则、技术参数、相关计算、新产品、工程示例及施工安装。...

国家建筑标准设计图集 水环热泵空调系统设计与安装 06K504 【工业技术】

本图集包括水环泵空调系统原理、组成、特点、计算公式、主要设计原则及相关技术参数、水环泵机组、机组控制原理、工程示例及机组的安装节点大样。...

迈向新世纪的中国机器人 国家863计划智能机器人主题回顾与展望 【工业技术】

本书分为七个部分，完整地记录了从事机器人研究开发的新老科学家在863精神指引下取得成功的历程。

何以新之丛书 工程师创新手册 发明问题的系统化解决方案 【工业技术】

TRIZ理论是当下最高效的创新方法。本书将TRIZ理论总结为三大核心要素——“理想化的方向”、“系统化的流程”和“结构化的知识库”，内容围绕这三个要素具体展开共分七章。吸取国外先进的工程教育理念，结合国...