一种基于矩阵MBR方向关系模型.docVIP

一种基于矩阵MBR方向关系模型 　　摘要：在空间主方向关系推理的研究中，方向关系模型是其中一项至关重要的课题。介绍了区间代数模型、矩形代数模型和极小边界盒模型，提出了区间代数的矩阵表示方法，并给出了以矩阵表示的区间代数和方向关系矩阵之间的转换方法。 　　关键词：方向关系模型；方向关系矩阵 　　中图分类号：TP311.13 文献标识码：A 文章编号：1007-9599 （2012） 17-0000-02 　　1 引言 　　在空间主方向关系推理的研究中方向关系模型起着至关重要的作用。Allen在1983年提出了区间代数理论，他提出区间代数中共有13种原子区间关系，并给出了这13种原子区间关系的基本运算法则。Balbiani提出了矩形代数理论。根据MBR模型，Theodorids建立了基于MBR的主方向关系模型。[1] 　　本文将方向关系矩阵模型与MBR模型、区间代数和矩形代数模型相结合，利用这三种模型之间的关系，提出了区间代数的矩阵表示形式，并给出了以矩阵表示的区间代数和MBR模型之间的转换方法。 　　2 区间代数和矩形代数和MBR的主方向关系模型 　　2.1 区间代数理论 　　区间代数理论指出，任意两个有限区间之间，存在13种关系，称为区间代数的原子关系。如果原子关系的集合用Aint来表示，那么Aint={p，m，o，s，d，f，pi，mi，oi，si，di，fi，eq}。区间的基本关系是区间原子关系的^。 　　2.2 矩形代数理论 　　矩形代数理论是将区间代数的一维关系扩展到二维空间而形成的。矩形代数中矩形框的四边平行于空间中的x轴和y轴。每一个矩形框向坐标轴的投影都是一个有限区间，因此矩形代数关系可以分别向两个坐标轴投影，将矩形关系分解为坐标轴上的区间代数关系。两个矩形物体的原子关系集合用Arec表示，它们分解到两个坐标轴上的区间关系分别有13种，那么矩形代数的原子关系集合中的关系数量就有13*13种，即169种。矩形代数的基本关系就是矩形代数原子关系的合取，那么矩形代数基本关系就有2169种。若A和B分别表示矩形代数关系在x轴和y轴上映射的区间原子关系，那么这个矩形代数关系就可以表示为A和B的笛卡尔积，即A×B。 　　2.3 MBR主方向关系模型 　　Theodorids利用MBR建立了基于MBR的主方向关系模型，使用物体的极小边界盒之间的关系来表示物体之间的方向关系称为MBR方向关系。MBR的主方向关系模型中的两个矩形之间有 36种基本方向关系，表示为： NW，SW， NW：NE：N，N：NE，SW：SE：S，NW：W，NW：W：N：B， NW：W：N：NE：E：B，N：B，N：NE：E：B，NE：E，NW：SW：W，N：W：B，W，W：B，NW：NE：N：W：E：B：SW：SE：S， NE：SE：E， W：E：B，N：B：NE：S：E：SE，NW：W：SW：N：B：S， B：E， W：SW，W：E：B SE：S：SW：，B：S，NE，B：S：SE：E，N，E：SE，B，SW：S，S：SE，E，NW：N，W：S：B：SW， SE。[2] 　　矩形关系和基于MBR主方向关系的基本关系之间的关系存在以下定理。 　　定理1：设a和b是两个物体的MBR，若它们之间的方向关系是a B b，其对应的矩形代数关系为{eq，s，f，d }?{eq，s，f，d }，表示为：B??{eq，s，f，d }?{eq，s，f，d }。同样可以得到以下结论： SW ? {p，m}×{p，m}。NW ? {p，m}×{pi，mi}。NE ? {pi，mi}×{pi，mi}。SE ? {pi，mi}×{p，m}。S ? {eq，s，f，d }×{p，m}。 W ? {p，m}×{eq，s，f，d }。N ? {eq，s，f，d }×{pi，mi}。E ? {pi，mi}×{eq，s，f，d }。 　　根据定理1的结论，MBR主方向关系的每一个原子关系分别对应着一组矩形代数关系。由于区间原子关系存在端点重合的情况，如果将这些端点重合的情况合并，就可以得到六组区间代数的基本关系，分别是{p，m}、{o，fi}、{di}、{eq，s，f，d }、{oi， si}和{pi，mi}，利用区间代数的基本关系，我们可以得到基于MBR主方向关系的36种基本关系的矩形关系定义。 　　定理2：基于MBR的基本方向关系一一对应于区间基本关系的笛卡尔积所形成的矩形关系。 　　定理3：在基本区间关系中任取两组，将这两组基本区间关系的幂集（除去空集）做 ×操作，所得到的结果对应于一个基于MBR的基本方向关系，并且是一一对应的。 　　上述两个定理可以利用群举法得到。 　　3 矩阵模型和区间代数以及矩形模型的关系 　　根据MBR的定义，空间区域a在坐标轴上的投影同MBR在相应坐标