论文部分内容阅读
确定空间点与不确定空问区域问的拓扑谓词是研究这两者之间拓扑关系的抽象，对研究移动目标之间的定位具有重要意义。
本文详细分析了9-交模型与扩展9-交模型，给出了混合9-交模型研究确定点与不确定空间区域的拓扑关系，采用形式化方法证明表示混合9-交矩阵元素的等价条件与确定空间点-确定空间区域问的拓扑谓词联系，最终以确定点与确定空间区域间的拓扑谓词实现确定点与不确定空问区域问拓扑谓词的方法，以简化拓扑谓词实现难度。