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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

FactChain:一个基于区块链的众包知识融合系统

引用

软件学报 2022年第10期33卷 3546-3564页

作者：朱向荣吴鸿祜胡伟计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

知识图谱作为诸多人工智能应用的关键,受到学术界和工业界的广泛关注.当前的知识图谱一般由特定组织构建并维护,以RDF转储文件或SPARQL查询接口的方式提供知识访问服务,这种中心化的管理方式存在不能持久化访问的弊端.具体来说,一旦服... 详细信息

知识图谱作为诸多人工智能应用的关键,受到学术界和工业界的广泛关注.当前的知识图谱一般由特定组织构建并维护,以RDF转储文件或SPARQL查询接口的方式提供知识访问服务,这种中心化的管理方式存在不能持久化访问的弊端.具体来说,一旦服务提供者单点崩溃,用户就无法以可靠的方式获取知识.此外,知识因时效性可能需要更新,不同来源的知识之间可能存在冲突,传统的知识图谱构建维护方式难以有效地处理这些问题.区块链技术以其分布式存储与共识机制,为知识图谱的分布式构建与管理提供了新思路.FactChain是一个基于区块链的知识管理系统,具有为知识的多源共享与融合建立全新的去中心化生态的潜力.使用联盟链作为底层架构,由区块链、组织和参与人这3层结构组成.通过区块链上的智能合约编程实现融合多源冲突知识的真值验证算法,具有在组织层面实现并部署基于分布式应用的参与人管理、在本地局部本体与全局共享本体间建立映射以及结合链上与链下数据响应参与人查询请求等功能.

关键词：知识图谱区块链分布式知识管理知识融合

来源：评论

学校读者我要写书评

暂无评论

基于开放逻辑R反驳计算的访问控制策略精化

引用

软件学报 2015年第6期26卷 1534-1556页

作者：吴迎红黄皓吕庆伟曾庆凯张迪明计算机软件新技术国家重点实验室(南京大学) 江苏南京210046

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精... 详细信息

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合Saa S平台客户应用系统策略精化需求.

关键词：访问控制 SaaS 策略精化策略冲突分析开放逻辑 R反驳计算

来源：评论

学校读者我要写书评

暂无评论

基于代价敏感间隔分布优化的软件缺陷定位

引用

软件学报 2017年第11期28卷 3072-3079页

作者：解铮黎铭计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

在大型软件项目的开发与维护中,从大量的代码文件中定位软件缺陷费时、费力,有效地进行软件缺陷自动定位,将能极大地降低开发成本.软件缺陷报告通常包含了大量未发觉的软件缺陷的信息,精确地寻找与缺陷报告相关联的代码文件,对于降低维... 详细信息

在大型软件项目的开发与维护中,从大量的代码文件中定位软件缺陷费时、费力,有效地进行软件缺陷自动定位,将能极大地降低开发成本.软件缺陷报告通常包含了大量未发觉的软件缺陷的信息,精确地寻找与缺陷报告相关联的代码文件,对于降低维护成本具有重要意义.目前,已有一些基于深度神经网络的缺陷定位技术相对于传统方法,其效果有所提升,但相关工作大多关注网络结构的设计,缺乏对训练过程中损失函数的研究,而损失函数对于预测任务的性能会有极大的影响.在此背景下,提出了代价敏感的间隔分布优化(cost-sensitive margin distribution optimization,简称CSMDO)损失函数,并将代价敏感的间隔分布优化层应用到深度卷积神经网络中,能够良好地处理软件缺陷数据的不平衡性,进一步提高缺陷定位的准确度.

关键词：软件挖掘机器学习缺陷定位卷积神经网络间隔分布优化

来源：评论

学校读者我要写书评

暂无评论

一种满足差分隐私的图赌博机算法

引用

软件学报 2022年第9期33卷 3223-3235页

作者：卢世银王广辉邱梓豪张利军计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

图赌博机是一种重要的不确定性环境下的序列决策模型,在社交网络、电子商务和推荐系统等领域都得到了广泛的应用.目前,针对图赌博机的工作都只关注如何快速识别最优摇臂从而最小化累积遗憾,而忽略了在很多应用场景中存在的隐私保护问题... 详细信息

图赌博机是一种重要的不确定性环境下的序列决策模型,在社交网络、电子商务和推荐系统等领域都得到了广泛的应用.目前,针对图赌博机的工作都只关注如何快速识别最优摇臂从而最小化累积遗憾,而忽略了在很多应用场景中存在的隐私保护问题.为了克服现有图赌博机算法的缺陷,提出了一种满足差分隐私的图赌博机算法GAP(图反馈下的差分隐私摇臂消除策略).一方面,GAP算法阶段性地根据摇臂的经验平均奖赏更新摇臂选取策略,并在计算摇臂的经验平均奖赏时引入拉普拉斯噪声,从而确保恶意攻击者难以根据算法输出推算摇臂奖赏数据,保护了隐私.另一方面,GAP算法在每个阶段根据精心构造的反馈图的独立集探索摇臂集合,有效地利用了图形式的反馈信息.证明了GAP算法满足差分隐私性质,具有与理论下界相匹配的遗憾界.在仿真数据集上的实验结果表明:GAP算法在有效保护隐私的同时取得了与现有无隐私保护的图赌博机算法相当的累积遗憾.

关键词：图赌博机差分隐私不确定性环境下的序列决策独立集拉普拉斯噪声

来源：评论

学校读者我要写书评

暂无评论

基于混合链的协作业务流程的隐私保护和数据监管

引用

计算机集成制造系统 2024年第8期30卷 2897-2912页

作者：邹文涛李传艺葛季栋骆斌南京大学计算机软件新技术国家重点实验室江苏南京210023

协作业务流程可以在执行跨组织的业务目标时简化业务逻辑,提升协作效率。它有两个重要的管理目标:隐私保护和数据监管。协作者们通常会利用可信的第三方平台。然而这种中心化的协作会存在监管失效和隐私泄露的风险。因此,目前的研究转... 详细信息

协作业务流程可以在执行跨组织的业务目标时简化业务逻辑,提升协作效率。它有两个重要的管理目标:隐私保护和数据监管。协作者们通常会利用可信的第三方平台。然而这种中心化的协作会存在监管失效和隐私泄露的风险。因此,目前的研究转向了利用去中心化方式的区块链技术实现流程监管。目前的方法基于匿名身份和公开的数据,会造成数据泄露的风险。为此,提出一个基于混合链的协作业务流程管理新方法,在监管业务流程数据的基础上,设计了对流程数据的针对性隐私保护方案。公有链部分确保流程实例对外部用户的隐私性和可监管性,联盟链部分提供了对内部协作者的隐私保护和数据监管。当流程实例在联盟链上执行时,利用三次遍历全体协作者的双向传递机制隔离协作任务。通过在多个公开的业务流程数据上的仿真实验,对比了混合链方法与其他基于区块链的方法。实验结果表明,混合链方法能够保护隐私数据和监管流程数据,在执行效率上具备可用性。

关键词：协作业务流程区块链隐私保护数据监管

来源：评论

学校读者我要写书评

暂无评论

通过抽象程序证明复杂具体程序

引用

软件学报 2017年第4期28卷 786-803页

作者：李彬汤震浩翟娟赵建华计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点... 详细信息

描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.

关键词：程序证明一致性抽象程序精化分解

来源：评论

学校读者我要写书评

暂无评论

层次式主动兴趣管理研究

引用

软件学报 2006年第10期17卷 2163-2172页

作者：贝佳曾定浩翟磊崔业怡潘金贵计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

主动兴趣管理将主动路由技术应用于兴趣管理领域,采用通信和兴趣管理相结合的方式确定分布式虚拟环境中对象间的通信关系.在对主动兴趣管理、层次式兴趣管理及其相关技术进行总结的基础上,层次式主动兴趣管理引入了兴趣层次的概念,提出... 详细信息

主动兴趣管理将主动路由技术应用于兴趣管理领域,采用通信和兴趣管理相结合的方式确定分布式虚拟环境中对象间的通信关系.在对主动兴趣管理、层次式兴趣管理及其相关技术进行总结的基础上,层次式主动兴趣管理引入了兴趣层次的概念,提出了适用于虚拟环境中多个对象的兴趣层次评价模型,并根据兴趣层次控制通信细节,减少了不必要的网络通信,进一步提高了系统的可扩展性.

关键词：分布式虚拟环境主动兴趣管理兴趣层次层次式主动兴趣管理

来源：评论

学校读者我要写书评

暂无评论

一种令P2P覆盖网络拓扑相关的通用方法

引用

软件学报 2007年第2期18卷 381-390页

作者：邱彤庆陈贵海计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

利用分布式哈希表,有结构的对等(peer-to-peer,简称P2P)网络具备了较短的路由长度和较好的扩展性.然而,由此产生了覆盖网络和物理网络之间的不匹配问题,它严重阻碍了在大规模环境下建立有效的对等网络.提出一种通用的、协议无关的方法... 详细信息

利用分布式哈希表,有结构的对等(peer-to-peer,简称P2P)网络具备了较短的路由长度和较好的扩展性.然而,由此产生了覆盖网络和物理网络之间的不匹配问题,它严重阻碍了在大规模环境下建立有效的对等网络.提出一种通用的、协议无关的方法来解决该问题.该方法基于节点交换机制,通过发现并实施有利于覆盖网络和物理网络匹配的节点交换来降低网络时延、提高性能.实验表明,该方法在明显降低了覆盖网络的平均时延的同时,也保证了额外开销可控.此外,若与其他协议相关的方法相结合,系统性能还可以得到进一步提高.

关键词：对等网络覆盖网络拓扑有关

来源：评论

学校读者我要写书评

暂无评论

量子程序设计语言NDQJava

引用

软件学报 2008年第1期19卷 1-8页

作者：徐家福宋方敏钱士钧戴静安张云洁南京大学计算机软件新技术国家重点实验室江苏南京210093

量子程序设计语言自1996年出现以来,颇受业界重视.在简述几种有代表性的量子程序设计语言之后,着重阐述自行设计之量子程序设计语言NDQJava之概貌,其中包括设计准则、语言风范、硬件平台、基本成分以及示例等.此外,还提及相关工作.

关键词：量子程序设计语言命令式量子程序设计语言申述式量子程序设计语言量子数据类型量子变量量子表达式量子语句

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：