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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 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规划

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

入侵检测中的多分类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公理

来源：评论

学校读者我要写书评

暂无评论

VANETs信任传播建模

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

电子细胞Analog-Cell的并发机制

引用

电子学报 2009年第4期37卷 786-791页

作者：孙吉贵行荣卢欣华韩霄松吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

结合并发约束理论提出了并发Analog-Cell模型框架;基于扩展的并发约束理论,提出了并发Analog-Cell中定量的随机控制机制以及模拟细胞中RNA聚合酶介导转录起始过程的算法模型,可有效地避免系统中随机错误的发生并提高运行效率;最后,提出... 详细信息

结合并发约束理论提出了并发Analog-Cell模型框架;基于扩展的并发约束理论,提出了并发Analog-Cell中定量的随机控制机制以及模拟细胞中RNA聚合酶介导转录起始过程的算法模型,可有效地避免系统中随机错误的发生并提高运行效率;最后,提出了并发Analog-Cell模型中DNA转录过程的模拟算法.

关键词：电子细胞并发约束程序生物建模

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：