交通网络中线-线拓扑关系形式化描述模型

针对现有模型的不足,首先以点集拓扑学基本理论为基础,定义了交通网络中线目标的端点、内部、边界等概念,在此基础上提出了一种描述交通网络线-线拓扑关系完善的形式化模型即LL9I模型。在对此模型进行分析的基础上,根据线目标的物理意义,提出了10条规则以排除此模型描述的线-线拓扑关系中没有意义的类型,并总结出了交通网络线-线拓扑关系的最小集,定义了6种基本的线-线拓扑关系,并且证明了此最小集的互斥性与完备性。