基于格值逻辑的语义归结自动推理 【工业技术】

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑...

高等学校电子信息类专业系列教材 搭建你的数字积木 数字电路与逻辑设计 【工业技术】

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

本书系统地介绍了数字电路逻辑分析与设计的基本理论、基本方法以及基于硬件描述语言Verilog HDL的建模技术等。全书共有8章。第1～第3章讲述数字逻辑的理论基础；第4章介绍了组合逻辑电路中常用逻辑功能电路的...

探寻数据背后的逻辑 R语言数据挖掘之道 【工业技术】

本书主要介绍统计语言R在数据挖掘及数据可视化各方面的知识。作者以轻松幽默的文笔将枯燥、晦涩难懂的R语言理论知识娓娓道来，不教条，让读者学起来轻松、愉快。本书主要内容包括R软件安装、数据探索、数据可...

钢铁-工业文明的脊梁 【工业技术】

金属材料无所不在，没有金属材料的人类生活是不可想象的。本书是一本关于钢铁材料以及其他各种非铁金属材料知识的入门指导书，主要内容包括：金属材料的知识及其组织，钢及特殊钢、铸铁、非铁金属材料的品种、牌号...

1368-1840中国饮食生活 成熟佳肴的文明 【工业技术】

本书将276年的明代与267年的清代，共长达543年的历史组成一个长时段的“空间”，从日常生活角度全面系统地探讨明清饮食和生活相关的方方面面的成就和发展，从生活史视角研究饮食史，这既为饮食史开辟一新境，又对历...

基于Xilinx Vivado的数字逻辑实验教程 【工业技术】

本书以Xilinx公司的Vivado FPGA设计套件为基础，以Xilinx大学计划（Xilinx University Program，XUP）的Artix-7板卡为硬件平台，将数字逻辑设计与硬件描述语言Verilog HDL相结合，循序渐进地介绍了基于Xilinx Vivado的...

机电系统中的并行算法与可编程逻辑器件 英文版 【工业技术】

本文主要介绍了并行算法和CPLD & FPGA在机电系统中的设计和应用。强调了电子驱动控制系统同时结合了现代电子控制系统中的人工智能。本书适合自动化专业及电力专业研究生以及从事相关领域的科技工作者参考...

面向计算机科学的数理逻辑系统建模与推理 英文版·第2版 【工业技术】

本书提供了与现代计算机科学以及实际应用相关的重要内容，并且更大程度地满足了上述两种需求。

长江文明之旅 长江流域的饮食生活 【工业技术】

本书通过对长江流域的饮食文化进行历史地、具体地考察与研究，从地域饮食的特殊性，全面地介绍长江流域饮食的兴起、演变、发展与影响，试图找出中华饮食文化的同一性，对深入了解中国地域文化、建构与创新未来长江...