检索结果-内蒙古大学图书馆

计算机研究与发展 2004年第11期41卷 1954-1958页

作者：王生生刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

区域连接演算 (RCC)是定性空间推理 (QSR)的基础理论之一但RCC理论只支持区域 ,不能处理包括点、线和区域在内的空间多维对象 ,这阻碍了RCC应用的发展扩展了区域概念 ,将点和线对象视为特殊的区域提出了能直接用RCC理论描述空间多... 详细信息

区域连接演算 (RCC)是定性空间推理 (QSR)的基础理论之一但RCC理论只支持区域 ,不能处理包括点、线和区域在内的空间多维对象 ,这阻碍了RCC应用的发展扩展了区域概念 ,将点和线对象视为特殊的区域提出了能直接用RCC理论描述空间多维对象拓扑关系的MRCC理论在保留RCC公理的前提下 ,MRCC增加了 2条新公理 ,并由此推导出了 36种MRCC基本关系进而讨论了基于概念邻域图和复合表的推理 MRCC拓展了RCC理论的适用范围。

关键词：区域连接演算定性空间推理空间多维对象

来源：评论

学校读者我要写书评

暂无评论

RCC11复合表的表示(英文)

引用

软件学报 2007年第10期18卷 2458-2468页

作者：李永明李三江陕西师范大学计算机科学学院陕西西安710062 清华大学计算机科学与技术系智能技术与系统国家重点实验室北京100084

主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由Düntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平... 详细信息

主要研究熟知的区域连接演算(region connection calculus,简称RCC)的关系代数方面的性质.证明了补闭圆盘代数恰好构成RCC11复合表的一个表示,其中,RCC11复合表是由Düntsch于1999年引入的.补闭圆盘代数由两类区域构成:一类是实平面中的所有闭圆盘;另一类是实平面中的所有闭圆盘的补的闭包组成.而连接关系为经典的Whiteheadean连接,即对区域a,b,aCb(表示a,b有连接关系)当且仅当a∩b≠ф.

关键词：区域连接演算连接关系代数 RCC11复合表补闭圆盘代数对偶关系集扩张性

来源：评论

学校读者我要写书评

暂无评论

基于空间拓扑和形态相似关系的长裂缝拼接算法

引用

电子学报 2021年第4期49卷 672-678页

作者：薛丹苑玮琦沈阳工业大学视觉检测技术研究所辽宁沈阳110870

针对公路隧道采集的衬砌裂缝图像存在重叠和间隙两种现象,不能保证裂缝首尾相连而直接拼接的问题,本文提出一种基于空间拓扑和形态相似关系的长裂缝拼接算法.首先将空间拓扑关系与图像点特征相结合,提出一种基于RCC的长裂缝连接性特征... 详细信息

针对公路隧道采集的衬砌裂缝图像存在重叠和间隙两种现象,不能保证裂缝首尾相连而直接拼接的问题,本文提出一种基于空间拓扑和形态相似关系的长裂缝拼接算法.首先将空间拓扑关系与图像点特征相结合,提出一种基于RCC的长裂缝连接性特征点识别算法,自动识别相邻图像中的裂缝是否同属于一条长裂缝以及存在重叠还是间隙现象;然后,采用基于余弦相似性度量的裂缝配准算法完成重叠区域的配准拼接,采用几何标定法补足间隙裂缝后首尾相连完成拼接.该算法在工程应用中得以验证,能够在图库中自动完成长裂缝的拼接.实验结果表明,在拼接精度和速度方面的综合性价比优于特征拼接算法和几何拼接算法.另外,该算法给多幅图像中存在连续性线条时,如何进行拼接提供了一种新思路.

关键词：公路隧道裂缝区域连接演算拼接余弦相似性

来源：评论

学校读者我要写书评

暂无评论

混合维拓扑和尺寸关系的定性空间推理

引用

计算机研究与发展 2009年第7期46卷 1169-1175页

作者：王生生刘杰王新颖刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

定性空间推理(QSR)研究空间关系,多数工作集中在单维空间关系,但在地理信息系统(GIS)中多维对象很常见.混合维对象空间关系是指点、线和区域3类对象出现在同一场景的情况,该类问题对定性空间推理研究有着重要的理论意义和应用价值,但这... 详细信息

定性空间推理(QSR)研究空间关系,多数工作集中在单维空间关系,但在地理信息系统(GIS)中多维对象很常见.混合维对象空间关系是指点、线和区域3类对象出现在同一场景的情况,该类问题对定性空间推理研究有着重要的理论意义和应用价值,但这方面的研究工作还比较少.在已有的混合维区域连接演算的基础上进行完善,提出了MRCC5混合维拓扑模型,并研究了其上约束满足推理问题的复杂度.对定性尺寸关系进行了混合维扩展,给出了MDS模型,进而研究了其推理问题.在以上工作基础上,提出了RCC5和MDS的结合模型,给出并分析了结合模型的推理算法.将定性空间推理相关研究推广到混合维领域,深入研究了混合维拓扑关系推理,提出了混合维尺寸以及混合维拓扑尺寸结合模型.

关键词：定性空间推理混合维空间关系约束满足问题区域连接演算结合空间关系

来源：评论

学校读者我要写书评

暂无评论

一个结合多方面定性空间信息的新方法

引用

计算机研究与发展 2011年第11期48卷 2039-2046页

作者：宋小华欧阳丹彤吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 空军航空大学数学应用中心长春130022

定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操... 详细信息

定性空间推理是人工智能领域中非常重要的研究内容.空间信息包含拓扑关系、大小关系、形状、距离等很多方面.以往多侧重于单一方面的研究,如何将孤立的各方面信息进行统一表示和推理是当前定性空间推理中的一个重要问题.提出利用结合操作来融合不同空间信息表示的新方法.利用结合操作,可以由原先完备互斥关系集合得到新关系,同时利用原有的复合表自动生成新关系的粗复合表.基于结合操作,给出2个理论模型:结合拓扑关系与大小关系模型、结合拓扑关系与远近关系模型.并提出了邻域划分图的概念,说明了邻域划分图与概念邻域图的关系.利用邻域划分图回答了Galton提出的问题:"为什么LOS(视觉光线演算)的概念邻域图不同于标准的空间或时间关系的概念邻域图,这些关系的复合表中关系总是来自于概念邻域图".

关键词：定性空间推理多方面空间信息区域连接演算概念邻域邻域划分图

来源：评论

学校读者我要写书评

暂无评论

基于缓冲区的扩展拓扑关系模型及应用

引用

计算机研究与发展 2009年第11期46卷 1900-1906页

作者：王生生刘杰谢琦刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分.... 详细信息

定性空间推理在人工智能等领域有着广阔的应用前景,但目前单方面空间关系研究较多,多方面结合研究较少,这与实际应用需求不符.由于各类空间关系具有独立性,需要找到适当的理论将它们融合,目前对于拓扑、距离结合模型的研究还不够充分.针对缺乏基本关系可处理且易于在GIS系统中实现的模型等情况,提出了一种扩展拓扑关系模型***源于RCC理论,其主要思想是通过考虑缓存区之间的拓扑关系来提高模型表达能力,同时能表达一定程度的距离信息.推导了BERCC的弱复合表,证明了BERCC基本关系是可处理的,给出了一个包括全集关系和基本关系的可处理子集,在此基础上实现了约束满足推理算法.最后,基于该理论和方法实现了一个实验系统,进一步验证了模型及算法的正确性和实用性.

关键词：定性空间推理区域连接演算缓冲区约束满足问题结合空间关系

来源：评论

学校读者我要写书评

暂无评论

三个简单区域间的拓扑关系的表示模型

引用

吉林大学学报（工学版） 2013年第1期43卷 117-122页

作者：李健欧阳继红王振鑫汪威吉林大学计算机科学与技术学院长春130012 吉林农业大学信息技术学院长春130118 吉林大学符号计算与知识工程教育部重点实验室长春130012

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个... 详细信息

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个简单区域间两两拓扑关系的4-交集矩阵方法相比,本文提出的8-交集矩阵表示法能直接对三个简单区域间的拓扑关系进行表示,且新增了56种基本关系,表达力更强。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了三个简单区域间至多有109种可实现的拓扑关系,并给出了109种三元拓扑关系的概念领域图。

关键词：人工智能三元拓扑关系简单区域区域连接演算 8-交集矩阵

来源：评论

学校读者我要写书评

暂无评论

基于ALC的空间语义知识库

引用

吉林大学学报（工学版） 2011年第2期41卷 424-429页

作者：王生生刘大有谷方明谢琦李昕吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语... 详细信息

基于经典描述逻辑ALC,提出了空间语义知识的表示方法和可判定的推理算法。将空间关系表达为一类特殊的概念,空间关系的基本运算采用公理系统表达,空间约束满足问题求解和逻辑术语推理可以在同一个推理机下进行。首次实现了空间关系和语义知识相结合并且可判定的推理,同时支持多元空间关系结合推理。此前的同类方法都是不可判定的。理论分析、应用实例和相关工作对比均显示该方法解决了空间语义知识库的关键问题,具有一定的理论意义和应用价值。

关键词：人工智能定性空间推理描述逻辑约束满足问题区域连接演算

来源：评论

学校读者我要写书评

暂无评论

模糊空间描述逻辑及应用

引用

吉林大学学报（工学版） 2010年第6期40卷 1634-1638页

作者：王生生刘大有吴瑕谢琦郭昊吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法... 详细信息

提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。

关键词：人工智能描述逻辑定性空间推理模糊逻辑区域连接演算

来源：评论

学校读者我要写书评

暂无评论

半定性约束满足问题求解

引用

吉林大学学报（工学版） 2012年第4期42卷 942-946页

作者：王生生刘大有谷方明刘东杨峰刘辉武吉林大学计算机科学与技术学院长春130012

从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件... 详细信息

从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。

关键词：人工智能定性空间推理半定性约束满足问题区域连接演算空间对象布尔运算

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：