检索结果-南通市图书馆

基于文字识别与页面布局的APP控件识别算法

在线全文

学校读者我要写书评

暂无评论

计算机工程 2019年第6期45卷 89-95页

作者：丁世举顾乃杰黄章进侯津中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通信软件重点实验室合肥230027

在移动应用的开发周期中,使用图形用户界面(GUI)自动化测试技术可提高APP的开发测试效率。针对基于录制回放的GUI自动化测试方法存在不适用黑盒测试场景或识别正确率较低等不足,提出基于图像文字识别和应用页面布局的控件识别算法。根... 详细信息

在移动应用的开发周期中,使用图形用户界面(GUI)自动化测试技术可提高APP的开发测试效率。针对基于录制回放的GUI自动化测试方法存在不适用黑盒测试场景或识别正确率较低等不足,提出基于图像文字识别和应用页面布局的控件识别算法。根据移动应用的页面布局结构和手势操作坐标精确识别控件,采用控件树遍历的方式解决遍历过程中的页面布局重叠问题。分别在Android和iOS2个平台进行实验,结果表明,与基于坐标和源代码的控件识别算法相比,该控件识别算法具有更高的正确率。

关键词：图形用户界面自动化测试控件识别文字识别页面布局

一种基于魂芯DSP的单模式位并行串匹配算法

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2020年第7期37卷 246-252页

作者：陈瑞顾乃杰叶鸿中国科学技术大学计算机科学与技术学院安徽合肥230027 中国科学技术大学安徽省计算与通信软件重点实验室安徽合肥230027

在多媒体技术飞速发展的今天,DSP处理器以其低功耗和高性能等特点在信号处理和图像检索领域有着重要的应用。串匹配作为信号处理和图像检索应用中的基本算法,其性能和效率也因此受到越来越多的关注。通过结合DSP处理器的分簇结构和零开... 详细信息

在多媒体技术飞速发展的今天,DSP处理器以其低功耗和高性能等特点在信号处理和图像检索领域有着重要的应用。串匹配作为信号处理和图像检索应用中的基本算法,其性能和效率也因此受到越来越多的关注。通过结合DSP处理器的分簇结构和零开销循环技术,并利用字符串分段的方法提出一种基于DSP的位并行串匹配算法EPSO。该算法可有效减少条件分支语句的时钟开销和分簇执行过程中的漏配次数,加速了串匹配过程。在国产魂芯DSP的仿真结果表明:EPSO算法的匹配速度是经典Shift-Or算法的7.8倍左右,串匹配效率得到有效提升;以KMP算法为基准,英文语料下该算法的平均匹配速度是KMP算法的6.3倍左右,DNA序列下是KMP算法的10.5倍左右,相比NEW、S2BNDM算法均具有显著的性能提升。

关键词：串匹配移位或算法魂芯DSP 分簇位并行

一种基于Petri网验证的数据竞争检测方法

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2017年第10期38卷 2352-2357页

作者：杜云开顾乃杰邵祎康丁世举中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通信软件重点实验室合肥230027

数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用性.为了降低Lockset算法的误报率,本文提出一种将Lockset算法... 详细信息

数据竞争是并行程序中常见的一类问题,由于并行程序的时序不确定性而导致数据竞争难以检测.传统的基于Lockset的检测算法速度快,但检测结果中包含较多误报,影响了算法的实用性.为了降低Lockset算法的误报率,本文提出一种将Lockset算法与模型检查相结合的方法,充分利用模型检查的高准确性的特点,逐个验证Lockset算法报出的潜在数据竞争.在模型选择上,本文选择使用Petri网,并且提出了Petri网验证数据竞争的算法.此外,还介绍了我们基于此方法实现的检测工具Peser X,通过对SPLASH2测试集进行测试,我们发现提出的方法能够有效地降低数据竞争检测的误报率,使得数据竞争检测进一步走向实用.

关键词：数据竞争误报漏报 Petri网 Lockset

在线全文

学校读者我要写书评

暂无评论

一种针对块内日志存储模型的缓冲区管理方法

小型微型计算机系统 2013年第5期34卷 1021-1027页

作者：卢科金培权岳丽华中国科学技术大学计算机学院安徽省通信与软件重点实验室合肥230027

闪存的擦后写特性,使其对小粒度随机更新为主的数据库应用,存在较大的更新时延.基于块内日志的存储管理模型提出了一种使用日志的方法,有效地解决了该问题.但是由于没有考虑数据访问的冷热特性,使得热擦除块合并操作非常频繁,同时它们... 详细信息

闪存的擦后写特性,使其对小粒度随机更新为主的数据库应用,存在较大的更新时延.基于块内日志的存储管理模型提出了一种使用日志的方法,有效地解决了该问题.但是由于没有考虑数据访问的冷热特性,使得热擦除块合并操作非常频繁,同时它们采用的强制日志刷新策略导致闪存日志区存在严重的碎片问题.针对上述问题,本文提出一种基于数据冷热检测的双链表缓冲区算法DLPA,它根据数据的访问特性动态地分配日志页大小,可以有效减少擦除块合并操作,同时在日志刷新至闪存时,结合两种日志打包策略,有效地改善了日志区碎片问题.实验显示,该算法在增加少量存储开销的前提下,显著地优于现有算法.

关键词：闪存数据库动态分配缓冲区管理日志打包

在线全文

学校读者我要写书评

暂无评论

VLIW DSP处理器下累加计算优化方法

小型微型计算机系统 2015年第8期36卷 1915-1920页

作者：杨阳朝顾乃杰任开新赵增中国科学技术大学计算机学院合肥230027 安徽省计算与通信软件重点实验室合肥230027

当今VLIW DSP处理器拥有的指令种类越来越多,它们大多利用单一指令来完成一组复杂的计算,从而提高相关操作的执行效率.无论是在现有数字信号处理程序中,还是使用各种优化手段之后的程序代码中,累加计算在VLIW DSP处理器运算的程序中总... 详细信息

当今VLIW DSP处理器拥有的指令种类越来越多,它们大多利用单一指令来完成一组复杂的计算,从而提高相关操作的执行效率.无论是在现有数字信号处理程序中,还是使用各种优化手段之后的程序代码中,累加计算在VLIW DSP处理器运算的程序中总是频繁出现,编译器如何自动高效地识别并合成处理器特有的累加指令就变得尤为重要.提出一种VLIW DSP处理器下累加计算优化方法,算法可以自动合成目标处理器的累加指令,充分利用处理器体系结构和资源的特点.最后在BWDSP处理器上实现本文的优化算法,实验结果表明,本算法有效减小了程序累加部分的汇编代码长度,从而提高了BWDSP对累加计算的处理能力.

关键词： VLIW DSP 累加编译器 BWDSP

SCC上FFT的高效并行实现及其扩展性研究

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2014年第6期35卷 1207-1211页

作者：汪清顾乃杰何颂颂杨阳朝中国科学技术大学计算机学院合肥230027 安徽省计算与通信软件重点实验室合肥230027

针对SCC(Single-Chip Cloud Computer,单芯片云计算机)体系结构,通过通信路由的改进、消息传递的预处理以及数据处理的再划分这三种手段来提升FFT并行实现效率并以此来研究SCC的扩展性.实验结果表明,SCC上改进后的FFT在一定规模内,双核... 详细信息

针对SCC(Single-Chip Cloud Computer,单芯片云计算机)体系结构,通过通信路由的改进、消息传递的预处理以及数据处理的再划分这三种手段来提升FFT并行实现效率并以此来研究SCC的扩展性.实验结果表明,SCC上改进后的FFT在一定规模内,双核下的平均加速比为4.10倍,最高可达4.78倍;四核下平均加速比为6.01倍,最高可达6.77倍;八核下平均加速比为10.46倍,最高可达11.53倍;十六核下平均加速比为16.20倍,最高可达18.51倍;三十二核下平均加速比为21.17倍,最高可达到24.20倍.并且随着规模的增加,核间通信带宽趋于稳定,三十二核的加速比也逐渐增大,结果显示SCC具有良好的可扩展性.

关键词： FFT SCC RCCE 并行化加速比扩展性

SSRules:让智能家居自动化规则更易于编写和检查

在线全文

学校读者我要写书评

暂无评论

软件学报 2021年第12期32卷 3728-3750页

作者：王博张昱耿佳宁李向阳中国科学技术大学计算机科学与技术学院下一代移动计算与数据创新实验室安徽合肥230027 中国科学院无线光电通信重点实验室安徽合肥230027

智能家居赋予家庭设备以智能,受到用户的广泛欢迎.由于用户需求不同,服务提供商采用“触发-动作”编程(TAP)模式以支持用户定制规则.然而,现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错,且难以修改规则和追踪运行... 详细信息

智能家居赋予家庭设备以智能,受到用户的广泛欢迎.由于用户需求不同,服务提供商采用“触发-动作”编程(TAP)模式以支持用户定制规则.然而,现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错,且难以修改规则和追踪运行错误.对TAP缺陷的原因进行系统分析之后,提出一种编写和修改难度较低、且能够检测规则运行异常的方案,记为SSRules.SSRules允许用户以一种改进的State-State时序范式输入规则,并基于Z3定理证明器将其翻译为Event-State时序范式,且为开源智能家居系统Home Assistant所接受的规则输入.考虑到智能家居需要实时掌握设备的动态,SSRules引入了运行时子系统获取实体状态信息,并对规则执行有效性检查.最后,基于Unity3D开发了智能家居模拟器HA-Simulator.测试结果表明:SSRules与传统方法相比表达简洁,规则数目平均减少60%左右,且能够及时检测瞬时异常并记录原因,更易被用户理解和使用.

关键词：智能家居触发-动作编程终端用户编程运行时系统缺陷检测

在线全文

学校读者我要写书评

暂无评论

一种Linux用户态实时多任务调度框架

中国科学技术大学学报 2017年第8期47卷 635-643页

作者：张旭顾乃杰苏俊杰中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 中国科学技术大学先进技术研究院安徽合肥230027

Linux内核调度器的调度开销巨大,无法满足实时应用需求.为此设计并实现了基于多核Linux的用户态实时多任务调度框架ULight.ULight共包括三个核心模块:多任务调度模块、定时器模块以及用户态中断处理模块.多任务调度模块在Linux用户态提... 详细信息

Linux内核调度器的调度开销巨大,无法满足实时应用需求.为此设计并实现了基于多核Linux的用户态实时多任务调度框架ULight.ULight共包括三个核心模块:多任务调度模块、定时器模块以及用户态中断处理模块.多任务调度模块在Linux用户态提供基于优先级可抢占的实时多任务调度方案,旨在减少任务调度和切换开销;定时器模块则为多任务调度提供高精度的定时服务,以支持分时调度和任务休眠,并提供更多的抢占点;用户态中断处理模块通过在内核态和用户态之间构造中断处理的快速通道,使用户态任务可以直接处理硬件中断,保证中断处理的实时性和高效性.实验表明,ULight的任务切换效率明显优于Linux的线程切换效率;定时系统可以提供精度为20μs的稳定的定时服务;用户态中断处理模块能够在用户态完成对硬件中断的快速响应.

关键词：多任务调度实时性高精度定时器用户态中断处理

基于多尺度特征融合CNN模型的车辆精细型号识别

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2018年第18期54卷 154-160页

作者：刘廷建顾乃杰张孝慈林传文中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学先进技术研究院合肥230027

车辆精细型号是车辆识别的主要线索之一,也是智能交通系统的重要组成部分。针对车辆精细型号种类繁多、车辆所处环境复杂多变等因素,提出一种基于多尺度特征融合的车辆精细型号识别方法。该方法基于传统的卷积神经网络,通过提取并融合... 详细信息

车辆精细型号是车辆识别的主要线索之一,也是智能交通系统的重要组成部分。针对车辆精细型号种类繁多、车辆所处环境复杂多变等因素,提出一种基于多尺度特征融合的车辆精细型号识别方法。该方法基于传统的卷积神经网络,通过提取并融合来自网络底层和高层的车辆特征,完成对车辆精细型号的识别。与其他基于卷积神经网络的车辆精细型号识别方法相比,该方法在提高分类准确率的同时还大幅度降低了整体网络的参数规模。实验结果表明,在公开数据集Comp Cars的监控场景下其识别精度达到了98.43%,且模型参数大小仅为3.93 MB,平均每张图片只需0.83 ms的分类时间。

关键词：车辆精细型号识别卷积神经网络多尺度特征融合深度学习