检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]燕山大学计算机系,河北秦皇岛066004 [2]哈尔滨理工大学计算机与控制学院
出 处:《小型微型计算机系统》2008年第8期1458-1466,共9页Journal of Chinese Computer Systems
基 金:黑龙江省自然科学基金项目(F00-06)资助
摘 要:线型物体主方向关系的推理研究是空间方向关系推理中的重要组成部分.在分析线型物体主方向关系模型的基础上,提出了线型物体主方向关系的投影区间矩形代数方法,从而实现了线型物体主方向关系的合理表示、基本推理运算以及线型物体主方向关系的凸关系判断.结合凸关系网络定理和路径一致性算法,提出了线型物体主方向关系网络一致性检验算法,给出了算法的正确性证明.The reasoning for cardinal direction relations of linetype objects is one important part of the spatial direction relation reasoning. Based on the analysis of the cardinal direction relation model for linetype objects, the rectangle algebra of projective intervals for linetype objects' cardinal direction relations is put forward in this paper. Accordingly, the representation, basic reasoning operations and the identification of convex relations out of linetype objects' cardinal direction relations are realized. The method and algorithm of consistency checking for linetype objects' cardinal direction relation networks are proposed by combining the convex relation network theorem and path consistency checking algorithm and the corresponding correctness proof is given as well.
关 键 词:空间数据库 线型物体 投影区间矩形代数 凸关系 一致性检验
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222