袁旻昱 李昕 蔡自兴 虞强源 涂春鸣 谢琦 王生生 胡鹤 姜新雷 吕策 刘娟 刘大有

度量空间 时态逻辑 认知地图 复合表 移动机器人 导航 空间推理 空间划分 场景检测 连接机制模型 时空本体 时态推理 GIS 通用时空模型 距离 时空代数 时空描述逻辑 时空数据库