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

2012中国计算机大会

作者：马旋杨若瑜南京大学计算机科学与技术系江苏南京中国 210093 南京大学软件新技术国家重点实验室江苏南京中国 210093

人体组件划分用来检测视频帧或静态图像中的人体，并将其划分为头部和四肢等独立区域，是人体精确三维重建和动作识别等后续研究的重要基础。本文提出了一种新的人体组件划分算法，算法主要针对无肢体重叠的人体图像，首先利用人脸检测... 详细信息

人体组件划分用来检测视频帧或静态图像中的人体，并将其划分为头部和四肢等独立区域，是人体精确三维重建和动作识别等后续研究的重要基础。本文提出了一种新的人体组件划分算法，算法主要针对无肢体重叠的人体图像，首先利用人脸检测技术快速定位人体大致范围，再通过边缘检测获取准确的人体轮廓，最后设计并使用高效的十字链表存储和检索方法，完成基于轮廓关键点查找的人体组件划分。实验表明本方法具有较好的实时性和准确率。

关键词：人体组件划分人脸检测边缘检测十字链表关键点

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2012中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

第七届中国测试学术会议

作者： 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方法能以较小的代价定位出引发兼容性故障的软件组合。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

手机通话功能的组合测试

手机通话功能的组合测试

引用

第七届中国测试学术会议

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

非一致上下文的自动修复技术

非一致上下文的自动修复技术

引用

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

作者：陈小康许畅江磊南京大学软件新技术国家重点实验室江苏省南京市 210046 南京大学计算机科学与技术系江苏省南京市 210046

在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为... 详细信息

在普适计算中，上下文持续快速变化，上下文感知的应用根据上下文变化自动调整自身的行为以作出适应。然而，由于不可预测的环境噪声和动态变化等诸多因素的影响，很容易造成上下文的不一致。非一致上下文会导致应用的异常甚至失败。为了解决这个问题，提出了一种自动修复上下文的新技术。它分为以下两个阶段：(1)生成抽象修复用例;(2)具体执行以验证上下文不一致性是否已经修复。从用户的实际需要出发，生成的修复用例可以分别满足完整性或正确性。实验结果表明，这种技术在修复成功率上远远超过其他技术。

关键词：普适计算非一致上下文自动修复

来源：评论

学校读者我要写书评

暂无评论

一种支持自适应程序设计的移动机器人中间件

一种支持自适应程序设计的移动机器人中间件

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于定性多用户偏好的Web服务选择

引用

电子学报 2011年第4期39卷 729-736页

作者：周宁谢俊元计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方... 详细信息

随着Web服务数量逐渐增多,出现了许多服务提供者提供功能相同或相似服务的情况.如何在一些功能相似或相同的服务集合中,根据用户对服务质量的需求选出更符合用户要求的服务,是当前研究人员普遍关心的课题.本文提出一种定性的服务选择方法,用来解决涉及多个用户的Web服务选择问题.各用户对服务质量的需求被表示为偏好.提出的算法将能够综合考虑各个用户的偏好,使选出的服务尽可能满足大部分用户的偏好要求,并给出了一个实例说明该算法的应用.实验结果表明了算法的有效性.

关键词： Web服务服务质量 CP-net 偏好逻辑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：