空间线面拓扑关系的推理

• 作者: 刘大有 富倩 李昂 欧阳继红 马宝超
• 来源期刊: 吉林大学学报(理学版)
• 学科: 工学
• 关键词: 拓扑关系 线段 区域 OR算法
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 计算机科学
• 页码范围: 567-571
• 页数: 5页
• 分类号: TP18
• 字数: 2332字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2007.04.013

摘要

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