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

计算机研究与发展 2011年第4期48卷 617-626页

作者：刘新忠徐高潮胡亮付晓东董玉双吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目... 详细信息

作为衡量测试用例集完备性的测试策略,变异测试是一种"面向缺陷"的单元测试技术,主要用来生成完备的测试用例集.其中面向路径测试数据生成技术通过约束系统构造和求解过程实现用例集生成,是一种高效的测试用例生成技术.但目前大部分面向路径测试用例生成技术只考虑了程序语句间的控制依赖,即通过对控制流图的分析来构建约束系统,而忽略了语句间的数据依赖对约束系统的影响.充分考虑两种依赖关系,针对域削减的测试数据生成技术进行了改进,提出了一种考虑数据依赖的域削减方法.实验表明,这种方法在变异测试数据生成的成功率和执行效率上都有较大程度的提高.

关键词：变异测试约束系统软件自动化测试测试数据生成面向路径测试

来源：评论

学校读者我要写书评

暂无评论

利用标志传播求解基于模型的故障诊断

引用

仪器仪表学报 2011年第12期32卷 2857-2862页

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

基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程... 详细信息

基于模型的诊断是一项新型的智能推理技术,是人工智能领域中一个炙手可热的研究分支。提出元件输出标志的概念,通过在系统中传播输出标志,来判断元件集合是否为系统的诊断。使用SE-Tree(set enumeration tree)形式化地描述整个计算过程,逐步生成当前系统对应的所有极小诊断。此方法不求解冲突集和碰集,直接求出所有的极小诊断,与Reiter的模型诊断方法有着本质的不同,极大地减小了诊断求解的复杂度。实验结果表明,该算法具有较好的效率,并且适用于复杂的对象的诊断问题。

关键词：基于模型的诊断极小诊断 SE-Tree 输出标志

来源：评论

学校读者我要写书评

暂无评论

基于描述逻辑规则的语义Web服务组合

引用

计算机研究与发展 2011年第5期48卷 831-840页

作者：刘思培刘大有齐红关菁华吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种... 详细信息

针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种统一的方式刻画语义Web服务的静态功能语义和动态交互特征;提出了刻画顺序服务组合的DL规则链和描述Split+Join结构的服务组(WSC)模型,将并发服务组合转为基于WSC的顺序组合,将语义Web服务组合归结为WSC和DL规则链发现过程.与已有的方法相比,该方法将语义Web服务组合问题统一在DL规则的框架下,弥补了基于DL无法描述Web服务动态特征的缺陷,避免了Petri网推理和谓词演算等进行Web服务组合时限于命题逻辑层面无法充分利用语义信息的问题,也克服了基于智能规划的组合方法限于顺序组合的问题.

关键词：语义Web服务服务本体服务组合描述逻辑规则服务组

来源：评论

学校读者我要写书评

暂无评论

一种基于环切割的约束满足问题求解算法

引用

计算机学报 2011年第8期34卷 1528-1535页

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

该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3 rm算法中,给出一种新算法***将原回溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相... 详细信息

该文首先给出一种无环约束满足问题的无回溯搜索算法Tree_Search,然后将环切割思想嵌入到目前最流行的MAC3 rm算法中,给出一种新算法***将原回溯搜索过程分为两部分:第1部分通过回溯搜索求解环切割集中变量,将原问题化简成一个满足弧相容的无环问题;第2部分通过无回溯的Tree_Search算法求解化简后的无环问题,改进了MAC3rm算法.证明了MAC3rm算法在环切割集上求得的局部解一定可以扩展为一个全局解,并且如果原问题无解,则MAC3rm算法在环切割集上找不到局部解.实验结果显示,CCS的效率在大多数情况下高于MAC3rm.在求解随机问题相变阶段的测试用例时,CCS的效率最高可以达到MAC3rm的140倍.Benchmark中几组问题的测试结果显示,CCS在整体上效率高于MAC,最高可以达到MAC3rm的100倍以上.

关键词：弧相容无回溯搜索环切割 MAC3rm

来源：评论

学校读者我要写书评

暂无评论

用于求解连续优化问题的均匀设计和改造BLX-α的分散搜索算法

引用

计算机研究与发展 2011年第6期48卷 1049-1058页

作者：范铁虎秦贵和赵启吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

分散搜索算法是近年来快速兴起的一种基于种群的进化计算方法,与遗传算法不同的是,它对高质量解和多样性解并存的小数据集使用多种系统子方法和有限次随机过程来获取全局最优解或满意解.基于分散搜索的柔性框架,使用均匀设计来改进以往... 详细信息

分散搜索算法是近年来快速兴起的一种基于种群的进化计算方法,与遗传算法不同的是,它对高质量解和多样性解并存的小数据集使用多种系统子方法和有限次随机过程来获取全局最优解或满意解.基于分散搜索的柔性框架,使用均匀设计来改进以往连续分散搜索算法中的多样性产生方法,将BLX-α算子加以相应改造作为解合并方法,提出了一种基于均匀设计和改造BLX-α算子的新型分散搜索算法(URBSS)来解决非线性连续优化问题.通过8个广为使用的测试函数进行了仿真实验,实验结果表明在与其他连续优化方法的比较中,URBSS能够准确快速地搜索到全局最优解,具有很好的收敛速度和全局优化能力.

关键词：分散搜索均匀设计 BLX-α算子连续优化问题柔性框架

来源：评论

学校读者我要写书评

暂无评论

动态不确定环境下多目标路径规划方法

引用

计算机学报 2011年第5期34卷 836-846页

作者：魏唯欧阳丹彤吕帅冯宇轩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出一种在动态不确定环境下求解多目标问题时快速调整移动路径的方法.首先提出采用逆向多目标启发式搜索进行全局规划,求解问题的最优路径集合;然后提出动态多目标路径规划方法,先根据当前观测进行全局规划,在移动过程中探测到不一致... 详细信息

提出一种在动态不确定环境下求解多目标问题时快速调整移动路径的方法.首先提出采用逆向多目标启发式搜索进行全局规划,求解问题的最优路径集合;然后提出动态多目标路径规划方法,先根据当前观测进行全局规划,在移动过程中探测到不一致的环境信息时,通过对先前搜索中部分信息的重用,在全局规划的基础上进行增量重规划,调整当前状态与目标状态之间的移动路径.研究结果表明:采用增量重规划的求解方法通过搜索信息的重用提高求解效率,能够有效地处理动态不确定环境下的多目标路径规划问题.

关键词：多目标路径规划动态不确定环境启发式搜索全局规划增量重规划

来源：评论

学校读者我要写书评

暂无评论

社交网络蠕虫仿真建模研究

引用

计算机学报 2011年第7期34卷 1252-1261页

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

随着互联网虚拟社交网络的发展,借助网络用户进行传播的社交网络蠕虫已经成为威胁网络安全的重大隐患之一.文中从社会工程学的角度研究社交网络蠕虫的传播机制,通过量化影响用户行为的若干因素,提出了微观节点上的基于用户安全意识的行... 详细信息

随着互联网虚拟社交网络的发展,借助网络用户进行传播的社交网络蠕虫已经成为威胁网络安全的重大隐患之一.文中从社会工程学的角度研究社交网络蠕虫的传播机制,通过量化影响用户行为的若干因素,提出了微观节点上的基于用户安全意识的行为博弈模型;通过分析网络用户活动的习惯特性,构建了宏观网络上离散的基于用户习惯的社交网络访问模型;从而实现了一个适用于社交网络蠕虫传播研究的仿真系统.实验分析了模型中用户相关因素对蠕虫传播的影响,验证了仿真系统的有效性.最后,利用该系统仿真了社交网络蠕虫在异质社交网络中的传播,揭示了网络拓扑结构和社交网络混杂程度对蠕虫传播的影响,为社交网络蠕虫相关研究提供了重要支持.

关键词：社交网络蠕虫传播模型人类行为博弈理论仿真

来源：评论

学校读者我要写书评

暂无评论

局部搜索与遗传算法结合的大规模复杂网络社区探测

引用

自动化学报 2011年第7期37卷 873-882页

作者：金弟刘杰杨博何东晓刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

基于遗传算法的复杂网络社区探测是当前的研究热点.针对该问题,本文在分析网络模块性函数Q的局部单调性的基础上,给出一种快速、有效的局部搜索变异策略,同时为兼顾初始种群的精度和多样性以达到进一步提高搜索效率的目的,采用了标签传... 详细信息

基于遗传算法的复杂网络社区探测是当前的研究热点.针对该问题,本文在分析网络模块性函数Q的局部单调性的基础上,给出一种快速、有效的局部搜索变异策略,同时为兼顾初始种群的精度和多样性以达到进一步提高搜索效率的目的,采用了标签传播作为初始种群的产生方法;综上,提出了一个结合局部搜索的遗传算法(Genetic algorithm with local search,LGA).在基准网络及大规模复杂网络上对LGA进行测试,并与当前具有代表性的社区探测算法进行比较,实验结果表明了文中算法的有效性与高效性.

关键词：复杂网络社区探测网络聚类遗传算法局部搜索

来源：评论

学校读者我要写书评

暂无评论

环境智能中上下文推理方法研究综述

引用

模式识别与人工智能 2011年第5期24卷 673-679页

作者：刘大有刘春辰王生生吉林大学计算机科学与技术学院长春130012 吉林大学符号计算和知识工程教育部重点实验室长春130012

上下文推理是环境智能研究的核心问题之一,与环境智能系统的觉察、响应及适应能力紧密相关,近年来受到国内外研究者的广泛关注.文中分析介绍上下文推理的主要研究内容、研究方法和研究进展,并探讨目前存在的问题及未来的发展方向.

关键词：环境智能人工智能上下文推理

来源：评论

学校读者我要写书评

暂无评论

基于Lambert光照模型的图像真伪盲鉴别算法

引用

计算机研究与发展 2011年第7期48卷 1237-1245页

作者：陈海鹏申铉京吕颖达金玉善吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室吉林大学长春1300121

依据Lambert光照模型,提出了基于Lambert光照模型的图像真伪盲鉴别算法.针对无限光源图像和局部光源图像,根据其实际的光强度与计算出的光强度之间的误差函数以及光源对光线的约束函数,分别提出了相应的算法用以计算图像中不同区域的光... 详细信息

依据Lambert光照模型,提出了基于Lambert光照模型的图像真伪盲鉴别算法.针对无限光源图像和局部光源图像,根据其实际的光强度与计算出的光强度之间的误差函数以及光源对光线的约束函数,分别提出了相应的算法用以计算图像中不同区域的光源方向,并根据这些不同区域的光源方向是否一致判定图像是否被篡改,从而对图像真伪进行盲鉴别.实验结果及分析表明,针对这2种图像各自提出的光源方向计算方法,能够准确地计算出图像中不同区域的光源方向,从而有效地鉴别出图像的真伪.

关键词： Lambert光照模型无限光源图像局部光源图像光源方向图像真伪盲鉴别

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：