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

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

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

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

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

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

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

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