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

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

视觉图像显著性检测综述

引用

计算机科学 2020年第7期47卷 84-91页

作者：袁野和晓歌朱定坤王富利谢浩然汪俊魏明强郭延文南京航空航天大学计算机科学与技术学院/人工智能学院南京210006 模式分析与机器智能工业和信息化部重点实验室南京210016 南京大学计算机软件新技术国家重点实验室南京210023 香港公开大学香港999077 香港教育大学香港999077

当今图像数据呈爆炸式增长,如何利用计算机高效地获取、处理图片信息成为领域内重要的研究课题。在人类视觉注意机制的启发下,研究人员发现将这种机制引入机器图像处理任务中可以大大提高信息提取的效率,从而更好地节省有限的计算资源... 详细信息

当今图像数据呈爆炸式增长,如何利用计算机高效地获取、处理图片信息成为领域内重要的研究课题。在人类视觉注意机制的启发下,研究人员发现将这种机制引入机器图像处理任务中可以大大提高信息提取的效率,从而更好地节省有限的计算资源。视觉图像显著性检测即利用计算机模拟人类的视觉注意机制,对图片中各部分信息的重要程度进行计算。其在图像分割、视频压缩、目标检测、图像索引等领域得到了广泛的应用,有着重要的研究价值。文中介绍了图像显著性检测算法的研究现状,首先以信息驱动来源为切入点,对显著性检测模型进行概述,之后分析了现有几种典型的显著性检测算法,并根据是否基于学习的模型将其分为基于非学习模型、基于传统机器学习模型以及基于深度学习模型3类。针对第一类,文中较为详细地对基于局部对比度和基于全局对比度的显著性检测算法进行了分类比较,指出了各自的优势与不足;针对后两类,分析了机器学习算法及深度学习在显著性检测中的应用。最后对现有的显著性检测算法进行了总结比较,对该领域研究的下一步发展方向进行了展望。

关键词：显著区域检测视觉显著性检测深度学习机器学习视觉注意机制

来源：评论

学校读者我要写书评

暂无评论

基于可重随机化混淆电路的可验证计算

引用

软件学报 2019年第2期30卷 399-415页

作者：赵青松曾庆凯刘西蒙徐焕良计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京农业大学信息科技学院江苏南京210095 福州大学数学与计算机科学学院福建福州350117 School of Information Systems Singapore Management University

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似... 详细信息

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似乎仍有很大的空间,并且需要较强的困难性假设.另一方面,Gennaro等人的方案只能在敌手不能对客户端发起任何数量的验证查询这种较弱的模型下被证明是安全的.部分同态加密的困难性假设要弱于全同态加密,虽然只支持数量有限的同态操作,但比全同态加密运行速度更快、更加紧凑.提出了一个使用加同态加密的可验证计算方案.它基于DDH假设,能够容忍任意数量的恶意验证查询,采用的主要技术是可重随机化的混淆电路.该技术可以实现重随机化的混淆电路分布与原有的混淆电路分布在计算上是不可区分的.另外,也给出了一种使用可重随机化的混淆电路构造密码转置防火墙方案,称为可重用密码转置防火墙.也就是说,混淆电路可生成1次,接下来,密码转置防火墙可安全地重随机化和重用多次.

关键词：可验证计算可重随机化混淆电路同态加密密码转置防火墙

来源：评论

学校读者我要写书评

暂无评论

双学习率自适应的Q路由算法

引用

小型微型计算机系统 2019年第8期40卷 1672-1677页

作者：沙鑫磊白光伟张杰赵文天沈航南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093

随着网络不断演进,网络流量呈爆炸式增长,路由方法成为了网络流量控制中的关键难题.这是因为传统的路由策略不具备学习能力,不能从过去的转发经验中学习到拥塞、链路中断等网络异常,也就不能根据网络状态调整路由策略.本文提出了一种双... 详细信息

随着网络不断演进,网络流量呈爆炸式增长,路由方法成为了网络流量控制中的关键难题.这是因为传统的路由策略不具备学习能力,不能从过去的转发经验中学习到拥塞、链路中断等网络异常,也就不能根据网络状态调整路由策略.本文提出了一种双学习率自适应的Q路由算法DALRQ-routing.在轮询阶段,DALRQ-routing根据网络延迟调整echo学习率,减少轮询操作造成的延迟抖动.在转发阶段,算法根据TD-error调整transfer学习率,提高算法收敛速度.通过这种双学习率自适应的机制来降低延迟抖动,加速算法收敛.本文将提出的算法与Full Echo Q-routing和AQFE算法进行了比较.实验结果表明,在动态变化的网络负载下,本文所提出的算法在保持高收敛速度和低初始化峰值延迟的基础上明显减少了延迟抖动,提高了网络的稳定性.

关键词：路由算法自适应路由 Q路由自适应学习率延迟抖动

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

基于联盟链的云访问控制技术研究

引用

微电子学与计算机 2021年第7期38卷 79-84页

作者：张艺帆庄富林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学软件新技术国家重点实验室江苏南京210093

针对云存储环境中单授权中心的安全性问题,提出一种以CP-ABE模型为基础,同时基于联盟区块链的可撤销多授权机构访问控制模型(Revocable Multi-Authority Access Control Based on Consortium Blockchain,RMACB).该模型以树形结构描述属... 详细信息

针对云存储环境中单授权中心的安全性问题,提出一种以CP-ABE模型为基础,同时基于联盟区块链的可撤销多授权机构访问控制模型(Revocable Multi-Authority Access Control Based on Consortium Blockchain,RMACB).该模型以树形结构描述属性授权中心(Attribute Authority,AA),同时利用可信证书链(Trusted Certificate Chain,TCC)和成员服务提供商(Membership Service Provider,MSP)对联盟链上的节点进行身份管理和权限控制.将用户密钥嵌入到密文中去,实现可撤销的云访问控制技术,由云服务提供商来执行重加密过程,减轻了数据所有者的加密负担.实验验证了提出方案具有更低的计算成本和较高的安全性.

关键词：云访问控制联盟区块链属性撤销属性加密

来源：评论

学校读者我要写书评

暂无评论

基于Android社区巡检系统APP的研究与实现

引用

计算机技术与发展 2021年第6期31卷 152-157页

作者：庄富张艺帆林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学软件新技术国家重点实验室江苏南京210093

针对社区治理范围扩大化、复杂化和各类安全事故频发且安全巡查管理工作中容易出现的问题和弊端,采用Java语言、MySQL数据库和OkHttp网络框架,研制成功了一款基于Android的社区巡检系统。该系统具有定位、拍照、录像和智能巡检等功能,... 详细信息

针对社区治理范围扩大化、复杂化和各类安全事故频发且安全巡查管理工作中容易出现的问题和弊端,采用Java语言、MySQL数据库和OkHttp网络框架,研制成功了一款基于Android的社区巡检系统。该系统具有定位、拍照、录像和智能巡检等功能,实时采集巡检范围内的突发事件信息,通过手机APP上传服务器并由后台处理,实时定位巡检人员轨迹。介绍了该系统的整体框架,分析了巡检系统APP的系统功能,重点阐述了APP开发所用到的关键技术,主要包括心跳周期检测机制、视频数据的处理、图片和视频数据的混合传输和传输过程中的断点续传。该APP可以实现对突发事件做到及时发现、及时处置,形成闭环管理,提高了安全巡检工作的质量和管理水平。目前已经应用到江苏省徐州市铜山区汉王镇的社区管理工作中,为社区智能化管理提供了技术支持。

关键词：社区治理 Android 社区巡检系统 OkHttp 实时定位闭环管理

来源：评论

学校读者我要写书评

暂无评论

电子投票中投票者隐私保护策略的研究

引用

现代信息科技 2020年第19期4卷 133-135页

作者：孙毅冉丹南京航空航天大学计算机科学与技术学院江苏南京211106 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

现有的电子投票系统虽然可以通过投票者的微信号、IP地址等来保证选票的唯一性,但也因此泄露了投票者的隐私。文章对电子投票中存在的隐私泄露问题进行分析,研究并提出了一种保护投票者隐私的算法。该算法使用MD5对投票者隐私进行保护,... 详细信息

现有的电子投票系统虽然可以通过投票者的微信号、IP地址等来保证选票的唯一性,但也因此泄露了投票者的隐私。文章对电子投票中存在的隐私泄露问题进行分析,研究并提出了一种保护投票者隐私的算法。该算法使用MD5对投票者隐私进行保护,使用RSA公钥加密技术实现盲签名,可使在投票的所有环节都无法追踪投票者隐私信息。根据所提算法开发实现了一个匿名投票系统,实验验证了该匿名投票系统有效地保护了投票者隐私。

关键词：隐私保护 RSA公钥密码体制盲签名 MD5

来源：评论

学校读者我要写书评

暂无评论

API文档缺陷自动检测和修复方法

引用

计算机应用研究 2019年第9期36卷 2686-2690页

作者：王长志周宇闫鑫南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复API文档缺陷的方法。该方法能够自动检测和修复API文档缺陷。实验中缺陷检测结果的准确率和召回率分别达... 详细信息

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复API文档缺陷的方法。该方法能够自动检测和修复API文档缺陷。实验中缺陷检测结果的准确率和召回率分别达到74. 6%和81. 4%,能够较为准确地检测到Java API的文档缺陷。在进一步的实验中还对API文档的修复功能进行了评估,结果表明生成的文档正确且简洁,可以有效地修复API文档缺陷。

关键词： Java API文档程序异常修复建议

来源：评论

学校读者我要写书评

暂无评论

因果信息在不同粒度上的迁移性

引用

计算机科学 2019年第2期46卷 178-186页

作者：姚宁苗夺谦张志飞同济大学计算机科学与技术系上海201804 同济大学嵌入式系统和服务计算教育部重点实验室上海201804 南京大学计算机软件新技术国家重点实验室南京210023

知识与粒度相关,在不同粒度上对现象的解释不同,而因果性描述的是现象的本质特征。因果性与粒度之间存在着怎样的关联,一个粒度上的因果关系是否可移植到其他不同粒度上,是目前人工智能研究亟待解决的问题。针对由观测数据构成的信息系... 详细信息

知识与粒度相关,在不同粒度上对现象的解释不同,而因果性描述的是现象的本质特征。因果性与粒度之间存在着怎样的关联,一个粒度上的因果关系是否可移植到其他不同粒度上,是目前人工智能研究亟待解决的问题。针对由观测数据构成的信息系统,从数据中直接抽取因果变量所需满足的基本图形结构,估算变量间的因果关系;再通过向系统中添加新属性以及合并多个信息系统,改变原系统中信息的粒度,研究所识别的因果关系在新系统中的可迁移性。若新属性作用于结果变量,则原系统中的因果关系不可迁移至新系统;若新属性对结果变量无影响,则原系统中的因果关系可移植至新系统。

关键词：因果关系可迁移性粗糙集粒度干预因果图

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：