3D-GIS中方向关系定性推理研究

方向关系描述GIS中对象之间的空间关系。3D-GIS中单方向关系间定性推理共有27×27=729结果,方向关系定性推理的规律性研究是研究单方向关系定性推理的提升。本文采用单纯形数据模型,用基于投影的27方向关系描述模型,详细研究3D-GIS中方向关系间定性推理的规律,最后得出一些重要结论。     

二维基本矩形主方向关系的原关系推理

为了实现二维基本矩形主方向关系的原关系自动推理,进一步提高对空间方向关系的智能推理与预测,给出了二维基本矩形主方向关系的原关系推理规则,并对其正确性进行了证明。进而,提出了一个二维矩形主方向关系的原关系推理算法,该算法借助队列对解空间进行搜索和剪枝,实现了方向关系矩阵模型下二维矩形主方向关系原关系的自动推理与计算。理论分析和实验验证的结果表明:该算法是正确的、完备的;该算法有效地解决了二维基本矩形主方向关系原关系的自动推理问题,避免了复杂、烦琐的手工推理,增强了模型的自动计算与推理能力,为实现二维基本主方向关系的复合、反关系推理及一致性检验等问题的自动推理与分析奠定了基础,完善和提高了空间数据库对空间方向关系的智能分析与处理能力。     

基于回跳搜索的方向关系推理算法

空间关系是GIS的重要理论问题之一,在GIS数据建模、空间查询、空间分析、空间推理、制图综合、地图理解等过程中起着重要作用.方向关系的是一类重要空间定性关系.文章首先讨论了方向关系定性表示,然后着重讨论回跳搜索算法和基于方向关系组合运算表的定性推理,最后给出一个基于回跳搜索的方向关系组合运算表的定性推理算法.     

方向关系定性推理模型的可视化研究

以往对方向关系的研究主要集中在方向关系的形式化描述方面 ,忽略了空间关系认知与空间关系可视化的联系 ,因而只反映了空间关系认知的一个方面 .在方向关系形式化描述的基础上 ,探讨了方向关系推理的可视化 ,从而将空间关系认知与空间信息可视化有机地联系起来     

拓扑关系渐变的定性推理

研究了拓扑关系的渐变问题,扩展了基于拓扑关系静态描述模型９元交换型基础之上的拓扑关系渐变描述模型－－拓扑关系图,使之能够适应面／点、线／点目标的描述,从而得到拓扑关系渐变的形式化描述模型,采用基于过程的推理和面向对象的方法,提出了基于过程的拓扑关系渐变定性一推理模型的面向对象建模方法。     

拓扑关系渐变的定性推理

研究了拓扑关系的渐变问题,扩展了基于拓扑关系静态描述模型９ 元交模型基础之上的拓扑关系渐变描述模型——拓扑关系图,使之能够适应面／点、线／点目标的描述,从而得到拓扑关系渐变的形式化描述模型．采用基于过程的推理和面向对象的方法,提出了基于过程的拓扑关系渐变定性推理模型的面向对象建模方法     

方向关系定性计算算法

计算空间关系的算法是空间数据库和智能地理信息系统的核心。现重点讨论空间关系中的方向关系的定性表示和计算。针对有效地计算在多边形集合区域间的方向关系,提出了线性时间内定性计算方向关系的算法,通过分析得到该算法是有效的。     

基于方向关系的不确定区域拓扑关系推理

用宽边界区域模型建模不确定区域,把不确定区域间的拓扑和分析关系表示为确定区域间拓扑和分析的组合表示,并根据宽边界区域方向关系矩阵与宽边界区域扩展九交矩阵的联系,提出了基于方向关系的推理拓扑关系方法。根据推理方法可直接推理拓扑关系,因而可以节省计算量和存储空间。     

方向关系与距离关系的定性描述与推理

由于空间问题固有复杂性和不确定性,空间关系的描述和推理普遍采用定性的方法,方向关系和距离关系是两类重要的空间关系,用以确定空间目标的方位,当前方向和距离关系分别使用各自独立的描述推理模型,限制了推理的准确度,而人们对空间目标方位的确定通常是同时考虑目标的方向和距离,在形式化定性描述方向关系和距离关系推理的基础上,将方向关系和距离关系的推理结合起来,形成方向关系和距离关系的集成组合运算,方向和距离关系相互限制,能够进一步准确推断目标的方位,最后,以实例说明方向关系和距离关系的集成组成运算将提高空间目标方位推断的准确度。     

方向关系定性推理模型的可视化研究

以往对方向关系的研究主要集中在方向关系的形式化描述方面，忽略了空间关系认知与空间关系可视化的联系，因而只反映了空间关系认知的一个方面．在方向关系形式化描述的基础上，探讨了方向关系推理的可视化，从而将空间关系认知与空间信息可视化有机地联系起来．     

方向关系与距离关系的定性描述与推理

由于空间问题固有的复杂性和不确定性 ,空间关系的描述和推理普遍采用定性的方法 .方向关系和距离关系是两类重要的空间关系 ,用以确定空间目标的方位 .当前方向和距离关系分别使用各自独立的描述推理模型 ,限制了推理的准确度 .而人们对空间目标方位的确定通常是同时考虑目标的方向和距离 .在形式化定性描述方向关系和距离关系推理的基础上 ,将方向关系和距离关系的推理结合起来 ,形成方向关系和距离关系的集成组合运算 ,方向和距离关系相互限制 ,能够进一步准确推断目标的方位 .最后 ,以实例说明方向关系和距离关系的集成组合运算将提高空间目标方位推断的准确度 .     

基于可计算性逻辑的知识表示与推理

以可计算性逻辑的完备子集CL4为基础进行知识表示, 将知识分为简单知识与一般知识. 通过分析知识库系统的特点和需求, 给出了采用正反向混合推理方法的推理机设计, 并举例说明以CL4为基础的知识库系统, 具有能够表达和查询更细致的知识、 便于用户和系统交互的优点.     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

定性推理的电路故障传播建模分析方法

针对现有故障传播定性推理模型与分析方法较少考虑因性能参数变化引起的非结构性故障的问题,提出了一种全新的电路系统故障传播建模方法,并制定了传播机制、作用机制、影响机制以及相应的推理流程。该方法以传播过程中的故障信号强度分析为核心,通过层次化建模的方式将元器件层连通性模型中故障源产生的故障信号传递至电路系统定性网络模型的各个约定层次之中;并采用着色定性网络的形式对造成的故障影响及其严重程度进行定性评价,快速且直观地展现了电路系统故障传播推理分析过程;最终以某无人机自动驾驶仪为对象验证了该方法的实际应用效果。     

基于本体和规则的物流知识表示与推理

为了解决物流领域相关概念的共享和信息集成问题,研究了物流配送过程中相关知识的表示以及基于知识的推理．应用本体论方法分析配货规则,使用本体中表示的概念和属性制定配货规则库．运用Jena推理子系统,对本体和配货规则进行推理,开发了一套基于本体和规则的自动配货系统．由于本体是共享概念模型明确的、形式化的规范描述,可以利用本体强大的语义表达能力、本体所描述的共享知识以及自动推理机制,实现物流企业之间以知识集成为基础的业务集成．     

定性三角推理方法研究

给出了距离与方向的定性划分,并指出了定性运算的推理模式,得到相应的推理规则表.通过实例对两种推理路线进行了比较和分析,归纳出适用于推理的基本原则.最后,对问题的已知量规模进行了分析,给出并证明了最小已知量规模的估算公式.     

基于角度计体制的车载测向定位系统设计

文章主要介绍了一种基于角度计体制的车载测向定位系统设计,在简化硬件设计的同时利用一些相应的软件算法来进行处理,以提高测向的精度。另外,可利用移动站的特点实现简单多功能定位,外场实验效果令人满意。     

基于模糊Petri网的动态知识表示与推理方法

针对专家系统知识库中的知识具有模糊特性以及知识库需要频繁更新的特点,设计了一种基于模糊Petri网的动态知识表示与推理方法。该方法利用实际环境中的数据,通过学习来调整知识模型的权值、阈值和确信度等参数,从而实现知识库的动态实时更新。此方法同时结合了产生式知识表示方式和神经网络知识表示方式的优点:知识模型结构清晰,参数意义明确;具有学习和并行推理能力。仿真实验结果表明,经过训练调整后的知识模型具有更高的准确度。     

一种基于证据表达的缺省推理继承网络算法

缺省推理的继承网络算法在解决常识性推理问题时遇到了新的困难,即不确定性,本文提出了证据表达,最大熵原理和证据继承的三种技术,实现了一种基于证据表达的缺省推理继承网络算法。     

几何关系的目标信息分坐标处理原理

由于传感器自身特性的限制,或在干扰的情况下,获得的目标信息有不完全的情况,为了充分利用获得不全的目标信息,提出了对目标信息进行分坐标处理的思路,给出了余切关系定理,总结和比较了其它定理和推论的应用方法,推导出许多有用的代数公式,从理论原理上得到了纯方位角、纯仰角、纯距离信息处理原理,较好地解决了方位角、仰角、距离等信息融合问题,使用这一原理方法向工程实现跨出了一大步.对比几个类似图形的几何定理及推论,归纳与总结这些代数关系,具有重要的理论意义.