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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 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年第1期35卷 71-76页

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

研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行... 详细信息

研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行了详细证明.基于此概念和性质,提出了一种基于完全独立相容性的预处理算法:SAC-ESC算法,并给出了正确性证明.最后,本文采用分治思想,根据不同问题的论域自适应地合理划分其子论域.实验结果表明,对于随机问题、鸽巢问题、N皇后问题和基准用例,算法SAC-ESC的执行效率大约是目前流行算法SAC-SDS和SAC-3的3～20倍.

关键词：约束满足问题预处理技术完全独立相容性分治策略

来源：评论

学校读者我要写书评

暂无评论

真核生物启动子的预测技术

引用

计算机科学 2009年第1期36卷 5-9,33页

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

启动子是基因表达过程中非常重要的调控序列,是影响基因能否转录的重要功能单位之一,真核生物的启动子预测已经成为生物信息学研究的热点。将结合人工神经网络、支持向量机、二次判别分析和位置权值矩阵技术,对国内外真核生物启动子的... 详细信息

启动子是基因表达过程中非常重要的调控序列,是影响基因能否转录的重要功能单位之一,真核生物的启动子预测已经成为生物信息学研究的热点。将结合人工神经网络、支持向量机、二次判别分析和位置权值矩阵技术,对国内外真核生物启动子的预测研究进行介绍,并在最后采用合适的技术应用到模拟真核生物基因表达过程的电子细胞模型Analog-Cell中。

关键词：启动子人工神经网络支持向量机二次判别分析技术位置权值矩阵生物信息学

来源：评论

学校读者我要写书评

暂无评论

传统Item-Based协同过滤推荐算法改进

引用

计算机研究与发展 2009年第S2期46卷 769-774页

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

传统item-based协同过滤算法根据项目之间的相似性来选取最近邻居.然而,现存的几种相似性度量方法都存在相应的弊端,因此只根据相似性无法找到准确可靠的最近邻.根据对两项目共同评分的用户个数,建立项目近邻等级,提出了结合项目近邻等... 详细信息

传统item-based协同过滤算法根据项目之间的相似性来选取最近邻居.然而,现存的几种相似性度量方法都存在相应的弊端,因此只根据相似性无法找到准确可靠的最近邻.根据对两项目共同评分的用户个数,建立项目近邻等级,提出了结合项目近邻等级与相似性求取最近邻的新方法.另外,对于系统中新加入的项目,因为其上评分信息的匮乏,求得的最近邻往往是不准确的.为此,提出了聚合最近邻和'集体评分'两种改进方法.在MovieLens数据集上的实验结果表明,将上述改进应用于传统itembased协同过滤算法,推荐质量有明显的提高.

关键词： itern-based 协同过滤推荐系统 k最近邻项目近邻等级

来源：评论

学校读者我要写书评

暂无评论

基于可信网络的修复建模与实现

引用

计算机研究与发展 2009年第S1期46卷 328-331页

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

基于可信网络,提出一种新的、可行性强的可信修复网络模型,详细说明该模型提供的功能和工作流程,着重阐明可信修复网络的通信机制和认证方法.仿真实验表明,该框架在保证网络系统安全性和可信性的同时,实现了为不满足可信网络安全策略的... 详细信息

基于可信网络,提出一种新的、可行性强的可信修复网络模型,详细说明该模型提供的功能和工作流程,着重阐明可信修复网络的通信机制和认证方法.仿真实验表明,该框架在保证网络系统安全性和可信性的同时,实现了为不满足可信网络安全策略的终端用户提供及时可靠的修复服务.

关键词：可信网络修复网络可信接入可信属性

来源：评论

学校读者我要写书评

暂无评论

空间数据挖掘技术的研究现状与发展趋势

引用

计算机应用研究 2009年第7期26卷 2401-2403页

作者：王新华米飞冯英春赵玮吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

简要介绍了空间数据挖掘技术的产生背景和发展现状,对空间数据挖掘的体系结构和系统原型进行了概述,总结了空间数据挖掘近年来的研究方法及面临的主要问题,并对下一步的发展方向进行了展望。

关键词：空间数据挖掘数据挖掘空间数据库体系结构

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：