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

电子学报 2007年第B12期35卷 160-164页

作者：荆博贤徐锋陶先平吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所江苏南京210093

信任管理被认为是一种适宜解决开放环境下安全问题的新方法．但现有的信任模型难以应对信任炒作和恶意诽谤的行为，另外，在模型的实现上存在着否定信任信息传播困难，难以防止信任信息篡改等问题．本文基于对信任概念的研究，给出了一... 详细信息

信任管理被认为是一种适宜解决开放环境下安全问题的新方法．但现有的信任模型难以应对信任炒作和恶意诽谤的行为，另外，在模型的实现上存在着否定信任信息传播困难，难以防止信任信息篡改等问题．本文基于对信任概念的研究，给出了一个基于声誉记录的信任模型，模型按事务的重要程度来采纳声誉信息，能够有效降低实体问信任炒作和诽谤行为所带来的影响．在系统实现过程中，通过标签机制促进了否定信任信息的传播，并有效防止对信任信息的恶意篡改．最后，通过在电子商务场景中的应用，初步验证了模型的合理性，和标签机制的有效性．

关键词：信任模型信任管理声誉开放环境防炒作

来源：评论

学校读者我要写书评

暂无评论

一个个性化的信息搜集Agent的设计与实现

引用

软件学报 2001年第7期12卷 1074-1079页

作者：潘金贵胡学联李俊张灵玲南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学多媒体计算技术研究所江苏南京210093

介绍了一个个性化的信息搜集Agent系统———DOLTRI Agent(distanceandopenlearningtrainingre sourceinformationagent)的设计与实现 .DOLTRI Agent系统是一个远程开放式学习 (distanceandopenlearn ing ,简称DOL)的教材信息搜集Agent .它基于多Agent体系结构 ,包含 3个子Agent和其他 3个组件 .该系统具有主动搜集、维护、更新信息的功能 ,同时还具有个性化的特点 ,可不断学习用户知识 ,包括用户感兴趣的信息领域、用户的使用习惯等。

关键词： Agent 信息搜集个性化远程教育 Internet

来源：评论

学校读者我要写书评

暂无评论

基于Internet的远程软件维护系统的设计与实现

引用

小型微型计算机系统 2001年第4期22卷 433-435页

作者：徐盛林龚如宾沈峰潘金贵计算机软件新技术国家重点实验室南京大学多媒体计算机研究所江苏南京210093

软件维护是软件生存周期中的一个重要阶段 ,利用网络进行远程维护可以提高软件维护的效率 ,缩短软件维护的时间 .本文论述了一个基于 Internet的远程软件维护系统 RSMS(Remote Software Maintenance System)

关键词：软件资料列表远程软件维护系统 Internet 软件工程

来源：评论

学校读者我要写书评

暂无评论

基于混合蚂蚁算法的QoS多播路由算法研究

引用

通信学报 2009年第6期30卷 142-148页

作者：孙知信夏云安南京邮电大学计算机技术研究所江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210093

在研究了QoS多播路由算法的基础上,提出了一种基于混合蚂蚁算法的QoS多播路由算法——QMRA-GAA算法。QMRA-GAA算法利用混合蚂蚁算法构造多播树,真正做到了协议无关,同时QMRA-GAA算法还具有额外负载低、自适应性强、不产生回路等优点。... 详细信息

在研究了QoS多播路由算法的基础上,提出了一种基于混合蚂蚁算法的QoS多播路由算法——QMRA-GAA算法。QMRA-GAA算法利用混合蚂蚁算法构造多播树,真正做到了协议无关,同时QMRA-GAA算法还具有额外负载低、自适应性强、不产生回路等优点。仿真结果表明,和传统的QoS多播路由算法相比,QMRA-GAA算法在加入成功率、自适应性方面都有了很大的提高,建树代价也控制在很好的范围内。

关键词：多播路由算法服务质量蚂蚁网络算法协议无关

来源：评论

学校读者我要写书评

暂无评论

软件过程与管理方法综述

引用

软件学报 2019年第1期30卷 62-79页

作者：荣国平张贺邵栋王青计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 中国科学院软件研究所北京100190

工程化软件开发需要对软件开发整个过程进行有效的组织和管理,由此产生了一系列软件开发组织和管理方法,其主要目的是形成一种载体,用以积累和传递关于软件开发的经验教训.然而,由于软件开发的一些天然特性(比如复杂性和不可见性)的存在... 详细信息

工程化软件开发需要对软件开发整个过程进行有效的组织和管理,由此产生了一系列软件开发组织和管理方法,其主要目的是形成一种载体,用以积累和传递关于软件开发的经验教训.然而,由于软件开发的一些天然特性(比如复杂性和不可见性)的存在,使得描述软件开发过程的软件开发与组织方法也天然地带着一定的抽象性.由此带来了很多概念上的误导和实践中的争论,影响了上述目的的达成.例如,对于究竟该如何选择和定义合适的软件开发过程以更好地满足某个特定项目的要求,目前仍然缺少可靠的手段.甚至有些面向工业界的调研报告表明:在实际软件项目开发中,过程改进(例如引入新的工具或者方法)的主要驱动力是佚闻.试图厘清软件组织与管理话题的若干核心概念,系统梳理软件组织和管理方法的特征,并且以软件发展的历史为主线,介绍软件组织与管理方法的历史沿革,整理出这种历史沿革背后的缘由.在此基础上,讨论和总结若干发现,以期为研究者和实践者提供参考.

关键词：软件工程软件过程软件项目管理软件过程管理

来源：评论

学校读者我要写书评

暂无评论

支持乱序执行的Raft协议

引用

软件学报 2021年第6期32卷 1748-1778页

作者：谷晓松魏恒峰乔磊黄宇计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 北京控制工程研究所北京100190

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为***突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式... 详细信息

PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为***突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式化规约.更进一步,它的正确性也尚未经过必要的数学论证或形式化检验.旨在为ParallelRaft提供严格的形式化规约并证明其正确性,主要贡献包括:首先,为了理清ParallelRaft与Raft之间的关系,提出了允许乱序提交、顺序执行的ParallelRaft-SE(sequential execution)协议,并建立了从ParallelRaft-SE到Multi-Paxos的精化关系;其次,现有的ParallelRaft描述忽略了可能会违反状态一致性的"幽灵日志"问题,因此在ParallelRaft-SE的基础上提出了ParallelRaft-CE(concurrent execution)协议.ParallelRaft-CE限制了ParallelRaft-SE在乱序提交阶段的并行度,避免了"幽灵日志"问题,支持乱序执行,并保证乱序执行下的状态机一致性.证明了ParallelRaft-CE的正确性.最后,使用TLA+给出了ParallelRaft-SE和ParallelRaft-CE的形式化规约,并对协议参与者数量较小的情形,使用TLC模型检验与模拟测试工具验证了从ParallelRaft-SE到Multi-Paxos的精化关系以及ParallelRaft-CE的正确性.

关键词： Raft ParallelRaft Multi-Paxos 共识协议 TLA+ 精化关系模型检验

来源：评论

学校读者我要写书评

暂无评论

基于SANE标准的光栅扫描设备应用程序的开发

引用

小型微型计算机系统 2001年第10期22卷 1216-1218页

作者：张安清南京大学多媒体计算机技术研究所软件新技术国家重点实验室江苏南京210093

本文介绍了光栅扫描设备应用程序的开发标准 SANE,以及如何基于

关键词：软件开发应用程序光栅扫描设备 SANE标准计算机

来源：评论

学校读者我要写书评

暂无评论

PaxosStore中共识协议TPaxos的推导、规约与精化

引用

软件学报 2020年第8期31卷 2336-2361页

作者：易星辰魏恒峰黄宇乔磊吕建计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 北京控制工程研究所北京100190

PaxosStore是腾讯开发的高可用分布式存储系统,现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体,称为***的新颖之处在于其“统一性”:为每个参与者维护统一的状态类型,并采用统一格式的消息进行通信.然而... 详细信息

PaxosStore是腾讯开发的高可用分布式存储系统,现已用于全面支持微信核心业务.PaxosStore实现了分布式共识协议Paxos的一种变体,称为***的新颖之处在于其“统一性”:为每个参与者维护统一的状态类型,并采用统一格式的消息进行通信.然而,这种设计方案也带来了TPaxos与Paxos之间的诸多差异,给理解TPaxos造成了障碍.其次,虽然腾讯开源了TPaxos协议的核心代码(包括伪代码与C++代码),但TPaxos仍缺少抽象而精确的形式化规约.最后,根据文献检索,TPaxos的正确性尚未经过必要的数学论证或者形式化工具的检验.针对这些情况,有3个主要贡献:首先,从经典的Paxos协议出发,论证如何逐步推导出TPaxos协议.基于这种推导,可以将TPaxos看作Paxos的一种自然变体,更易于理解.其次,给出了TPaxos协议的TLA+形式化规约.在开发规约的时候发现,TPaxos协议描述中存在至关重要但并未充分阐明的微妙之处:在消息处理阶段,参与者(作为接受者角色)是先作出“不再接受具有更小编号的提议”的承诺(promise),还是先接受(accept)提议?这导致了对TPaxos的两种不同理解,并促使提出TPaxos的一种变体,称为TPaxosAP.在TPaxosAP中,参与者先接受提议后作承诺.最后,使用精化(refinement)技术论证了TPaxos与TPaxosAP的正确性.特别地,由于已知的投票机制Voting不能完全描述TPaxosAP的行为,首先提出了适用于TPaxosAP的投票机制EagerVoting,然后建立了从TPaxosAP到EagerVoting以及从EagerVoting到Consensus的精化关系,并使用TLC模型检验工具验证了它们的正确性.

关键词： Paxos PaxosStore 共识协议 TLA+ 精化关系模型检验

来源：评论

学校读者我要写书评

暂无评论

一种基于特征矩阵的软件脆弱性代码克隆检测方法

引用

软件学报 2015年第2期26卷 348-363页

作者：甘水滔秦晓军陈左宁王林章数学工程与先进计算国家重点实验室(无锡江南计算技术研究所) 江苏无锡214083 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过... 详细信息

提出了一种基于特征矩阵的软件代码克隆检测方法.在此基础上,实现了针对多类脆弱性的检测模型.基于对脆弱代码的语法和语义特征分析,从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型,将4种基本克隆类型细化拓展到更多类,通过遍历代码片段对应的语法分析树中关键节点的数量,构造对应的特征矩阵.从公开漏洞数据库中抽取部分实例作为基本知识库,通过对代码进行基于多种克隆类型的聚类计算,达到了从被测软件代码中检测脆弱代码的目的.与基于单一特征向量的检测方法相比,对脆弱性特征的描述更加精确,更具有针对性,并且弥补了形式化检测方法在脆弱性类型覆盖能力上的不足.在对android-kernel代码的测试中发现了9个脆弱性.对不同规模软件代码的测试结果表明,该方法的时间开销和被测代码规模成线性关系.

关键词：脆弱性检测代码克隆语法分析树特征矩阵

来源：评论

学校读者我要写书评

暂无评论

覆盖表生成的可配置贪心算法优化

引用

软件学报 2013年第7期24卷 1469-1483页

作者：聂长海蒋静计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 中国电力科学研究院江苏南京211106

覆盖表生成是组合测试研究的关键问题之一,其中,贪心算法因为速度快、生成的覆盖表规模小而得到人们的青睐.人们提出了很多基于不同策略的贪心算法,其中,多数算法可以归结到一个统一的算法框架,即形成一个可配置贪心算法,从该框架又可... 详细信息

覆盖表生成是组合测试研究的关键问题之一,其中,贪心算法因为速度快、生成的覆盖表规模小而得到人们的青睐.人们提出了很多基于不同策略的贪心算法,其中,多数算法可以归结到一个统一的算法框架,即形成一个可配置贪心算法,从该框架又可以衍生出很多新的算法.如何科学地配置优化受多个因素影响的算法框架、有效生成覆盖表是一个新的挑战.针对具有6个决策点的贪心算法框架,设计了3条不同的实验路线,系统地探索各个决策点以及它们之间相互作用对生成覆盖表规模的不同影响,寻找最佳配置,从而可以有效地生成规模更小的覆盖表,为覆盖表生成的贪心算法的设计和优化提供理论和实践基础.

关键词：组合测试贪心算法覆盖表软件测试测试用例生成

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：