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

计算机科学 2015年第10期42卷 71-75页

作者：王丽珍张书奎贾俊铖王进苏州大学计算机科学与技术学院苏州215006 南京大学计算机软件新技术国家重点实验室南京210093

由于传感器节点只携带能量十分有限的电池,如何最大化网络生命周期是传感器应用必须考虑的问题。提出一个新的能量相关路由算法,即基于概率和距离的能量相关协议EPDRP,该协议在选择下一跳时综合考虑节点位置信息和剩余能量这两个方面。... 详细信息

由于传感器节点只携带能量十分有限的电池,如何最大化网络生命周期是传感器应用必须考虑的问题。提出一个新的能量相关路由算法,即基于概率和距离的能量相关协议EPDRP,该协议在选择下一跳时综合考虑节点位置信息和剩余能量这两个方面。使用NS2对GPSR和EPDRP协议进行了实验分析,结果表明EPDRP获得了更短的路径长度和更少的路由负载,可有效延长无线传感器网络的生命周期。

关键词：地理路由协议能量网络生命周期

来源：评论

学校读者我要写书评

暂无评论

模型驱动的嵌入式系统设计安全性验证方法研究

引用

计算机工程与科学 2015年第8期37卷 1498-1509页

作者：刘雪胡军黄志球马金晶程桢石娇洁南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型... 详细信息

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。

关键词：系统安全性分析模型驱动工程 SysML/MARTE 状态机模型嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

基于集成混合采样的软件缺陷预测研究

引用

计算机工程与科学 2015年第5期37卷 930-936页

作者：戴翔毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

对软件缺陷预测的不平衡问题进行了研究,提出了一种处理不平衡数据的采样方法,用来解决分类器因为样本集中的样本类别不平衡而造成分类器性能下降的问题。为了避免随机采样的盲目性,利用启发性的混合采样方法来平衡数据,针对少数类采用S... 详细信息

对软件缺陷预测的不平衡问题进行了研究,提出了一种处理不平衡数据的采样方法,用来解决分类器因为样本集中的样本类别不平衡而造成分类器性能下降的问题。为了避免随机采样的盲目性,利用启发性的混合采样方法来平衡数据,针对少数类采用SMOTE过采样,对多数类采用K-Means聚类降采样,然后综合利用多个单分类器来进行投票集成预测分类。实验结果表明,混合采样与集成学习相结合的软件缺陷预测方法具有较好的分类效果,在获得较高的查全率的同时还能显著降低误报率。

关键词：不平衡数据 SMOTE K-Means 投票集成学习

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于路径映射加密的云租户数据安全存储方案

引用

南京邮电大学学报（自然科学版） 2015年第3期35卷 89-96页

作者：程宏兵容淳铭杨庚曾庆凯浙江工业大学计算机科学与技术学院浙江杭州310032 南京大学软件新技术国家重点实验室江苏南京210093 斯塔万格大学电子工程与计算机科学学院南京邮电大学计算机学院江苏南京210023

云计算中数据的存储安全是租户最为关注的问题,也是云计算能否获得广泛应用的关键。文中提出了一种基于存储路径映射加密的云租户数据存储访问方案。方案中,云租户数据被划分为具有逻辑关系的若干存储块,这些逻辑块将提交到云索引服务... 详细信息

云计算中数据的存储安全是租户最为关注的问题,也是云计算能否获得广泛应用的关键。文中提出了一种基于存储路径映射加密的云租户数据存储访问方案。方案中,云租户数据被划分为具有逻辑关系的若干存储块,这些逻辑块将提交到云索引服务平台并以多备份的方式存储到不同的云存储服务提供者的存储介质上;基于此,云租户对其私密数据的存储路径映射进行加密。所提出的方案在存储租户数据时,在不同的云存储提供者之间采用了冗余备份的机制,保证了租户数据存储的可靠性;同时,方案仅对租户数据的存储路径进行加密,从而避免了对数据整体的加、解密操作;分析和测试结果验证了方案的安全性、有效性和可行性。

关键词：云计算数据安全映射路径加密

来源：评论

学校读者我要写书评

暂无评论

一种面向功能类似程序的高效克隆检测技术

一种面向功能类似程序的高效克隆检测技术

引用

第十四届全国软件与应用学术会议

作者：董加星许畅南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

程序克隆检测普遍被应用在检测软件市场中是否有经恶意修改后重新发布的软件,或是应用于克隆代码的识别与重构.但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景.功能类似程序之间的克隆... 详细信息

程序克隆检测普遍被应用在检测软件市场中是否有经恶意修改后重新发布的软件,或是应用于克隆代码的识别与重构.但是其应用领域不仅限于此,面向功能类似程序的克隆检测有着独有的特点,同时也有着很大的应用前景.功能类似程序之间的克隆检测要比一般的克隆检测复杂一点,它是要在一些具有相似框架代码,实现功能类似的程序中找到克隆程序对.现有的克隆检测技术在检测功能类似程序时很难控制误报率.本文提出了一种克隆检测方法,通过对功能类似程序克隆检测特点的分析,从中获取有用的信息,最终改进克隆检测技术并将其应用于实践.实验结果表明,该克隆检测技术可以有效地进行克隆检测,结合功能类似程序克隆检测的特点可以很好地控制误报率.

关键词：软件检测程序分析克隆检测技术移植

来源：评论

学校读者我要写书评

暂无评论

一种面向用户需求的Web服务测试方法

引用

计算机学报 2014年第3期37卷 512-521页

作者：许蕾李言辉陈林宫敏颜友军徐宝文南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验... 详细信息

Web服务对外只提供接口文档,可利用生成测试用例的信息不够充分,现有方法所生成的用例冗余度高、查错能力有限.文中基于现有Web服务功能和用户协同推荐构建用户需求模型,再使用领域知识和使用场景生成测试用例,并通过实验演示过程,实验结果表明该文方法生成组合Web服务测试用例的有效性.以用户需求驱动组合Web服务测试,既能保证所选服务真正符合用户需求,又可根据用户使用场景来丰富测试需求信息,结合领域知识启发式生成测试用例.

关键词：组合Web服务用户需求测试用例生成使用场景软件测试中图法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：