-
题名不确定规划中非循环可达关系的求解方法
被引量:5
- 1
-
-
作者
胡雨隆
文中华
常青
吴正成
-
机构
湘潭大学信息工程学院
-
出处
《计算机仿真》
CSCD
北大核心
2012年第5期114-117,182,共5页
-
基金
国家自然科学基金(61070232
60773201
+3 种基金
60773047)
湖南省自然科学基金(09JJ6090)
湖南省重点学科建设项目(081202)
智能制造湖南省高等学校重点实验室(湘潭大学)开放课题(2009IM07)
-
文摘
对一个不确定状态转移系统求多个规划问题,那么获得不确定状态转移系统的状态可达关系可以方便求解规划问题,减少冗余计算,建立系统的引导信息。提出一个关于矩阵求不确定领域的状态可达性关系的方法,主要思想是以矩阵乘法来模拟状态转移系统中状态转移,对不确定动作带来的扩散和确定关系带来的聚合进行了统计和处理,从而获得状态可达信息。证明了方法的正确性和有效性。在不确定规划中确定了状态之间的可达性关系,可以在求规划解时删除对规划没有用的状态节点和状态动作序偶;选择能到达目标节点的状态节点和状态动作序偶;进行启发式正向搜索;减少大量冗余计算;提高求解效率。
-
关键词
不确定规划
不确定状态转移系统
状态可达性
矩阵
强规划
-
Keywords
Non-determinate plan
Nondeterministic state-transition system
State accessibility
Matrix
Strong planning
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名不确定规划中可达关系的快速求解算法
被引量:1
- 2
-
-
作者
龙凤
文中华
唐杰
王进宗
-
机构
湘潭大学信息工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第1期196-199,217,共5页
-
基金
国家自然科学基金资助项目(61070232
61272295)
-
文摘
在不确定规划领域中,通常需要在同一个不确定状态转移系统中解决多个规划问题,如果能得到不确定规划中状态之间的可达关系即可方便求解该规划问题,然而现有矩阵乘法求解可达关系时存在算法复杂度高的问题。为此,设计一种快速求解不确定规划中状态之间可达关系的算法,将确定动作和不确定动作区分处理,先求解所有确定动作的可达关系,再采用链表和队列求解不确定动作的可达关系。实验结果表明,与矩阵乘法相比,该算法能得到更全面的可达关系,且求解效率更高。
-
关键词
不确定规划
可达关系
智能规划
模型检测
不确定性
不确定状态转移系统
-
Keywords
uncertain planning
reachability relation
intelligent planning
model checking
uncertainty
uncertain state-transition system
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-