一、逻辑函数最大项表达式及其卡诺图化简（论文文献综述）
李战胜[1]（2020）在《数字电子技术中卡诺图化简逻辑函数的应用》文中认为通过对卡诺图化简逻辑函数的思路的剖析,包括多变量卡诺图的框架结构,填卡诺图的规则,画圈的规则,化简的规则等方面的研究,提出了一种切实可行的卡诺图化简逻辑函数的思路。
陈治文[2]（2019）在《Reed-Muller多级逻辑面积优化》文中提出和传统Boolean逻辑相比,Reed-Muller逻辑运用在运算电路、通信电路、奇偶校验电路等数字电路中时,具备更好的面积、速度、功耗和可验证性等性能。面积优化在Reed-Muller电路设计中扮演重要角色,现有的大多数面积优化方法主要是极性优化,通过搜索最佳极性来优化Reed-Muller逻辑表达式,这类方法属于Reed-Muller电路设计的二级网络优化方法,其优化能力十分有限。对此,本文以面积最小化为主要目标,实施Reed-Muller电路的多级逻辑网络优化,开展了以下几点研究工作:（1）二叉决策图的结点和路径优化。通过对电路二叉决策图结构的分析研究,发现图内普遍存在一种可重构的菱形结构,在规范该菱形结构定义的基础上,提出了借助菱形结构的二叉决策图优化方法。该方法通过搜索二叉决策图内的菱形结构,划分出待优化的结构部分,继而重构该部分的具体结构,完成二叉决策图的结点和路径优化。由于每种菱形结构适用多种优化策略,选择合适的策略可以完成电路面积和延时的同时优化。（2）基于二叉决策图的Reed-Muller多级逻辑优化。优化后的二叉决策图,其结点的控制变量转变为若干单变量的逻辑组合,据此提出了一种Reed-Muller多级逻辑优化方法:利用每个结点的扇出路径均互斥的特点,由根结点至终结点提取出互斥乘积项,然后应用互斥乘积项的极性转换方法得到0极性下的Reed-Muller逻辑函数,最后通过遗传算法进行极性优化,完成了基于二叉决策图的Reed-Muller多级逻辑优化算法。（3）基于kernels的多级逻辑面积优化。从kernels在Boolean逻辑函数中的应用着手,提出了FPRM逻辑函数的kernels、co-kernels等相关术语的定义,并给出了kernels、co-kernels具体的计算方法。由计算后的kernels集合与co-kernels集合构建矩阵,据此提出基于矩形覆盖的多输出FPRM逻辑函数的多级优化方法。该方法给出了Reed-Muller逻辑函数kernels、co-kernels计算过程,并在计算过程中引入的矩阵分块法和贪心策略,提升了本方法的处理速度和通用性。本文提出的方法或算法,均通过C/C++语言编程实现,并使用MCNC benchmarks进行了验证测试,实验结果表明:二叉决策图的优化效果明显,结点和路径的数目大量减少;实现了对二叉决策图映射电路的面积和延时的同步优化,提升了该映射电路的可靠性与有效性;提出的基于二叉决策图的Reed-Muller多级优化方法,其优化结果与并行列表法、不相交乘积项法结果相比,面积均减少了约一半;基于kernels的Reed-Muller多级逻辑优化结果电路的面积,比极性优化所得电路面积减少约65%,比应用onset表得到的多级MPRM电路面积减少约30%,且该方法复杂度对电路输入输出数目不敏感,仅与表达式乘积项数相关。
姜书艳,张优,卢有亮,刘科,张博[3]（2019）在《浅谈在卡诺图中实现对偶律的方法》文中进行了进一步梳理应用卡诺图来处理逻辑函数可以方便快速地使函数化简或变形。本文基于逻辑代数中的对偶律和卡诺图的化简方法,提出了在卡诺图中实现对偶律的方法:定义法,公式法,反码法。不同方法简单程度不同,反码法最为简便。
戈璐璐[4]（2018）在《基于DNA计算的逻辑与应用研究》文中提出近年来,多方预言摩尔定律即将失效。与此同时,随着时代的不断发展与技术的快速更新,为满足人们指数增长的信息存储和处理需求,新型计算模式成为当下研究热点之一。在众多竞争对象中,如量子、光子等,分子计算,即DNA计算,因其超大规模的并行计算能力、海量数据的存储潜能、遗传信息的特殊身份,得到了业界和学界的广泛关注。从硅基到DNA,分子计算使计算得以在分子层面上展开。作为一种新型的计算模式,其数据处理对象即生物分子。在对如DNA链的生物分子进行编码后,包括算术运算和逻辑运算的各种操作需要借助分子生物学工具来实现。分子计算的意义不仅在于实现了从硅到DNA的硬件转型,还在于理解自然界比比皆是的自下而上的自组装过程。更为重要的是,鉴于DNA的海量数据存储能力,DNA衬底早在1982年被预言可以搭建高能效图灵机,这意味着DNA计算有望在真实世界中实现抽象的图灵机。然而,分子计算的意义不仅仅局限于在真实世界里搭建出抽象意义的图灵机,还在于它能实现任何可以计算的有效算法,并开拓传统硅基难以施展的应用场景。由此可见,基于DNA计算的逻辑与应用研究意义深远。以形式化学反应网络为图灵完备的高效编程语言,以DNA链置换反应为底层物理实现,以基于质量作用定律的常微分方程组刻画化学系统的动态演化过程。简言之,本文的工作即设计形式化学反应网络以实现逻辑与计算功能。逻辑研究方面,组合逻辑是本文第一个研究对象。时序逻辑的研究需要引入时钟信号实现状态转移,时钟信号因此成为本文的第二个研究对象。前人的工作表明化学反应网络能够有效构建时序逻辑,将有限状态机的基本雏形落到实处。基于此,图灵完备的化学反应网络可以实现任意有效的算法,本文则将消息传递算法用化学反应网络来编程,分子LDPC译码器则成为本文的第三个研究对象。鉴于LDPC译码在传统硅基层面硬件资源需求过大,此处可视为是对DNA计算的一个应用研究。本文借鉴传统电子学中利用卡诺图构造组合逻辑的基本思想,将卡诺图引入到化学反应网络的设计当中去,共提出五种基于卡诺图的设计方法实现分子组合逻辑。鉴于卡诺图逻辑表达的完备性,跳过从卡诺图搭建电路这一冗余步骤,视卡诺图为一配置部件,映射到化学反应网络中去。根据映射方式的不同,衍生出五种设计方法。1).一一映射:即对卡诺图所有逻辑值为“0”和“1”的独立小方格都进行化学反应的映射;2).基于卡诺图化简:一个最项映射为一个化学反应,化简规则略有调整。卡诺圈必须满足贯穿一整行或一整列;3).部分映射:即仅对逻辑值为“1”的小方格进行映射,此为方案1。需要声明的是,部分映射共有三种方案,均需对其速率常数进行调整。4).方案2:在方案1的基础上,采用对称的修正反应;5).方案3:在方案2的基础上,剔除输出信号的双轨逻辑表示。此外,本文对基于卡诺图设计组合逻辑化学反应网络的所有五种方法均进行了稳定性与可行性分析,从化学反应动力学出发,通过对常微分方程组的求解情况进行分析预测,从理论上证明了本文所提方法的可行性与有效性。值得一提的是,本文的五种方法均适用于N输入的组合逻辑情况。从成熟的齿轮系统中获得启发,时钟信号与齿轮运转有许多相似之处。在给出齿轮系统与时钟树之间可以相互映射的概念后,本文度量了用化学反应网络合成的时钟信号的是时钟周期长度与相时钟信号存在时间,并对齿轮的尺寸,尤其是齿数和直径进行标准化规定。在明确本文旨在设计可调分子时钟信号后,重点研究并用化学反应网络实现了基于齿轮系统建模时钟信号任意占空比设置以及包括分频、倍频在内的变频设置。针对时序逻辑,本文致力于解决同步时序逻辑的化学反应网络设计方法。根据给定的时序逻辑功能,画出其对应的状态转移图,而后直接映射到化学反应网络中去。本文所提出的设计方法,即基于存储-释放的Key-Keysmith机制,具有鲁棒性,且本文的设计方法无需寻找具体的电路映射。本文提出了一种基于消息传递算法的LDPC分子译码器化学反应网络的设计方法。该方法不受校验节点与变量节点度数的限制,理论上能够实现任意码长、任意码率、任意节点度数的LDPC分子译码器。需要注意的是,经典的消息传递算法中变量节点信息rji的更新公式并不易于化学反应网络构造,更不易于高节点度数的LDPC译码器的构建。为解决此问题,本文成功推导出易于构建化学反应网络的理论公式。将概率值赋予给物种浓度,物种间转化则实现了LDPC译码器因子图中校验节点与变量节点的信息更新。通过引入时钟信号进行译码调度,使得译码器能够随着时间的推移不断实现迭代译码。
权宇[5]（2018）在《QCA中的三输入逻辑综合及电路设计》文中研究表明自CMOS器件出现以来,集成电路技术一直遵循着摩尔定律飞速发展。随着器件的尺寸越来越小,当小到一定程度时,电路的物理基础就会发生变化,出现密度太大、功耗过高、布线过于复杂以及电路之间相互串扰等许多问题。因此急需研发新型的器件,用来代替传统CMOS器件。量子元胞自动机（Quantum-dot Cellular Automata,QCA）,作为一种新兴的纳米器件,因其尺寸更小、能耗极低,以及工作频率高等特点,成为研究的前沿和热点之一。而由QCA组成的电路,从与或门,到加法器、乘法器、存储器等,均可实现,有着非常广阔的发展前景。对于传统电路而言,布尔函数表达式是用来描述电路的最有效方式,一般分为SOP或POS两种。但对于QCA电路,因为有着独特的基本单元——择多门,需要一种新型的逻辑表达式来描述其电路功能。本文研究如何实现由传统的布尔函数表达式向QCA特有的择多逻辑表达式进行转化。本文首先阐述两种经典的转化方法。第一种方法是基于立方体的标准函数法,分为三输入标准函数法与四输入标准函数法,并且利用本文提出的方法对三输入的标准函数进行了优化。将四输入的标准函数进行验证与实现。第二种方法是基于基本函数的逻辑综合,也分为三输入与四输入。其中三输入又分为:寻找f1,f2,f3的逻辑综合方法、布尔不相邻法以及基于穷尽搜索原理的三输入节点网络综合方法。四输入的转化方法为四输入函数查表法,每种方法都以实例说明了转化的过程。然后本文利用提出的卡诺图八位二进制实现了所有三输入布尔函数表达式向择多逻辑表达式的自动转化。与已经存在的其他三输入逻辑综合方法进行比较,本文所得的三输入择多逻辑表达式在择多门、反相器以及逻辑层数均得到降低。再以全加器以及常用的三输入电路验证了本文方法的正确性。最后对文章中用到的实例进行仿真验证。经QCADesigner仿真验证,所有电路均实现正确的逻辑功能。
贾鹏[6]（2015）在《“数字电路”课程中卡诺图化简法的教学研究》文中认为卡诺图化简法是"数字电路"课程中的一项重要教学内容,对学生学习数字电路设计有着十分重要的意义。本文根据笔者多年的教学实践,以问题作为牵引,从卡诺图的基本概念、卡诺图化简法的基本原理和卡诺图化简的基本方法3个方面对卡诺图化简法教学的核心内容及其教学方法和思路进行了研究和探讨。
曹金华,汪庆淼,吴瑾,王宜怀[7]（2015）在《数字逻辑中化简法教学的一种演绎》文中指出阐述逻辑表达式的代数化简法借助卡诺图来指导实现的方法,该方法简单易用,化简目标明确,便于学生掌握代数化简法,同时说明图在现代教学中应该发挥重要的作用。
严单贵[8]（2013）在《一种改进的卡诺图化简法》文中研究指明针对传统卡诺图化简逻辑函数存在的问题,提出一种改进的卡诺图化简法,其改进主要体现在卡诺图的构建、逻辑函数中最小项的标示和卡诺图的填写等方面。利用改进后的卡诺图化简逻辑函数,可使化简过程更加直观、易懂,从而有利于改善分析效果,提高工作效率。
唐晓慧[9]（2013）在《逻辑函数化简技巧》文中指出卡诺图是逻辑函数化简最常使用的方法,阐述了如何简单而准确地判定相邻项,并利用了卡诺图中的最大项对逻辑函数化简,使逻辑函数化简来得更简洁明了。
董金明,张艳晓[10]（2013）在《卡诺图化简法在逻辑函数中的应用》文中研究表明卡诺图化简法是化简逻辑函数最常用的方法之一,它简单、直观,使用者不需要熟练掌握繁杂的基本公式和定理,也不需要特殊的技巧,只需要按照一些简单的规则行为进行化简,就能得到最简的结果。文章将介绍怎样利用卡诺图对逻辑函数进行化简,使化简逻辑函数变得简单、直观、有步骤可循。
二、逻辑函数最大项表达式及其卡诺图化简（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、逻辑函数最大项表达式及其卡诺图化简（论文提纲范文）
（1）数字电子技术中卡诺图化简逻辑函数的应用（论文提纲范文）
| 0 引言 |
| 1 逻辑函数的化简的目标 |
| 2 逻辑函数的代数化简法 |
| 3 逻辑函数的卡诺图函数化简法 |
| 4 具有无关项的逻辑函数的卡诺图化简的应用 |
| 5 结语 |
（2）Reed-Muller多级逻辑面积优化（论文提纲范文）
| 引言 |
| 1 绪论 |
| 1.1 研究背景和意义 |
| 1.2 研究现状和趋势 |
| 1.3 论文结构和安排 |
| 2 Reed-Muller逻辑基础及研究现状 |
| 2.1 函数的Reed-Muller逻辑形式 |
| 2.1.1 “异或”基本运算 |
| 2.1.2 “同或”基本运算 |
| 2.1.3 “异或”与“同或”运算的换算 |
| 2.1.4 Reed-Muller逻辑函数表达式 |
| 2.2 极性及极性转换算法 |
| 2.2.1 Reed-Muller逻辑的极性 |
| 2.2.2 列表法 |
| 2.2.3 快速列表法 |
| 2.2.4 不相交乘积项法 |
| 2.3 极性搜索算法 |
| 2.4 本章小结 |
| 3 基于二叉决策图的Reed-Muller多级逻辑优化 |
| 3.1 函数的二叉决策图及其结构优化 |
| 3.1.1 函数的二叉决策图 |
| 3.1.2 菱形结构及其优化 |
| 3.1.3 二叉决策图的结构优化 |
| 3.1.4 电路测试与分析 |
| 3.2 互斥乘积项及其生成 |
| 3.2.1 互斥乘积项 |
| 3.2.2 互斥乘积项生成策略 |
| 3.3 基于二叉决策图的Reed-Muller多级逻辑优化算法 |
| 3.3.1 二叉决策图的互斥乘积项生成 |
| 3.3.2 Reed-Muller多级逻辑优化算法 |
| 3.3.3 实验结果与分析 |
| 3.4 本章小结 |
| 4 基于kernels的 Reed-Muller多级逻辑优化 |
| 4.1 函数的kernels |
| 4.1.1 kernels的定义 |
| 4.1.2 kernels的计算 |
| 4.2 公共变量的提取 |
| 4.3 基于kernels的 Reed-Muller多级逻辑优化方法 |
| 4.4 实验结果与分析 |
| 4.5 本章小结 |
| 5 结论与展望 |
| 参考文献 |
| 在学研究成果 |
| 致谢 |
| Abstract of Thesis |
| 论文摘要 |
（3）浅谈在卡诺图中实现对偶律的方法（论文提纲范文）
| 一、对偶规则 |
| 二、在卡诺图中实现对偶律 |
| (一) 定义法 |
| (二) 公式法 |
| (三) 反码法 |
| 三、结论 |
（4）基于DNA计算的逻辑与应用研究（论文提纲范文）
| 摘要 |
| Abstract |
| 术语与数学符号约定 |
| 英文缩略语 |
| 第一章 绪论 |
| 1.1 研究背景 |
| 1.2 研究现状 |
| 1.3 论文的研究工作 |
| 第二章 分子计算 |
| 2.1 DNA |
| 2.2 DNAvsSilicon |
| 2.2.1 DNA计算的优缺点 |
| 2.2.2 DNA计算机 |
| 2.2.3 DNA计算的应用 |
| 2.3 化学反应网络(CRNs) |
| 2.3.1 定义 |
| 2.3.2 确定性模型与随机模型 |
| 2.3.3 质量作用动力学 |
| 2.3.4 常微分方程组(ODEs) |
| 2.4 DNA链置换反应及其设计工具DSD |
| 2.5 总结 |
| 第三章 基于化学反应网络的组合逻辑 |
| 3.1 组合逻辑简介 |
| 3.2 单比特的双轨表示 |
| 3.3 基于卡诺图进行一一映射的方法 |
| 3.3.1 设计思路 |
| 3.3.2 2输入逻辑门设计规则 |
| 3.3.3 N输入组合逻辑一一映射 |
| 3.3.4 仿真结果 |
| 3.4 基于卡诺图化简化学反应网络的方法 |
| 3.4.1 设计思路 |
| 3.4.2 化简规则 |
| 3.4.3 可行性分析 |
| 3.4.4 仿真结果 |
| 3.5 基于卡诺图进行部分映射的方法 |
| 3.5.1 设计思路 |
| 3.5.2 部分映射方案1 |
| 3.5.3 部分映射方案2 |
| 3.5.4 部分映射方案3 |
| 3.5.5 仿真结果 |
| 3.6 复杂度分析 |
| 3.7 五种构造方法之间的关系 |
| 3.7.1 仿真结果 |
| 3.8 总结 |
| 第四章 基于化学反应网络的齿轮时钟信号 |
| 4.1 时钟信号简介 |
| 4.2 从齿轮中获得设计时钟信号的灵感 |
| 4.2.1 可调分子时钟信号 |
| 4.2.2 齿轮系统与时钟树的类比 |
| 4.2.3 从齿轮到时钟信号的基本范例 |
| 4.3 基于齿轮模型的分子时钟信号占空比构建 |
| 4.3.1 三种时钟信号占空比齿轮模型及其运作机制 |
| 4.3.2 时钟树 |
| 4.3.3 小结 |
| 4.4 基于齿轮模型的分子时钟信号变频构建 |
| 4.4.1 基频 |
| 4.4.2 分频齿轮模型与化学反应网络实现 |
| 4.4.3 倍频齿轮模型与化学反应网络实现 |
| 4.4.4 小结 |
| 4.5 总结与讨论 |
| 第五章 基于化学反应网络的时序逻辑设计 |
| 5.1 时序逻辑简介 |
| 5.2 Key-Keysmith机制 |
| 5.3 时序逻辑化学反应网络设计方法 |
| 5.4 两个实例 |
| 5.4.1 二进制计数器 |
| 5.4.2 四比特循环冗余校验(CRC-4)电路 |
| 5.5 鲁棒性分析 |
| 5.5.1 分子系统的鲁棒性 |
| 5.5.2 双轨逻辑的鲁棒性 |
| 5.6 总结 |
| 第六章 基于化学反应网络的LDPC译码器 |
| 6.1 LDPC码及因子图 |
| 6.1.1 LDPC码 |
| 6.1.2 因子图 |
| 6.2 信道模型 |
| 6.3 消息传递算法 |
| 6.3.1 步骤1：q_(ij)初始化 |
| 6.3.2 步骤2：r_(ji)计算 |
| 6.3.3 步骤3：q_(ij)计算 |
| 6.3.4 步骤4：y_i计算 |
| 6.3.5 步骤5：输出判决 |
| 6.4 基于化学反应网络的LDPC译码器 |
| 6.4.1 分子LDPC译码器原理 |
| 6.4.2 分子译码调度策略 |
| 6.4.3 分子实现译码步骤1：q_(ij)初始化 |
| 6.4.4 分子实现译码步骤2：r_(ji)计算 |
| 6.4.5 分子实现译码步骤3：q_(ij)计算 |
| 6.4.6 分子实现译码步骤4：y_i计算 |
| 6.4.7 整个化学反应网络 |
| 6.5 仿真实验 |
| 6.5.1 案例1：(8,4)LDPC分子译码器 |
| 6.5.2 案例2：(20,4)LDPC分子译码器 |
| 6.6 复杂度分析 |
| 6.7 总结 |
| 第七章 总结与展望 |
| 7.1 全文总结与主要贡献 |
| 7.2 进一步的研究方向 |
| 致谢 |
| 参考文献 |
| 附录 A 美国国家人类基因组研究所(NHGRI)发布DNA测序成本 |
| 附录 B RGB三相振荡器与1/2占空比时钟信号化学反应网络 |
| 附录 C 1/15占空比时钟信号分频化学反应网络 |
| 附录 D 时序逻辑设计中用到的时钟信号 |
| 附录 E 四比特CRC电路化学反应网络 |
| 附录 F LDPC分子译码器调度时钟信号 |
| 附录 G 定理5的证明 |
| 附录 H 定理6的证明 |
| 附录 I 分子(20,4)LDPC译码器理论译码结果 |
| 作者攻读硕士学位期间的研究成果 |
（5）QCA中的三输入逻辑综合及电路设计（论文提纲范文）
| 致谢 |
| 摘要 |
| abstract |
| 第一章 绪论 |
| 1.1 研究背景及意义 |
| 1.2 国内外研究现状及发展 |
| 1.3 论文的主要工作及章节安排 |
| 1.3.1 论文主要工作 |
| 1.3.2 论文章节安排 |
| 第二章 QCA及逻辑综合基础 |
| 2.1 QCA基本知识 |
| 2.1.1 QCA元胞 |
| 2.1.2 QCA基本逻辑器件 |
| 2.1.3 交叉线 |
| 2.1.4 时钟概念 |
| 2.2 逻辑综合 |
| 2.2.1 SOP表达式和POS表达式 |
| 2.2.2 n-feasible函数和n-infeasible函数 |
| 2.2.3 on-set项与off-set项 |
| 2.2.4 择多逻辑综合 |
| 2.3 基本函数 |
| 2.3.1 三输入基本函数 |
| 2.3.2 四输入基本函数 |
| 2.3.3 理论基础 |
| 2.4 仿真软件简介 |
| 2.4.1 数字仿真引擎 |
| 2.4.2 非线性逼近仿真引擎 |
| 2.4.3 双稳态仿真引擎 |
| 2.5 本章小结 |
| 第三章 基于立方体的标准函数法 |
| 3.1 三输入标准函数法 |
| 3.1.1 概述 |
| 3.1.2 三维立方体 |
| 3.1.3 三输入标准函数 |
| 3.1.4 综合流程 |
| 3.1.5 实例 |
| 3.2 四输入标准函数法 |
| 3.2.1 概述 |
| 3.2.2 四维立方体和4输入卡诺图 |
| 3.2.3 四输入标准函数 |
| 3.2.4 综合流程 |
| 3.3 本章小结 |
| 第四章 基于基本函数的综合方法 |
| 4.1 基于寻找f1,f2,f3的逻辑综合方法 |
| 4.1.1 概述 |
| 4.1.2 总体流程 |
| 4.1.3寻找函数f1,f2,f3 |
| 4.1.4 实例 |
| 4.1.5 布尔不相邻法 |
| 4.2 基于穷尽搜索原理的三输入节点网络综合方法 |
| 4.2.1 概述 |
| 4.2.2 最小择多表达式 |
| 4.2.3 四个衡量标准 |
| 4.2.4 综合流程 |
| 4.2.5 预处理和分解 |
| 4.2.6 变换步骤 |
| 4.2.7 消除冗余 |
| 4.3 四输入函数查表法 |
| 4.3.1 概述 |
| 4.3.2 四个衡量标准 |
| 4.3.3 择多表达式查询表(MLUT) |
| 4.3.4 寻找MLUT流程图 |
| 4.3.5 综合流程 |
| 4.4 本章小结 |
| 第五章 基于QCA择多门的三输入自动逻辑综合 |
| 5.1 概述 |
| 5.2 卡诺图八位二进制表达式 |
| 5.2.1 概念 |
| 5.2.2 转化过程 |
| 5.3 编程实现 |
| 5.3.1 编程思想 |
| 5.3.2 编程步骤 |
| 5.4 实例 |
| 5.4.1 一位全加器 |
| 5.4.2 三输入函数 |
| 5.4.3 任意3-feasible布尔函数 |
| 5.5 基于QCADesigner的电路仿真 |
| 5.5.1 基于标准函数的三输入逻辑综合QCA仿真 |
| 5.5.2 基于标准函数的四输入逻辑综合QCA仿真 |
| 5.5.3 基于寻找f1,f2,f3的QCA仿真 |
| 5.5.4 布尔不相邻法的QCA仿真 |
| 5.5.5 四输入查表法的QCA仿真 |
| 5.6 本章小结 |
| 第六章 总结和展望 |
| 6.1 本文工作总结 |
| 6.2 未来工作展望 |
| 参考文献 |
| 攻读硕士学位期间的学术活动及成果情况 |
（6）“数字电路”课程中卡诺图化简法的教学研究（论文提纲范文）
| 0 引言 |
| 1 卡诺图的基本概念—什么是卡诺图 |
| 2 卡诺图化简法的基本原理—为什么可以利用卡诺图化简逻辑函数 |
| 3 卡诺图化简的基本方法—怎样用卡诺图化简逻辑函数 |
| 4 结语 |
（7）数字逻辑中化简法教学的一种演绎（论文提纲范文）
| 0 引 言 |
| 1 方法引出 |
| 2 方法实现 |
| 3 方法归纳 |
| 4 效果评价 |
| 5 结 语 |
（8）一种改进的卡诺图化简法（论文提纲范文）
| 0前言 |
| 1 传统的卡诺图化简法 |
| 2 改进的卡诺图化简法 |
| 2.1 卡诺图的构建 |
| 2.2 函数中各最小项的标示 |
| 3 结论 |
（9）逻辑函数化简技巧（论文提纲范文）
| 1 卡诺图中的相邻项的判定 |
| 2 最大项、最小项的填入及圈定 |
| 3 结语 |
（10）卡诺图化简法在逻辑函数中的应用（论文提纲范文）
| 最小项卡诺图 |
| 卡诺图表示逻辑函数 |
| 用卡诺图化简逻辑函数 |
四、逻辑函数最大项表达式及其卡诺图化简（论文参考文献）
- [1]数字电子技术中卡诺图化简逻辑函数的应用[J]. 李战胜. 电子技术, 2020(05)
- [2]Reed-Muller多级逻辑面积优化[D]. 陈治文. 宁波大学, 2019(06)
- [3]浅谈在卡诺图中实现对偶律的方法[J]. 姜书艳,张优,卢有亮,刘科,张博. 教育教学论坛, 2019(12)
- [4]基于DNA计算的逻辑与应用研究[D]. 戈璐璐. 东南大学, 2018(05)
- [5]QCA中的三输入逻辑综合及电路设计[D]. 权宇. 合肥工业大学, 2018(02)
- [6]“数字电路”课程中卡诺图化简法的教学研究[J]. 贾鹏. 工业和信息化教育, 2015(10)
- [7]数字逻辑中化简法教学的一种演绎[J]. 曹金华,汪庆淼,吴瑾,王宜怀. 计算机教育, 2015(02)
- [8]一种改进的卡诺图化简法[J]. 严单贵. 科教导刊(上旬刊), 2013(17)
- [9]逻辑函数化简技巧[J]. 唐晓慧. 贵州师范学院学报, 2013(06)
- [10]卡诺图化简法在逻辑函数中的应用[J]. 董金明,张艳晓. 信息与电脑(理论版), 2013(10)