A<'*>算法在BDD变量最优排序方法中的应用

来源 :兰州大学 | 被引量 : 0次 | 上传用户:zkx713583
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在Friedman等人提出的一种寻找最优变量序的算法的基础上将广泛应用于人工智能的A*搜索算法引入到最优变量排序方法中,提出了一种寻找变量最优排序的新方法。该算法利用人工智能中的A*算法,把寻求变量的最优排序问题转变成了在状态空间中寻找最优路径的问题,由于A*算法保证在每次扩展时选取状态空间最优的状态去生成其子状态,直到达到其目标状态,所以大部分的状态空间在搜索的过程中被删除了。同时在该算法引入了暂缓插入条件和提前结束条件,使得该算法的状态空间得到了更进一步的缩减。因此这种办法比起Friedman的最优变量排序算法在处理器的处理时间上和存储器的空间需求上都有很大的改善。
其他文献
随着生物信息学、化学情报学、Web分析等应用的广泛普及,图作为一种通用的数据结构,在复杂结构建模方面的重要性日益显现。与确定图相比,不确定图能够表达更加丰富的语义且能
随着软件复用成为现代软件工程的重要目标,人们希望使用更高效的软件设计和开发方法,降低开发费用,提高生产效率。软件构件技术的蓬勃兴起揭开了软件开发从作坊式生产向工业
  本文对如何提高基于J2ME的无线应用的安全性从运行在移动终端的MIDP(MobileInformationDeviceProfile)的安全性以及客户端J2ME与服务器端J2EE集成联合搭建移动应用时的
本文重点是研究中间件在Dot Net系统中的应用.在研究过程中我实现了一个印刷管理信息系统.印刷行业在生产及财务方面有着复杂的流程,模块多、表多、功能复杂是此类系统的特点
本文主要研究了未知环境下的多机器人追捕问题。文章首先综述了追捕问题的国内外研究情况,介绍了基于行为的机器人控制结构的一般概念。接着,对本文要研究的追捕问题进行了
本文主要研究了如何调度离线或在线情况下的任意一个请求集合,使得总调度时间最少。本文研究了对称全光树形网络上的MADM问题。本文还可以保证所需要的波长数达到贪心最优
本文围绕着基于激光测距器的移动机器人在室内环境中的障碍物检测及环境地图生成两个问题进行了深入研究.首先,本文系统地总结了移动机器人障碍检测和环境地图生成的基本理论
本文针对指纹鉴别技术的特点,对如何提高指纹鉴别速度进行了分析和研究。在指纹预处理和特征提取的过程中,本文对常用的开方、正弦、余弦函数进行分析,利用分段直线对其进行
本论文通过对大连大学图书馆网络系统现状的分析,以理论结合实际,本着先进性、实用性、充分利用现有资源的原则,确定了系统建设的具体目标并按步骤进行实施。在结构化综合布线改
随着半导体加工工艺的发展,在一块芯片上可以集成上十亿个晶体管.如今,各种各样的功能模块(例如CPU、内存、模拟模块等)都可以集成进一个芯片形成所谓的片上系统(SOC).这在以