空间实体多表达的代数规范和原型系统  

Spatial Multiple Representation Based Algebraic Specification and Pro totype System

作　　者：陈海波[1] 王申康[1] 

机构地区：[1]浙江大学计算机科学与技术系,杭州310027

出　　处：《计算机工程与应用》2003年第18期193-194,共2页Computer Engineering and Applications

摘　　要：论文建立了以空间实体多表达为基础的空间抽象数据类型(SADT)以及SADT的代数规范体系。在SADT的基础上实现了空间多表达GIS的原型系统-MRGIS,并介绍了MRGIS的应用实例。This paper presents spatial abstract data type based on spatial entity multiple representation and its algebra-ic specification.A prototype system-MRGIS has be achieved and some application based MRGIS have be introduced in this paper.

关 键 词：空间实体 多表达 SADT GIS 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]