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

南京大学学报（自然科学版） 2010年第1期46卷 77-84页

作者：张璟璟汪亮陶先平吕建南京大学计算机软件新技术国家重点实验室计算机软件研究所南京210093

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地... 详细信息

资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.

关键词：智能空间资源管理资源映射资源仲裁漫游打印

来源：评论

学校读者我要写书评

暂无评论

支持乱序执行的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+ 精化关系模型检验

来源：评论

学校读者我要写书评

暂无评论

MABEMS:一个基于移动Agent的电子市场空间

引用

南京大学学报（自然科学版） 2002年第2期38卷 131-138页

作者：徐锋吕建陶先平郭瑞景苏敏陈红强南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京210093

随着Internet的广泛普及 ,电子商务应用系统 ,尤其是基于Internet的电子市场系统日益受到重视 .然而面对Internet这种新的网络环境 ,传统的客户 /服务器技术并不适宜构造此类系统 .近年来 ,移动Agent技术被认为是一种易于设计、实现和维... 详细信息

随着Internet的广泛普及 ,电子商务应用系统 ,尤其是基于Internet的电子市场系统日益受到重视 .然而面对Internet这种新的网络环境 ,传统的客户 /服务器技术并不适宜构造此类系统 .近年来 ,移动Agent技术被认为是一种易于设计、实现和维护Internet环境下分布式系统的新兴技术 .提出了一个基于移动Agent的电子市场空间模型 ,并在本实验室开发的移动Agent系统———Mogent平台上实现了其原型系统 .该市场空间采用开放的、非集中的系统结构 ,具有较高的灵活性和可靠性 ,自动化程度较高 .最后介绍利用可扩展标记语言XML和知识查询与操纵语言KQML 。

关键词： MABEMS 电子商务移动Agent 电子市场空间模型 Internet 分布式系统电子集市结构

来源：评论

学校读者我要写书评

暂无评论

面向对象软件测试技术进展

引用

计算机研究与发展 1998年第1期35卷 6-13页

作者：金凌紫南京大学计算机软件研究所南京大学软件新技术国家重点实验室

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方... 详细信息

面向对象软件测试技术的研究是面向对象开发方法的不可缺少的一环，但目前的研究现状与面向对象的分析、设计技术以及程序设计语言的研究相比尚显薄弱．文中分析了面向对象程序设计语言的特点及其对软件测试的影响，从基于规约的测试方法和基于程序的测试方法以及测试方法与软件开发过程的集成途径等方面，综述有代表性的研究工作，探讨研究方向．

关键词：面向对象软件测试程序语言软件开发

来源：评论

学校读者我要写书评

暂无评论

面向安卓自动化测试工具综合评估

引用

软件学报 2023年第4期34卷 1630-1649页

作者：钟怡石孟雨房春荣赵志宏陈振宇计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 深圳研究院(南京大学) 广东深圳518063

自动化测试工具是安卓应用质量保障的主要手段.随着安卓版本多样性、底层硬件差异性(碎片化)以及逻辑复杂性增加,自动化测试迎来新的挑战.为解决这些问题,近年来,业界开发出大量自动化测试工具.但是现有工具数量多,并且测试重点多样,测... 详细信息

自动化测试工具是安卓应用质量保障的主要手段.随着安卓版本多样性、底层硬件差异性(碎片化)以及逻辑复杂性增加,自动化测试迎来新的挑战.为解决这些问题,近年来,业界开发出大量自动化测试工具.但是现有工具数量多,并且测试重点多样,测试人员选择工具时存在一定的困扰.为帮助测试人员选择最佳测试工具,实现对自动化测试工具的统一评估,提出了面向安卓自动化测试工具多特征综合评估方法(comprehensive evaluation of Android automated testing, CEAT),并将其实现为便于测试人员使用的平台. CEAT在引入测试领域广泛接受的3个评估指标,即代码覆盖率、异常检出率、融合多版本兼容度得分的基础上,进一步基于变异测试的思想引入变异杀死率,并从用户体验出发引入UI控件覆盖率.以上5个指标构成CEAT整个体系,从而实现安卓自动化测试工具的综合多维评估.为验证CEAT的效果,生成了1 089个变异应用的待测应用集,在包含6个移动设备的真机集群中部署实验,对5个自动化测试工具适配并执行5 040次测试任务.最终结果表明:i) 5个指标从不同角度对自动化测试工具进行评估,更加多维地反映不同工具的测试效果,验证了CEAT的有效性;ii) CEAT支持测试人员为5个指标分配不同的权重,根据实际测试需求得到综合评估结果,具有一定的灵活性;iii) CEAT可自动改造APP获得变异应用,同时为工具设置特定平台用于测试,操作具备简单性. CEAT可以有效地根据不同测试需求为测试人员选择最佳的安卓自动化测试工具提供参考依据.

关键词：自动化测试碎片化变异测试 UI控件覆盖率多维评估

来源：评论

学校读者我要写书评

暂无评论

一个个性化的信息搜集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

来源：评论

学校读者我要写书评

暂无评论

层次化网关转发的agent迁移技术与应用

引用

南京大学学报（自然科学版） 2010年第2期46卷 169-178页

作者：吴晓马骏陶先平吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京210093

随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移... 详细信息

随着互联网的日益普及,形式各样的网络应用层出不穷.移动agent计算模式是一种灵活的分布计算模式和程序设计风范,给网络应用的设计、实现和维护都带来了较大的灵活性.移动agent技术的推广和使用,要求agent能够在网络上任意节点之间迁移;但是由于Internet中存在大量的私有网络,且现阶段agent适移技术在支撑agent自由穿越各个私有网络方面存在不足,制约了基于移动agent的应用的普及.针对这一问题,本文提出了一个"层次化网关转发agent迁移方案".在该方案中,本文根据网络的拓扑结构提出了互联网络节点"层次化网络编址",并在此基础上给出了"地址解析/转发算法".此外,为了消除此方案对网关、代理服务器等关键节点的依赖,本文给出了基于"配对转发服务"的实现方案,在保证透明性的前提下完成逻辑上的网关功能,进一步增强"层次化网关转发agent迁移方案"的灵活性和实用性.最后,本文给出了基于此荐技术的一个"文件同步软件"应用实例实现.

关键词：移动agent迁移,层次化网络编址,网关转发

来源：评论

学校读者我要写书评

暂无评论

Matching Pursuits视频编码中原子匹配块搜索中的权值设计

引用

计算机辅助设计与图形学学报 2001年第5期13卷 398-402页

作者：陈毅松孙颖孙正兴张福炎南京大学多媒体计算机技术研究所软件新技术国家重点实验室南京210093

基于 Matching Pursuits的误差图像编码算法因其基函数的灵活性 ,是一种在低码率视频编码应用中较为理想的算法 ,块能量搜索算法被用于减少该算法的编码复杂度 .针对固定权值加权块搜索算法的不足之处 ,提出了一种自适应加权块搜索算法 ... 详细信息

基于 Matching Pursuits的误差图像编码算法因其基函数的灵活性 ,是一种在低码率视频编码应用中较为理想的算法 ,块能量搜索算法被用于减少该算法的编码复杂度 .针对固定权值加权块搜索算法的不足之处 ,提出了一种自适应加权块搜索算法 ,在不增加算法复杂度的情况下 ,对不同的被编码序列采用不同的权值表完成加权块能量算法 ;在各种情况下均得到了较理想的编码效果 .

关键词：低码率视频编码原子匹配块搜索权值设计误差编码 Matching Pursuits算法

来源：评论

学校读者我要写书评

暂无评论

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+ 精化关系模型检验

来源：评论

学校读者我要写书评

暂无评论

Vakarelov问题的研究

引用

计算机学报 1999年第4期22卷 351-358页

作者：朱朝晖毛宇光朱梧南京航空航大大学计算机科学研究所南京210016 南京大学计算机软件国家重点实验室南京210093

本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三... 详细信息

本文在Vakarelov的信息逻辑IL的基础上，通过引入新的模合同以及模态词间的布尔运算建立了BILC系统，研究了系统的语义．提出在布尔模态逻辑语言下解决Vakarelov问题的思想，主要结果表明在BILC语言下要彻底解决Vakarelov问题必须针对三种KR-结构分别构造逻辑系统，IL系统的研究方法对BILC语言框架下的研究是行不通的．

关键词：知识表示系统信息逻辑 Vakarelov问题形式语言

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：