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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

有指向性的视觉注意计算机模型

引用

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

作者：赵宏伟王慧刘萍萍戴金波吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

注意把有限的处理资源优先分配给那些需要精细加工的信息,能提高视觉信息加工中的检测能力和响应速度.基于生物视觉系统的生理结构特点,建立了模拟生物视觉注意系统的有指向性的视觉注意计算机模型.模型首先模拟生物视网膜的成像机制,... 详细信息

注意把有限的处理资源优先分配给那些需要精细加工的信息,能提高视觉信息加工中的检测能力和响应速度.基于生物视觉系统的生理结构特点,建立了模拟生物视觉注意系统的有指向性的视觉注意计算机模型.模型首先模拟生物视网膜的成像机制,将视场图像转化为视网膜图像;然后将最大梯度边缘检测和c-均值聚类等方法相结合,对视网膜图像中的目标进行编码,分别提取每个目标的颜色、中心以及边缘点集合等基本信息;最后用知识库中指向性目标的特征来指导注意焦点的转移.实验结果表明,利用此模型能较好地实现注意焦点的转移.

关键词：信息处理视觉注意计算机模型 k-系数法注意边缘检测

来源：评论

学校读者我要写书评

暂无评论

基于扩展规则的模型计数与智能规划方法

引用

计算机研究与发展 2009年第3期46卷 459-469页

作者：赖永欧阳丹彤蔡敦波吕帅吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方... 详细信息

提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法nER;提出基于扩展规则的模型计数算法#ER,同时结合#ER和#DPLL的优点提出算法#CDE;设计基于扩展规则方法的Conformant规划系统.实验结果表明:使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间;对于互补因子较高的问题,#ER优于#DPLL;#CDE融合了#ER和#DPLL的优点.研究表明扩展规则方法对于互补因子较高的问题具有较大的优势,具有广阔的应用前景.

关键词：自动推理扩展规则命题可满足问题模型计数 Conformant规划

来源：评论

学校读者我要写书评

暂无评论

入侵检测中的多分类SVM增量学习算法

引用

北京工业大学学报 2009年第12期35卷 1697-1702页

作者：吴静刘衍珩孟凡雪吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

通过分析入侵检测样本的分布特点,提出了一种多分类SVM增量学习算法.该算法通过衡量同类样本点和样本中心之间的距离来确定用于训练的支持向量,以选择对分类贡献较大的边缘向量进行训练,通过求解多个超平面的方法划分出不同类别样本的区... 详细信息

通过分析入侵检测样本的分布特点,提出了一种多分类SVM增量学习算法.该算法通过衡量同类样本点和样本中心之间的距离来确定用于训练的支持向量,以选择对分类贡献较大的边缘向量进行训练,通过求解多个超平面的方法划分出不同类别样本的区域,实现了多分类的增量学习.在保证检测率的同时,减少了样本学习数量.利用KDDCUP99标准数据集进行测试,证明该算法可以大幅度降低训练的时间和空间复杂度.

关键词：支持向量机入侵检测增量学习多分类

来源：评论

学校读者我要写书评

暂无评论

一种基于图形处理器的频繁模式挖掘算法

引用

仪器仪表学报 2009年第10期30卷 2082-2087页

作者：白洪涛欧阳丹彤何丽莉吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

频繁模式挖掘是数据挖掘的核心问题。传统上,频繁模式并行挖掘主要是在集群上进行的,较少涉及共享内存多处理系统上的并行挖掘。基于广度优先搜索和直接计数策略研究了一种并行挖掘方法,并在图形处理器(graphics processing unit,GPU)... 详细信息

频繁模式挖掘是数据挖掘的核心问题。传统上,频繁模式并行挖掘主要是在集群上进行的,较少涉及共享内存多处理系统上的并行挖掘。基于广度优先搜索和直接计数策略研究了一种并行挖掘方法,并在图形处理器(graphics processing unit,GPU)最新统一计算设备架构CUDA(compute unified device architecture)下进行了实现。GPU-based FPMA用CPU控制搜索进程;在GPU的多处理器上,采用数据划分的计算策略,以适合GPU的顺序数据流方式计数,并根据候选项的长度动态剪枝事务数据集。实验结果表明,GPU-based FPMA比CPU版本平均加速了10倍以上。

关键词：关联规则频繁模式图形处理器并行计算统一计算设备架构

来源：评论

学校读者我要写书评

暂无评论

基于模态逻辑D公理系统的Conformant规划方法

引用

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

作者：吕帅刘磊李莹石莲吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的... 详细信息

2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架,将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式,构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程,并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.

关键词： conformant规划模态逻辑自动推理可满足性公理系统 D公理

来源：评论

学校读者我要写书评

暂无评论

基于混合方式的贝叶斯网弧定向算法

引用

电子学报 2009年第8期37卷 1842-1847页

作者：贾海洋陈娟朱允刚刘大有吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

贝叶斯网是不确定知识表示及推理的主要方法之一,BNs结构中的因果关系在知识建模中起到十分关键的作用,因此确定BNs中弧的方向是一重要问题.目前已有的方法存在以下问题:(1)算法计算复杂性高;(2)将统计不可分的弧定向,可能与领域知识不... 详细信息

贝叶斯网是不确定知识表示及推理的主要方法之一,BNs结构中的因果关系在知识建模中起到十分关键的作用,因此确定BNs中弧的方向是一重要问题.目前已有的方法存在以下问题:(1)算法计算复杂性高;(2)将统计不可分的弧定向,可能与领域知识不符.本文提出一种结合条件独立测试和打分搜索的BNs弧定向方法.该方法仅执行零阶和一阶条件独立测试,执行次数为多项式级;打分搜索可分解为局部子图的搜索,提高了算法的效率.算法输出结果为最大链图,该图仅对统计可分的弧进行定向,对统计不可分的弧保留无向的特性.这种结果更准确的表现了数据中蕴含的因果关系,便于结合领域知识进行建模.

关键词：贝叶斯网弧定向马尔科夫等价类链图

来源：评论

学校读者我要写书评

暂无评论

移动机器人定位图像匹配的快速局部特征算法

引用

仪器仪表学报 2009年第8期30卷 1714-1719页

作者：刘萍萍赵宏伟臧雪柏王慧吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

利用定位图像的局部特征进行移动机器人导航和定位是近年来该领域的研究热点。针对经典局部特征提取和描述算法实时性不好,提出一种快速局部特征(fast local feature,FLF)的检测子和描述子算法。利用离散尺寸的均值滤波器估算LOG算子构... 详细信息

利用定位图像的局部特征进行移动机器人导航和定位是近年来该领域的研究热点。针对经典局部特征提取和描述算法实时性不好,提出一种快速局部特征(fast local feature,FLF)的检测子和描述子算法。利用离散尺寸的均值滤波器估算LOG算子构建图像尺度空间,建立尺度和旋转不变的检测子。在尺度相关的邻域中利用规格化后的像素强度作为关联信息,建立局部邻域的描述子。模拟实验中,利用优选参数的FLF与经典SIFT算法对比,在识别率相当的条件下,FLF的运行时间是SIFT的1/3。在标准评估图片和移动机器人平台拍摄的定位图片构成的数据集下,FLF的匹配效果好于经典的SIFT和SURF算子。因而FLF是一种适合于实时应用的快速局部特征。

关键词：局部特征图像匹配尺度空间物体识别

来源：评论

学校读者我要写书评

暂无评论

VANETs信任传播建模

引用

北京邮电大学学报 2009年第B04期32卷 62-65页

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

提出了一种用于车载自组网(VANETs)的可靠信任传播模型,该模型通过引入属性相似度概念在陌生节点间建立信任关系,并进一步建立了一种新的动态包转发规则,从而实现了车载自组网的可信路由,并给出了一种计算属性相似度的推荐方法.仿真结... 详细信息

提出了一种用于车载自组网(VANETs)的可靠信任传播模型,该模型通过引入属性相似度概念在陌生节点间建立信任关系,并进一步建立了一种新的动态包转发规则,从而实现了车载自组网的可信路由,并给出了一种计算属性相似度的推荐方法.仿真结果表明,所提出的信任传播模型具有较高的准确性.

关键词：车载自组网信任传播属性相似度路由

来源：评论

学校读者我要写书评

暂无评论

改进的定性形状表示中凹处同异侧判断方法

引用

吉林大学学报（工学版） 2009年第2期39卷 413-418页

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

指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Coh... 详细信息

指出了Cohn定性形状表示法中凹处同侧判断存在的两种不足之处,给出改进的同侧谓词SameSide*。基于SameSide*,提出一种基于凹处变换的同异侧判断方法CTS,并给出其ADL算法描述。通过实例说明使用方法CTS判断凹处的同异侧关系,能够解决Cohn原方法中存在的不足,能得到符合人们直观认知的判断结果,在一定程度上提高了定性形状表示的合理性和准确性。

关键词：人工智能定性形状表示凸壳凹处同侧谓词空间推理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：