形式化描述方法在地理信息系统中应用综述

编号 zgly0000836891

文献类型 期刊论文

文献题名 形式化描述方法在地理信息系统中应用综述

作者 邵小东  郭继发 

作者单位 云南省烟草公司红河州公司  天津师范大学城市与环境科学学院 

母体文献 测绘工程 

年卷期 2014(12)

页码 17-20

年份 2014 

关键词 形式化方法  形式化模型  地理信息系统  应用综述 

文摘内容 总结形式化理论与地理信息系统的应用情况,阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用。文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用,即通过形式化方法精确一致的规格化描述定义,促进对地理信息领域问题的更好理解,促进信息融合,提高地理信息系统开发质量。