J4

• 计算机科学 • 上一篇    下一篇

空间线面拓扑关系的推理

欧阳继红1,2, 马宝超1,2, 刘大有1,2, 富 倩1,2, 李 昂3   

  1. 1. 吉林大学 计算机科学与技术学院, 长春 130012; 2. 吉林大学 符号计算与知识工程教育部重点实验室, \=长春 130012; 3. 同济大学 电子信息与工程学院计算机科学与技术系, 上海 201804
  • 收稿日期:2007-01-08 修回日期:1900-01-01 出版日期:2007-07-26 发布日期:2007-07-26
  • 通讯作者: 刘大有

Reasoning of Topological Relations between Spatial Line and Region

OUYANG Jihong1,2, MA Baochao1,2, LIU Dayou1,2, FU Qian1,2, LI Ang3   

  1. 1. College of Computer Science and Technology, Jilin University, Changchun 130012, China; 2. Key Laboratory of SymbolicComputation and Knowledge Engineering of Ministry of Education, Jilin University,Changchun 130012,China; 3. Department ofComputer Science and Technology College of Electronics & Information Engineering, Tongji University, Shanghai 201804,China
  • Received:2007-01-08 Revised:1900-01-01 Online:2007-07-26 Published:2007-07-26
  • Contact: LIU Dayou

摘要: 基于Egenhofer的19种线面拓扑关系, 提出OR算法并证明了OR算法的正确性, 使用OR算法可求解复合线段与同一区域的拓扑关系矩阵. 利用OR算法在19种拓扑关系中找到5种具有相互独立关系的集合SM, 证明了集合SM是表达19种线面拓扑关系的元数最小集, 集合SM有助于推导复杂的线面拓扑关系, 使线面拓扑关系的表达更加简洁. 为进一步研究线面拓扑关系的推理, 给出了从SM推导出其他拓扑关系的推导图.

关键词: 拓扑关系, 线段, 区域, OR算法

Abstract: Based on Egenhofer’s nineteen relations between line and region, algorithm OR was presented and verified. Via algorithm OR, the topological relation matrix between a composite line and a region can be derived. Five mutually exclusive relations, denoted by SM, were distinguished from the original nineteen relations by means of algorithm OR. It was proved that SM was the minimal set of basic relations to express the nineteen relations. SM is useful for reasoning complex relations between line and region, and makes it more concise to represent the topological relations between line and region. In order to further study the reasoning of the topological relations between line and region, the derivation graph for deriving other relations from SM was given.

Key words: topological relation, line, region, OR algorithm

中图分类号: 

  • TP18