定性空间方向关系建模中若干问题研究

来源 :吉林大学 | 被引量 : 3次 | 上传用户:voodoochildzm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
空间关系能够描述客观世界的空间信息,是解决许多理论与实际问题的关键。空间关系建模是人工智能的重要研究内容,在地理信息系统、机器人导航、图像理解领域有着广泛的应用。方向关系是最基本的空间关系之一,能够描述空间对象间的相对位置信息。目前空间方向关系建模已取得很大进展,但仍存在一些问题:现有研究多集中于模型的表示方面,推理方面研究较少;对空间方向关系运算性质的研究不够深入,其中基本主方向关系的逆运算性质仍是一个有待解决的开放问题;此外现有模型多针对简单空间对象,难以处理复杂空间对象(不连通、带洞、具有不确定边界)间的方向关系,不确定区域间方向关系的表示模型、基本运算性质、推理方法以及推理复杂性等方面的研究尚处于起步阶段。本文采用定性研究方法,针对确定区域间基本主方向关系的逆运算、不确定区域间方向关系的表示与推理等问题展开研究。对现有定性空间关系模型进行分析和总结,在此基础上利用SK模型和MBR模型提出一种确定基本主方向关系的逆关系的方法;用宽边界模型表示带有不确定边界的复杂区域,利用区间代数和矩形代数分析不确定区域间方向关系的复合运算,进而提一种MBR宽边界方向关系复合推理方法;分析不确定区域间方向关系自身所蕴含的约束信息,提出一种不确定区域间方向关系约束的相容性判定算法。本文的主要贡献、研究思路和研究结果如下:(1)定性空间方向关系建模论述空间关系建模的研究背景和意义,介绍几种主要空间关系的基本概念和研究现状;然后以定性空间方向关系研究为主线,分别从简单对象间方向关系和不确定对象间方向关系两方面,着重对现有空间方向关系建模研究的现状进行分析与总结,最后讨论了目前空间方向关系建模研究所存在的问题。(2)定性空间方向关系演算介绍了定性空间方向关系推理中三种重要的关系代数:区间代数、矩形代数、主方向关系代数。论述了三种关系代数的研究意义和现状;分别给出三种关系代数的基本定义以及基本关系运算(着重介绍了其中的交、并、逆、复合运算)。(3)基本主方向关系的逆关系研究研究了基本主方向关系的逆关系这一开放问题。首先基于模型SK和MBR提出一种四元组表示模型,将任意一个基本主方向关系R转换成其对应的四元组,称该四元组为R的位置,记为loc(R);然后分析了R与loc(R), loc(R)与loc-1(R)以及loc-1(R)与inv(R)间的对应关系;在此基础上提出一种确定基本主方向关系的逆关系的方法。该方法能够确定包括单片、多片和矩形关系在内的所有基本主方向关系的逆关系。(4)基于MBR的不确定区域间方向关系建模研究讨论了导致空间关系不确定性的各种原因;介绍了不确定空间方向关系建模研究现状,并指出了存在问题。提出了一种基于MBR的不确定区域间方向关系建模方法,该方法采用宽边界统一表示区域的不确定边界,将矩形代数的良好计算性质应用于不确定区域间MBR主方向关系的表示与推理中,定义MBR宽边界方向关系用以表示不确定区域间的方向关系;给出MBR宽边界方向关系间相容性复合的定义;基于矩形代数提出一种复合运算方法,并形式化证明其正确性。(5)不确定区域间方向关系推理方法研究提出了一种不确定区域间方向关系的推理方法。对提出的MBR宽边界方向关系模型进行扩展,定义了宽边界方向关系用以描述不确定区域间的方向关系,更符合人们对方向关系的认知;基于基本主方向关系的形式化定义,分析并证明宽边界方向关系自身蕴涵的约束规则;定义宽边界方向关系的复合,给出一种基于复合运算的不确定区域间方向关系推理方法,并证明了该方法的正确性。(6)不确定区域间方向关系相容性检测方法介绍空间约束满足问题的基本概念和研究现状;定义宽边界方向关系约束,讨论了宽边界方向关系约束集合的相容性问题;分析了宽边界约束和确定区域间方向关系约束之间的转换规则,从而将基于宽边界方向关系的约束满足问题转换为基于确定区域间方向关系的约束满足问题;基于路径相容算法,提出一种基于宽边界方向关系约束的相容性算法BBD-CON,并分析了算法的复杂度。
其他文献
素环上的导子和三角代数上的映射问题是有着深刻理论意义和丰富研究内容的研究课题.本文主要研究素环上的导子和广义导子以及三角代数上Jordan映射的加性和协交换映射.(1)证明了特征不为2的素环R若具有在某个非零理想上满足恒等式[d(χκ),χκ]∈Z的非零导子d,则R满足4个变量的标准恒等式s4.推广了Carini和Filippis的结果.(2)研究了在素环R的某个非中心Lie理想上满足恒等式χs[
美国怀俄明州始新世硅化木丰富且保存完好。本研究从两个产地(Big Sandy Reservoir的Bridger组和Parnell Draw的绿河组)分析了它们的植物多样性和系统分类关系。第一产地(Big SandyReservoir)多样性较低,包括一单子叶植物Palmoxylon macginitiei Tidwell, Simper et Medlyn (棕榈科);4科4属约4种双子叶植物E
长江刀鱼,学名刀鲚(Coilia ectenes),隶属于鲱形目、鯷科、鲚属,体形狭长侧薄,似剪刀,故名"刀鱼",为"长江三鲜"之首,以鲜、嫩、美而闻名,是长江珍稀名贵的生殖洄游性鱼类。因水域生态环境的恶化、过度捕捞和涉水工程建设等因素影响,
期刊
本文主要研究非线性波动方程的解的构造及相关控制问题.全文共分三章,第一章对最优控制和非线性发展方程行波解的精确求解相关方法做一些简单综述,第二章和第三章是论文的主要部分.第二章研究了一般的非线性波动方程的行波解的显式解的存在性,通过两种方法我们分别得到了同样的行波解,验证了两种方法的一致性.第三章研究了依赖于空间变量的一维变系数非线性波动方程的最优控制问题,所考虑的控制是通过状态的外部函数实现的.
Loop作为蛋白质二级结构的重要组成元件,其柔性和运动性对于蛋白质功能,尤其是酶催化作用具有重要作用,如定位重要的催化残基、参与底物结合以及调控底物的进入和产物的释放。三级结构分析揭示α/β水解酶超家族成员(脂肪酶第五家族、环氧化物水解酶、卤代烷脱卤酶和过水解酶等家族)存在一段loop区(NC-loop)负责连接α/β水解酶催化结构域的N-末端和盖子结构域(Cap),并且NC-loop在序列、长度
腔体电磁散射与反散射问题的分析在近些年的理论与应用研究中都是很重要的.正散射问题是在已知入射场和腔体的形状信息,预测远离腔体的场的分布;反散射问题则是已知一些人工的测量数据,通过对这些数据的分析与计算,推测出腔体的形状.本文考虑嵌入在一个良导体的无限接地平面的具任意形状且填充的腔体的时谐平面波散射问题.文章给出一种在TE极化和TM极化情形下求解电磁散射问题的有限元和边界积分方程的对称耦合方法.本文
随着科技的发展,出现了能够进行高速运算的计算机,各种数值计算方法因此而体现出优越性:糅合了数值计算方法的各式各样的计算软件频频出现,使得原有的复杂计算变得简单化。计算流体力学将流体力学与数值计算方法相结合,成为研究流体力学的第三种有效方法,与传统的理论流体力学和实验流体力学相互补充,在科学研究和工程领域内不断得到应用并发展。格子Boltzmann方法是近二十余年发展起来的,具有广阔发展前景的一种数
本文考虑含吸收项或含源Newton渗流方程的Cauchy问题其中m>1,p>m,+2/N,α是常数.我们的目的在于研究解的渐近行为,特别是解的复杂渐近行为.全文共分五章,第一章是绪论部分,第二到第四章分别讨论不含吸收项与源,含吸收项以及含源三种不同的情形,第五章是结论部分.发展方程Cauchy问题解的复杂渐近行为的研究是近年来在国际上才出现的热点课题.2002年,Vazquez与Zuazua等人在
《中华人民共和国民法典》(以下简称《民法典》)在合同编的第十八章中具体规定了有关建设工程合同的有关法律规定,体例上沿袭了原来《中华人民共和国合同法》(以下简称原《合同法》)第十六章中有关建设工程合同的相关规定,但在内容上《民法典》新增了两个重要条文,分别为第七百九十三条和第八百零六条。其中第七百九十三条规定了建设工程施工合同无效之后的法律后果,第八百零六条规定了建设工程合同中法定解除权的行使条件和
采用基于密度泛函理论的第一性原理计算方法研究了Li/Mn无序、Cr掺杂及Co掺杂对单斜LiMnO2这一极具应用前景的锂离子电池正极材料的电子结构与性能的影响,以深入透彻理解相关实验现象,帮助找到能有效提高单斜LiMnO2结构稳定性与电化学循环性能的制备工艺。同时,本论文还对单斜LiMnO2的另外两个空穴掺杂相——单斜相Li0.33MnO2与单斜相Li0.5MnO2——的制备工艺、光学性质、尤其是磁