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

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

模糊区域间空间关系的组合推理

模糊性区域的空间目标之间的空间关系描述与推理问题在近年来成为GIS界研究的一个热点.本文首先讨论了模糊区域的定义和边界问题,然后把描述确定性区域的9交模型引入到模糊区域,建立了二维空间中描述模糊区域之间的9交模型,最后提出了基于空间方向关系和空间拓扑关系的组合推理方法.     

空间方向关系推理计算的NP完全性研究

空间方向关系推理问题的NP完全性证明是基于两个重要的变换基础之上的，其中一个变换是把空间方向关系推理问题变换为一个限定满足问题，基于这种变换，空间方向关系推理问题中的变量和值域相应地变换为限定满足问题中的空间目标和方向关系限制；另一个变换是从不全等3可满足问题到方向关系限定满足问题，基于这种变换，3可满足问题实例中的变量可以变换为两个方向关系限制。为此，一个满足所有目标方向关系限制的空间结构可以建立，从而可以证明空间方向关系推理问题的NP完全性性质。     

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

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

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

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

一种模糊区域之间拓扑关系的描述方法

在地理空间推理中,空间关系是一类重要的研究内容,其主要研究成果体现在空间拓扑关系,空间距离关系,空间方向关系方面的研究.随着GIS的发展,人们越来越认识到研究空间拓扑关系的重要性.本文在分析模糊拓扑关系的基础上,提出利用模糊数学的贴近度来描述模糊区域空间关系的拓扑关系,并对其优化.     

约束满足问题在空间方向关系推理中的应用

约束满足问题是人工智能的一个研究领域,诸如查找、规划等问题都可转化为约束满足问题利用约束满足方法加以有效地解决。方向关系是空间关系的重要组成部分,用以确定空间对象的方位。本文应用约束满足问题的方法,利用空间方向关系约束的谓词形式构造X图和Y图来检查约束的一致性,给出了进行空间方向关系推理的一个算法。     

基于规则的空间关系推理

空间关系的形式化表示和推理是目前地理本体领域的研究热点,本文简要介绍了目前比较有几种代表性的空间关系模型,在此基础上提出了一种拓扑和方向组合的空间关系模型及其OWL形式化表示,并通过扩展推理规则实现了简单的空间关系推理.     

基于线型物体的主方向关系模型的研究

在区域物体最小边界矩形MBR（Minimum Bounding Rectangle）理论的基础上,对线型物体主方向空间关系模型进行了研究,提出了将线型物体主方向关系转化为MBR关系的方法,以促进应用MBR相关运算法则和定理进行线型物体的空间方向关系的研究.对于特殊位置的线型物体,分析了基于投影的主方向模型及其特性,研究了对特殊位置线型物体利用投影方法进行的主方向关系合成运算,以便于对线型物体空间方向关系推理的进一步研究.     

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

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

定性三角推理方法研究

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

GIS中定性距离推理

为了丰富了GIS基础理论,运用区间运算理论和集合论,根据定性距离约束条件,导出了定性距离推理的通项公式,重点研究了同向定性距离推理和反向定性距离推理.只要定性距离的区间范围单调递增,推理结果与具体的区间比值无关.根据吸收律,定性推理结果与相邻定性距离的区间范围之比有关.该研究成果.     

主方向关系合成的研究

方向关系推理是定性空间推理领域的一项重要的研究内容，得到了国内外许多学者的关注，其中，主方向关系的合成又是方向关系推理的基石。本文以Goyal和Egenhofer提出的“井”方向关系模型为基础，考虑了关系合成中的两种情况，即基于一致性的合成（Consistency-based Composition）与实体论合成（Existential Composition），给出了一种基于一致性的关系合成的新方法，同时从理论上证明了该方法的正确性。     

EPC合同争端预警及案例分析

鉴于 EPC合同争端具有涉及的关系复杂、合同索赔数额较大、阻碍合同履行的后果严重等特点,为了预防、警告和跟踪争端,根据争端产生某些征兆性比较强的信息,综合运用推理理论、粗糙集理论、熵权法和欧氏距离检索法,构建定性与定量相集成的案例推理与规则推理融合（CCBR＋RBR）模型来预防和警告有可能发生的争端并进行实时跟踪。通过收集相关案例并建立案例库,应用CCBR＋RBR 模型进行分析EPC 合同可能产生争端的各种因素,并通过案例分析验证模型对EPC合同争端预警的实现。     

基于Voronoi图的复杂对象空间方位关系的推理计算

在分析总结前人研究成果的基础上,研究了复杂对象之间的空间方位关系,提出了基于Voronoi图的空间方位关系的推理模型,并详细论述了该模型的算法实现过程及步骤.实例计算表明该模型是正确和有效的.模型无需区分源目标与参考目标,具有自反性,不受对象的形状、大小、位置和距离等的影响,容易与基于Voronoi图的空间拓扑关系的相关理论结合,形成统一的推理模型.     

协同救援一致性推理模型及求解算法

针对传统的一致性推理模型多测重于单纯的定量、定性时态推理,难以适用于协同救援方案求取问题,基于Allen区间代数理论,添加逻辑约束,提出了一种协同救授一致性推理模型,该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法,并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明,该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求,可应用于协同救援规划验证。     

不完全信息下基于证据推理的多属性决策方法研究

针对不完全信息下多属性群体决策中存在的问题,提出一种基于证据推理的多属性群体决策方法。该方法首先应用灰色白化权函数将定量属性定性化,然后针对不同专家知识背景的不同,构建基于属性的专家赋权方法,用证据推理方法将不完全信息下的多个专家的意见进行集结,并应用效用理论对方案进行排序择优。最后通过一个算例验证该方法的有效性和可行性。     

驾驶威胁感知评估方法

为评估驾驶员所处交通态势的威胁感受,基于其主观感受性驾驶行为特征提出了一种量化评估方法。选取横向和纵向上的相对速度、间距以及轨迹交叉角5项驾驶行为特征作为态势因子,以预期避碰点与危险源的距离来测度威胁主观感受。采用统计学方法结合驾驶员直观威胁感受,给出各因子分级化隶属函数构造方法。同时结合模糊推理原理,析取威胁评估规则并建立威胁评估模型。最后结合算例验证了本文方法的实用性与有效性。     

Evaluation of Metal Fatigue Problems Using Qualitative Reasoning Approach

Fatigue failures are often encountered in steel structures under heavy cyclic loadings. This paper presents metal fatigue problems in structural engineering using outcomes of recent advancements in numerical qualitative reasoning. Qualitative reasoning provides an effective and sound technique for solving complex and uncertain scenarios, regardless of the uncertainty or linearity of the design parameters and their constraints. This paper introduces the algorithms behind a software platform, built upon numerical qualitative reasoning for engineering applications. The software expresses the results of the analysis in variable ranges and diagrams showing a two-dimensional design space. The capability of representing design parameters and outcomes in solution spaces provides a practical way for engineers to leverage their existing knowledge and experience. Case studies in metal fatigue design are given to reflect on the capability of qualitative reasoning in engineering applications.     

基于描述逻辑的可扩展的案例表示及检索研究

案例推理(CBR)与领域知识的结合是CBR近年来的研究热点之一,不同的知识表示方式对CBR系统性能产生不同的影响。在分析传统知识表示与CBR结合不足的基础上,提出了一种可扩展的基于描述逻辑(DL)的案例表示模型,并给出了相应的案例检索算法。此模型强调在CBR系统中领域知识主要是为案例检索及修正服务,对领域知识的使用程度应根据CBR的实际需求和应用背景来确定,在保持了CBR系统优点的同时,也提供了一种灵活使用领域知识的手段。