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

基于模糊集及RCC理论的区域移动模型

引用

吉林大学学报（工学版） 2007年第3期37卷 591-594页

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

基于RCC理论中的概念邻域结构和模糊集理论,提出了可以表达动态环境下随时间移动或变形的空间区域的区域移动模型,然后基于Allen的路径一致性算法,给出了关于此模型的路径一致性模糊推理算法。

关键词：人工智能时空推理 RCC模型 9交集模型空间区域模糊集理论

来源：评论

学校读者我要写书评

暂无评论

一种增量倒排索引结构的设计与实现

引用

吉林大学学报（理学版） 2007年第6期45卷 953-958页

作者：王冬左万利赫枫龄彭涛张长利吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对主题爬行器获取网页更新速度快的特点,提出一种用于网络搜索引擎的增量索引结构.在建立倒排索引时,每个词项的记录表以链接块的形式存放于倒排索引文件中,每次新分配的块大小递增.该索引结构解决了倒排索引连续存储所带来的难以更... 详细信息

针对主题爬行器获取网页更新速度快的特点,提出一种用于网络搜索引擎的增量索引结构.在建立倒排索引时,每个词项的记录表以链接块的形式存放于倒排索引文件中,每次新分配的块大小递增.该索引结构解决了倒排索引连续存储所带来的难以更新问题.实验结果表明,与支持实时更新的传统链表式存储方式相比,这种索引结构能提供更高效的检索,采用以空间换时间的方法有效地提高了索引的更新效率.

关键词：主题式搜索引擎增量倒排索引实时更新

来源：评论

学校读者我要写书评

暂无评论

基于数字签名和时间戳机制的图像数字水印系统

引用

吉林大学学报（理学版） 2007年第1期45卷 77-81页

作者：赵玉华关玉景吉林大学数学研究所长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对二值水印图像,提出一种基于小波的无损的数字水印系统.由于没有对载体图像进行任何修改,因此解决了水印的不可见性和鲁棒性之间的矛盾.另外,通过在系统中引入数字签名技术和时间戳机制,任何人都可以根据公钥提取水印.实验结果表明,... 详细信息

针对二值水印图像,提出一种基于小波的无损的数字水印系统.由于没有对载体图像进行任何修改,因此解决了水印的不可见性和鲁棒性之间的矛盾.另外,通过在系统中引入数字签名技术和时间戳机制,任何人都可以根据公钥提取水印.实验结果表明,此算法对一般的图像处理和几何攻击具有较强的鲁棒性.

关键词：版权保护数字水印小波变换数字签名时间戳

来源：评论

学校读者我要写书评

暂无评论

时空推理中自动生成复合表的通用算法

引用

计算机研究与发展 2007年第8期44卷 1301-1308页

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

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复... 详细信息

时空推理是面向时间/空间问题的研究领域,在人工智能(如语义Web、机器人导航、自然语言处理、物理过程的定性模拟和常识推理等)和其他领域有着广泛的应用前景.复合推理在时空推理中具有重要作用,是约束满足问题等其他定性推理的基础.复合推理是由R(a,b)和R(b,c)决定R(a,c)的一种演绎推理.一般将关系复合结果放在复合表中备查.但目前复合表的建立需要逐个模型进行手工推导,少数模型给出了独立的复合表生成算法,没有适合多种时空关系模型、能自动生成复合表的通用算法.为此,提出了一种能自动生成复合表的通用算法.首先,给出了基于空间划分的通用时空表示模型.在此基础上,提出了基于场景检测的通用复合表生成算法.通过理论分析和对RCC、宽边界、区间代数等20余种典型时空模型的测试,证明了本算法对于所有以精确区域(或区间)为基础的确定、不确定时空模型均能正确快速地生成复合表.

关键词：时空推理复合表通用时空模型空间划分场景检测

来源：评论

学校读者我要写书评

暂无评论

一个基于最小冲突修补的动态约束满足求解算法

引用

计算机研究与发展 2007年第12期44卷 2078-2084页

作者：孙吉贵高健张永刚吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所... 详细信息

约束满足问题是人工智能中一个重要的研究方向,近年来,对动态变化的约束满足问题的研究逐渐成为该领域的热点.在目前该领域最流行的LC算法基础上,引入禁忌搜索策略,提出了一个基于最小冲突修补的算法Tabu_LC.算法在每次冲突调整时将所有冲突变量看成一个整体,并采用分支定界搜索策略求解冲突变量组成的子问题,极大地提高了求解效率.同时,在约束求解系统'明月1.0'架构下给出了算法的具体实现,并针对大量随机问题进行了对比实验.结果表明,Tabu_LC算法在求解效率和解的质量上都明显优于LC算法.

关键词：最小冲突修补动态约束满足问题禁忌搜索分支定界解重用

来源：评论

学校读者我要写书评

暂无评论

一种Agent通信中逻辑意外信息转换方法

引用

计算机研究与发展 2007年第3期44卷 427-433页

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

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communi... 详细信息

在开放动态多Agent网络环境中,不同平台下的移动Agent希望就某个领域的问题进行通信,就需要避免出现逻辑意外现象,也就是必须使描述这一领域的术语取得一致.给出一个具有协作性和社会性的通信方法LOSCM(layer ontology services communication model).LOSCM具有以下特点:1)A-gent通信实体中包含的概念采用本体方法进行描述,对本体作分层松散的社会性管理.2)假设本体不隶属于公共数据源且相互之间也没有公共本体,LOSCM给出一种基于概念替代遗失度和概念间替代相关度的有效的分层树状转换方法,有效避免了逻辑意外,确保了通信实体概念的正确理解,解决了在概念转换时的一致性问题.

关键词：移动Agent 逻辑意外本体 Agent通信

来源：评论

学校读者我要写书评

暂无评论

Onto3D——一种基于本体的三维模型检索系统

引用

计算机研究与发展 2007年第z2期44卷 371-376页

作者：王新颖王生生吕天阳庞纪明王钲旋吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

由于目前的三维模型检索技术中基于文本的检索方法和基于内容的检索方法所使用的关键词或形状特征不能包含模型的语义信息,因而检索的结果不能完全满足用户检索的意图.为此实现了一种基于本体的三维模型检索系统Onto3D. Onto3D能够根据... 详细信息

由于目前的三维模型检索技术中基于文本的检索方法和基于内容的检索方法所使用的关键词或形状特征不能包含模型的语义信息,因而检索的结果不能完全满足用户检索的意图.为此实现了一种基于本体的三维模型检索系统Onto3D. Onto3D能够根据用户的检索条件,利用知识库中模型的语义信息进行推理和查询;也可以根据用户反馈信息,从三维模型的底层特征推出高层语义信息.对Princeton Shape Benchmark的实验表明,Onto3D系统在文本和形状检索中都取得了较好的效果.

关键词：本体三维模型检索聚类

来源：评论

学校读者我要写书评

暂无评论

一种基于本体的问题求解学生模型

引用

吉林大学学报（理学版） 2007年第5期45卷 795-799页

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

以平面几何问题为对象,通过对主观试题解答进行研究,建立一种基于本体的问题求解学生模型(OSSM).实现了自动问题答案评估学生模型的设计,给出了适用于主观题求解基于本体的知识表示方法、主观题求解过程跟踪方法和答案智能评估方法.用... 详细信息

以平面几何问题为对象,通过对主观试题解答进行研究,建立一种基于本体的问题求解学生模型(OSSM).实现了自动问题答案评估学生模型的设计,给出了适用于主观题求解基于本体的知识表示方法、主观题求解过程跟踪方法和答案智能评估方法.用本体方法实现知识表示,可从多方面评估学生对知识点的掌握情况,从而实现对学生学习的智能指导.

关键词：学生模型本体问题求解

来源：评论

学校读者我要写书评

暂无评论

增量式双边多属性自动协商策略

引用

吉林大学学报（理学版） 2007年第6期45卷 966-970页

作者：姜丽刘大有欧阳继红王鑫禄王新华吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出一种双边多属性自动协商策略.在该策略下,协商议程由外生议程与内生议程相结合,外生议程采用n步议程方法,内生议程采用部分接受策略,由部分接受策略产生局部交易,当局部交易变成全局交易时,协商过程结束;当某个属性无法达成一致时,... 详细信息

提出一种双边多属性自动协商策略.在该策略下,协商议程由外生议程与内生议程相结合,外生议程采用n步议程方法,内生议程采用部分接受策略,由部分接受策略产生局部交易,当局部交易变成全局交易时,协商过程结束;当某个属性无法达成一致时,协商失败.利用该策略,协商过程能获得平衡解和帕累托最优解,且时间复杂性较低.

关键词：协商一对多协商双边协商

来源：评论

学校读者我要写书评

暂无评论

一种简单凹形区域间拓扑关系的表示模型

引用

吉林大学学报（理学版） 2007年第3期45卷 427-431页

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

通过研究El-Geresy提出的一种空间推理方法,扩展了经典9-交集矩阵,得到16-交集矩阵,基于16-交集矩阵对RCC23的基本关系进行细化,定义了两个简单凹形区域间的62种拓扑关系,得到RCC62并给出其概念邻域图和最近拓扑关系图.RCC62比RCC23新增... 详细信息

通过研究El-Geresy提出的一种空间推理方法,扩展了经典9-交集矩阵,得到16-交集矩阵,基于16-交集矩阵对RCC23的基本关系进行细化,定义了两个简单凹形区域间的62种拓扑关系,得到RCC62并给出其概念邻域图和最近拓扑关系图.RCC62比RCC23新增了39种拓扑关系,表达力更强.将RCC62模型应用于空间查询领域不仅能增加查询的准确度,而且也提高了查询效率.

关键词：拓扑关系简单凹形区域凸壳 RCC23 9-交集

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：