逻辑函数无冗余覆盖选择问题

逻辑函数的最小化算法可以分为两大步骤,产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。提出一个适于大变量输入输出逻辑函数的实质项与相对冗余项的识别和选择近似最小覆盖的算法。Benchmark例题测试表明,算法具有理想的处理效果。

逻辑函数的无冗余覆盖选择问题

逻辑函数的最小化算法可分为两大步骤：产生本源蕴涵项和在这些蕴涵项中选择一个最小覆盖。人说后者比前者更加困难，这的确是事实。我们这里提出一个无冗余和选择一个最小覆盖的算法。给定函数ｆ的一个本源覆盖Ｇ，首先将Ｇ分为三个子集：实质本源项子集Ｅ，完全冗余项子集Ｒ和相对冗余项子集Ｐ。然后在Ｐ中选择一个子集Ｐ＾＊，使Ｐ＾＊∪Ｅ为ｆ的一个近似最小覆盖。很明显，后一项任务比前者要复杂得多。所以。

全序时态模式中时态函数依赖的覆盖问题研究

与传统的关系数据库中的函数依赖一样,时态数据库中全序时态模块模式下的时态函数依赖也存在着冗余问题,因而有效地消除冗余的时态函数依赖是全序时态函数依赖集化简的基础。在全序时态模式下提出全序无冗余覆盖、全序规范覆盖和全序最小覆盖等概念,同时给出了全序无冗余覆盖、全序规范覆盖集和全序最小覆盖集的算法及相关定理,并给出了其正确性证明,对其时间复杂度进行了分析。

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

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

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

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

BL-代数上sup-＊合成模糊关系方程的极小解与算法

研究了定义在BL-代数上模糊关系方程A⊙X=B(其中"⊙"表示sup-*合成,A=(aij)I×J为已知系数矩阵,B=(bj)j∈J为已知行向量,X=(xi)i∈I为未知行向量,I,J为有限集)的极小解及其算法.首先讨论了极小解与Binding分量的关系,极小解与无冗余覆盖的关系,证明了极小解与无冗余覆盖之间是一一对应的,然后给出了通过找无冗余覆盖求方程所有极小解的算法.