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

第四届中国Agent理论与应用学术会议

作者：陈昊孙辉许畅马晓星南京大学软件新技术国家重点实验室江苏省南京市210046 南京大学计算机科学与技术系江苏省南京市 210046

机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台，首先提出这种中间件平台需要满足的设计要求：跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的... 详细信息

机器人控制中间件是软件中间件设计研究领域的一个热点。为了开发一种支持自适应程序设计的移动机器人中间件平台，首先提出这种中间件平台需要满足的设计要求：跨底层硬件平台、保证服务质量以及具备一定的自适应能力。从Java虚拟机的移植、服务质量表现形式的选择、自适应机制及SCC(Sensor/Compute/Control)设计结构的应用四个方面来阐述此中间件平台的设计思路和开发过程。最后，通过真实实验的数据对比，说明此中间件可为移动机器人程序的有效开发提供服务质量的保证。

关键词：移动机器人中间件自适应能力服务质量保证 SCC结构

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2012中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于Skyline和局部选择的启发式服务组合方法

引用

东南大学学报（自然科学版） 2011年第3期41卷 449-452页

作者：谢海军齐连永窦万春南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为了改善现有基于QoS的Web服务组合方法的效率,在已有服务组合算法的基础上提出了一种新颖的基于Skyline点和局部选择的启发式服务组合方法SLOMIP(Skyline local optimi-zation mixed integer programming).该方法首先从候选服务集合中... 详细信息

为了改善现有基于QoS的Web服务组合方法的效率,在已有服务组合算法的基础上提出了一种新颖的基于Skyline点和局部选择的启发式服务组合方法SLOMIP(Skyline local optimi-zation mixed integer programming).该方法首先从候选服务集合中选出Skyline服务,可以证明如果存在最优服务组合方案,则其一定是由Skyline服务集中的服务组成的.然后,为了进一步缩小解空间,再从Skyline服务集中选取最优的K个服务进行最终服务组合方案的优化求解.与传统启发式服务组合方法的不同之处在于,该方法一旦获得解,必然是最优解而不是次优解.实验结果表明:在固定任务总数和固定候选服务个数的情况下,该方法的效率都远高于传统方法;K值越大,该方法的准确率越高.该方法可较大幅度地提高服务组合的效率,提升用户体验.

关键词：服务组合启发式局部选择 Skyline

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

骨架引导的网格模型圆柱面参数化

引用

计算机辅助设计与图形学学报 2011年第1期23卷 161-169页

作者：郭潇晟郭延文郭凯王文平南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 香港大学计算机科学系

针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较... 详细信息

针对传统平面参数化不能直接对零亏格封闭模型参数化,而球面参数化较为适用于形态接近于球体模型的问题,定义了一种超圆柱面的参数域表示,并提出一种渐进的超柱面参数化算法,对于形态接近于圆柱或具有单支简单骨架的网格模型能够提供较小的几何形变;基于此,提出一种骨架引导的网格模型圆柱面参数化方法,能够对具有复杂骨架结构的网格模型实现全局参数化,它通过分块参数化由骨架信息得到的网格模型主体和分支,进而将分支圆柱面参数网格配准、优化并拼接至主体参数网格得到无缝的全局参数网格;对于人体和动物等具有明显骨架结构的网格模型,骨架引导的圆柱面参数化具有较小的几何形变.最后给出了实验结果,并展示了圆柱面参数化在约束纹理贴图中的应用.

关键词：网格参数化圆柱体骨架纹理映射

来源：评论

学校读者我要写书评

暂无评论

不确定时间序列的相似性匹配问题

不确定时间序列的相似性匹配问题

引用

2012年全国理论计算机科学学术年会(NCTCS2012)

作者：吴红花刘国华王伟东华大学计算机科学与技术学院上海 201620 东华大学计算机科学与技术学院上海 201620 计算机软件新技术国家重点实验室(南京大学)南京 210093 东华大学信息科学与技术学院上海 201620

确定性时间序列的相似性匹配方法都没有考虑数据的不确定性,而现实世界中传感器采集到的数据往往是不确定的,现有的时间序列的相似性匹配方法不适用于这些领域.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第七届中国测试学术会议

作者： 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智能手机进行了测试。实验结果表明，组合测试不仅可以降低测试成本，而且可以系统考虑影响手机功能的各个参数细节，以及参数间的组合情况，是一种可以根据需要灵活使用的有效测试方法。

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

来源：评论

学校读者我要写书评

暂无评论

一种目标制导的混合执行测试方法

引用

计算机学报 2011年第6期34卷 953-964页

作者：崔展齐王林章李宣东南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计... 详细信息

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷.

关键词：目标制导测试缺陷触发静态分析混合执行测试

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：