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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于改进蜂群算法优化神经网络的玉米病害图像分割

引用

农业工程学报 2013年第13期29卷 142-149页

作者：温长吉王生生于合龙苏恒强吉林农业大学信息技术学院长春130118 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

更加细致的体现病害外部形态特征和较为完好的保留病害区域颜色纹理信息,是玉米等作物病害分割的关键性研究问题之一。该文提出一种基于改进人工蜂群算法的脉冲耦合神经网络图像分割算法,该算法以最大香农熵和最小交叉熵加权线性组合作... 详细信息

更加细致的体现病害外部形态特征和较为完好的保留病害区域颜色纹理信息,是玉米等作物病害分割的关键性研究问题之一。该文提出一种基于改进人工蜂群算法的脉冲耦合神经网络图像分割算法,该算法以最大香农熵和最小交叉熵加权线性组合作为蜂群算法收益度评价函数,通过引入尺度因子调整引领蜂和跟随蜂的解搜索策略,改进后人工蜂群算法与脉冲耦合神经网络相结合,实现网络参数的自动优化调节。在RGB色彩子空间上将该算法用于一组玉米常见病害彩色图像分割,并借鉴利用彩色图像合并策略得到最终病害分割结果。试验表明,该文算法较为细致的体现病害外部形态特征,较为完好的保留了颜色纹理信息;利用分割区域色度误分度V(I)值作为评判标准,该文算法V(I)幅值顺次降低2.03%、7.05%、10.15%和11.2%,综合降低了7.32%也优于对比算法。因此,该文算法为病害彩色图像分割提供了一种较为有效的方法。

关键词：病害图像分割图像识别改进人工蜂群算法脉冲耦合神经网络玉米

来源：评论

学校读者我要写书评

暂无评论

一种基于聚类的PU主动文本分类方法

引用

软件学报 2013年第11期24卷 2571-2583页

作者：刘露彭涛左万利戴耀康吉林大学计算机科学与技术学院吉林长春130012 Department of Computer Science University of Illinois at Urbana-Champaign Urbana USA 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

文本分类是信息检索的关键问题之一.提取更多的可信反例和构造准确高效的分类器是PU(positive and unlabeled)文本分类的两个重要问题.然而,在现有的可信反例提取方法中,很多方法提取的可信反例数量较少,构建的分类器质量有待提高.分别... 详细信息

文本分类是信息检索的关键问题之一.提取更多的可信反例和构造准确高效的分类器是PU(positive and unlabeled)文本分类的两个重要问题.然而,在现有的可信反例提取方法中,很多方法提取的可信反例数量较少,构建的分类器质量有待提高.分别针对这两个重要步骤提供了一种基于聚类的半监督主动分类方法.与传统的反例提取方法不同,利用聚类技术和正例文档应与反例文档共享尽可能少的特征项这一特点,从未标识数据集中尽可能多地移除正例,从而可以获得更多的可信反例.结合SVM主动学习和改进的Rocchio构建分类器,并采用改进的TFIDF(term frequency inverse document frequency)进行特征提取,可以显著提高分类的准确度.分别在3个不同的数据集中测试了分类结果(RCV1,Reuters-21578,20 Newsgoups).实验结果表明,基于聚类寻找可信反例可以在保持较低错误率的情况下获取更多的可信反例,而且主动学习方法的引入也显著提升了分类精度.

关键词： PU(FIositive and unlabeled)文本分类聚类 TFIPNDF(term frequency inverse positive negative document frequency) 主动学习可信反例改进的Rocchio

来源：评论

学校读者我要写书评

暂无评论

一种二阶TD Error快速Q(λ)算法

引用

模式识别与人工智能 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(λ)算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

结合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年第9期50卷 1954-1962页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：