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

吉林大学学报（工学版） 2009年第5期39卷 1314-1320页

作者：刘衍珩孙蕾田大新吴静张凤华吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林油田职业教育中心吉林松原138000

针对数据存储规模的扩大,提出了一种基于融合主成分匹配FPCM(fusion principal components match)的异常检测方法。首先将各子节点数据通过聚类去除孤立点以提高主成分分析的稳定性,将各子节点的聚类中心传送到中心节点,减少节点间传送... 详细信息

针对数据存储规模的扩大,提出了一种基于融合主成分匹配FPCM(fusion principal components match)的异常检测方法。首先将各子节点数据通过聚类去除孤立点以提高主成分分析的稳定性,将各子节点的聚类中心传送到中心节点,减少节点间传送数据的通信量并且实现求主成分的数据融合;用聚类中心的主成分转换矩阵建立的正常行为模型能够体现整体的数据特征;最后使用决策树方法提高匹配速度。实验结果表明,FPCM方法能保持较高的DOS检测率,在保证整体检测率为97%的同时将误报率控制在10%以下。通过与已有方法比较表明,该方法能使分布式存储的数据在检测结果上达到数据集中存储的检测水平。

关键词：计算机系统结构入侵检测主成分分析聚类决策树

来源：评论

学校读者我要写书评

暂无评论

基于因果关系的模型诊断

引用

吉林大学学报（工学版） 2009年第4期39卷 1052-1056页

作者：张立明赵剑赵相福欧阳丹彤白岩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学第一医院长春130021

提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的... 详细信息

提出一种基于因果关系的思想求解所有极小诊断的新方法。此方法与Reiter的模型诊断方法有着本质的不同,不用求解冲突集及冲突集的碰集,一次直接求出所有的极小诊断,避免了由于调用ATMS时的组合爆炸引起的NP-完全问题。并根据因果关系的思想提出了极小诊断组成原理和极小诊断元件个数原理,可直接求出所有的极小诊断,避免了非极小诊断的产生,提高了诊断效率,并且不会丢失正确的解。该算法程序容易编制,且效率较好,可以满足复杂被诊断对象的实时性要求。

关键词：人工智能基于模型的诊断极小诊断因果关系

来源：评论

学校读者我要写书评

暂无评论

免疫遗传算法学习贝叶斯网等价类

引用

吉林大学学报（理学版） 2009年第1期47卷 48-56页

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

针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子... 详细信息

针对遗传算法学习贝叶斯网存在的问题,提出一种基于骨架搜索的免疫遗传算法学习贝叶斯网等价类,该方法综合了基于约束和打分搜索的方法,可以在遗传过程中避免产生非法结构,并从骨架空间映射到等价类空间进行搜索.实验数据表明,免疫算子的使用可有效缩小搜索空间规模,加快收敛速度,提高执行效率.

关键词：贝叶斯网结构学习马尔科夫等价免疫遗传算法条件独立测试

来源：评论

学校读者我要写书评

暂无评论

基于列存储数据库的压缩态数据访问算法

引用

吉林大学学报（理学版） 2009年第5期47卷 1013-1019页

作者：黄鹏李占山张永刚鞠奇吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于列存储数据库数据访问的特点,对主流整数压缩格式进行改进,提出了3种整数压缩算法及相应的压缩态数据访问算法.实验结果表明,不解压而直接访问压缩态数据非常高效,从而为数据的压缩态运算提供了有力支持.

关键词：列存储数据库数据压缩压缩态数据访问压缩态SQL运算

来源：评论

学校读者我要写书评

暂无评论

命题编码中公理的组合与设计

引用

计算机科学 2009年第10期36卷 202-208页

作者：江鸿刘大有吕帅蔡敦波史晶晶吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码... 详细信息

近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。

关键词：智能规划基于可满足性的规划 Graphplan 公理

来源：评论

学校读者我要写书评

暂无评论

移动环境下基于策略的QoS两级协商机制研究

引用

计算机应用研究 2009年第3期26卷 1013-1017页

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

为了更好地控制移动性对QoS的影响,本文把基于策略思想应用到移动环境中,对基于策略的QoS两级协商机制进行研究,设计了框架中功能实体的内部结构,给出所用策略的形式。进一步对COPS协议进行扩展,用其作为实体间的协商协议,并模拟了协商... 详细信息

为了更好地控制移动性对QoS的影响,本文把基于策略思想应用到移动环境中,对基于策略的QoS两级协商机制进行研究,设计了框架中功能实体的内部结构,给出所用策略的形式。进一步对COPS协议进行扩展,用其作为实体间的协商协议,并模拟了协商过程。三个实体的两级协商机制能根据移动节点位置、路径的不同,动态选择协商级别作出决策。扩展COPS协议进行QoS协商,使移动管理与QoS协商相互独立,可用移动事件触发QoS协商,对QoS路径进行部分恢复和重建。

关键词：基于策略的网络管理移动切换服务质量协商通用开放策略服务协议

来源：评论

学校读者我要写书评

暂无评论

一种新的基于扩展规则的定理证明算法

引用

计算机研究与发展 2009年第1期46卷 9-14页

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

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提... 详细信息

基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提出了一种新的基于扩展规则的定理证明算法NER,将判定子句集可满足性问题转化为一系列文字集合的包含问题,而非计数问题.实验结果表明,算法NER的执行效率较原有扩展规则算法IER和基于归结的有向归结算法DR有明显提高,有些问题可以提高两个数量级.

关键词：定理机器证明命题逻辑扩展规则可满足性问题归结

来源：评论

学校读者我要写书评

暂无评论

基于服务元组链的Web服务组合方法

引用

吉林大学学报（理学版） 2009年第1期47卷 57-62页

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

提出一种描述Web服务的关系模型,通过引入空服务和服务元组的概念,采用基于服务元组链的Web服务组合方法,解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题,应用该方法既能处理顺序关系的组合问题,又能处理多个后继服务或... 详细信息

提出一种描述Web服务的关系模型,通过引入空服务和服务元组的概念,采用基于服务元组链的Web服务组合方法,解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题,应用该方法既能处理顺序关系的组合问题,又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.

关键词： Web服务服务元组服务元组链 Web服务组合

来源：评论

学校读者我要写书评

暂无评论

基于多值表示的并行规划方法

引用

计算机科学 2009年第9期36卷 186-192页

作者：史晶晶刘大有蔡敦波吕帅江鸿吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

Fast Downward规划系统是第四届国际规划竞赛的冠军。以高效的串行规划系统Fast Downward为基础,设计并实现了并行规划系统Parallel Downward。首先提出4个并行规划的相关定义;之后提出多值规划任务下动作互斥的定义、充要条件,并实现... 详细信息

Fast Downward规划系统是第四届国际规划竞赛的冠军。以高效的串行规划系统Fast Downward为基础,设计并实现了并行规划系统Parallel Downward。首先提出4个并行规划的相关定义;之后提出多值规划任务下动作互斥的定义、充要条件,并实现了动作互斥判断算法;在此基础上设计了候选并行动作集的生成算法;然后为提高系统求解质量重新设计了新的搜索控制策略;最后,给出剪枝策略来抑制并行规划状态空间的指数级膨胀。通过对国际规划竞赛测试问题的实验,Parallel Downward表现出良好的规划效率和规划质量,相比Sapa规划系统Parallel Down-ward具有较好的可扩展性。

关键词：并行规划多值规划任务状态空间启发式搜索因果图启发式

来源：评论

学校读者我要写书评

暂无评论

基于局部搜索的遗传算法求解自动组卷问题

引用

吉林大学学报（理学版） 2009年第5期47卷 961-968页

作者：关凇元刘大有金弟王新华苏奎吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对目前大多数组卷系统所考虑的约束条件不完善、组卷结果不理想问题.提出一种基于局部搜索的遗传算法(GALS),解决了传统组卷约束不完善等缺点,并得到了较好的组卷结果.该算法采用基于按题型分段的编码方式,3个遗传算子分别采用如下策... 详细信息

针对目前大多数组卷系统所考虑的约束条件不完善、组卷结果不理想问题.提出一种基于局部搜索的遗传算法(GALS),解决了传统组卷约束不完善等缺点,并得到了较好的组卷结果.该算法采用基于按题型分段的编码方式,3个遗传算子分别采用如下策略:按题型分段交叉策略,保证全局搜索能力及交叉后各题型被选题数不变;基于禁忌表局部搜索的变异机制,对题库进行随机关联搜索,提高了算法搜索能力;采用组合优化进化算法的μ+λ选择策略,有利于算法局部搜索.实验结果表明,相同迭代次数下,新算法找到的最优解明显优于传统的组卷算法.

关键词：计算机辅助教学遗传算法组合优化局部搜索自动组卷

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：