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

模式识别与人工智能 2013年第3期26卷 282-292页

作者：傅启明刘全孙洪坤高龙李瑾王辉苏州大学计算机科学与技术学院苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012

Q(λ)学习算法是一种结合值迭代与随机逼近的思想的基于模型无关的多步离策略强化学习算法.针对经典的Q(λ)学习算法执行效率低、收敛速度慢的问题,从TD Error的角度出发,给出n阶TD Error的概念,并将n阶TD Error用于经典的Q(λ)学习算法... 详细信息

Q(λ)学习算法是一种结合值迭代与随机逼近的思想的基于模型无关的多步离策略强化学习算法.针对经典的Q(λ)学习算法执行效率低、收敛速度慢的问题,从TD Error的角度出发,给出n阶TD Error的概念,并将n阶TD Error用于经典的Q(λ)学习算法,提出一种二阶TD Error快速Q(λ)学习算法——SOE-FQ(λ)算法.该算法利用二阶TD Error修正Q值函数,并通过资格迹将TD Error传播至整个状态动作空间,加快算法的收敛速度.在此基础之上,分析算法的收敛性及收敛效率,在仅考虑一步更新的情况下,算法所要执行的迭代次数T主要指数依赖于1/1-γ、1/ε.将SOE-FQ(λ)算法用于Random Walk和Mountain Car问题,实验结果表明,算法具有较快的收敛速度和较好的收敛精度.

关键词：强化学习马尔科夫决策过程二阶TD Error 资格迹 Q(λ)算法

来源：评论

学校读者我要写书评

暂无评论

基于AC与LmaxRPC的自适应约束传播求解算法

引用

湖南大学学报（自然科学版） 2013年第7期40卷 86-91页

作者：王海燕欧阳丹彤张永刚杨明明吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林师范大学计算机学院吉林四平136000

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测... 详细信息

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.

关键词：人工智能约束程序约束满足问题自适应约束求解约束传播

来源：评论

学校读者我要写书评

暂无评论

基于符号执行和LTL公式重写的测试用例产生方法

引用

计算机研究与发展 2013年第12期50卷 2661-2675页

作者：陈冬火刘全苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210093 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法... 详细信息

基于模型检验等形式化方法的测试用例自动产生技术成为测试自动化领域一项重要的进展.对于输入和输出为无界抽象数据类型的无限状态系统,利用传统模型检验技术难以有效地产生测试用例集合,提出基于符号执行和公式重写的测试用例产生方法.通过建立程序的符号化执行模型,避免输入和输出变量数值化枚举而导致的无限状态系统的建模和状态爆炸问题;建立基于符号化执行模型的时序公式重写规则,并根据线性时序逻辑(linear temporal logic,LTL)公式的反例模式求取复杂属性及行为约束关系,利用约束求解的方法自动产生测试用例集合.这种方法集成了符号执行技术和时序公式状态重写——一种轻量级模型检验技术,成为基于复杂抽象数据类型系统与属性相关的测试用例自动产生的有效方法.

关键词：测试用例自动产生符号执行公式重写模型检验线性时序逻辑输入输出符号变迁系统

来源：评论

学校读者我要写书评

暂无评论

结合look-ahead值排序的自适应分支求解算法

引用

通信学报 2013年第6期34卷 102-107页

作者：王海燕欧阳丹彤张永刚张良吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林师范大学计算机学院吉林四平136000

基于新近提出的自适应分支约束求解框架,结合look-ahead值启发式,提出一种新的约束求解算法AdaptBranchLVO。为验证算法效率,在标准测试库上进行了充分对比实验。结果表明,新提出算法在效率上明显优于已有的自适应分支求解算法。

关键词：约束满足问题约束求解自适应分支 look-ahead值启发式

来源：评论

学校读者我要写书评

暂无评论

结合Survivors-first学习型值排序的自适应分支求解

引用

吉林大学学报（工学版） 2013年第6期43卷 1615-1620页

作者：王海燕欧阳丹彤张永刚张良吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林师范大学计算机学院吉林四平136000

针对单一的自适应分支启发式无法充分发挥自适应约束求解的优势这一问题,将自适应分支策略与学习型值启发式Survivors-first相结合,提出了AdaptBranchsurv算法。最后,针对几类典型的Benchmark问题进行测试,结果表明:AdaptBranchsurv算... 详细信息

针对单一的自适应分支启发式无法充分发挥自适应约束求解的优势这一问题,将自适应分支策略与学习型值启发式Survivors-first相结合,提出了AdaptBranchsurv算法。最后,针对几类典型的Benchmark问题进行测试,结果表明:AdaptBranchsurv算法能显著提高约束求解的效率。

关键词：人工智能约束满足问题自适应约束求解自适应分支学习型值排序启发式

来源：评论

学校读者我要写书评

暂无评论

路标计数启发式引导的分解规划方法

引用

软件学报 2013年第10期24卷 2327-2339页

作者：魏唯欧阳丹彤吕帅吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 吉林大学公共计算机教学与研究中心吉林长春130012

路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标... 详细信息

路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标计数启发式估值的降低引发规划任务的分解,当搜索过程遇到估值更低的状态时,提取一段爬山路径.如此反复执行"搜索-提取"过程,直至路标计数启发式的估值降低为0,各段爬山路径构成最终的规划解.采用最新国际通用的标准测试问题进行实验测试,结果表明:由路标计数启发式引导的分解规划方法能够更好地发挥路标信息的优势,实现了搜索范围的压缩,可更快地生成规划解.

关键词：路标计数启发式增强爬山分解规划方法爬山路径

来源：评论

学校读者我要写书评

暂无评论

基于流量图的僵尸网络检测技术分析

引用

吉林大学学报（理学版） 2013年第4期51卷 681-688页

作者：何毓锟李强嵇跃德郭东吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

基于常见协议的僵尸网络通信图结构和特征,对比分析了它们的功能和工作机制及现有基于流量图僵尸网络检测方法的使用环境、实验数据、结果和方法的优缺点,并提出了僵尸网络检测技术的改进措施.

关键词：僵尸网络流量图僵尸检测网络安全

来源：评论

学校读者我要写书评

暂无评论

一种基于智能调度的可扩展并行强化学习方法

引用

计算机研究与发展 2013年第4期50卷 843-851页

作者：刘全傅启明杨旭东荆玲李瑾李娇苏州大学计算机科学与技术学院江苏苏州215006 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 南京大学计算机科学与技术系南京210093

针对强化学习在大状态空间或连续状态空间中存在的"维数灾"问题,提出一种基于智能调度的可扩展并行强化学习方法——IS-SRL,并从理论上进行分析,证明其收敛性.该方法采用分而治之策略对大状态空间进行分块,使得每个分块能够... 详细信息

针对强化学习在大状态空间或连续状态空间中存在的"维数灾"问题,提出一种基于智能调度的可扩展并行强化学习方法——IS-SRL,并从理论上进行分析,证明其收敛性.该方法采用分而治之策略对大状态空间进行分块,使得每个分块能够调入内存独立学习.在每个分块学习了一个周期之后交换到外存上,调入下一个分块继续学习.分块之间在换入换出的过程中交换信息,以使整个学习任务收敛到最优解.同时针对各分块之间的学习顺序会显著影响学习效率的问题,提出了一种新颖的智能调度算法,该算法利用强化学习值函数更新顺序的分布特点,基于多种调度策略加权优先级的思想,把学习集中在能产生最大效益的子问题空间,保障了IS-SRL方法的学习效率.在上述调度算法中融入并行调度框架,利用多Agent同时学习,得到了IS-SRL方法的并行版本——IS-SPRL方法.实验结果表明,IS-SPRL方法具有较快的收敛速度和较好的扩展性能.

关键词：强化学习分而治之并行计算可扩展性智能调度

来源：评论

学校读者我要写书评

暂无评论

智能世界的建模与诊断

引用

计算机研究与发展 2013年第9期50卷 1954-1962页

作者：王楠欧阳丹彤孙善武吉林财经大学管理科学与信息工程学院长春130117 物流产业经济与智能物流吉林省重点实验室(吉林财经大学) 长春130117 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学通信与工程学院长春130012

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的... 详细信息

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).

关键词：可区分的KRA模型基于模型的诊断智能世界抽象自动推理

来源：评论

学校读者我要写书评

暂无评论

三个简单区域间的拓扑关系的表示模型

引用

吉林大学学报（工学版） 2013年第1期43卷 117-122页

作者：李健欧阳继红王振鑫汪威吉林大学计算机科学与技术学院长春130012 吉林农业大学信息技术学院长春130118 吉林大学符号计算与知识工程教育部重点实验室长春130012

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个... 详细信息

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个简单区域间两两拓扑关系的4-交集矩阵方法相比,本文提出的8-交集矩阵表示法能直接对三个简单区域间的拓扑关系进行表示,且新增了56种基本关系,表达力更强。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了三个简单区域间至多有109种可实现的拓扑关系,并给出了109种三元拓扑关系的概念领域图。

关键词：人工智能三元拓扑关系简单区域区域连接演算 8-交集矩阵

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：