-
题名多种空间关系和时间结合的定性时空推理
- 1
-
-
作者
李波
梁晶晶
周正康
谢玉枚
-
机构
西安交通大学电子与信息工程学院
西安通信学院
-
出处
《计算机科学》
CSCD
北大核心
2012年第8期215-219,共5页
-
基金
时空推理中的空间变化演算研究及应用(2010JM8036)
江河流域水污染预警预报软件系统研发(CXY1010(1))资助
-
文摘
空间实体之间存在多种时空关系,主要包含拓扑、方向、距离、尺寸和时间等。以往的研究工作主要集中于3种以下时空关系结合的表示和推理,而3种以上结合的研究很少。但多种时空关系之间是相互统一和相互约束的,所以,将它们全部综合起来研究是时空推理研究发展的必然趋势,也是实际应用的迫切需要。提出了采用矩形关系统一表示多种空间关系,以矩形关系变化次数表示时间的时空统一表示模型,并在此基础上,利用概念邻域图推导空间关系变化和时间变化。据此,结合矩形关系网络和路径一致性算法,提出了检验上述统一模型网络一致性的算法,并分析了算法复杂度。该研究成果提高了空间关系分析方法的准确性,减小了时间信息的冗余,对地理信息系统中空间实体间的空间关系以及时间变化的分析和查询等有一定的理论意义与应用价值。
-
关键词
时空关系
矩形关系
概念邻域图
一致性
-
Keywords
Spatio-temporal relation
Rectangle relation
Concept neighborhood Graph
Consistency
-
分类号
TP182
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种动态定性空间关系自动规划方法
被引量：3
- 2
-
-
作者
宋小华
欧阳丹彤
-
机构
吉林大学计算机科学与技术学院
符号计算与知识工程教育部重点实验室(吉林大学)
空军航空大学数学应用中心
-
出处
《软件学报》
EI
CSCD
北大核心
2012年第10期2564-2571,共8页
-
基金
国家自然科学基金(60973089
60873148
+10 种基金
61170092
41001302
61103091)
吉林省科技发展计划基金(20101501
20100185
20090108
20080107
201101039)
国家教育部博士点专项基金(20100061110031)
浙江师范大学计算机软件与理论省级重中之重学科开放基金欧盟合作项目(155776-EM-1-2009-1-IT-ERAMUNDUS-ECW-L12)
吉林大学"985工程"研究生创新基金(20080242)
-
文摘
为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.
-
关键词
定性空间推理
自动规划
邻域划分图
概念邻域图
-
Keywords
qualitative spatial reasoning
automated planning
neighborhood partition graph
conceptual neighborhood graph
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
