循证设计 从思维逻辑到实施方法 【工业技术】

本书基于信息时代的大背景，以建筑界的现实问题为线索，以大量业内专家的实践经验为支持，以循证医学和制造业的成熟机制为参照，突破现行系统的制约，对“循证设计——基于证据的设计”这一新型的价值观和方法论，从.....

数字逻辑的图形方法 【工业技术】

本书介绍了逻辑函数的分解图，逻辑函数的K图及其应用。

从算法设计到硬线逻辑的实现 复杂数字逻辑系统的Verilog HDL设计技术和方法 【工业技术】

高等学校教材:本书介绍20世纪90年代才开始在美国等先进的工业国家逐步推广的硬件描述语言(VerilogHDL)建模、仿真和综合的设计方法和技术。

密码协议分析的逻辑方法 【工业技术】

对密码协议分析的逻辑方法进行系统介绍。主要内容包括密码协议的概念以及密码协议分析的主要方法综述，密码协议逻辑分析方法的理论基础，各种密码协议逻辑。这些逻辑涵盖了当前比较重要的密码协议分析逻辑，介绍...

机械创新思维的训练方法 【工业技术】

本书从创新的源头出发，揭示创新的本质，希望通过一般创新技能的训练获得结合机械的创新能力。本书共6章，培养学生将心理学知识运用于机械创新能力的教学训练中，开发学生的综合创新能力。本书将人脑的神经思维过...

新编工程力学学习指导书 创新思维和创新方法的指导 【工业技术】

逻辑公式的可满足性判定 方法、工具及应用 【工业技术】

本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...

图“行”天下 图形创意的思维与方法 【工业技术】

本书所涉及的内容适合和艺术设计专业要求的基础教育内容，本书共分五章，包括图“行”天下·理论、异想天开·思维、想方设法·方法及游刃有余？课题四大部分。本书作为高等学校艺术、建筑学、土木工程建筑等专业...

计算思维导论 一种跨学科的方法 【工业技术】

本书是在作者2010年承担本校“钱学森创新拓展班”的《大学计算机基础》课程教学时，发现国内外还没有一本适合于较高培养目标要求的相关教材，在授课过程中参考大量资料编著的，也是高教司相关课题的研究成果。本...

面向工艺规划的逆向链决策逻辑方法研究及应用 【工业技术】

本书以制造资源为其物质环境基础，以工艺知识为其理论与知识基础，围绕工艺推理与决策逻辑展开研究，是近年来作者在工艺设计决策问题研究工作的系统化总结。本书主要内容包括：基于知识的工艺决策逻辑方案；面向工艺...