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

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

用编码算法求本源蕴涵项并构成布尔函数的近似最小化表达式

本文提出了一个有效的化简布尔函数的算法。本源蕴涵项是通过小项的编码运算获得的。使用该算法可得到一个函数的近似最小化解,其近似程度不低于Arevala和Bredson提由的算法(以下简称A-B法)。本算法的主要恃点是:1.运算速度快;2.运算时间随变量个数增加的速度明显低于现行各种算法。因此,尤其适用于大规模逻辑设计问题。

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

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

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

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

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

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