RCC5与主方位关系结合的定性空间推理

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户:q569293407
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述是近似的,不适于精确推理;因此分别采用主方位模型和RCC5描述方位、拓扑信息.根据定义给出基本RCC5和主方位关系间的相互依赖及异质复合表;讨论了其上约束满足问题,得到一个路径相容算法,并分析了推理复性问题.
其他文献
提出了一种基于消除竞争环的检测路由策略冲突集合的方法,用于在BGP路由发生振荡时,动态地检测导致路由振荡的路由策略冲突.该方法以一种静态描述域间路由语义的形式化方法--
书肆是图书(交易)贸易的市肆,是社会和文化发展到一定阶段的产物,是古代文献流通的重要渠道之一。书肆的产生对古代的藏书发展具有积极的推动作用,同时也是催生我国近代图书馆
共创共享时代和互联网技术应用给企业管理带来了新的机遇与挑战。以备受社会关注的盛隆"群体老板制"为研究对象,通过扎根理论探究其共创共享管理模式及构成要素,运用组织竞合
环境监测是微传感器网络最广泛的应用之一,它通过收集目标区域内单个传感器节点的感知数据来建立环境指标在该区域内的分布状态.由于传感器节点的能源有限以及补充困难,如何
在讨论数据库模式R〈W,F〉的无α环分解时,需要判定FD集F是否有内部冲突;在讨论无β,γ环的分解时也需要判定是否有内部冲突.为此,应当首先给出归并依赖集的二元组集合、闭包