论文部分内容阅读
本文用单纯复形的半序关系和格的数学理论，对矿井导线网的空间关系和操作给予了形式的描述。导线网的细部用半序关系来表示，一般能回答导线网的包含、相邻、相接等空间关系问题，用格的理论能方便地实现导线网的交、并和查询等空间操作。对于非格的半序关系，通过增加新的元素构成格，用序的理论对导线网的结构进行形式描述，为导线网数据和拓扑结构的计算机存储和操作提供理论基础。