-
题名限界分枝松驰算法
- 1
-
-
作者
彭延军
胡建国
周艳明
-
机构
山东科技大学应用数学与软件工程系
湘潭师范学院数学系
-
出处
《山东科技大学学报（自然科学版）》
CAS
2000年第3期91-93,共3页
-
文摘
在逻辑函数的计算机算法中 ,将传统松弛算法与限界分枝思想相结合 ,提出了一种产生最小代价且无冗余项的新算法 ,在此过程中仍不需计算质蕴涵项。
-
关键词
限界分枝法
松弛法
最小代价
质蕴涵项
逻辑函数
-
Keywords
delimited divarication algorithm
slack algorithm
minimum cost
character implication item
-
分类号
O153.2
[理学—基础数学]
TP331.1
[自动化与计算机技术—计算机系统结构]
-
-
题名改进的Q-M逻辑函数化简方法
被引量：2
- 2
-
-
作者
徐俊平
程利新
-
机构
哈尔滨工程大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第20期30-32,共3页
-
基金
哈尔滨工程大学基础研究基金资助项目(HEUFT05069)
-
文摘
为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。
-
关键词
逻辑函数化简
Q-M方法
质蕴涵项
二分图
最小覆盖
-
Keywords
simplification of logic functions
Q-M method
prime implicants
bipartite graph
minimum coverage
-
分类号
TP331.1
[自动化与计算机技术—计算机系统结构]
-
-
题名一种快速的布尔函数极小化方法
- 3
-
-
作者
刘建军
吕英
-
机构
航天工业总公司
-
出处
《计算机工程与设计》
CSCD
北大核心
1997年第5期60-63,共4页
-
文摘
基于偏序集及多维体理论，文中提出了Ｌ－集概念，并将布尔函数极小化问题抽象为Ｌ－集的极大内多维体。还设计了一个基于Ｌ－集的图搜索的快速布尔函数极小化算法，使可解输入变量数达到２６个。
-
关键词
布尔函数
算法
质蕴涵项
极小化
-
Keywords
Boolean functions Optimization Algorithms Prime implication
-
分类号
O153.2
[理学—基础数学]
-
