CORC  > 软件研究所  > 计算机科学国家重点实验室  > 学位论文
题名基于BDD的增量启发式方法及其应用
作者徐艳艳
学位类别硕士
答辩日期2009-06-04
授予单位中国科学院软件研究所计算机科学国家重点实验室
授予地点软件所5号楼337房
导师张文辉
关键词A*算法,BDD,基于BDD的搜索,启发式搜索,增量搜索
中文摘要增量启发式搜索是一种利用先前的搜索信息和启发信息提高本次搜索效率的方法,通常可用来解决动态环境下的重规划问题。在人工智能领域,一些实时系统常常需要根据外界环境的变化不断修正自身,这样就会产生一系列变化较小的相似问题,此时应用增量启发式搜索将会非常有效。 另一方面,基于BDD的强大的搜索技术利用BDD有效操作性以及化简后唯一性的优点,在一定程度上缓解了模型检测的状态爆炸问题,使得被检测状态的个数大大增加。 1、本文结合基于BDD的启发式搜索和基于BDD的增量搜索这两种方法给出了基于BDD的增量启发式搜索方法,基于BDD的增量启发式搜索综合了基于BDD的搜索、增量搜索以及启发式搜索这三种方法的优点。它既用BDD作为数据结构以提高搜索的空间效率,又结合了增量搜索的思想来提高重搜索的效率,同时,又引入了启发函数来进一步压缩搜索空间。 2、本文介绍了基于BDD的增量启发式搜索算法BDDRPA*并用大量的实验结果证明BDDRPA*的高效性。给定一个搜索问题,BDDRPA*算法先用基于BDD的启发式搜索方法搜出一条从初始节点到目标节点的最短路径;接着,问题的状态格局发生改变,BDDRPA*再用基于BDD的增量搜索方法根据旧格局的迁移关系BDD_T构造出新格局的迁移关系BDD_{T'},然后再用启发式方法搜索路径,如此反复下去。 3、本文介绍了基于BDD的动态增量启发式搜索算法BDDD*并用大量的实验结果证明BDDD*的高效性。BDDD*算法在机器人边走边扫描的过程中,不断根据机器人新获得的信息更新已知地图并重新规划路线。每次规划时,BDDD*都假设未知的领域没有任何障碍物,也就是每个位置都是可通的,它按照这个假设去计算从当前位置到目标位置的最短路径。如果在行走的过程中扫描到了障碍物,它就把这条信息添加到它的地图中,然后重复上面的过程,直到到达目标位置或者发现每条路径都被堵死为止。 BDDRPA*算法和BDDD*算法可以应用到机器人线路规划、智能交通及计算机网络的线路规划问题中。另外,在机器学习和控制领域,也可以考虑使用BDDRPA*算法和BDDD*算法。
语种中文
学科主题计算机软件
公开日期2009-06-13
内容类型学位论文
源URL[http://124.16.136.157//handle/311060/156]  
专题软件研究所_计算机科学国家重点实验室 _学位论文
推荐引用方式
GB/T 7714
徐艳艳. 基于BDD的增量启发式方法及其应用[D]. 软件所5号楼337房. 中国科学院软件研究所计算机科学国家重点实验室. 2009.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。


©版权所有 ©2017 CSpace - Powered by CSpace