-
题名规划图框架下用遗传算法求解时态规划问题
被引量：7
- 1
-
-
作者
伍丽华
陈蔼祥
姜云飞
-
机构
中山大学软件研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第6期981-990,共10页
-
基金
国家自然科学基金项目(60773201)~~
-
文摘
许多现实世界中的规划问题通常希望规划目标能在尽可能短的时间内实现,并且规划动作的执行需要考虑时间因素.在规划图框架下,提出了一种能进行时态约束推理的遗传规划算法.主要工作有以下3个方面:1)介绍基于完全动作图的时序约束推理技术;2)提出能进行时序约束推理的基于规划图的遗传规划技术;3)针对基于规划图的遗传规划技术存在局部搜索能力不足的缺点,提出了在原有遗传操作算子的基础上,引入局部修复算子的混合规划技术.实验表明,这种算法能有效地处理一类时态规划问题.
-
关键词
规划图
动作图
完全动作图
遗传算法
时态规划
-
Keywords
planning graph
action graph
full action graph
genetic algorithms
temporal planning
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于动态约束满足框架的强表达时态规划算法
被引量：3
- 2
-
-
作者
刘越畅
-
机构
嘉应学院计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2012年第6期226-230,共5页
-
基金
梅州市科学技术局
梅州市科技计划项目(梅市科(2011)3号)
+1 种基金
嘉应学院联合自然科学研究项目(2010KJA06)
嘉应学院科研启动经费项目资助
-
文摘
智能规划已经成为人工智能领域最热门的研究主题之一。近年来,智能规划在现实领域的应用越来越广泛,这对规划器的处理能力和效率提出了很大的挑战。以一类强表达时态规划——基于约束区间规划为研究对象,基于动态约束满足框架设计和实现了一个基于约束区间的规划算法LP-TPOP;对算法的可靠性和完备性进行了证明;最后以一个规划实例演示了算法的运行过程。
-
关键词
智能规划
强表达时态规划
动态约束满足问题
算法
-
Keywords
AI planning
Expressive temporal planning
Dynamic constraint satisfaction problem
Algorithm
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名航天器时态规划技术研究进展
被引量：5
- 3
-
-
作者
李朝玉
徐瑞
曾豪
朱圣英
梁子璇
-
机构
北京理工大学宇航学院
深空自主导航与控制工信部重点实验室
北京空间飞行器总体设计部
-
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2021年第5期539-551,共13页
-
基金
国家重点研发计划(2019YFA0706500)
国家自然科学基金(62006019,61976020,U2037602)
民用航天预研项目。
-
文摘
结合航天器自主运行的迫切需求,阐述了航天器任务规划问题给智能规划技术带来的挑战,并重点分析了具有时间属性的规划方法研究必要性。给出航天器时态规划定义,分别总结了状态空间时态规划建模方法和基于时间线的时态规划建模方法,并给出时态规划知识模型关键元素定义。根据规划方法发展现状,归纳总结前向链、模型转换、规划空间规划和分层任务网络四种方法在时态规划技术方面的特点和研究进展,着重描述各种方法对规划中时间要素的处理。在对目前的航天器时态规划技术发展趋势总结分析基础上,给出了未来航天器时态规划技术的发展建议。
-
关键词
航天器自主
任务规划
时态规划
时间约束
-
Keywords
Spacecraft autonomy
Mission planning
Temporal planning
Temporal constraints
-
分类号
V419
[航空宇航科学与技术—航空宇航推进理论与工程]
-
