论文部分内容阅读
通过扩展4-交集矩阵得到8-交集模型,对一个宽边界区域和一个简单区域间拓扑关系进行表示,并给出了一个宽边界区域和一个简单区域间的11种拓扑关系图。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了一个宽边界区域和一个简单区域间至多有11种拓扑关系,验证了这11种拓扑关系均是可实现的。