刘志强 路娟 赵牡丹 陈军 薛涛 杜道生 徐钊 汤国安 李生刚

中间件 误差 定性推理 数字高程模型 事件通知服务 连续解 拓扑关系 拓扑距离 安全 域模型 直观性 数学实验 目标模型 数学心智过程 地理信息系统 函数方程 最近拓扑关系图 可视化 模糊集 模糊模型 空间结构

陕西师范大学计算机科学系 陕西师范大学计算机科学学院 陕西西安 武汉测绘科技大学国家重点实验室 西安交通大学计算机教学实验中心 西北大学城市与资源学系 国家基础地理信息中心 陕西师范大学数学与信息科学学院