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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

能表达带洞区域拓扑关系的扩展9-交集模型

引用

吉林大学学报（工学版） 2009年第6期39卷 1595-1600页

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

为了表达带洞区域拓扑关系,通过扩展9-交集模型,将9-交集矩阵的元素扩展为二进制编码,提出了一种新的拓扑关系表达方法——D9-交集模型;讨论了D9-交集模型的性质,并比较了该模型与9-交集模型的表达能力。结果表明,D9-交集模型既能表达... 详细信息

为了表达带洞区域拓扑关系,通过扩展9-交集模型,将9-交集矩阵的元素扩展为二进制编码,提出了一种新的拓扑关系表达方法——D9-交集模型;讨论了D9-交集模型的性质,并比较了该模型与9-交集模型的表达能力。结果表明,D9-交集模型既能表达简单区域拓扑关系,也能表达带洞区域拓扑关系,还能区分9-交集模型不能区分的拓扑关系,表达能力强于9-交集模型,表达结果更符合人们的认知。

关键词：计算机应用 D9-交集模型 9-交集模型拓扑关系带洞区域

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于ATMS的冲突识别及诊断测量方法

引用

吉林大学学报（工学版） 2009年第6期39卷 1601-1606页

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

依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Mainte-nance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题。在此基础上实现了基于粗... 详细信息

依据General Diagnostic Engine(GDE)思想并基于Assumption-based Truth Mainte-nance System(ATMS)技术实现了一种产生所有极小冲突集的方法,并通过定义负节点和新的规则解决了ATMS在使用时完备性丢失的问题。在此基础上实现了基于粗略概率的简化熵诊断测量方法,并提出了基于动态ε策略的简化熵测量方法及测量后动态更新诊断结果的算法。该方法通过环境的传播进行增量的计算,具有正确性、完备性、一致性、极小化的特点,并减小了测量时产生的诊断代价,具有较强的通用性,易于实现和扩展。

关键词：基于模型诊断基于假设的真值维护系统极小冲突集诊断测量动态ε策略

来源：评论

学校读者我要写书评

暂无评论

使用SAT求解器产生所有极小冲突部件集

引用

电子学报 2009年第4期37卷 804-810页

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

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成... 详细信息

产生所有的极小冲突部件集为基于模型诊断中的一个重要步骤.本文将待诊断系统的行为模型及观测分别使用合取范式(CNF)形式的文件描述,从而提出将判定系统组件子集是否为冲突集的问题转化为:首先提取相关组件的CNF模型及观测,然后调用成熟的SAT求解器判定可满足性.随后,通过有效地结合CSISE-tree等方法来产生所有的极小冲突集.为进一步提高效率,给出了充分利用系统输入/输出结构信息的启发式策略.实验结果表明,使用结合SAT求解器及CSISE-tree等方法能够较快产生所有极小冲突集,并且启发式策略使得求解效率进一步提高(平均提高约21%,最高者甚至达到约48%).

关键词：基于模型的诊断冲突集可满足性 SAT求解器启发式

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：