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

小型微型计算机系统 2014年第2期35卷 319-323页

作者：熊能曾凡平邓超强武飞董齐兴中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一... 详细信息

适应性随机测试是对随机测试低覆盖率和盲目性的一种改进.它的思想是通过尽量地使测试用例均匀地分布在整个测试域范围内,从而提高测试效率.研究显示,相比于常规的随机测试,适应性随机测试能够使用更少的测试用例来发现被测程序的第一个错误.但是,现有的适应性随机测试的实现方案的时间效率不高,在生成测试用例的过程中大量的计算将消耗大量的时间.针对已有适应性随机测试耗时的缺点,提出一种快速的适应性随机测试的实现方法.该方法主要是通过改变输入域空间内不同区域的测试用例生成的概率来实现测试用例的均匀分布.为最大限度地减少时间消耗,该方法每次只计算局部输入域空间内测试用例的生成概率.该方法理论上生成n个测试用例的时间消耗为O(n log n).实验显示,本文提出的方法只需很低的时间消耗就能生成大量的测试用例.

关键词：随机测试概率适应性随机测试二叉排序树

来源：评论

学校读者我要写书评

暂无评论

脑电波的定性复杂度研究

引用

计算机仿真 2011年第12期28卷 172-174,179页

作者：周颢邵晨曦中国科学技术大学计算机科学技术学院安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027

研究脑电波信号分析处理问题,由于不确定的信息较多,传统方法不能有效地从复杂的脑电波信号中获取应用于医学临床诊断的正确信息。分析异常脑电波信号特征,根据定性仿真理论对脑电波信号进行定性化处理,然后进行数据离散化,并根据Lemple... 详细信息

研究脑电波信号分析处理问题,由于不确定的信息较多,传统方法不能有效地从复杂的脑电波信号中获取应用于医学临床诊断的正确信息。分析异常脑电波信号特征,根据定性仿真理论对脑电波信号进行定性化处理,然后进行数据离散化,并根据Lemple-Ziv复杂度度量方法得到脑电波的定性复杂度。利用上述方法对实验数据进行了分析仿真,结果表明定性复杂度不仅可以用来区分脑癫痫波形和正常波形,而且还能很好地刻画癫痫发病过程中的不同阶段,为脑疾病患者的临床诊断提供了新途径。

关键词：定性仿真脑电波信号定性复杂度

来源：评论

学校读者我要写书评

暂无评论

面向高级别代码克隆检测方法的设计与实现

引用

计算机工程与科学 2020年第7期42卷 1191-1196页

作者：邹悦吴鸣徐云中国科学技术大学计算机学院安徽合肥230027 安徽省高性能计算重点实验室安徽合肥230026

代码克隆检测是软件工程中的基础研究,在软件分析和维护方面有着广泛应用。目前对于有文本差异的高级别(即学术界定义的级别3和级别4)克隆检测,现有方法存在检出率(回收率)不高的问题。基于程序依赖图PDG的检测方法是高级别克隆检测的... 详细信息

代码克隆检测是软件工程中的基础研究,在软件分析和维护方面有着广泛应用。目前对于有文本差异的高级别(即学术界定义的级别3和级别4)克隆检测,现有方法存在检出率(回收率)不高的问题。基于程序依赖图PDG的检测方法是高级别克隆检测的一类重要方法,但这类方法依赖子图同构的精确图匹配算法,算法时间复杂度高且回收率较低。为此,提出了一种新的高级别代码克隆检测方法,使用基于Weisfeiler-Lehman图核的非精确图匹配算法进行代码克隆检测。实验结果表明,与已有的代码克隆检测方法相比,该方法可以检出更多的高级别克隆且计算时间较短。

关键词：代码克隆检测程序依赖图 Weisfeiler-Lehman图核

来源：评论

学校读者我要写书评

暂无评论

一种规则集快速压缩算法

引用

小型微型计算机系统 2012年第8期33卷 1787-1790页

作者：王坤顾乃杰任开新中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 网络与通信联合实验室合肥230027

实际应用中的规则集表现出很强的聚集特性,针对这一特性提出一种规则集快速压缩算法.快速压缩算法是一个由粗到细的先分类再合并压缩的过程,首先通过使用Hash函数将提取的规则信息散列并以散列值作为查找关键字构建二叉查找树实现粗略分... 详细信息

实际应用中的规则集表现出很强的聚集特性,针对这一特性提出一种规则集快速压缩算法.快速压缩算法是一个由粗到细的先分类再合并压缩的过程,首先通过使用Hash函数将提取的规则信息散列并以散列值作为查找关键字构建二叉查找树实现粗略分类,然后在树结点对应的Hash函数冲突列表中逐条比较完成精确分类,最后合并冲突列表中的规则实现压缩.实验结果表明,与逐条规则逐个域比较的简单压缩方法相比,快速压缩算法在保持较高压缩率的前提下,能够将压缩时间平均减少90%以上.

关键词：规则集快速压缩 Hash函数二叉查找树

来源：评论

学校读者我要写书评

暂无评论

一种多核平台下的用户级实时多任务库

引用

小型微型计算机系统 2015年第7期36卷 1438-1443页

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

针对Linux系统中线程的创建、调度、同步开销较大而无法满足一些实时应用的问题,在ARM和X86多核平台下设计实现了一种基于优先级位图调度且可抢占的多任务库(Utask).该库通过在用户态为实时任务提供任务的创建、优先级位图调度、快速的... 详细信息

针对Linux系统中线程的创建、调度、同步开销较大而无法满足一些实时应用的问题,在ARM和X86多核平台下设计实现了一种基于优先级位图调度且可抢占的多任务库(Utask).该库通过在用户态为实时任务提供任务的创建、优先级位图调度、快速的上下文切换和高性能信号量等操作,减少了实时任务运行过程中对内核空间的访问次数,提高了任务管理的效率,在Linux用户空间提供了一种高效的实时运行环境,且便于在不同内核版本的Linux操作系统中移植.实验表明,与内核级线程库(Pthread)和当前主流的用户级任务库(Libtask)相比,该库大大减少了任务创建、切换和同步的开销,提高了任务的实时性.

关键词：用户级多任务上下文切换实时性多核平台位图调度

来源：评论

学校读者我要写书评

暂无评论

HPMR系统KV路由算法设计

引用

计算机工程 2010年第20期36卷 102-105页

作者：郑启龙王向前王昊中国科学技术大学计算机科学技术学院合肥230027 安徽省高性能计算重点实验室合肥230026

提出一种针对HPMR系统的KV路由算法。HPMR系统是MapReduce模型的一个实现,改进了MapReduce模型以适应高性能计算的需求。HPMR的KV路由算法生成KV路由表,所有数据的收发动作将依据该路由表进行。KV路由算法产生的KV路由表直接决定HPMR系... 详细信息

提出一种针对HPMR系统的KV路由算法。HPMR系统是MapReduce模型的一个实现,改进了MapReduce模型以适应高性能计算的需求。HPMR的KV路由算法生成KV路由表,所有数据的收发动作将依据该路由表进行。KV路由算法产生的KV路由表直接决定HPMR系统在通信阶段的时间开销。实验结果表明,该KV路由算法产生的KV路由表可以提高HPMR系统的通信性能。

关键词： MapReduce模型高性能计算 DSS-KV路由算法

来源：评论

学校读者我要写书评

暂无评论

面向Python程序的静态死锁检测方法的研究

引用

小型微型计算机系统 2017年第3期38卷 465-471页

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

随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于此,针对Python程序,提出一种基于函数内联和函数摘要的路径敏... 详细信息

随着Python语言越来越广泛的应用,其死锁问题一直困扰着人们.现有的静态死锁检测方法为了兼容可扩展性而缺乏精确的路径敏感分析,从而产生很多不可达路径,导致高误报率.基于此,针对Python程序,提出一种基于函数内联和函数摘要的路径敏感的静态死锁检测方法.该方法首先获取Python程序的语法树,然后利用函数内联和函数摘要的分析方法构建每个函数的摘要并由此得到Python程序可达的并发路径.基于这些路径,该方法利用Petri网建模并找出其中的死锁.实验结果表明,本文提出的方法可以有效地检测Python程序中的死锁,而且误报率为14.3%.此外,该方法的可扩展性好,在分析大型开源程序时,每一万行代码所需的时间开销在2.5分钟以内.

关键词： Python程序静态死锁检测函数内联函数摘要 Petri网

来源：评论

学校读者我要写书评

暂无评论

多维敏感特征的Android恶意应用检测

引用

计算机科学 2019年第2期46卷 95-101页

作者：谢念念曾凡平周明松秦晓霞吕成成陈钊中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥2300262

应用程序的行为语义在Android恶意应用检测中起着关键作用。为了区分应用的行为语义,文中提出适合用于Android恶意应用检测的特征和方法。首先定义广义敏感API,强调要考虑广义敏感API的触发点是否与UI事件相关,并且要结合应用实际使用... 详细信息

应用程序的行为语义在Android恶意应用检测中起着关键作用。为了区分应用的行为语义,文中提出适合用于Android恶意应用检测的特征和方法。首先定义广义敏感API,强调要考虑广义敏感API的触发点是否与UI事件相关,并且要结合应用实际使用的权限。该方法将广义敏感API及其触发点抽象为语义特征,将应用实际使用的权限作为语法特征,再利用机器学习分类方法自动检测应用是否具有恶意性。在13226个样本上进行了对比实验,实验结果表明,该方法的分析速度快且开销小,选取的特征集使Android恶意应用检测得到很好的结果;经机器学习分类技术的比较,我们选择随机森林作为检测方案中的分类技术,所提特征策略的分类准确率达到96.5%,AUC达到0.99,恶意应用的分类精度达到98.8%。

关键词：安卓恶意应用检测静态分析语法特征语义特征机器学习

来源：评论

学校读者我要写书评

暂无评论

基于前缀的片上网络容错源路由算法

引用

计算机应用与软件 2013年第2期30卷 18-21,25页

作者：许耿纯任开新顾乃杰中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027

为克服片上网络链路永久性错误带来的路由问题,提出一种基于前缀的片上网络容错源路由算法PFTSR。该算法适用于二维mesh片上网络,采用预测路径并根据反馈信息调整路径的方法进行路由探测。在仿真平台NIRGAM上进行仿真,实验结果表明,与... 详细信息

为克服片上网络链路永久性错误带来的路由问题,提出一种基于前缀的片上网络容错源路由算法PFTSR。该算法适用于二维mesh片上网络,采用预测路径并根据反馈信息调整路径的方法进行路由探测。在仿真平台NIRGAM上进行仿真,实验结果表明,与传统片上网络容错源路由算法SRN相比,PFTSR极大降低了片上系统的功耗,并且在大多数情况下能减少探测到第一条路径的时间。

关键词：片上网络路由算法容错源路由

来源：评论

学校读者我要写书评

暂无评论

未知网络中可分负载的分布式调度

引用

中国科学技术大学学报 2009年第8期39卷 864-870页

作者：黎鹤孙广中许胤龙多媒体计算与通信教育部-微软重点实验室中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省高性能计算重点实验室安徽合肥230026

针对未知网络参数的异构网络系统,提出了一个基于探测技术的多阶段负载调度策略.该策略首先将整个负载分成一些子负载,每个阶段将一个子负载分配给各个处理器.在不知道网络性能参数或网络性能随时间动态变化的情况下,从子负载中分出一... 详细信息

针对未知网络参数的异构网络系统,提出了一个基于探测技术的多阶段负载调度策略.该策略首先将整个负载分成一些子负载,每个阶段将一个子负载分配给各个处理器.在不知道网络性能参数或网络性能随时间动态变化的情况下,从子负载中分出一小部分负载作为探测片段来探测网络的当前性能参数,作为调度的基础.实验结果表明,该算法的优越性明显.在同样的调度时间复杂度下,其调度结果较已有算法最好时可以缩短调度时间超过20%,平均缩短调度时间约15%.

关键词：可分负载多负载多阶段单层树探测技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：