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

计算机学报 2015年第8期38卷 1582-1591页

作者：张宇山郝志峰黄翰林智勇广东财经大学数学与统计学院广州510320 南京大学计算机软件新技术国家重点实验室南京210093 广东工业大学计算机学院广州510006 华南理工大学软件学院广州510006 广东技术师范学院计算机科学学院广州510665

计算时间分析是进化算法理论基础研究中的重要课题,也是一大难点.该文基于停时理论,结合时齐马氏过程的性质,将进化算法的首达时间视为停时,提出了分析进化算法首达时间的一个新方法.在此框架下,Level-reaching Estimation Technique作... 详细信息

计算时间分析是进化算法理论基础研究中的重要课题,也是一大难点.该文基于停时理论,结合时齐马氏过程的性质,将进化算法的首达时间视为停时,提出了分析进化算法首达时间的一个新方法.在此框架下,Level-reaching Estimation Technique作为特例得到了严格的证明.为展示如何用该理论方法分析具体问题,以(1+λ)EA求解PEAK函数和(1+λ)ES求解倾斜平面问题为实例,分析了平均首达时间.结果表明,该文所提出的方法不但适用于离散优化问题也适用于连续优化问题,具有通用性.

关键词：进化算法计算时间停时时齐马氏过程首达时间

来源：评论

学校读者我要写书评

暂无评论

业务过程管理技术专题前言

引用

软件学报 2015年第3期26卷 447-448页

作者：王建民尹建伟窦万春清华大学软件学院北京100084 浙江大学计算机科学与技术学院浙江杭州310027 计算机软件新技术国家重点实验室(南京大学) 江苏南京210046

“云物移大智”所代表的新兴信息技术，正在改变甚至颠覆社会组织的（传统）经营运作方式．全球化、虚拟化、网络化组织（包括企业）的业务过程管理变得日益复杂，给业务过程的柔性建模、高效调度、智能分析、合规控制等方面提出了一系... 详细信息

“云物移大智”所代表的新兴信息技术，正在改变甚至颠覆社会组织的（传统）经营运作方式．全球化、虚拟化、网络化组织（包括企业）的业务过程管理变得日益复杂，给业务过程的柔性建模、高效调度、智能分析、合规控制等方面提出了一系列新的挑战．业务过程管理（business process management，简称BPM）致力创新企业业务过程管理、分析、控制和改进的系统化与结构化方法，其目标在于改进产品质量，提升服务水平，是现代信息系统的共性基础技术．

关键词：业务过程管理管理技术专题现代信息系统社会组织结构化方法信息技术经营运作

来源：评论

学校读者我要写书评

暂无评论

一种基于二分编码的无线传感器与执行器网络移动覆盖算法

引用

计算机科学 2015年第1期42卷 101-105页

作者：杜景林郑若钦谢立李娟南京信息工程大学电子与信息工程学院南京210044 南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

在无线传感器与执行器网络中,可以通过调整剩余节点的位置来提高目标区域覆盖率,以更好地为sensor节点服务。提出了一种基于二分编码的网络移动覆盖算法(SMR算法)。在每次搜索中,试探性地调整失效节点区域的临近执行器节点位置来寻找最... 详细信息

在无线传感器与执行器网络中,可以通过调整剩余节点的位置来提高目标区域覆盖率,以更好地为sensor节点服务。提出了一种基于二分编码的网络移动覆盖算法(SMR算法)。在每次搜索中,试探性地调整失效节点区域的临近执行器节点位置来寻找最佳位置,重复此搜索过程直到覆盖数不再增加,以实现近似的局部最优覆盖。本算法提高了剩余节点的覆盖率,减少了执行器节点移动的消耗,与已有算法相比也表现出了较好的性能。

关键词：无线传感器与执行器网络搜索式移动网络覆盖度节点失效

来源：评论

学校读者我要写书评

暂无评论

构件软件的回归测试复杂性度量

引用

软件学报 2015年第12期26卷 3043-3061页

作者：陶传奇李必信 Jerry Gao 南京理工大学计算机科学与工程学院江苏南京210094 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 东南大学软件工程研究所江苏南京211189 东南大学计算机科学与工程学院江苏南京211189 Department of Computer Engineering San Jose State University

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以... 详细信息

基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对于指定的软件修改需求,维护者可以实施不同的修改手段.不同的修改手段会导致不同的回归测试复杂性,这种复杂性是软件维护成本和有效性的重要因素.目前的研究没有强调构件软件的回归测试复杂性问题.基于修改影响复杂性模型和度量,提出一种回归测试的复杂性度量框架.该度量框架包括两个部分:基于图的模型和形式化度量计算.该度量可以有效表示构件软件分别在构件和系统层面的回归测试复杂性因素,可视化地体现复杂性变化.然后根据模型,提出具体的度量计算方式.最后,通过实验研究,针对同一个构件软件的相同修改需求,利用若干个实验组进行独立修改实施,然后比较回归测试的复杂性.实验结果表明,所提出的度量方式是可行和有效的.

关键词：基于构件的软件回归测试重测复杂性软件维护

来源：评论

学校读者我要写书评

暂无评论

基于显著目标移动的自动抠图方法

引用

图学学报 2015年第3期36卷 425-431页

作者：陈志华朱楠楠肖小龙张静袁玉波华东理工大学计算机科学与工程系上海200237 南京大学计算机软件新技术国家重点实验室江苏南京210093

抠图技术是一种常用的提取图像中精确目标区域的方法,在图像编辑中有着重要的应用,现有的大多数抠图技术依赖于人工交互,本文提出一种基于显著目标移动的自动抠图方法。首先对输入图像进行区域分割;然后计算各个区域的显著性值,并建立... 详细信息

抠图技术是一种常用的提取图像中精确目标区域的方法,在图像编辑中有着重要的应用,现有的大多数抠图技术依赖于人工交互,本文提出一种基于显著目标移动的自动抠图方法。首先对输入图像进行区域分割;然后计算各个区域的显著性值,并建立区域之间的显著性引力模型;在此基础上进行基于显著目标移动的迭代,从而获取图像的显著区域;之后对显著图进行分割并且进行目标区域形态学运算,生成三分图;最后利用基于学习的抠图算法,提取图像目标。实验结果表明,本文方法不需要人工交互和其他的辅助信息,目标抠取效果良好。

关键词：图像显著性显著目标移动自动抠图

来源：评论

学校读者我要写书评

暂无评论

基于Powell局部搜索策略的全局优化布谷鸟算法

引用

计算机应用研究 2015年第6期32卷 1667-1675页

作者：马卫孙正兴李俊楼南京旅游职业学院酒店管理学院南京211100 南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

为了解决布谷鸟搜索算法后期收敛速度慢、求解精度不高、易陷入局部最优等缺陷,提出了一种基于Powell局部搜索策略的全局优化布谷鸟搜索算法。算法将布谷鸟全局搜索能力与Powell方法的局部寻优性能有机地结合,并根据适应度值逐步构建精... 详细信息

为了解决布谷鸟搜索算法后期收敛速度慢、求解精度不高、易陷入局部最优等缺陷,提出了一种基于Powell局部搜索策略的全局优化布谷鸟搜索算法。算法将布谷鸟全局搜索能力与Powell方法的局部寻优性能有机地结合,并根据适应度值逐步构建精英种群候选解池在迭代后期牵引Powell搜索的局部优化,在保证求解速度、尽可能找到全局极值点的同时提高算法的求解精度。对52个典型测试函数实验结果表明,该算法相比于传统的布谷鸟搜索算法不仅寻优精度和寻优率有所提高,并且适应能力强、鲁棒性好,与最新提出的其他改进算法相比也具有一定的竞争优势。

关键词：布谷鸟搜索算法莱维飞行 Powell局部搜索策略全局优化函数优化

来源：评论

学校读者我要写书评

暂无评论

大数据机器学习系统研究进展

引用

大数据 2015年第1期1卷 28-47页

作者：黄宜华南京大学计算机软件新技术国家重点实验室南京210023 南京大学PASA大数据技术实验室南京210023

要实现高效的大数据机器学习,需要构建一个能同时支持机器学习算法设计和大规模数据处理的一体化大数据机器学习系统。研究设计高效、可扩展且易于使用的大数据机器学习系统面临诸多技术挑战。近年来,大数据浪潮的兴起,推动了大数据机... 详细信息

要实现高效的大数据机器学习,需要构建一个能同时支持机器学习算法设计和大规模数据处理的一体化大数据机器学习系统。研究设计高效、可扩展且易于使用的大数据机器学习系统面临诸多技术挑战。近年来,大数据浪潮的兴起,推动了大数据机器学习的迅猛发展,使大数据机器学习系统成为大数据领域的一个热点研究问题。介绍了国内外大数据机器学习系统的基本概念、基本研究问题、技术特征、系统分类以及典型系统;在此基础上,进一步介绍了本实验室研究设计的一个跨平台统一大数据机器学习系统——Octopus(大章鱼)。

关键词：大数据机器学习分布并行计算大数据处理平台

来源：评论

学校读者我要写书评

暂无评论

安全攸关软件系统建模与验证专题前言

引用

软件学报 2015年第2期26卷 179-180页

作者：李宣东刘超毛晓光计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 北京航空航天大学计算机学院北京100191 国防科学技术大学计算机学院湖南长沙410073

随着计算机技术应用的日益普及和不断深入，软件系统的规模和复杂性急剧增大，软件在越来越多的系统中成为主要的使能部件．在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域，软件系统失效将导致灾难性的后果，... 详细信息

随着计算机技术应用的日益普及和不断深入，软件系统的规模和复杂性急剧增大，软件在越来越多的系统中成为主要的使能部件．在航空航天、武器装备、医疗设备、交通、核能、金融等安全攸关的应用领域，软件系统失效将导致灾难性的后果，保障软件系统的质量成为迫切的需求和挑战．建模、分析与验证是保障软件系统质量的重要环节和手段．本专题收录的14篇论文反映了近年来我国学者在安全攸关软件系统建模与验证领域的部分研究成果．《基于形式化方法的航空电子系统检测》基于形式化方法研究面向航空电子系统的检测方法，建立了航空电子系统的形式化模型，并在此基础上提出了从静态和动态两方面对航空电子系统进行检测的途径．《基于时间抽象状态机的AADL模型验证》提出了一种基于时间抽象状态机的AADL形式转换语义，并在此基础上给出了一种AADL模型的验证方法．

关键词：软件系统模型验证建模安全专题航空电子系统形式化方法抽象状态机

来源：评论

学校读者我要写书评

暂无评论

一种保留完整显著物体的图像显示适配方法

一种保留完整显著物体的图像显示适配方法

引用

第十一届和谐人机环境联合会议

作者：李姝蓁郭竞帆任桐炜武港山南京大学计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京 210093 南京大学计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京 210093

为了解决显示适配过程中显著物体部分扭曲的问题,本文提出了一种保留完整显著物体的图像显示适配方法.首先,采用显著性融合和传播的方法生成显著性图;其次,结合输入图像和显著性图,采用自适应三阈值方法实现显著物体分割;再次,以此为基... 详细信息

为了解决显示适配过程中显著物体部分扭曲的问题,本文提出了一种保留完整显著物体的图像显示适配方法.首先,采用显著性融合和传播的方法生成显著性图;其次,结合输入图像和显著性图,采用自适应三阈值方法实现显著物体分割;再次,以此为基础,生成输入图像的曲边网格表示;最后,通过对不同网格的非均匀缩放,生成符合目标尺寸的适配结果.实验结果表明,该方法有助于提高显示适配过程中对显著物体处理的一致性,可以有效地减少显著物体出现部分扭曲的现象,取得比现有方法更好的显示适配结果.

关键词：图像显示适配过程显著性图三阈值曲边网格图像质量

来源：评论

学校读者我要写书评

暂无评论

自适应软件系统:开发方法和运行支撑专题前言

引用

软件学报 2015年第4期26卷 711-712页

作者：吕建王千祥马晓星毛新军计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 北京大学信息科学技术学院北京100871 国防科学技术大学计算机学院湖南长沙410073

随着软件应用范围的不断扩大,其运行平台正从传统的计算机延展到嵌入式设备、移动设备和开放的互联网,并与物理系统、社会系统等更加紧密地融合在一起.这种开放、动态、难控的运行环境要求软件系统需具备一定程度的自适应能力——也就是... 详细信息

随着软件应用范围的不断扩大,其运行平台正从传统的计算机延展到嵌入式设备、移动设备和开放的互联网,并与物理系统、社会系统等更加紧密地融合在一起.这种开放、动态、难控的运行环境要求软件系统需具备一定程度的自适应能力——也就是说,软件系统应能主动感知环境和需求的变化,并据以调整自身结构和行为,以持续地提供满足（甚至超出）用户期望的服务.近年来,自适应软件系统的相关理论、方法和技术得到学术界和工业界的广泛关注,研究非常活跃.为总结我国在自适应软件的开发方法和运行支撑等方面的最新成果,促进该领域的学术交流,推动进一步研究,我们组织了本期专题.

关键词：自适应能力软件系统运行平台专题支撑开发嵌入式设备自适应软件

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：