变量序相关论文
随着深亚微米的半导体制造工艺得到广泛应用,超大规模集成电路(VLSI)集成度迅速提高.在电子设计自动化(EDA)领域,检验电路设计正确......
有序二叉判定图(OBDDs)是一种表示布尔函数的高效数据结构,在形式化验证领域内有着广泛应用。它为符号模型检测算法提供实现框架,......
有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一．由于ＯＢＤＤ的大小对变量序非常敏感，使得变量排序问题成为最关键的一个问题．首先将ＯＢＤＤ变量排序......
现有的混合结构学习算法受制于变量的邻居集,导致混合结构学习算法在约束学习阶段,若变量的邻居集没有包含真实结构的节点,该节点......
有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。熵是定量描述布尔函数中变量重要性的一种方法......
OBDD是布尔函数的一种有效的图形化表示形式。布尔函数的OBDD的阶数对布尔变量的序敏感。本文研究了DNF型和CNF型两种类型布尔函数......
有序二元决策图（OBDD）被广泛用到网络可靠度的计算中，在基于 OBDD 计算网络可靠度时，其计算时间主要取决于参与操作的OBDD的大小，而OBDD......
约束满足问题与调度问题在实际生产生活有大量的应用，它们的求解技术是人们研究的重点。本文主要针对离散粒子群算法求解约束满足问......
