产品几何级数规范标准汇编 几何公差表 【工业技术】

本卷收集了截至2009年底以前批准发布的产品几何技术规范现行国家标准44个。主要内容为几何公差、几何公差检测、GPS综合。

中国科学院原子能研究所 在固定步长下数值解常微分方程组的RUNGE-KUTTA方法程序 【工业技术】

数字集成电路设计验证 量化评估、激励生成、形式化验证 【工业技术】

本书重点介绍过去五年内取得的相关研究成果，兼顾对国内外近期相关工作的扼要介绍。本书涉及数字集成电路模拟验证的覆盖量化评估和测试激励生成、形式化方法。主体内容包括量化评估、测试激励生成、形式验证...

自然语言计算机形式分析的理论与方法 【工业技术】

本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...

硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches 【工业技术】

本书的主要内容围绕着对硬件设计验证的两大方法（基于模拟的方法和形式验证的方法）展开。

形式语言与自动机理论 【工业技术】

形式语言与自动机理论是计算机科学与技术学科各专业本科生的一门重要课程。本书是作者结合其多年在大学讲授本门课程的经验和体会，选择和组织有关内容撰写而成。本书不仅含有有关正则语言、上下文无关语言的...

当代形式逻辑及其在人工智能中的应用理论研究 【工业技术】

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入...

产品几何技术规范（GPS）标准汇编 几何公差 【工业技术】

《产品几何技术规范（GPS）标准汇编》分为四卷，本卷为几何公差卷，收集了截止到2014年04月底以前批准发布的几何公差标准共28项。主要包括：术语和定义、基准和基准体系、公差表示法、公差注法及公差原则等内容。...

百宝工具箱 西方古典建筑元素组合原理与形式逻辑理论 【工业技术】

本书是意大利建筑学本科学生主要教学参考丛书中的一本。作者以活泼清晰的笔触，将西方建筑史从材料、建造方法、世界著名建筑案例分析等角度层层解析，贯穿历史。流畅地展现了欧洲古典建筑的起源，传承，发展，变革，.....

可视对讲系统工程实用技术 【工业技术】

本书以丰富的工程实践经验和典型工程案例为基础，围绕相关国家标准与专业知识和岗位技能，为满足可视对讲系统的教学实训需求，培养工程设计、施工和运维人员的岗位技能为目的编写而成。全书内容按照典型工作任务...