-
题名非确定规划及带有时间和资源的规划的研究
被引量：3
- 1
-
-
作者
张友红
谷文祥
刘日仙
-
机构
东北师范大学计算机科学系
-
出处
《计算机应用研究》
CSCD
北大核心
2005年第3期37-42,共6页
-
基金
国家自然科学基金资助项目(69973012)
-
文摘
智能规划是人工智能近年来的研究热点,早期的工作主要是围绕着具有较强约束的经典规划展开,最近的工作放宽了这些假设,使智能规划逐渐走向应用。在分析经典规划特点的基础上,介绍了非确定规划的研究进展和带有时间和资源的规划的研究,并对智能规划的进一步工作和存在的问题提出了一些看法。
-
关键词
智能规划
非确定规划
概率规划
人工智能
-
Keywords
Intelligent Planning
Uncertainty Planning
Probabilistic Planning
Artificial Intelligence
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种利用非确定规划的LTL合成方法
- 2
-
-
作者
陆旭
于斌
田聪
段振华
-
机构
西安电子科技大学计算机科学与技术学院
综合业务网理论及关键技术国家重点实验室(西安电子科技大学)
-
出处
《软件学报》
EI
CSCD
北大核心
2022年第8期2769-2781,共13页
-
基金
国家自然科学基金(61806158,61732013,62172322,62002290)
中国博士后科学基金(2019T120881,2018M643585)
+2 种基金
国家重点研发计划(2018AAA0103202)
陕西省重点科技创新团队(2019TD-001)
陕西省自然科学基础研究计划(2021JQ-208)。
-
文摘
LTL合成(linear temporal logic synthesis)是程序合成(program synthesis)的一类重要子问题,旨在自动构建一个控制器(controller),且要求该控制器和环境(environment)的行为交互满足给定的LTL公式.一般来说,可以将LTL合成定义为二人博弈(two-player game)问题,博弈的双方是环境和控制器,该问题的解称为合成策略.近年来,有研究从理论角度讨论了LTL合成与非确定规划(non-deterministicplanning)的相关性.基于此,提出了一种新的利用非确定规划求解LTL合成问题的方法,并证明了方法的正确性和完备性.具体而言,首先获得LTL公式对应的Büchi自动机,结合二人博弈定义,将LTL合成问题转换为完全可观测的非确定规划模型;然后交由高效规划器求解.通过实验结果说明:与其他LTL合成方法相比,提出的基于规划的合成方法在解质量方面具有较大的优势,能够获得规模较小的合成策略.
-
关键词
二人博弈
BÜCHI自动机
LTL合成
非确定规划
-
Keywords
two-player game
Büchi automata
LTL synthesis
non-deterministic planning
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于人工蜂群算法的无人机协同路径规划
被引量：12
- 3
-
-
作者
夏瑞
赵磊
吴书宇
李军
-
机构
四川大学电子信息学院
-
出处
《无线互联科技》
2018年第13期13-21,共9页
-
文摘
文章提出一种基于人工蜂群算法的非确定性双向规划机制搜索算法。首先针对不同场景,采用两种方法进行环境建模;其次,结合非确定性搜索机制引入双向规划方法,对人工蜂群算法中食物的产生方式做出改进,优化下一个节点的产生结果,再提出一种新的方法对已产生路径进行优化;最后研究了多无人机协同路径规划的两种模型:不同的起点起飞,同时到达同一终点,或按照指定顺序和时间间隔依次到达同一终点,并给出若干实验仿真。仿真结果显示,算法简单快速,能满足无人机执行不同任务的需要,易于工程实现。
-
关键词
人工蜂群算法
无人机协同路径规划
双向规划
非确定性规划
-
Keywords
artificial bee colony algorithm
Drone cooperative path planning
bidirectional searching
nondeterministic programming
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
V249
[自动化与计算机技术—控制科学与工程]
V279
[航空宇航科学与技术—飞行器设计]
-
