空间动态模型建模方法解析.pdfVIP

北京大学学报(自然科学版)，第40卷，第2期，2004年3月 ActaS(1enIlanImNaturallum Unwe硌l㈨sPekl—sIs，Vol4(，，No2(Mar，2004) 空问动态模型建模方法 马修军2’ 邬 伦” 谢昆青2’ 』匕京大学信息科学中心，北京，10087l；’jE京大学遥感与GIs研究所．北京，l∞871) 摘要GIs支持窀间动态模型的关键是空间动态过程的计算和表达。对空间动态模型进行了形 式化分析．给出了空间一时间离散状态表达、空间交互过程和时间反馈控制方法的理论描述。基于 空间动态模型理论方法，对GIs地图代数进行了扩展，增加了表达空间动态系统的过程和关系(流) 的数据模型和操作元语，并使用软件组件技术实现了支持空间动态模型的GIs组件一嘶nam-cGc。 泼组件基于微软组件对象模型(coM／DcOM)实现，可支持vB、Dephj、v讪alc++等通用开发环境， 也支持vBA、vBscRI町、JAvAscRI盯等脚本语言环境，为空间动态模型的建模语言提供r丰富的 选择余地。作为该组件创建动态过程模型的应用实例．使用VBA创建了经典的“生命游戏”的元胞 rl动机模型。 关键词 空间动态模型；cIs；组件对象模型；建模语言 中图分类号P208；P9l O引 言 随遥感、遥测和地面观测技术的快速发展，为理解地球表面过程机理，各种系统的、长期的 对地监测和观测项目积累了海量的地理时空数据。基于这些数据，使用GIs创建模拟地球表 面过程的数学模型，是充分使用这些数据的核心需求和挑战。20世纪90年代以来，GIs与空 间模型结合定量描述自然资源、环境和生态问题的研究实例越来越多““]。简单的空间模型 可以用目前cIs系统的宏语言或建模语言来实现，但较复杂的空间模型却很难实现，尤其是那 螳水文学、地貌学和生态学中涉及动态过程的空问模型。 hn． GIs支持空间模型是在地图代数(M印Algebra)和制图模型语言(canogmphicModelling guage)思想的基础上发展起来的”’…。然而，地图代数适于表达GIs空间分析，却不适合表达 空间模型：首先地图代数的操作元语是英语短语而不是严格意义上的数学描述，导致模型之间 的比较和组合存在着语义上的歧义；其次不同位置之间的空间关系和空问交互是空间模型的 核心，而地图代数的操作元语对其表达很弱；最后地图代数是为静态制图过程分析设计的，不 支持空问动态过程表达。 20世纪90年代后期以来，一些研究试图用现代高等代数的形式化定义方法，给出地图代 数严格的数学描述，以支持空间模型”7“。在形式化的方法中，吸收了图像代数”J、数学形态 学、元胞自动机等相邻学科的一些重要思想，增加了表示空间关系运算的数据类型和操作元 )国家自然科学摹金资助项目 收稿日期：2003．03．10；鞋回日期：2003．04．22 279 万方数据 北京大学学报(自然科学版 第40卷 语，使地图{弋数成为空间数据分析和空间模型共同的数学基础。但上述这些研究，都是针对某 个问题进行的研究，尚未形成完整的Gls支持空间模型的理论框架和形式化定义方法。 本文通过对空间动态模型的形式化分析，提出了一个GIs创建空间动态模型的建模方法， 包括时间空间的离散化、空间过程和关系的形式化、时间反馈控制、以及建模语言等。基于该 理论方法．本文对GIs地图代数操作元语进行了扩展，使其支持空间交互动态过程的表达，并 以软件组件的形式实现，支持使用通用脚本语言实现空间动态模型。 1空间动态模型建模方法 1．1空间动态模型的形式化 模型是对所研究对象的抽象和简化。所谓空间动态模型是现实世界中地球表面特定位置 上的属性或状态随其驱动力的时间变化而变化的数学表达’2…“。空间现象从一个分布状态 到另一个分布状态的变化，可用公式表示如下： S(￡