摘要
以往的定性空间或时空推理工作多数面向单一时空方面,这不符合实际应用需要.提出了集成拓扑、尺寸和时间3方面信息的定性表示和推理技术,并应用到时空GIS中.给出了面向GIS的拓扑、尺寸和时间的表示方法,并研究了它们之间的依赖性.提出了集成这3方面信息的约束满足问题求解算法TriRSAT.在时空GIS中,把定性时空表示用于约束关系库,把TriRSAT算法用于时空数据一致性检查和时空查询.应用结果显示,该理论和方法能有效地集成处理多方面时空信息,在时空数据库、机器人导航等领域有着广泛的应用前景.
Most previous qualitative spatial or spatio-temporal reasoning researches focused only on one single aspect and therefore were inadequate for realistic applications. A representation and reasoning technology for integrating topology, size and time information are proposed and applied to a spatio-temporal geographical information system. The representations of topology, size and time are defined and their interdependence is studied. Then an algorithm TriRSAT which can solve the CSP of these three aspects of information is put forward. The representations are used in the constraint base and the TriRSAT is applied to the consistence check of the spatial-temporal data and query. The methods and theories integrating spatio-temporal information effectively can be potentially applied to spatio-temporal database and robot navigation.
出处
《软件学报》
EI
CSCD
北大核心
2003年第11期1857-1862,共6页
Journal of Software
基金
国家自然科学基金
国家高技术研究发展计划(863)~~
关键词
定性空间推理
约束满足问题
时空GIS
Algorithms
Database systems
Geographic information systems
Robots
Spatial variables control
Time domain analysis
Topology
