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

软件学报 2021年第5期32卷 1229-1230页

作者：张贺王忠杰陈连平彭鑫南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 哈尔滨工业大学计算学部黑龙江哈尔滨150001 Lianping Chen Ltd. Dublin D06XD73Ireland 复旦大学计算机科学与技术学院上海200438

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、... 详细信息

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuous software engineering)由此被提出并迅速得到广泛的实践应用.微服务(microservice)架构作为一种全新的去中心化分布式架构,在软件架构层面成为适应持续软件工程发展的必然趋势,而领域驱动设计(domain-driven design,简称DDD)伴随着微服务架构的兴起也重新获得了业界的广泛关注,二者共同关注服务自顶向下的合理设计和分解.微服务架构与领域驱动设计共同支持实现现代软件系统的持续性特征.为了反映中国学者和实践者在求解以微服务架构为代表的持续软件工程所面临的架构难题和挑战过程中取得的理论、技术或实验方面的创新性、突破性的高水平研究成果,特设立此专题.

关键词：微服务架构领域驱动设计软件工程软件系统软件架构分布式架构互联网化去中心化

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的欧几里得嵌入的推荐算法

引用

南京航空航天大学学报 2020年第5期52卷 729-735页

作者：余永红殷凯宇王强张文彪赵卫滨南京邮电大学通达学院扬州225127 计算机软件新技术国家重点实验室(南京大学) 南京210023

推荐系统为用户推荐用户可能感兴趣的物品,可以有效地减轻信息过载。基于欧几里得嵌入的协同过滤方法将用户和物品映射到统一的隐藏空间中,是构建推荐系统的重要方法之一。然而,传统的基于欧几里得嵌入的推荐方法仅考虑用户和物品隐藏... 详细信息

推荐系统为用户推荐用户可能感兴趣的物品,可以有效地减轻信息过载。基于欧几里得嵌入的协同过滤方法将用户和物品映射到统一的隐藏空间中,是构建推荐系统的重要方法之一。然而,传统的基于欧几里得嵌入的推荐方法仅考虑用户和物品隐藏特征向量之间低阶交互,不能有效建模现实世界中用户和物品的复杂交互行为。本文提出基于深度学习的欧几里得嵌入的协同过滤算法,利用深度学习技术学习用户和物品隐藏特征向量之间的高阶、非线性交互函数,建模用户和物品之间复杂交互行为。在真实数据集上的实验结果表明,基于深度学习的欧几里得嵌入的协同过滤算法性能优于传统协同过滤算法。

关键词：推荐算法协同过滤欧几里得嵌入深度学习

来源：评论

学校读者我要写书评

暂无评论

基于多目标优化算法NSGA-II推荐相似缺陷报告

引用

计算机学报 2019年第10期42卷 2175-2189页

作者：樊田田许蕾陈林南京大学计算机科学与技术系南京210023 南京大学计算机软件新技术国家重点实验室南京210023

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基... 详细信息

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基于多目标优化算法NSGA-Ⅱ推荐相似缺陷报告的方法,即在推荐尽可能少的相似缺陷报告情况下,使得缺陷报告间的相似度尽可能大.为此,利用缺陷报告的摘要和描述信息,该文采用TFIDF和Word Embedding两种方法,从历史缺陷报告中找出相似的缺陷报告,并采用基于搜索的多目标优化算法NSGA-Ⅱ来保证推荐的相似缺陷报告数目尽可能少.实验数据集是6个开源项目(AspectJ、Birt、Eclipse UI、JDT、SWT和Tomcat).与采用单目标算法相比,该文方法在推荐相似缺陷报告的准确率、平均准确率均值、平均序位倒数均值都有提高,其中,在Top@1准确率、平均准确率均值、平均序位倒数均值上分别比Yang方法提高125.5%、67.7%和62.75%.

关键词：相似缺陷报告推荐多目标优化空间向量模型词嵌入模型 NSGA-Ⅱ算法软件工程

来源：评论

学校读者我要写书评

暂无评论

量子计算与不确定性原理

引用

计算机科学 2020年第1期47卷 40-50页

作者： Renata WONG 南京大学计算机科学与技术系南京大学软件新技术国家重点实验室

对量子计算的计算潜力的高度期望源于量子力学的各种特性,如叠加原理、纠缠现象、破坏性和建设性的量子干扰。相对于经典计算,量子计算具有某些假定的优势,例如量子算法的运行速度比经典算法快;但另一方面却似乎存在影响经典算法但不影... 详细信息

对量子计算的计算潜力的高度期望源于量子力学的各种特性,如叠加原理、纠缠现象、破坏性和建设性的量子干扰。相对于经典计算,量子计算具有某些假定的优势,例如量子算法的运行速度比经典算法快;但另一方面却似乎存在影响经典算法但不影响量子算法的障碍,障碍之一是传统上归因于Werner Heisenberg的两个不确定性原理。Heisenberg最初制定的不确定性原理涉及用于测量量子系统的非量子仪器必然会对该系统造成影响。这个原理与其后来的发展有所不同,因为后来发现的不确定性所假定的是不交换可观察量在测量方面存在固有的不能精确测量的特性。在目前的技术发展状况以及当前对量子力学的形式表述与诠释的情况下,这两种不确定性皆有可能对量子计算的速度造成不良影响。近年来,针对这两种不确定性原理有了新的研究成果:1)Ozawa对Heisenberg原理提出了修改,将两种不确定性纳入其内进行并列考虑,从而可以减小Heisenberg原理的不确定性程度;2)在考虑到熵不确定性的情况下,Heisenberg不确定性可被视为Hirschmann不确定性的下界,因此除了在测量上的不确定性之外,量子计算还必须考虑来自其他如信息学的不确定性因素。

关键词：量子计算不确定性原理不确定性关系熵不确定性

来源：评论

学校读者我要写书评

暂无评论

C/C++程序缺陷自动修复与确认方法

引用

软件学报 2019年第5期30卷 1243-1255页

作者：周风顺王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

在计算机软件中,程序缺陷不可避免且极有可能造成重大损失.因此,尽早发现并排除程序中潜在的缺陷,是学术界和工业界的普遍共识.目前的程序缺陷自动修复方法大都遵循缺陷定位、修复候选项生成、选择及验证的流程,但在修复实际程序时存在... 详细信息

在计算机软件中,程序缺陷不可避免且极有可能造成重大损失.因此,尽早发现并排除程序中潜在的缺陷,是学术界和工业界的普遍共识.目前的程序缺陷自动修复方法大都遵循缺陷定位、修复候选项生成、选择及验证的流程,但在修复实际程序时存在修复率低、无法保证修复结果的正确性等问题.提出了一种基于程序合成的C/C++程序缺陷自动修复方法.首先,从满足相同规约的程序集中,通过人工整理的方式总结错误模式及其对应的修复方法,使用重写规则表达错误模式,在此基础上实现了基于重写规则和基于程序频谱的缺陷定位方法,得到程序中可能的缺陷位置;其次,基于重写规则,使用修复选项生成方法得到缺陷的修复选项,同时,通过深度学习的方式学习正确程序的书写结构,帮助预测错误程序错误点应有的语句结构,通过这两种方式提高候选项质量,进而提高修复率;最后,在选择验证过程中,使用程序合成的方法将样例程序作为约束,保证合成后代码的正确性.基于上述方法实现了原型工具AutoGrader,并在容易出错、缺陷典型的学生作业程序上进行了实验,结果显示,该方法对学生作业程序中的缺陷有着较高的修复率,同时也能保证修复后代码的正确性.

关键词：程序修复程序合成深度学习

来源：评论

学校读者我要写书评

暂无评论

C程序内存泄漏智能化检测方法

引用

软件学报 2019年第5期30卷 1330-1341页

作者：朱亚伟左志强王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进... 详细信息

内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的不准确性导致的.提出了一种内存泄漏的智能化检测方法,通过使用机器学习算法学习程序特征与内存泄漏之间的相关性,构建机器学习分类器,并应用机器学习分类器进一步提高内存泄漏静态分析的准确性.首先构建机器学习分类器,然后通过静态分析方法构建从内存分配点开始的SparseValueFlowGraph(SVFG),并从中提取内存泄漏相关特征,再使用规则和机器学习分类器进行内存泄漏的检测.实验结果显示,该方法在分析指针、分支语句和全局变量时是有效的,能够提高内存泄漏检测的准确性,降低内存泄漏检测结果的误报.最后,对未来研究的可行性以及面临的挑战进行了展望.

关键词：内存泄漏内存泄漏检测静态分析机器学习特征提取

来源：评论

学校读者我要写书评

暂无评论

基于卷积神经网络的蛋白质折叠类型最小特征提取

引用

南京大学学报（自然科学版） 2020年第5期56卷 744-753页

作者：潘越王骏李文飞张建王炜南京大学物理学院南京210023 南京大学脑科学研究院南京210023 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023

通过蛋白质的序列、结构等信息构建完整的蛋白质宇宙是生物信息学中的重要课题,相关研究对蛋白质结构预测、蛋白质进化路径分析以及蛋白质结构设计等方面的研究都有重要的意义.从蛋白质结构的一种简化表示——蛋白质接触图出发,通过训... 详细信息

通过蛋白质的序列、结构等信息构建完整的蛋白质宇宙是生物信息学中的重要课题,相关研究对蛋白质结构预测、蛋白质进化路径分析以及蛋白质结构设计等方面的研究都有重要的意义.从蛋白质结构的一种简化表示——蛋白质接触图出发,通过训练卷积神经网络进行特征提取,筛选出可识别结构域折叠类型的最小特征向量,构建蛋白质折叠类型空间,并使用谱聚类等方法对不同蛋白质折叠类型的高维分布情况进行分析.得到的最小特征向量兼顾了信息的完整性与冗余度,可以很好地表示全部七种常见蛋白质类的空间关联.该研究结果填补了之前蛋白质宇宙研究中对不常见类的空间位置和相互关系描述的空白,加深了对于蛋白质结构相似性的理解.

关键词：蛋白质宇宙深度学习卷积神经网络蛋白质折叠类型识别

来源：评论

学校读者我要写书评

暂无评论

哑元位置隐私博弈机制

引用

小型微型计算机系统 2020年第3期41卷 610-616页

作者：牛晓磊沈航白光伟陈林南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093

本文提出哑元位置隐私博弈机制,目的是在满足服务质量的基础上,最小化整体效用代价.该机制根据LBS中查询用户设定的当前查询的隐私保护需求,将用户的真实位置经坐标转换为哑元与其余k-1个用户进行k匿名处理后发送给LBS服务器,使攻击者... 详细信息

本文提出哑元位置隐私博弈机制,目的是在满足服务质量的基础上,最小化整体效用代价.该机制根据LBS中查询用户设定的当前查询的隐私保护需求,将用户的真实位置经坐标转换为哑元与其余k-1个用户进行k匿名处理后发送给LBS服务器,使攻击者难以确定用户的真实位置.然而掌握用户背景知识的攻击者会利用匿名区域内所有用户的数据进行更深层次的信息挖掘,并根据用户策略调整攻击方式.该机制基于Stackelberg博弈模型对位置匿名进行优化,在确保一定服务质量前提下设定合理的隐私保护策略以降低攻击者推测的准确度,随后攻击者执行攻击策略,设定合适的推测机制来提高攻击的准确度.实验结果表明,该保护机制在位置暴露率、隐私水平和位置熵等方面有着良好的表现,同时将服务质量损失限制在可控范围内,在损失一定的服务质量的同时换取更高的隐私保护效果.

关键词：哑元斯塔克尔伯格博弈服务质量隐私保护

来源：评论

学校读者我要写书评

暂无评论

内部结构自支撑的三维打印浮体平衡优化算法

引用

计算机辅助设计与图形学学报 2020年第3期32卷 493-500页

作者：王继东赵瑞斌魏明强湖州师范学院教师教育学院湖州313000 南京师范大学教育技术系南京210097 南京航空航天大学计算机科学与技术学院南京210016 模式分析与机器智能工业和信息化部重点实验室南京210016 南京大学计算机软件新技术国家重点实验室南京210023

为了使浮体能够在熔融挤压式三维打印机中一次成型,提出一种内部结构自支撑的浮体平衡优化算法.首先在给定漂浮姿势的输入模型内部,利用递归细分方法生成自支撑的格子结构,并把输入模型与格子结构组合为初始浮体模型.然后以初始浮体模... 详细信息

为了使浮体能够在熔融挤压式三维打印机中一次成型,提出一种内部结构自支撑的浮体平衡优化算法.首先在给定漂浮姿势的输入模型内部,利用递归细分方法生成自支撑的格子结构,并把输入模型与格子结构组合为初始浮体模型.然后以初始浮体模型中格子单元体积为变量构建平衡优化方程,根据方程解算结果调整初始浮体模型中每个格子单元的体积,从而生成最终的浮体模型.实验结果表明,文中算法生成的浮体模型可以使用熔融挤压式三维打印机直接打印,打印的实体不但能够按照预设的姿势漂浮在液体中,而且具有较好的抗压能力;算法中的递归细分策略能够在模型内部产生较多的格子单元,具有节省打印材料的优势.

关键词：自支撑结构优化浮力平衡三维打印

来源：评论

学校读者我要写书评

暂无评论

空间机械臂基于速度观测器的神经网络控制

引用

空间控制技术与应用 2022年第6期48卷 12-21页

作者：张文辉沈金淼游张平叶晓平周书华南京晓庄学院电子工程学院南京211167 浙江理工大学机械与自动控制学院杭州310000 丽水学院工学院丽水323000 浙江经济职业技术学院汽车工程学院杭州323000 浙江省文创产品数字化设计与智能制造重点实验室丽水323000 计算机软件新技术国家重点实验室(南京大学) 南京210093 浙江省航空航天金属导管塑性成形技术与装备重点实验室丽水323000

针对无速度反馈的柔性关节空间机器人控制问题,提出了一种基于速度观测器的自适应神经网络的控制方法.基于奇异摄动理论将柔性关节空间机械臂动力学模型分解为快慢变2个子系统;利用神经网络逼近控制器和观测器中的未知非线性,设计基于... 详细信息

针对无速度反馈的柔性关节空间机器人控制问题,提出了一种基于速度观测器的自适应神经网络的控制方法.基于奇异摄动理论将柔性关节空间机械臂动力学模型分解为快慢变2个子系统;利用神经网络逼近控制器和观测器中的未知非线性,设计基于自适应神经网络的速度观测器和控制器,动态抵消模型不确定性对系统的影响;利用泰勒线性化方法,设计了权值、基函数中心和宽度参数在内的自适应学习律,提高了控制精度,且不需要离线学习;设计了基于速度差值的控制器来抑制快变子系统模型中的弹性振动;基于Lyapunov稳定性理论证明了闭环系统的一致最终有界.仿真实验证明了所提控制策略的有效性.

关键词：空间机械臂柔性关节速度观测器神经网络振动抑制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：