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

计算机技术与发展 2014年第9期24卷 1-5页

作者：戴翔毛宇光吴非薛一帆南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型(TRGA),利用控制流图(CFG)计算生成测试用例所需的变量的定义使用对,使用数据类型结构图... 详细信息

目前的数据流测试技术存在缺乏具体的数据驱动方法,测试用例的生成过程没有与测试需求结合起来等问题。基于此,文中提出一种自动生成测试用例的模型(TRGA),利用控制流图(CFG)计算生成测试用例所需的变量的定义使用对,使用数据类型结构图(DTG)来作为创建测试对象的数据驱动,利用遗传算法的搜索能力来生成数据,并提出了一种新的适应度计算方法。实验结果表明,该模型能够在减少搜索时间,降低生成测试用例规模的同时达到较高的测试覆盖率。

关键词：数据流控制流图数据类型结构图适应度测试用例

来源：评论

学校读者我要写书评

暂无评论

列存储数据查询中的连接策略优化方法

引用

计算机研究与发展 2013年第8期50卷 1647-1656页

作者：孙莉李静刘国华东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学) 南京210093

列存储数据查询优化的重点是列的连接策略.现有的列存储系统通过存储的改变来简化列的连接,致使列的连接缺少查询优化处理,策略单一且无法满足复杂查询.在剖析现有连接选择策略的基础上,提出一种新的连接策略优化方法,即首先利用基于规... 详细信息

列存储数据查询优化的重点是列的连接策略.现有的列存储系统通过存储的改变来简化列的连接,致使列的连接缺少查询优化处理,策略单一且无法满足复杂查询.在剖析现有连接选择策略的基础上,提出一种新的连接策略优化方法,即首先利用基于规则的优化方法为列存储数据查询制定优化规则,过滤不可能产生最优计划的候选计划;然后设计了基于代价的优化算法,根据动态Huffman树和左深连接树原理对查询执行顺序进行改进,进一步减少候选计划的规模;根据列存储数据的特点将候选计划中每个连接节点的执行策略归纳为串行连接和并行连接两类,并在此基础上提出代价估计模型,进而可针对这两种连接策略进行代价估计和策略选择.最后在SSB数据集上通过实验证明了方法在列存储数据查询中的有效性.

关键词：列存储连接策略查询优化基于代价串并行策略

来源：评论

学校读者我要写书评

暂无评论

一种多核环境中无锁的多进程负载均衡会话保持方案

引用

电子与信息学报 2013年第4期35卷 982-987页

作者：吴和生王崇骏谢俊元南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

负载均衡是云计算的基本问题之一,多核环境中多进程负载均衡会话保持问题得到广泛关注并发展成为研究热点。针对该问题,面向Linux内核,基于Hash化管理内核网络数据包传递的思想,该文提出并实现了一种无锁的多进程负载均衡会话保持方案... 详细信息

负载均衡是云计算的基本问题之一,多核环境中多进程负载均衡会话保持问题得到广泛关注并发展成为研究热点。针对该问题,面向Linux内核,基于Hash化管理内核网络数据包传递的思想,该文提出并实现了一种无锁的多进程负载均衡会话保持方案。该方案避免了锁的使用,而且不需要对原有单进程负载均衡程序进行结构上的修改,能够快速地将现有单进程负载均衡程序转变为多进程架构。理论分析和实验表明,相较于传统的共享内存式锁机制会话保持解决方案,该方案性能更好、适用性更强,提高了多核环境中负载均衡系统的效率。

关键词：云计算多核多进程负载均衡会话保持无锁

来源：评论

学校读者我要写书评

暂无评论

基于Kinect的人体实时三维重建及其应用

基于Kinect的人体实时三维重建及其应用

引用

第十届中国计算机图形学大会暨第十八届全国计算机辅助设计与图形学会会议

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

目前，人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据，并限定人体的姿势，不能很好地用于需要人体模型的交互式应用中。针对这个问题，提出一种基于单个Kinect的渐进式人体重建方法。首先结合特征点检测算法和校错处... 详细信息

目前，人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据，并限定人体的姿势，不能很好地用于需要人体模型的交互式应用中。针对这个问题，提出一种基于单个Kinect的渐进式人体重建方法。首先结合特征点检测算法和校错处理，对深度视频帧中人体上的特征点进行定位;其次对身体尺寸进行测算或估算，并在对视频流的处理中渐进式地补充与完善;最后根据以上信息对人体进行分块参数化建模和合成，得到人体模型。实验结果表明，在尺寸不完整的情况下，该方法即可重建包含肢体结构语义的完整人体，易于实现局部模型或姿势的修改，并在虚拟试衣应用中体现出良好的实时性和交互性。

关键词：人体三维重建实时性特征点定位渐进式人体测量

来源：评论

学校读者我要写书评

暂无评论

基于信息流的整数漏洞插装和验证

引用

软件学报 2013年第12期24卷 2767-2781页

作者：孙浩李会朋曾庆凯计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time... 详细信息

为降低整数漏洞插装验证的运行开销,提出基于信息流的整数漏洞插装方法.从限定分析对象范围的角度出发,将分析对象约减为污染信息流路径上的所有危险整数操作,以降低静态插装密度.在GCC平台上,实现了原型系统DRIVER(detect and run-time check integer-based vulnerabilities with information flow).实验结果表明,该方法具有精度高、开销低、定位精确等优点.

关键词：整数漏洞信息流污点分析插装

来源：评论

学校读者我要写书评

暂无评论

基于有色网的动态负载下高性能计算机作业调度系统的性能分析

基于有色网的动态负载下高性能计算机作业调度系统的性能分析

引用

2014全国高性能计算学术年会

作者：李智佳焦莉李焱中国科学院软件研究所计算机科学国家重点实验室北京 100190 中国科学院大学计算机与控制学院北京 100049 中国科学院软件研究所计算机科学国家重点实验室北京 100190 清华大学计算机科学与技术系北京 100084

性能分析是计算机科学领域的一个重要支撑技术,在系统的需求分析、设计、实现、部署、优化、采购等生命周期过程中发挥重要作用.它有助于揭示系统性能瓶颈,从而指导系统优化.本文提出一种基于有色Petri网的高性能计算机作业调度系统的... 详细信息

性能分析是计算机科学领域的一个重要支撑技术,在系统的需求分析、设计、实现、部署、优化、采购等生命周期过程中发挥重要作用.它有助于揭示系统性能瓶颈,从而指导系统优化.本文提出一种基于有色Petri网的高性能计算机作业调度系统的性能分析方法.该方法支持动态作业负载,支持多队列及多种调度策略.作为一种模型方法,该方法具有易实施、易扩展、低成本等诸多优点.实验表明该方法是可靠的和可行的.

关键词：高性能计算机作业调度系统性能分析有色网动态负载

来源：评论

学校读者我要写书评

暂无评论

基于量子云模型演化的最小属性约简增强算法

引用

东南大学学报（自然科学版） 2013年第2期43卷 290-295页

作者：丁卫平王建东管致锦施佺南京航空航天大学计算机科学与技术学院南京210016 南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093

为提高决策表中最小属性约简的效率、稳定性和鲁棒性,基于云模型在非规范知识定性、定量表示及其相互转换过程中的优良特征对量子进化算法进行算子设计,提出了一种基于量子云模型演化的最小属性约简增强算法(QCMEARE).该算法采用量子基... 详细信息

为提高决策表中最小属性约简的效率、稳定性和鲁棒性,基于云模型在非规范知识定性、定量表示及其相互转换过程中的优良特征对量子进化算法进行算子设计,提出了一种基于量子云模型演化的最小属性约简增强算法(QCMEARE).该算法采用量子基因云对进化种群进行编码,基于约简属性熵权逆向云进行量子旋转门自适应调整,使其在定性知识指导下能够自适应控制属性约简空间搜索范围,并采用量子云变异和云纠缠操作算子较好地避免了在属性演化约简中易陷入局部最优和早熟收敛等问题,使算法快速搜索到全局最优属性约简集.仿真实验表明,提出的最小属性约简增强算法具有收敛速度快、约简精度高和稳定性强等优点.

关键词：属性约简逆向云模型量子云旋转门量子云变异与云纠缠

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络中移动协助的数据收集策略??

引用

软件学报 2013年第2期24卷 198-214页

作者：张希伟戴海鹏徐力杰陈贵海计算机软件新技术国家重点实验室南京大学江苏南京 210093 南京大学计算机科学与技术系江苏南京 210093 河海大学计算机与信息学院江苏南京 210098

利用移动数据收集器(mobile data collector,简称MDC)进行传感器网络中感知数据的收集,可以有效地减少传感器将数据发送到静止基站的传输跳数,节约网络的能量,延长网络寿命.此外,MDC 通过循环收集传感器数据或承担数据转发的功能,避免... 详细信息

利用移动数据收集器(mobile data collector,简称MDC)进行传感器网络中感知数据的收集,可以有效地减少传感器将数据发送到静止基站的传输跳数,节约网络的能量,延长网络寿命.此外,MDC 通过循环收集传感器数据或承担数据转发的功能,避免节点间由于多跳传输引起的能量空洞(energy hole)以及节点失效造成的传输链路中断等问题.MDC 的移动性也为无线传感器网络的研究带来新的挑战.研究基于移动协助数据收集的无线传感器网络结构,分类总结了近年来提出的一些典型的基于MDC的算法和协议,着重讨论了MDC在网络能量、延迟、路由和传输等方面带来的性能变化.最后,进行了各种算法的比较性总结,针对传感器网络中 MDC 的研究提出了亟待解决的问题,并展望了其未来的发展方向.

关键词：移动数据收集器无线传感器网络能耗路由延迟数据传输

来源：评论

学校读者我要写书评

暂无评论

基于高斯和粒子滤波的传感器数据处理技术

引用

北京邮电大学学报 2013年第4期36卷 110-115页

作者：郑吉平韩秋廷张慧南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

对不确定传感器数据进行建模,利用高斯和粒子滤波技术进行概率推理,以达到节约能量的目的.首先,根据传感器不同节点之间的时空相关性,采用历史数据建立概率模型;然后,在建立的概率模型上利用基本粒子滤波技术进行概率推理;最后,根据传... 详细信息

对不确定传感器数据进行建模,利用高斯和粒子滤波技术进行概率推理,以达到节约能量的目的.首先,根据传感器不同节点之间的时空相关性,采用历史数据建立概率模型;然后,在建立的概率模型上利用基本粒子滤波技术进行概率推理;最后,根据传感器数据符合高斯分布的特征,分别采用高斯粒子滤波、高斯和粒子滤波进行概率推理.实验结果表明,高斯和粒子滤波在准确率和运行效率两方面均能达到良好效果.

关键词：传感器网络动态概率模型粒子滤波高斯粒子滤波高斯和粒子滤波

来源：评论

学校读者我要写书评

暂无评论

回归测试中的测试用例优先排序技术述评

引用

软件学报 2013年第8期24卷 1695-1712页

作者：陈翔陈继红鞠小林顾庆南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测... 详细信息

测试用例优先排序(test case prioritization,简称TCP)问题是回归测试研究中的一个热点.通过设定特定排序准则,对测试用例进行排序以优化其执行次序,旨在最大化排序目标,例如最大化测试用例集的早期缺陷检测速率.TCP问题尤其适用于因测试预算不足以致不能执行完所有测试用例的测试场景.首先对TCP问题进行描述,并依次从源代码、需求和模型这3个角度出发对已有的TCP技术进行分类;然后对一类特殊的TCP问题(即测试资源感知的TCP问题)的已有研究成果进行总结;随后依次总结实证研究中常用的评测指标、评测数据集和缺陷类型对实证研究结论的影响;接着依次介绍TCP技术在一些特定测试领域中的应用,包括组合测试、事件驱动型应用测试、Web服务测试和缺陷定位等;最后对下一步工作进行展望.

关键词：回归测试测试用例优先排序贪心法元启发式搜索实证研究

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：