论文部分内容阅读
对近年来二叉判定图 (BDD)最优化算法的成果和发展趋势进行了综述和讨论 ,重点介绍精确排序算法和动态启发式排序算法 .给出了BDD优化算法的改进建议 :用不完全枚举法的优势和随机过程动态规划策略改进BDD优化算法 .
二叉判定图最优化算法研究综述
【摘 要】
：
对近年来二叉判定图 (BDD)最优化算法的成果和发展趋势进行了综述和讨论 ,重点介绍精确排序算法和动态启发式排序算法 .给出了BDD优化算法的改进建议 :用不完全枚举法的优势
【机 构】
：
中国科学院沈阳自动化研究所,中国科学院沈阳自动化研究所
【出 处】
：
信息与控制
【发表日期】
：
2004年05期
其他文献
<正> 五年制第八册10课《我爱故乡的杨梅》,文笔清新,感情充沛。作者通过描写故乡杨梅树的美丽和杨梅果的可爱,表达了对家乡的热爱。这篇独立阅读课文在写作艺术上有三个方面
近几年来,“概念规划”“战略规划”等规划类型在我国各城市中不断出现,由此引发了规划界对城市总体规划改革的探讨。应从加强城市规划和管理的法制化、树立法律意识的角度,
绩效管理的思想和方法对中小企业实现可持续发展起着显著的支持作用,正在被世界范围内众多的公司所采用,也成为中小企业人力资源管理工作中充分利用资源、培育核心竟争力、获
分析了含微网新型配电系统的网络结构特征及其优化、微网能量优化与控制协调优化等的若干关键问题,以及分布式能源或微网引入配电系统后的影响,涉及孤岛划分、复杂系统拓扑与
通过对现有七情概念与致病特点论述的剖析 ,认为七情是人的情感、情绪反应与认知活动 ,其致病特点可以从发病途径及部位、病机变化、临床表现和七情之间关系四个方面予以概括
财务杠杆是资本结构中长期负债的运用对股东收益的影响。对企业促进收益增长意义重大,文章从介绍财务杠杆原理入手,客观分析企业财务管理过程中影响财务杠杆正确运用的多种因
针对2起运行中的强油风冷电力变压器油流继电器抖动引起挡板断裂事故,通过原因分析及定量计算,提出了加长油泵出口到油流继电器的距离或改变舵板面积2种不同处理方法,该方法
通过对循证中医临床指南制订方法学的研究,认为Delphi法是循证中医临床实践指南制订的重要方法。对Delphi法在循证中医临床实践指南制订中的地位和作用、具体应用等进行探讨,
政府经济管理行为优化作为经济法的基本原则，其内涵在于经济法要赋予政府依法干预、管理社会经济运行的职权，强化其权威，同时依法限定政府经济管理行为必须以市场机制为基础，在法
我国的证券市场在从新兴市场向成熟市场的转变过程中,将会面对一个复杂的、变化多端的风险环境,证券公司面临的财务风险主要有:市场统一带来的财务风险、市场开放给证券公司