关于实质本源蕴涵项的识别问题

本文揭示了ＥＳＰＲＥＳＳＯ算法和Ｍｕｒｏｇａ等提出的求绝对最小化算法中识别实质本源蕴涵项的方法具有近似的复杂度。文中还给出了一个在产生本源蕴涵项过程中识别实质本源项的算法。

蕴涵项的扩展算法

本文提出了一个把逻辑函数的积项扩展为本源蕴涵项的算法。用此算法得到的本源蕴涵项集合通过去冗过程产生的最后结果最接近绝对最小化的解。

蕴涵项扩展技术在多输出逻辑函数中的应用

文章给出一个适用于大变量多输出逻辑函数蕴涵项扩展的算法。多输出函数在它的矩阵表示中分为输入、输出两个部分,但是在扩展过程中,这两个部分处理的方式极为相似,从而使计算机程序简化,并节省了机器的时间、空间资源。

一种新的基于最小项逻辑优化的软件设计与实现

文章提出了一个新的产生本源蕴涵项的算法,并形成了相应的组合逻辑电路逻辑综合优化软件,测试表明,它在运算速度和存储性能上都是高效的。

软件法化简逻辑代数

阐述了化简逻辑代数的基本原理,针对代数法和卡诺图法化简逻辑代数的不足,提出了一种软件化简逻辑代数的编码方案;详细地介绍了形式变换模块、扩充模块和化简模块的设计过程。通过实验可表明,用软件化简逻辑代数可使化简结果准确、算法高效、适用面广。

逻辑函数的另一种化简方法——Q-M化简法

本文针对当前多数数字电子电路教材中化简逻辑函数采用的代数化简法和卡诺图化简法 ,介绍一种适用于计算机分析和处理的逻辑函数的另一种化简方法 ,即Q -M化简法 ,也称为系统列表化简法。

基于编码算法的组合逻辑电路最优化软件的设计与实现

在组合电路综合领域,逻辑最小化对电路面积及性能起到至关重要的作用。文章提出了一个新的产生本源蕴涵项的算法,并开发了一个最优化软件MININT,实验表明,它在运算速度和存储性能上都是高效的。

逻辑代数化简的计算机实现

本文阐述了化简逻辑代数的基本原理,在代数法和卡诺图法化简逻辑代数的基础上,提出运用计算机软件实现化简逻辑代数的方案。详细介绍利用计算机软件来实现化简模块的设计与实施过程。通过此方法可以使化简更准确、高效。

限界分枝松驰算法

在逻辑函数的计算机算法中 ,将传统松弛算法与限界分枝思想相结合 ,提出了一种产生最小代价且无冗余项的新算法 ,在此过程中仍不需计算质蕴涵项。

逻辑代数化简的计算机实现——化简逻辑代数

文章阐述了化简逻辑代数的基本原理，在代数法和卡诺图法化简逻辑代数的基础上进一步改善不足，提出了一种运用计算机软件实现化简逻辑代数的方案。详细介绍了逻辑代数化简过程中化简模块的设计过程及具体实现，以及在此遇到的一些实际问题的解决方法，并均以计算机软件来实现。通过此方法可实现可以使化简结果更准确、应用更广泛、效率更高。

改进的Q-M逻辑函数化简方法

为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。

布尔函数的单调分解

利用化简布尔函数的常用方法，讨论布尔函数的单调分解，得到了判别布尔函数单调分解的几个简明判别准则。

一种快速的布尔函数极小化方法

基于偏序集及多维体理论，文中提出了Ｌ－集概念，并将布尔函数极小化问题抽象为Ｌ－集的极大内多维体。还设计了一个基于Ｌ－集的图搜索的快速布尔函数极小化算法，使可解输入变量数达到２６个。

无反码单输出多级“与非”组合网络的CAD方法

为探讨单输出多级最佳“与非”逻辑网络CAD的理论及新的逻辑网络综合方法,本文定义了一种立方运算——间填运算。由本原蕴涵项计算出的间填立方做为第三级的输入。而第三级的输出又至少是两个二级门的输入。应用本方法设计的逻辑网络比采用“二次求反法”所设计的网络不同程度地减少了元器件的使用量。若将定义做相应的修改,该方法也适合于单、多输出多级“与非”和“或非”网络的综合。

列表法化简多变量逻辑函数的方法探讨

逻辑函数的化简能极大地简化IC的设计,由于列表法化简没有卡诺图法来得直观,因此很少有文献对这一方法进行深入的探讨与分析。但列表法化简的规律性极强,只要掌握了其技巧,完全可以用程序来实现迭代过程。同时在处理多变量函数化简的这一情况下,列表法化简的优势更为明显。课题对列表法化简逻辑函数的方法进行了深入的研究,通过一个有代表性的实例对其原理与规律进行了详细的分析,为程序化实现提供了一个重要的算法基础。

逻辑函数表格法最小化的一种新方法

对逻辑函数表格法最小化提出一种新方法，尤其适用于含有大量无关项的多变量逻辑函数最小化．

用Quine-McCluskey法化简逻辑函数

介绍用Quine-McCluskey法分别对一般的、含有无关项的和多输出的逻辑函数进行化简。该方法更具系统性,便于计算机处理。

逻辑函数化简程序的实现

本文论述了用C语言实现重复包含算法的过程 ,利用合并操作实现求全部质蕴涵和用包含操作实现函数的最小覆盖 。

一种新颖的计算机辅助逻辑综合法

本文提出一种独具特色的计算机辅助逻辑综合法(简称一步综合法)进行组合逻辑综合研究。其实质是对组合逻辑仅作一级简化,即可得到符合优化要求的综合结果。文中对综合过程的几个关键点作了分析与说明,同时剖析了这种新颖的综合法的优点产生的技术基础。最后展望了本法的应用前景。