试议智能车寻迹规划

论文导读：流年会论文集;、黄鸿;吕晓华;任雪梅-基于SPCE061A的智能车模语音制约系统;国产科学仪器应用、创新和产业化学术研讨会论文集（二）;、张国伍;钱大琳-中国智能交通发展战略构想;西部开发与系统工程——中国系统工程学会第12届年会论文集;、王立琦;杜茂-基于激光扫描仪的智能车前方障碍物检测;'、孙怀江-ALVINN及其扩展;
智能车的寻迹规划论文相关文献前5条饶东宁;蒋志华;姜云飞-规划领域定义语言的演进综述[J];计算机工程与应用;、陈蔼祥;姜云飞;柴啸龙-规划的形式表示技术研究[J];计算机科学;、边芮;姜云飞;吴向军;梁瑞仕-基于派生谓词的STRIPS领域知识提取策略[J];软件学报;、高翔;一种通用的智能行走机器人路径规划流程[J];计算机工程与设计;1990年02期、刘吉颖,方思行;AI规划的回顾与展望[J];中山大学学报论丛; 中国博士学位论文全文数据库前1条 吕帅;基于自动推理技术的智能规划策略研究[D];吉林大学;刊全文数据库前2条马万权;张学庆;崔庆丰;霍国清-多用户对地观测需求统筹处理模型研究[J];测绘通报;、蒋志华;饶东宁;姜云飞-通用规划综述[J];计算机应用研究; 前1条 马万权;张学庆;崔庆丰;霍国清-多用户对地观测需求统筹处理模型研究[A];第二届高分辨率对地观测学术年会论文集[C];刊全文数据库杨宇鹏;欧阳丹彤;蔡敦波;吕帅-基于Conformant Fast-Forward规划系统的析取目标处理策略[J];计算机研究与发展;、孙吉贵;李莹;朱兴军;吕帅-一种新的基于扩展规则的定理证明算法[J];计算机研究与发展;、赖永;欧阳丹彤;蔡敦波;吕帅-基于扩展规则的模型计数与智能规划策略[J];计算机研究与发展;、吕帅;刘磊;李莹;石莲-基于模态逻辑D公理系统的Conformant规划策略[J];计算机研究与发展;、饶东宁;蒋志华;姜云飞;吴康恒-从WSBPEL程序中学习Web服务的不确定动作模型[J];计算机研究与发展;、陈蔼祥;柴啸龙;胡桂武-HTN规划及其复杂度分析[J];计算机工程与应用;、凌应标,吴向军,姜云飞;基于子句权重学习的求解SAT理由的遗传算法[J];计算机学报;、陈蔼祥;姜云飞;张学农;刘国英-GP——基于规划图的遗传规划算法[J];计算机学报;、蒋志华;姜云飞-一种计算动作派生前提的激活集的改善策略[J];计算机学报;、饶东宁;蒋志华;姜云飞;刘强-从规划解中学习一阶派生谓词规则[J];计算机学报;【相似文献】 中国期刊全文数据库于少伟-智能车辆自动超车制约仿真研究[J];系统仿真学报;、孙辉;张参参;史久根-竞赛用智能车的设计[J];安徽工业大学学报(自然科学版);、李宗;项羽升;蒲荣军;张笑楠-电磁智能车的设计与调试[J];硅谷;、宋晓虹;陈白帆-多传感器信息融合在智能车中的应用研究[J];计算机仿真;、李进;徐朝胜;陈杰平;李忠芳-基于集散决策体系结构的智能车辆自主导航[J];制约工程;、陈启迅;薛静-单目视觉智能车路径识别及制约策略研究[J];交通信息与安全;、冀勇钢;张彦朋;郑汉明-摄像头识别的智能车硬件系统设计[J];现代电子技术;、张自友-基于交变磁场检测的路径识别智能车制约系统设计[J];乐山师范学院学报;、雷新国-智能车辆的关键技术及应用[J];交通企业管理;、卢远志-智能车测试环境中虚拟车道线的快速构建策略[J];中南大学学报(自然科学版); 前6条 张祖锋;徐友春;张鹏;朱增辉-缩微智能车的环境感知与制约决策算法研究[A];第八届中国智能交通年会优秀论文集——智能交通与安全[C];、汪铁民-智能车辆的若干理由[A];四川省第九届（）汽车学术交流年会论文集[C];、黄鸿;吕晓华;任雪梅-基于SPCE061A的智能车模语音制约系统[A];国产科学仪器应用、创新和产业化学术研讨会论文集（二）[C];、张国伍;钱大琳-中国智能交通发展战略构想[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];、王立琦;杜茂-基于激光扫描仪的智能车前方障碍物检测[A];'、孙怀江-ALVINN及其扩展[A];全面建设小康社会：中国科技工作者的历史责任——中国科协学术年会论文集（上）[C];
论文目录
摘要2-4
ABSTRACT4-6
目录6-7
第一章引言7-12

1.1课题研究目标及目前状况分析7-10

1.2课题研究作用10

1.3课题研究主要包含的内容10-12

第二章课题研究理论基础12-26

2.1描述逻辑12-14

2.2规划表示语言14-22

2.3规划技术的相关算法22-26

第三章SAT算法研究26-41

3.1可满足理由26-32

3.2CNF研究32-34

3.3SAT规划解34-41

第四章实验研究41-47

4.1智能车的硬件电路设计41-44

4.2SAT算法实验应用设计44-45

4.3智能车寻迹规划应用的局限性45-47

第五章结论47-49
致谢49-50
参考文献50-51
寻迹规划SAT算法CNFSTRIPSPDDL
参考文献
前1条 吕帅;基于自动推理技术的智能规划策略研究[D];吉林大学;刊全文数据库前2条马万权;张学庆;崔庆丰;霍国清-多用户对地观测需求统筹处理模型研究[J];测绘通报;、蒋志华;饶东宁;姜云飞-通用规划综述[J];计算机应用研究; 前1条 马万权;张学庆;崔庆丰;霍国清-多用户对地观测需求统筹处理模型研究[A];第二届高分辨率对地观测学术年会论文集[C];刊全文数据库杨宇鹏;欧阳丹彤;蔡敦波;吕帅-基于Conformant Fast-Forward规划系统的析取目标处理策略[J];计算机研究与发展;、孙吉贵;李莹;朱兴军;吕帅-一种新的基于扩展规则的定理证明算法[J];计算机研究与发展;、赖永;欧阳丹彤;蔡敦波;吕帅-基于扩展规则的模型计数与智能规划策略[J];计算机研究与发展;、吕帅;刘磊;李莹;石莲-基于模态逻辑D公理系统的Conformant规划策略[J];计算机研究与发展;、饶东宁;蒋志华;姜云飞;吴康恒-从WSBPEL程序中学习Web服务的不确定动作模型[J];计算机研究与发展;、陈蔼祥;柴啸龙;胡桂武-HTN规划及其复杂度分析[J];计算机工程与应用;论文导读：
、凌应标,吴向军,姜云飞;基于子句权重学习的求解SAT理由的遗传算法[J];计算机学报;、陈蔼祥;姜云飞;张学农;刘国英-GP——基于规划图的遗传规划算法[J];计算机学报;、蒋志华;姜云飞-一种计算动作派生前提的激活集的改善策略[J];计算机学报;、饶东宁;蒋志华;姜云飞;刘强-从规划解中学习一阶派生谓词规则[J];计算机学报;【相似文献】 中国期刊全文数据库于少伟-智能车辆自动超车制约仿真研究[J];系统仿真学报;、孙辉;张参参;史久根-竞赛用智能车的设计[J];安徽工业大学学报(自然科学版);、李宗;项羽升;蒲荣军;张笑楠-电磁智能车的设计与调试[J];硅谷;、宋晓虹;陈白帆-多传感器信息融合在智能车中的应用研究[J];计算机仿真;、李进;徐朝胜;陈杰平;李忠芳-基于集散决策体系结构的智能车辆自主导航[J];制约工程;、陈启迅;薛静-单目视觉智能车路径识别及制约策略研究[J];交通信息与安全;、冀勇钢;张彦朋;郑汉明-摄像头识别的智能车硬件系统设计[J];现代电子技术;、张自友-基于交变磁场检测的路径识别智能车制约系统设计[J];乐山师范学院学报;、雷新国-智能车辆的关键技术及应用[J];交通企业管理;、卢远志-智能车测试环境中虚拟车道线的快速构建策略[J];中南大学学报(自然科学版); 前6条 张祖锋;徐友春;张鹏;朱增辉-缩微智能车的环境感知与制约决策算法研究[A];第八届中国智能交通年会优秀论文集——智能交通与安全[C];、汪铁民-智能车辆的若干理由[A];四川省第九届（）汽车学术交流年会论文集[C];、黄鸿;吕晓华;任雪梅-基于SPCE061A的智能车模语音制约系统[A];国产科学仪器应用、创新和产业化学术研讨会论文集（二）[C];、张国伍;钱大琳-中国智能交通发展战略构想[A];西部开发与系统工程——中国系统工程学会第12届年会论文集[C];、王立琦;杜茂-基于激光扫描仪的智能车前方障碍物检测[A];'、孙怀江-ALVINN及其扩展[A];全面建设小康社会：中国科技工作者的历史责任——中国科协学术年会论文集（上）[C]; 中国重要报纸全文数据库前4条 记者刘莉;“中国智能车未来挑战赛”西安开战[N];科技日报;、陈海霞　颜士秀小莉;常州“智能车”全国夺冠[N];常州日报;、记者张兆军;两种智能车 无人可驾驶[N];科技日报;、记者孙春艳;“科”在京开幕[N];吉林日报; 中国博士学位论文全文数据库钱臻;基于组合定位技术的多智能车辆合作编队仿真技术研究[D];东北林业大学;、汪明磊;智能车辆自主导航中避障路径规划与跟踪制约研究[D];合肥工业大学;、刘华军;面向智能车辆的道路环境理解技术研究[D];南京理工大学;、李进;视觉导航智能车辆的路径识别和跟踪制约[D];合肥工业大学;、沈志熙;基于视觉导航的智能车辆在城区复杂场景中的目标检测技术研究[D];重庆大学;、王锋辉;面向区域智能运输的多智能车辆协作研究[D];上海交通大学;、焦俊;基于多Agent系统的智能车辆自主行驶制约研究[D];合肥工业大学;、郭景华;视觉导航式智能车辆横向与纵向制约研究[D];大连理工大学;、李贻斌;ITS智能车辆关键技术研究[D];天津大学;、张国权;基于视觉导航的智能车辆目标检测关键技术研究[D];兰州理工大学; 中国硕士学位论文全文数据库李寒峰;基于GPS的智能车评估系统[D];上海交通大学;、万年丰;智能车多车协作算法研究[D];上海交通大学;、王晨;无人驾驶智能车制约与规划系统的设计与实现[D];上海交通大学;、于娟;提高智能车速度的研究[D];电子科技大学;、梁昆;智能车校园自主导航策略研究[D];上海交通大学;、杨栩;基于视觉的智能车制约系统及其算法的应用研究[D];西华大学;、皮燕妮;智能车视觉/雷达辅助导航关键技术研究[D];西北工业大学;、牛淑艳;视觉导航智能车路径识别及制约算法研究[D];哈尔滨理工大学;、王虎;面向路径识别的智能车系统设计与研究[D];安徽工程大学;、李姗姗;基于单片机的两轮智能车设计[D];南京理工大学;