共查询到18条相似文献,搜索用时 125 毫秒
1.
2.
空间实体间的拓扑关系是空间中最基本的关系之一,构成了空间推理的基本方面,拓扑关系的研究在空间推理中占有重要的地位,由于地理空间自身的复杂性,使其存在模糊不确定性,而确定性区域中的空间拓扑关系模型却不能直接应用于具有不确定边界区域的地理实体的描述和计算.因此,本论文针对成面状分布的空间区域,运用模糊数学、基础拓扑学等知识,讨论了如何建立模糊地理区域的空间拓扑关系的定性和定量描述模型以及如何借助该模型进行与模糊地理区域相关的空间拓扑关系分析. 相似文献
3.
无人机飞行区域电子围栏规划中的核心问题在于解决无人机所申请飞行区域与禁飞区的冲突,而无人机飞行区域的冲突归根结底在于所申请飞行区域与禁飞区拓扑关系的判断。为了能够有效判断飞行区域之间的拓扑关系,提出一种无人机飞行区域拓扑关系判断方法:基于点集拓扑理论,利用九交模型(9IM)对无人机飞行区域拓扑关系进行重新划分和描述;提出解决无人机电子围栏飞行区域拓扑关系判断的算法流程以及计算实现方法;最后,利用VC++设计飞行区域拓扑关系判断实验。结果表明,该方法能够快速、有效判断出相关拓扑关系。 相似文献
4.
5.
6.
针对关系树结构描述图像结构的不完整性,提出一种可用于描述图像区域拓扑关系的混合图结构.利用区域分割方法将图像分割成若干区域,并确定区域间拓扑关系后,建立混合图结构描述这种关系.混合图中的结点代表各区域,有向边表示区域间的包含关系,无向边表示区域间的相邻关系.该结构不仅具有关系树结构表达图像的能力,还考虑了区域间是否相邻,更完整地表示图像各区域的位置关系.可应用于需要精确匹配原图像目标的图像检索、图像识别等. 相似文献
7.
马淑兰 《宁夏师范学院学报》2012,33(6)
利用模糊信息方法给出了区域经济发展过程中企业的动态联盟伙伴选择模型,引入TOPSIS方法,用贴近度描述了候选伙伴之间彼此贴近的程度,取“理想解”与“负理想解”考虑了不同评价指标在决策者心目中的权重不同,避免了候选伙伴之间可比性差的现象. 相似文献
8.
9.
孙文鑫 《洛阳师范学院学报》2023,(2):1-5
针对多粒度广义近似空间中各元素之间关联度的问题,给出了元素之间相似度以及论域上相似矩阵的概念.结合粗糙集和模糊集理论,构建了多粒度广义近似空间中的模糊粗糙集模型并讨论了多粒度广义近似空间中的模糊粗糙下、上近似算子的性质.最后研究了多粒度广义近似空间中模糊粗糙的精确度和粗糙度. 相似文献
10.
11.
支持语义web模糊本体的描述逻辑 总被引:7,自引:0,他引:7
为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
12.
为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现,现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高. 相似文献
13.
14.
一种基于vague集的模糊描述逻辑 总被引:1,自引:0,他引:1
为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理. 相似文献
15.
为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题. 相似文献
16.
模糊规则的表示方法研究 总被引:1,自引:0,他引:1
在已有的各种推理方法中,所使用的产生式规则表示形式都不统一,其中含有的信息量也不一样,有的少,有的多,各有侧重点,但都不全面,因而不能把它们作为模糊知识的统一表示形式.其根本的原因就是推理模型本身不完备.本文描述的通用模糊规则,是建立在通用不确定模型和模糊集合理论的基础之上的知识统一表示形式,也是通用模糊推理算法的基础.这种方法采用可能性分布理论来表示知识的模糊性,对一般规则表示进行全面的模糊化,全面考虑了知识的模糊性.它含有推理所需的丰富信息,能用于表达各种情况的模糊性,有着广泛的适用性.已有的规则形式,如确定性知识的规则表示等,只是这种通用形式在忽略部分模糊性情况下的特例.这种表示方法在飞机总体外形设计模糊专家系统(ACDS-FES)中得到了很好的运用. 相似文献
17.
在已有的各种推理方法中,所使用的产生式规则表示形式都不统一,其中含有的信息量也不一样,有的少,有的多,各有侧重
点,但都不全面,因而不能把它们作为模糊知识的统一表示形式.其根本的原因就是推理模型本身不完备.本文描述的通用模糊规
则,是建立在通用不确定模型和模糊集合理论的基础之上的知识统一表示形式,也是通用模糊推理算法的基础.这种方法采用可
能性分布理论来表示知识的模糊性,对一般规则表示进行全面的模糊化,全面考虑了知识的模糊性.它含有推理所需的丰富信息,
能用于表达各种情况的模糊性,有着广泛的适用性.已有的规则形式,如确定性知识的规则表示等,只是这种通用形式在忽略部分
模糊性情况下的特例.这种表示方法在飞机总体外形设计模糊专家系统(ACDS-FES)中得到了很好的运用. 相似文献
18.
潘正华 《上海大学学报(英文版)》2005,9(3):219-223
Algorithm of fuzzy reasoning has been successful applied in fuzzy control, but its theoretical foundation of algorithms has not been thoroughly investigated. In this paper, structure of basic algorithms of fuzzy reasoning was studied, its rationality was discussed from the viewpoint of logic and mathematics, and three theorems were proved. These theorems shows that there always exists a mathematical relation (that is, a bounded real function) between the premises and the conclusion for fuzzy reasoning, and in fact various algorithms of fuzzy reasoning are specific forms of this function. Thus these results show that algorithms of fuzzy reasoning are theoretically reliable. 相似文献