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

软件学报 2016年第4期27卷 855-878页

作者：曾梦凡陈思洋张文茜聂长海计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中.已有的研究工作表明:蚁群算法适... 详细信息

覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中.已有的研究工作表明:蚁群算法适于求解一般覆盖表、变力度覆盖表生成以及覆盖表排序等问题,但算法结果与其他覆盖表生成方法相比并不具有优势.为了进一步探索与挖掘蚁群算法生成覆盖表的潜力,进行了如下4个层次的改进工作:(1)算法变种集成;(2)算法参数配置优化;(3)演化对象结构调整及演化策略改进;(4)利用并行计算优化算法时间开销.实验结果表明:通过以上4个层次的改进,蚁群算法生成覆盖表的性能有了显著提升.

关键词：覆盖表蚁群算法演化搜索算法并行计算组合测试软件测试

来源：评论

学校读者我要写书评

暂无评论

安全与成本感知的实例密集型云工作流调度方法

引用

计算机集成制造系统 2017年第5期23卷 955-962页

作者：文一凭窦万春刘建勋陈爱民周旻昊南京大学计算机软件新技术国家重点实验室江苏南京210023 湖南科技大学知识处理与网络化制造湖南省普通高校重点实验室湖南湘潭411201 湘潭市规划信息技术研究中心湖南湘潭411000 湖南华菱湘潭钢铁有限公司湖南湘潭411201

针对现有实例密集型云工作流调度方法未考虑安全需求及未引入实例的不足,构建了相应的调度模型,并通过借鉴信任管理的思想,提出基于用户信任度的工作流实例方面处理策略以及一种安全与成本感知的实例密集型云工作流调度算法(SC-ICW)。... 详细信息

针对现有实例密集型云工作流调度方法未考虑安全需求及未引入实例的不足,构建了相应的调度模型,并通过借鉴信任管理的思想,提出基于用户信任度的工作流实例方面处理策略以及一种安全与成本感知的实例密集型云工作流调度算法(SC-ICW)。该算法可在满足截止时间与安全需求约束的前提下优化执行成本,并减少实例方面处理可能引发的安全风险。通过仿真实验说明了该算法的有效性。

关键词：实例密集型云工作流安全成本用户信任度调度

来源：评论

学校读者我要写书评

暂无评论

乱针绣仿真中针绣图块路径排布规划研究

引用

计算机仿真 2017年第3期34卷 258-262,331页

作者：徐绕山孙正兴王春苗南京信息职业技术学院数码艺术学院江苏南京210023 南京大学计算机软件新技术国家重点实验室江苏南京210046

计算机仿真技术是中华传统手工艺乱针绣保护、传承的重要途径。在乱针绣仿真过程中,所绣制图案的构成、尺寸变化无严格规律,纹理和边界形状也是千变万化,而用于绣制的针法种类、形状和尺寸受到限制,导致针法的选择与排布难以达到满意的... 详细信息

计算机仿真技术是中华传统手工艺乱针绣保护、传承的重要途径。在乱针绣仿真过程中,所绣制图案的构成、尺寸变化无严格规律,纹理和边界形状也是千变万化,而用于绣制的针法种类、形状和尺寸受到限制,导致针法的选择与排布难以达到满意的效果。针对乱针绣的应用背景和约束条件,提出在几何约束下的针绣图块路径排布规划方法。将绣制区域进行均匀剖分以选定图形排布的大致位置,通过设计最小化能量函数的计算来选择和精确排布。然后,采用优化策略使填充图块形变,以达到重叠和缝隙可控的排布效果。仿真结果表明,上述方法能够提高图块排布精度和适用性,满足乱针绣模拟在几何约束下的针法排布要求。

关键词：乱针绣图像剖分几何约束针法排布

来源：评论

学校读者我要写书评

暂无评论

强化学习及其在电脑围棋中的应用

引用

自动化学报 2016年第5期42卷 685-695页

作者：陈兴国俞扬南京邮电大学计算机学院/软件学院南京210046 南京大学计算机软件新技术国家重点实验室南京210023

强化学习是一类特殊的机器学习,通过与所在环境的自主交互来学习决策策略,使得策略收到的长期累积奖赏最大.最近,在围棋和电子游戏等领域,强化学习被成功用于取得人类水平的操作能力,受到了广泛关注.本文将对强化学习进行简要介绍,重点... 详细信息

强化学习是一类特殊的机器学习,通过与所在环境的自主交互来学习决策策略,使得策略收到的长期累积奖赏最大.最近,在围棋和电子游戏等领域,强化学习被成功用于取得人类水平的操作能力,受到了广泛关注.本文将对强化学习进行简要介绍,重点介绍基于函数近似的强化学习方法,以及在围棋等领域中的应用.

关键词：强化学习函数近似核方法神经网络加性模型深度强化学习

来源：评论

学校读者我要写书评

暂无评论

复杂网络链接预测的路径抽样方法

引用

小型微型计算机系统 2017年第8期38卷 1693-1698页

作者：戴彩艳陈崚李斌南京中医药大学信息技术学院南京210000 信息学院计算机系扬州大学江苏扬州225009 南京大学软件新技术国家重点实验室南京210093

链接预测问题在社会学、人类学、信息科学以及计算机科学等各个领域都受到了广泛的关注.在许多现实应用中,只需要对用户感兴趣顶点的相似度进行预测,而不需要预测复杂网络中的所有顶点.提出一种快速的以路径相似度为基础的方法来预测指... 详细信息

链接预测问题在社会学、人类学、信息科学以及计算机科学等各个领域都受到了广泛的关注.在许多现实应用中,只需要对用户感兴趣顶点的相似度进行预测,而不需要预测复杂网络中的所有顶点.提出一种快速的以路径相似度为基础的方法来预测指定的顶点对间的链接.在该方法中,首先定义顶点之间的路径相似度的概念,然后对给出的节点对之间构造一个的路径的集合,通过设定该集合适当的大小,可以将相似度的误差限制在一个给定的阈值范围内.由于只要计算相关路径的个数,因此该算法可以大大减少计算时间.以对单个节点的路径抽样方法为基础,提出了整个网络的链接预测算法.通过在实际网络上的实验结果表明,本算法与其他方法相比,在更短的时间可以获得更高精度的结果.

关键词：链接预测路径相似度相似度误差复杂网络

来源：评论

学校读者我要写书评

暂无评论

通用量子计算机:理论、组成与实现

引用

计算机学报 2016年第12期39卷 2429-2445页

作者：吴楠宋方敏 LIXiang-Dong 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 纽约城市大学计算机科学系纽约美国10016

通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底... 详细信息

通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底层量子物理设备、量子计算机体系结构、量子资源调度和上层量子程序设计语言、量子算法及量子应用软件等多方面进行努力.文中结合国内外在上述各方面研究的最新进展以及作者自身的研究结果,从计算机系统的角度为通用量子计算机的研究和制造绘制一幅蓝图,并详细阐述了其中的困难与努力方向.

关键词：量子计算量子计算机体系结构量子信息量子程序设计语言量子算法物理实现

来源：评论

学校读者我要写书评

暂无评论

面向危险操作的动态符号执行方法

引用

软件学报 2016年第5期27卷 1230-1245页

作者：王伟光曾庆凯孙浩计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 南京大学计算机科学与技术系江苏南京210046

针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.... 详细信息

针对缺陷检测的需求,提出了面向危险操作的动态符号执行方法.依据所关注的缺陷类型,定义危险操作及危险操作相关路径,通过计算覆盖不同上下文中危险操作的能力,协助动态符号执行选择高效初始输入,并利用危险操作相关信息引导测试流程.缺陷检测成为定位待测程序内危险操作以及对危险操作相关路径进行检测的过程.实现了面向Linux平台二进制可执行程序的原型系统Crash Finder,实验结果表明,该方法能够更快地发现更多缺陷.

关键词：危险操作动态符号执行污点分析路径选择缺陷检测

来源：评论

学校读者我要写书评

暂无评论

面向方面设计中干涉问题的分析工具

引用

软件学报 2016年第3期27卷 633-644页

作者：陈鑫黄超张一帆梅一鸣计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有... 详细信息

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉,已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.设计开发了基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具,它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中无干涉存在或者为修正干涉问题提供线索.

关键词：面向方面的设计功能干涉推理验证设计演算

来源：评论

学校读者我要写书评

暂无评论

引入内可信基的应用程序保护方法

引用

软件学报 2016年第4期27卷 1042-1058页

作者：邓良曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

提出一种在不可信操作系统中保护应用程序的新方法 App ISO.针对传统的虚拟化方法的高开销问题,App ISO在不可信操作系统的同一特权层引入内可信基,代替虚拟机监控器实施应用程序保护,避免了昂贵的特权层切换.同时利用硬件虚拟化,以及... 详细信息

提出一种在不可信操作系统中保护应用程序的新方法 App ISO.针对传统的虚拟化方法的高开销问题,App ISO在不可信操作系统的同一特权层引入内可信基,代替虚拟机监控器实施应用程序保护,避免了昂贵的特权层切换.同时利用硬件虚拟化,以及页表锁定、影子IDT、切换页面等软件技术保证内可信基的安全性.证明了所提内可信基方法与虚拟化方法具有同样的高安全性.实验和分析结果表明,内可信基方法可显著地提高系统性能.

关键词：内可信基应用程序保护不可信操作系统虚拟化

来源：评论

学校读者我要写书评

暂无评论

自组织增量学习神经网络综述

引用

软件学报 2016年第9期27卷 2230-2247页

作者：邱天宇申富饶赵金熙计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

自组织增量学习神经网络SOINN(self-organizing incremental neural network)是一种基于竞争学习的两层神经网络,用于在没有先验知识的情况下对动态输入数据进行在线聚类和拓扑表示,同时,对噪音数据具有较强的鲁棒性.SOINN的增量性,使... 详细信息

自组织增量学习神经网络SOINN(self-organizing incremental neural network)是一种基于竞争学习的两层神经网络,用于在没有先验知识的情况下对动态输入数据进行在线聚类和拓扑表示,同时,对噪音数据具有较强的鲁棒性.SOINN的增量性,使得它能够发现数据流中出现的新模式并进行学习,同时不影响之前学习的结果.因此,SOINN能够作为一种通用的学习算法应用于各类非监督学习问题中.对SOINN的模型和算法进行相应的调整,可以使其适用于监督学习、联想记忆、基于模式的推理、流形学习等多种学习场景中.SOINN已经在许多领域得到了应用,包括机器人智能、计算机视觉、专家系统、异常检测等.

关键词：神经网络自组织竞争学习增量学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：