文件名称：实现最优BDD结构的联合改进方法 (2012年)
文件大小：674KB
文件格式：PDF
更新时间：2024-05-29 22:40:05
自然科学 论文
针对文献[13]的最优BDD指标顺序算法，详细研究了该方法的计算机实现。在分析实现各个关键技术的过程中，阐明了存储每个指标值的真值表的冗余性，分析了获取一个最优解（当对象含有多个最优解时）的弊端，提出了改进方法――删除存储指标值的真值表，获得所有最优解。为了实现形式最优BDD结构，详细研究了“去除”操作在简化“等价”节点上的原理。将最优指标顺序的理论和“等价”节点的简化操作方法联合起来，实现了理论和形式都最优的BDD结构。最后，以具体的例证阐释了联合改进方法在获取最优BDD结构中的突出特点。