三维体元拓扑数据模型的修正及其形式化描述

？针对三维体元拓扑数据模型(oo-solidmodel)的不足,对模型的构模元素进行了修正。对模型的修正和重新设计不仅有利于利用多源数据构模,提高构模自动化程度,便于地质模型的动态更新,更有利于与其他模型(如tin模型)的无缝集成。利用面向对象和集合相结合的方法,从拓扑学角度,对基本构模元素及模型表达的空间对象进行了严格定义和形式化描述。