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

作     者：罗航 廖俊必 王厚军 黄建国 龙兵 LUO Hang;LIAO Jun-bi;WANG Hou-jun;HUANG Jian-guo;LONG Bing

作者机构：四川大学制造科学与工程学院成都610065 电子科技大学自动化工程学院成都611731 

出 版 物：《电子科技大学学报》 (Journal of University of Electronic Science and Technology of China)

年 卷 期：2012年第41卷第1期

页      面：48-53页

核心收录：

学科分类：08[工学] 081101[工学-控制理论与控制工程] 0811[工学-控制科学与工程] 081102[工学-检测技术与自动化装置] 

基　　金：国家自然科学基金(60934002) 部级预研基金 高等学校博士点基金(20070614008) 四川大学青年基金(2011SCU11120)的资助 

主　　题：二元决策图 代价 等价节点 标识符 指标顺序 最优解 

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