实现最优BDD结构的联合改进方法

• 作者: 廖俊必 王厚军 罗航 黄建国 龙兵
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 二元决策图 代价 等价节点 标识符 指标顺序 最优解
• 年，卷（期）: 2012,（1）
• 所属期刊栏目: 自动化技术
• 页码范围: 48-53
• 分类号: TP202
• 字数: 5189字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2012.01.010

摘要

针对文献[13]的最优BDD指标顺序算法,详细研究了该方法的计算机实现.在分析实现各个关键技术的过程中,阐明了存储每个指标值的真值表的冗余性,分析了获取一个最优解(当对象含有多个最优解时)的弊端,提出了改进方法——删除存储指标值的真值表,获得所有最优解.为了实现形式最优BDD结构,详细研究了“去除”操作在简化“等价”节点上的原理.将最优指标顺序的理论和“等价”节点的简化操作方法联合起来,实现了理论和形式都最优的BDD结构.最后,以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄建国	电子科技大学自动化工程学院	94	689	13.0	23.0
2	王厚军	电子科技大学自动化工程学院	257	2532	27.0	36.0
3	龙兵	电子科技大学自动化工程学院	69	1038	19.0	28.0
4	廖俊必	四川大学制造科学与工程学院	101	569	13.0	17.0
5	罗航	四川大学制造科学与工程学院	8	51	4.0	7.0