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

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

基于硬件逻辑加密的保密通信系统 【工业技术】

本书在传统密码学的基础上主要介绍了加密算法及HDL程序实现，重点给出了数据加密核与加密芯片设计，为保证信息的安全传输，设计了完整的数据加密系统。全书共15章。其中，第一章主要介绍本书研究对象和一些基础知...

从算法设计到硬线逻辑的实现 实验练习与Verilog语法手册 【工业技术】

高等学校教材:本书共分两部分，主要介绍了用Verilog语言设计数字电路系统的实用方法与技术。

智能计算 关于粗集理论、模糊逻辑、神经网络的理论及其应用 【工业技术】

本书主要介绍智能计算研究领域近年来迅速发展的粗集理论及其应用、模糊逻辑及其应用、人工神经网络理论及其应用、综合智能信息处理方法及其应用。...

石油的逻辑 国际油价波动机制与中国能源安全 【工业技术】

作者以自己的亲身经历和感受为您讲述“石油的逻辑”。以自然资源—市场—权利的视角，重新审视国际油价剧烈波动的政治经济动因和货币驱动力；拨开阴谋论的迷雾系统梳理油价波动背后的客观与微观机制；痛定思痛，以...

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

本书分为6章。第1章是实验要点；第2、3章根据数字电路设计的要点和应用特点，给出了多项综合性、趣味性、实用型实验任务；以两个实例详细介绍了QuartusⅡ5.1的文本和图形输入方式的编辑、编译、仿真、下载等基本...

基于VHDL语言与Quartus II软件的可编程逻辑器件应用与开发 【工业技术】

基于VHDL语言与Quartus 2 软件的可编程逻辑器件应用与开发。

复杂系统自适应鲁棒控制 基于模糊逻辑系统的分析设计 【工业技术】

本书针对一类非线性、不确定、复杂控制系统，采用Lypunov方法与模糊逻辑系统相结合的手段，应用自适应控制思想，系统而全面地讨论了被控系统的状态反馈镇定、输出反馈镇定、状态观测器设计等问题。...

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

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

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