尼科·范德威赫;安东尼·科恩(Anthony G.Cohn)。;盖·德特雷;菲利普·德梅耶 作为表示地理信息系统中移动对象的基础的定性轨迹演算。 (英语) Zbl 1189.68170号 控制网络。 35,第1期,97-119(2006). 摘要:定性形式主义适合表达实体之间的定性时间或空间关系,作为从现实世界中抽象出来的一种有用方式,已得到广泛接受。问题仍然是如何在定性演算中充分描述时空概念,例如断开连接的移动对象之间的交互,更具体地说,如何在地理信息系统中使用这一概念。提出了用于描述和推理运动物体的基本定性轨迹演算(QTC)。QTC(_{\text B}\)能够在不同时间点的对象位置之间进行比较。微积分是基于几个基元(即距离和速度约束),使其优雅且理论简单。为了阐明轨迹在QTC({text B})中的表示方式,给出了运动的具体情况(例如圆周运动)。为了说明QTC的自然性,我们研究了一个“捕食者-食饵”的例子。 引用于1文件 理学硕士: 68单位35 信息系统的计算方法(超文本导航、接口、决策支持等) 关键词:地理信息系统;移动的对象;定性推理;定性表征;时空建模 PDF格式BibTeX公司 XML格式引用 \textit{N.Van de Weghe}等人,《控制网络》。35,第1号,97--119(2006;Zbl 1189.68170) 全文: 欧洲DML