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

基于模糊对象的不精确需求建模

引用

吉林大学学报（理学版） 2007年第4期45卷 572-576页

作者：潘洪军孙吉贵吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室

用模糊贴近度方法获取模糊类,在模糊类中通过封装的模糊规则描述属性之间的关系,根据模糊贴近度和模糊范围定义了用于计算子类和超类、对象和类之间的隶属函数,解决了对不精确和不确定复杂信息的获取问题,所得结果可用于不精确需求建模.

关键词：模糊贴近度模糊类不精确需求

来源：评论

学校读者我要写书评

暂无评论

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

引用

吉林大学学报（理学版） 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通信

来源：评论

学校读者我要写书评

暂无评论

粗集和多关系学习综述

引用

计算机科学 2007年第6期34卷 152-155页

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

文中给出了多关系学习的产生、实质以及任务,指出多关系学习具有狭义和广义两个层面。对粗集和多关系学习给出了简单综述,表明粗集理论在多关系学习中占有重要地位。分析研究了粗集和归纳逻辑程序设计方法用于多关系学习的几种结合途径... 详细信息

文中给出了多关系学习的产生、实质以及任务,指出多关系学习具有狭义和广义两个层面。对粗集和多关系学习给出了简单综述,表明粗集理论在多关系学习中占有重要地位。分析研究了粗集和归纳逻辑程序设计方法用于多关系学习的几种结合途径,尤其重点介绍了RSILP系列模型,并在文中给出其一般模型。文中对用于多关系学习中其它粗集方法也作了简单介绍。RSILP模型的完善扩展以及粗集方法在多关系学习中的进一步应用是今后的工作方向。

关键词：多关系学习粗集归纳逻辑程序设计 RSILP模型

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

用改进的1-DNF算法获取最强反例集合的方法

引用

计算机工程 2007年第9期33卷 191-193页

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

利用正样例集合和未标识样例集合获取初始的最强反例集合是使用两步框架方法构造一个面向PU问题文本分类器的基础。该文指出了使用1-DNF算法抽取初始的最强反例集合的局限性,提出了对算法1-DNF的改进方法。实验结果表明,与原算法相比,... 详细信息

利用正样例集合和未标识样例集合获取初始的最强反例集合是使用两步框架方法构造一个面向PU问题文本分类器的基础。该文指出了使用1-DNF算法抽取初始的最强反例集合的局限性,提出了对算法1-DNF的改进方法。实验结果表明,与原算法相比,它大大增加了获取的最强反例数目,加快了算法的收敛速度,提高了分类器的精度。

关键词：文本分类面向PU问题的文本分类文本分类器

来源：评论

学校读者我要写书评

暂无评论

一种基于集合符号的自动推理扩展方法

引用

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

作者：刘全伏玉琛孙吉贵崔志明龚声蓉凌兴宏苏州大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基... 详细信息

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

关键词：集合符号自动推理 Tableau 经典逻辑非经典逻辑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：