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

来源 :测绘工程 | 被引量 : 0次 | 上传用户:zhuguangxinli
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
总结形式化理论与地理信息系统的应用情况,阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用。文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用,即通过形式化方法精确一致的规格化描述定义,促进对地理信息领域问题的更好理解,促进信息融合,提高地理信息系统开发质量。
其他文献
公民人格权日愈受到人们重视。名誉权是最重要的人格权之一。近几年来,有关公众人物的名誉权纠纷案件不断涌现,引起了社会的普遍关注,但立法、司法等却缺乏相应规制,甚或存在
介绍了博弈论思想的内容、出处、概念要素等,结合招投标博弈特征对招投标进行了博弈分析,在此基础上,结合暗标投标规划,利用博弈思想对密封投标进行了分析,以促进招投标博弈
在红外热像仪的参数测量过程中,由于辐射温差在传输过程中受到测量系统各单元的光学反射率以及大气传输等的影响,热像仪实际接收到的辐射温差并非目标的原始温差。通过对辐射
我国通信市场发展迅猛,经过改革重组,电信领域已打破垄断,XX联通正面临着严峻的考验,主要集中在XX移动和XX电信小灵通两个方面。XX移动凭借其网络和品牌在XX通信市场上占有优
随着中国加入WTO,银行面临的压力也越来越大,以客户为本逐渐成为其主要的经营理念,于是客户关系管理(Customer Relationship Management,简称CRM)被引入银行业务处理流程中。
随着各类传感器在众多应用领域中的广泛应用,基于多传感器的信息融合技术获得了普遍关注,多传感器信息融合系统也迅速成为国内外研究的热点问题。在充分体现信息融合并行计算
西安事变是20世纪中国历史的一个重要转折点。从事变前国民政府的对日立场、中共对国民政府内外政策的反应、张学良与蒋介石的关系及事变的发起与解决过程看,导致西安事变发
根据理论分析方法和实测数据,本文详细分析了导弹发射车及其地物背景24h内的红外辐射温度的变化情况,给出了发射车的红外热图的反差性质,论述了导弹发射车在热动态条件下的主
《撰集百缘经》翻译于三国时期,保留了魏晋时期汉语复音化的痕迹。它的词汇系统继承先秦两汉而来,又涌现出一大批新词新义。我们对《撰集百缘经》的词汇进行穷尽性的统计,试
薛福成,字叔耘,江苏无锡人,1838年(道光十八年)生。1865年(同治四年),薛福成上书曾国藩获得赏识,被延入幕府,成为"曾门四弟子"之一。1875年(光绪元年),薛福成上《应诏陈言疏》,提出"治