陈娟 张长海 刘杰 贾海洋 虞强源 石纯一 高培焕 廖士中 胡鹤 孙海滨 刘大有 谢琦 王生生 李文辉 王新颖

约束满足问题 拓扑模型 近似空间关系代数 拓扑推理 地理信息系统（420·3040） 混合维空间关系 时空GIS 区域连接演算 方位 约束满足问题 近似区域 空间推理 尺寸 路径一致算法 结合空间关系 模糊逻辑 分层递阶 空间多维对象 复合表 计算复杂性 空间数据挖掘 定性推理 粗定位 拓扑 缓冲区 扩展矩形关系

约束满足问题