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

第29届中国数据库学术会议

作者： ZHAN Qianyi 詹千熠 SUN Qiang 孙强 ZHAN Yusen 詹宇森 WANG Chongjun 王崇骏 XIE Junyuan 谢俊元 State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Depart 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR;在采用合同网... 详细信息

多Agent系统中,Agent间通过形成联盟达到提高任务求解能力,获取更多收益的目的。主要关注联盟模型的改进和联盟形成阶段的改进,基于ARG(agent,role,group)元模型和学习机制提出了一种采用角色和学习机制的新联盟模型CLAR;在采用合同网协议的CLAR联盟模型中提出了两阶段联盟形成机制;通过捕食者问题实验验证了角色和学习机制的作用,以及两阶段联盟形成机制在减少通讯代价上的作用。

关键词：多Agent系统联盟模型捕食者问题合同网协议

来源：评论

学校读者我要写书评

暂无评论

动态开放式网络中基于角色使用控制模型研究

动态开放式网络中基于角色使用控制模型研究

引用

第一届中国互联网学术会议

作者：翟志刚王建东曹子宁毛宇光南京航空航天大学计算机科学与技术学院江苏南京210016 南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

现代网络系统具有分布式、动态性的特征，传统访问控制模型静态集中式授权的方式不适应新型网络的需求，作为下一代访问控制模型被提出的使用控制(UCON)模型以其决策持续性和属性易变性的特点适用于各种网络系统，但是存在缺乏管理模型... 详细信息

现代网络系统具有分布式、动态性的特征，传统访问控制模型静态集中式授权的方式不适应新型网络的需求，作为下一代访问控制模型被提出的使用控制(UCON)模型以其决策持续性和属性易变性的特点适用于各种网络系统，但是存在缺乏管理模型、效率不高的缺点;目前应用最广泛的基于角色访问控制(RBAC)模型同样存在静态授权集中控制的缺点;结合两者特点，提出动态开放式网络环境中基于角色使用控制模型(RBUC)，采用多域角色映射的方法解决集中控制的问题;引入认证、职责和条件约束机制解决静态授权问题;给出模型结构图，核心RBUC模型定义，用有向图和角色继承矩阵描述角色继承，描述静态职责分离、动态职责分离和基于基数的职责分离原则，最后给出使用进程的状态转换。

关键词：基于角色访问控制使用控制安全模型角色映射角色继承角色约束

来源：评论

学校读者我要写书评

暂无评论

一种基于后继任务的过程挖掘算法

一种基于后继任务的过程挖掘算法

引用

2012中国计算机大会

作者：王栋毅葛季栋过晓波胡昊骆斌朱明计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学)江苏南京210093 南京大学计算机科学与技术系江苏南京210093 国电南京自动化股份有限公司江苏南京210003

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志，但只有很少一部分的事件日志被应用于分析流程。本文提出了一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任... 详细信息

过程挖掘的目标是从信息系统所记录的事件日志中重现过程模型。尽管信息系统会生成多种事件日志，但只有很少一部分的事件日志被应用于分析流程。本文提出了一种基于后继任务的新型过程挖掘算法(χ-算法)。该算法不仅能够直接从后继任务中挖掘出因果依赖关系，而且能够挖掘出潜在并发关系。其中，因果依赖关系包括显式依赖和隐式依赖(由非自由选择结构产生)两种。另外，χ-算法能够正确地挖掘SWF网、大部分带隐式依赖的非SWF网、一些非良好处理的工作流网和一些含有隐式库所的工作流网。因为χ-算法所使用的事件日志多出了一种新的事件类型——后继任务，所以χ-算法能够处理范围更广的工作流网。

关键词：过程挖掘工作流过程建模后继任务隐式依赖

来源：评论

学校读者我要写书评

暂无评论

一个基于COP的控制软件安全性增强方法

一个基于COP的控制软件安全性增强方法

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：陈智勇徐锋余萍南京大学软件新技术国家重点实验室南京市 210046 南京大学计算机科学与技术系南京市 210046

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为... 详细信息

控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初不可能考虑到所有可能面对的环境变化因素,系统的安全性面临新的挑战。因此在软件维护阶段,以环境变化为中心,增量式地增强软件的安全性显得非常重要。面向上下文编程方法(Context-oriented Programming,COP)正是一种以软件运行上下文环境为中心的编程方法。现有的支撑COP思想的运行机制可以使得系统根据精确的上下文信息动态的调整系统的行为,但是有些上下文引发的系统行为调整会导致系统执行器的现有运行被打断,对于这类影响系统执行器行为的上下文,现有的COP运行机制还没有提供有效处理方法。本文根据现有的COP方法,给出了一个基于软件上下文保存与恢复的控制软件安全性增强的编程模型,并在Lego NXT控制器上实现了相应的运行支撑和编程工具,通过一个产品分拣系统的安全性增强实例,初步验证了该编程模型的合理性。

关键词：软件安全性 COP 编程模型

来源：评论

学校读者我要写书评

暂无评论

基于动态缓存的无线网络编码性能分析模型

基于动态缓存的无线网络编码性能分析模型

引用

第十九届全国网络与数据通信学术会议

作者：白光伟金铃沈航曹磊南京工业大学计算机科学与技术系南京 210009 南京大学计算机软件新技术国家重点实验室南京 210093 南京理工大学高维信息智能感知与系统教育部重点实验室南京 210094 南京工业大学计算机科学与技术系南京 210009 南京理工大学高维信息智能感知与系统教育部重点实验室南京 210094 南京大学计算机软件新技术国家重点实验室南京 210093

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的.本文结合IEEE802.11 DCF信道随机接入机制，提出了一种基于动态缓存的精确分析无线网络编码性能的模型.该模型主要研究无线节点缓存有限及可变的情况下，网络节点平等接... 详细信息

目前绝大部分网络编码模型是在假设节点缓存无限大的基础上建立的.本文结合IEEE802.11 DCF信道随机接入机制，提出了一种基于动态缓存的精确分析无线网络编码性能的模型.该模型主要研究无线节点缓存有限及可变的情况下，网络节点平等接入和多优先级接入时的网络编码性能.通过构建嵌入式马尔科夫链模型对动态缓存进行数学建模，及离散二维马尔科夫链模型对DCF信道随机接入机制进行建模分析，从而得出一系列与网络编码性能密切相关的重要参数，如节点信道接入概率、数据包成功发送概率、平均编码数目、有效吞吐量等.结果表明，该模型精确评估了动态缓存和随机接入机制对无线网络编码的影响，为深入剖析无线网络编码特性和更好地运用网络编码提供了有力的依据.

关键词：网络编码动态缓存随机信道接入机制嵌入式马尔科夫链

来源：评论

学校读者我要写书评

暂无评论

一个基于后备服务的高可靠工作流开发模型及其支撑工具的实现

一个基于后备服务的高可靠工作流开发模型及其支撑工具的实现

引用

第十一届全国软件与应用学术会议(NASAC2012)

作者：陈威徐锋南京大学软件新技术国家重点实验室南京市 210046 南京大学计算机科学与技术系南京市 210046

随着互联网的发展，面向WEB服务的工作流技术逐渐兴起。然而在开放多变的网络环境中，组成工作流的网络服务的可靠性变化，网络连接的可靠性变化，都对工作流的可靠执行带来挑战。目前工作流可靠性研究较多地关注如何选取并确定一条最... 详细信息

随着互联网的发展，面向WEB服务的工作流技术逐渐兴起。然而在开放多变的网络环境中，组成工作流的网络服务的可靠性变化，网络连接的可靠性变化，都对工作流的可靠执行带来挑战。目前工作流可靠性研究较多地关注如何选取并确定一条最可靠的工作流路径，以及如何选取可靠性较高的服务来组成工作流，这些方法较难应对网络环境的多变以及服务本身可靠性的变化。随着web服务的广泛普及，网络中涌现出大量的等价服务，利用等价服务作为后备服务来达到构建更可靠的工作流的目的。本文基于此想法，给出了一个高可靠工作流的开发模型，包括基于后备服务的工作流描述机制，以及工作流可靠性评估机制，最后，给出相应的工作流脚本转换工具实现，可将其转换成标准的BPEL脚本并运行。

关键词：工作流可靠性 web服务

来源：评论

学校读者我要写书评

暂无评论

用户需求驱动的Web服务测试

引用

计算机学报 2011年第6期34卷 1029-1040页

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

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要... 详细信息

Web服务涉及开发者、提供者、注册中心、用户等多方,各方测试目的、所掌握的资源以及所使用的测试方法各异.以用户需求来驱动Web服务测试,更切合现状且能提升测试效率.文中建立了用户需求特征模型,引入层次关系、控制结构、约束条件等要素;对照目标级、服务组合、原子服务需求,分别进行基于等价类划分、数据流分析和变异测试的测试用例生成选择;当需求变动时,通过波动分析能迅速定位到服务的相关路径和变量,保证回归测试的效率;最后通过行程安排实例展示了工作流程和实验结果.

关键词： Web服务测试用户需求测试用例生成依赖性分析回归测试

来源：评论

学校读者我要写书评

暂无评论

软件兼容性测试的故障定位

软件兼容性测试的故障定位

引用

第七届中国测试学术会议

作者： Li Jie 李杰 Nie Changhai 聂长海 Liang Yalan 梁亚澜 State Key Laboratory for Novel Software Technology Department of Computer Science and Technology N 南京大学计算机科学与技术系软件新技术国家重点实验室南京210046

软件兼容性测试是测试软件在特定的软硬件系统上和不同的应用软件之间能否协调工作的过程,是软件开发过程中必不可少的一个步骤。然而对于既有软件系统,如何有效定位该系统中软件交互关系所可能触发的冲突是当前较难解决的问题。本文针... 详细信息

软件兼容性测试是测试软件在特定的软硬件系统上和不同的应用软件之间能否协调工作的过程,是软件开发过程中必不可少的一个步骤。然而对于既有软件系统,如何有效定位该系统中软件交互关系所可能触发的冲突是当前较难解决的问题。本文针对这一实际问题,将组合测试方法运用于软件兼容性测试的故障定位,并在组合测试和差异调试法的基础上提出改进的故障定位方法SDD( Strengthen Delta Debugging)。通过和差异调试法的对比实验,显示了SDD方法改进的有效性。通过实际案例,我们分析了SDD方法定位组合测试发现的软件兼容性故障的过程。实验证明组合测试方法能有效的发现系统中软件间的兼容性故障,SDD方法能以较小的代价定位出引发兼容性故障的软件组合。

关键词：软件测试故障定位兼容性故障算法优化

来源：评论

学校读者我要写书评

暂无评论

手机通话功能的组合测试

手机通话功能的组合测试

引用

第七届中国测试学术会议

作者： Haibo Huang 黄海波 Huayao Wu 吴化尧 Changhai Nie 聂长海 State Key Laboratory for Novel Software Technology Department of Computer Science and Technology N 南京大学计算机科学与技术系软件新技术国家重点实验室南京210046

手机已经成为人们生活中不可缺少的重要通讯工具，但是在使用手机的过程中我们往往会遇到各种问题，系统地检测手机功能，无论对厂家还是消费者都具有重要意义。本文从手机的基本通话功能出发，建立了手机通话功能的组合测试模型，以此... 详细信息

手机已经成为人们生活中不可缺少的重要通讯工具，但是在使用手机的过程中我们往往会遇到各种问题，系统地检测手机功能，无论对厂家还是消费者都具有重要意义。本文从手机的基本通话功能出发，建立了手机通话功能的组合测试模型，以此来系统地检测手机的各参数状态及其交互作用对手机通话功能的影响，并对魅族M8智能手机进行了测试。实验结果表明，组合测试不仅可以降低测试成本，而且可以系统考虑影响手机功能的各个参数细节，以及参数间的组合情况，是一种可以根据需要灵活使用的有效测试方法。

关键词：手机通话功能组合测试参数估计效果评估

来源：评论

学校读者我要写书评

暂无评论

一种层次式时间自动机模型检测方法

一种层次式时间自动机模型检测方法

引用

2012中国计算机大会

作者：周宇胡军葛季栋南京航空航天大学计算机科学与技术学院南京 210000 南京大学软件新技术国家重点实验室南京 210000 南京航空航天大学计算机科学与技术学院南京 210000 南京大学软件新技术国家重点实验室南京 210000

层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度，难以对之进行直接的形式化验证工作。提出一种平展算法，将层次式时间自动机转化为一组并行的顺序时间自动机，应用广播通道同步该自动机集合执行... 详细信息

层次式时间自动机在软件系统建模过程中有着重要的应用。由于层次嵌套带来额外的复杂度，难以对之进行直接的形式化验证工作。提出一种平展算法，将层次式时间自动机转化为一组并行的顺序时间自动机，应用广播通道同步该自动机集合执行。在此基础之上实现了一个原型系统可以将层次式时间自动机模型自动转化为模型检测工具UPPAAL的输入，从而可以对之进行验证。结合实时UML状态机图实例，证明了该方法的有效性。

关键词：层次式时间自动机形式化方法模型检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：