摘要: 基于Egenhofer的19种线面拓扑关系, 提出OR算法并证明了OR算法的正确性, 使用OR算法可求解复合线段与同一区域的拓扑关系矩阵. 利用OR算法在19种拓扑关系中找到5种具有相互独立关系的集合SM, 证明了集合SM是表达19种线面拓扑关系的元数最小集, 集合SM有助于推导复杂的线面拓扑关系, 使线面拓扑关系的表达更加简洁. 为进一步研究线面拓扑关系的推理, 给出了从SM推导出其他拓扑关系的推导图.
中图分类号:
欧阳继红,, 马宝超,, 刘大有,, 富 倩,, 李 昂. 空间线面拓扑关系的推理[J]. J4, 2007, 45(04): 567-571.
OUYANG Jihong,, MA Baochao,, LIU Dayou,, FU Qian,, LI Ang. Reasoning of Topological Relations between Spatial Line and Region[J]. J4, 2007, 45(04): 567-571.