|
|||||
|
|
| 形式化描述方法在地理信息系统中应用综述 | |
| 引用本文： | 邵小东,郭继发. 形式化描述方法在地理信息系统中应用综述[J]. 测绘工程, 2014, 23(12): 17-20 |
| 作者姓名： | 邵小东 郭继发 |
| 作者单位： | 1. 云南省烟草公司红河州公司,云南弥勒,652399 2. 天津师范大学城市与环境科学学院,天津,300387 |
| 基金项目： | 国家自然科学基金资助项目 |
| 摘 要： | 总结形式化理论与地理信息系统的应用情况,阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用。文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用,即通过形式化方法精确一致的规格化描述定义,促进对地理信息领域问题的更好理解,促进信息融合,提高地理信息系统开发质量。 |
| 关 键 词： | 形式化方法 形式化模型 地理信息系统 应用综述 |
Application of formal descriptionto geographic Information System |
|
| SHAO Xiao-dong,GUO Ji-fa. Application of formal descriptionto geographic Information System[J]. Engineering of Surveying and Mapping, 2014, 23(12): 17-20 | |
| Authors: | SHAO Xiao-dong GUO Ji-fa |
| Affiliation: | SHAO Xiao-dong;GUO Ji-fa;Honghe Tobacco Company of Yunnan Province;College of Urban and Environmental Science,Tianjin Normal University; |
| Abstract: | |
| Keywords: | formal methods formal model Geographic Information System application development |
| 本文献已被 CNKI 维普 等数据库收录！ | |