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

计算机系统应用 2022年第11期31卷 60-67页

作者：王文杰徐云中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学高性能计算安徽省重点实验室合肥230027

传统的基于Token的克隆检测方法利用代码字符串的序列化特性,可以在大型代码仓中快速检测克隆.但是与基于抽象语法树(AST)、程序依赖图(PDG)的方法相比,由于缺少语法及语义信息,针对文本有较大差异的克隆代码检测困难.为此,提出一种赋... 详细信息

传统的基于Token的克隆检测方法利用代码字符串的序列化特性,可以在大型代码仓中快速检测克隆.但是与基于抽象语法树(AST)、程序依赖图(PDG)的方法相比,由于缺少语法及语义信息,针对文本有较大差异的克隆代码检测困难.为此,提出一种赋予语义信息的Token克隆检测方法.首先,分析抽象语法树,使用AST路径抽象位于叶子节点的Token的语义信息;然后,在函数名和类型名角色的Token上建立低成本索引,达到快速并有效地筛选候选克隆片段的目的.最后,使用赋予语义信息的Token判定代码块之间的相似性.在公开的大规模数据集BigCloneBench实验结果表明,该方法在文本相似度较低的Moderately Type-3和Weakly Type-3/Type-4类型克隆上显著优于主流方法,包括NiCad、Deckard、CCAligner等,同时在大型代码仓上需要更少的检测时间.

关键词：代码克隆检测抽象语法树语义信息高效索引源代码

来源：评论

学校读者我要写书评

暂无评论

宏基因组分类问题中的特征提取及其降维研究

引用

计算机系统应用 2015年第11期24卷 31-37页

作者：陈波徐云中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学安徽省高性能计算重点实验室合肥230027

宏基因组测序序列分类问题是宏基因组学研究的一个重点问题.影响宏基因组分类性能的主要因素是特征向量的提取问题,如何提取并产生合适的特征向量对于提高宏基因组分类问题的分类精度和运行时间有着重大影响.因此,针对宏基因组分类问题... 详细信息

宏基因组测序序列分类问题是宏基因组学研究的一个重点问题.影响宏基因组分类性能的主要因素是特征向量的提取问题,如何提取并产生合适的特征向量对于提高宏基因组分类问题的分类精度和运行时间有着重大影响.因此,针对宏基因组分类问题的数据特点,利用三阶马尔可夫模型的性质,提出了一种基于转移概率矩阵的特征提取方法,并采用基于互信息的特征选择算法对提取后的特征向量进行降维处理,最后将新提出的特征向量应用到SVM分类算法中,并与相关算法进行了性能对比.结果显示,新提出的特征向量在不同的宏基因组物种之问有着良好的区分度,特别适用于大规模宏基因组数据的分类问题.

关键词：宏基因组测序序列转移概率矩阵降维 SVM算法

来源：评论

学校读者我要写书评

暂无评论

基于HXDSP的OpenCL运行时任务调度

引用

计算机系统应用 2022年第11期31卷 130-138页

作者：顾经纬宁成明郑启龙中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学高性能计算安徽省重点实验室合肥230027

OpenCL是一种开源免费的异构计算框架,被各类架构处理器广泛采用.HXDSP是中国电子科技集团公司第38研究所自主研发的国产高性能DSP芯片.为了解决HXDSP异构计算平台调度困难和硬件利用不充分,本文针对OpenCL运行时任务调度系统展开研究,... 详细信息

OpenCL是一种开源免费的异构计算框架,被各类架构处理器广泛采用.HXDSP是中国电子科技集团公司第38研究所自主研发的国产高性能DSP芯片.为了解决HXDSP异构计算平台调度困难和硬件利用不充分,本文针对OpenCL运行时任务调度系统展开研究,设计了OpenCL运行时期间的任务图自动化提取方法,并结合HXDSP硬件特性和OpenCL执行模型特性对经典的静态调度算法HEFT进行改进,提出了一种异构双粒度最早完成时间优先调度算法HDGEFT,并在HXDSP异构计算平台上设计实验验证算法.实验结果表明经过特殊设计的调度算法在执行效率上有明显优势.

关键词： OpenCL 异构计算任务调度 HXDSP 内核

来源：评论

学校读者我要写书评

暂无评论

复杂内核数据结构的形式化描述和验证

引用

小型微型计算机系统 2019年第2期40卷 359-366页

作者：马顶付明乔磊冯新宇中国科学技术大学计算机科学与技术学院合肥230027 华为上海研究所2012实验室-OS内核实验室上海201206 北京控制工程研究所北京100190 南京大学计算机软件新技术国家重点实验室南京210023

对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离... 详细信息

对数据结构进行形式化描述是内核验证的重要组成部分,但是在实际的验证工作中,内核经常会使用一些不规则的数据结构,而对不规则数据结构的形式化定义仍存在诸多困难.针对内核中的复杂数据结构,本文提出使用结构拆分以及形状和内存分离的方法来形式化定义内核中的不规则数据结构,并运用该方法成功刻画了某航天操作系统内核的进程管理数据结构,最终成功验证了该内核中相关API的代码.相关的代码验证工作在定理证明工具Coq中完成.

关键词：内核数据结构形式化验证分离逻辑内核验证

来源：评论

学校读者我要写书评

暂无评论

面向SW26010Pro处理器的全局符号重定位优化

引用

计算机系统应用 2024年第2期33卷 62-71页

作者：钱宏王飞刘沙郑天宇宋佳伟安虹中国科学技术大学计算机科学与技术学院合肥230026 清华大学计算机科学与技术系北京100084 之江实验室杭州311121 国家超级计算无锡中心无锡214000

申威异构众核处理器运算核心访问主存的延迟很大,程序中应尽量避免运算核心代码访问主存的操作.全局偏移表存放程序中全局变量和函数的地址,不适合保存在珍稀的运算核心局部存储空间中,并且其访问模式通常比较离散,因而也不适合对其做Ca... 详细信息

申威异构众核处理器运算核心访问主存的延迟很大,程序中应尽量避免运算核心代码访问主存的操作.全局偏移表存放程序中全局变量和函数的地址,不适合保存在珍稀的运算核心局部存储空间中,并且其访问模式通常比较离散,因而也不适合对其做Cache预取,访问全局偏移表引入的访问主存操作对程序性能影响较大.本文针对异构众核程序静态链接与动态链接的使用场景,分析链接器relaxation优化的使用限制,通过“gp基地址+扩展偏移”的方法实现避免访问主存操作的全局符号重定位优化.实验结果表明,该重定位优化方法能够以增加少量代码为代价,在运算核心代码调用函数与访问全局变量时有效避免访问全局偏移表引入的访问主存的操作,提高众核程序的运行性能.

关键词：众核处理器全局偏移表重定位链接器优化性能

来源：评论

学校读者我要写书评

暂无评论

SpaceOS中若干全局性质的形式化描述和验证

引用

小型微型计算机系统 2019年第1期40卷 141-148页

作者：顾海博付明乔磊冯新宇中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123 华为上海研究所2012实验室-OS内核实验室上海201206 北京控制工程研究所北京100190 南京大学计算机软件新技术国家重点实验室南京210023

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时... 详细信息

SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成.

关键词： SpaceOS 形式化验证全局性质操作系统内核 Coq

来源：评论

学校读者我要写书评

暂无评论

循环不变形状图的自动推断

引用

电子技术（上海） 2011年第8期38卷 4-6页

作者：刘刚陈意云张志天中国科学技术大学计算机科学与技术学院中国科学技术大学苏州研究院软件安全实验室

在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点。文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。然后在此基础之上,... 详细信息

在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点。文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。然后在此基础之上,设计了一种基于形状图逻辑的形状分析方法,并提出了一种基于形状图逻辑的循环不变形状图的推断方法。

关键词：形状图逻辑循环不变式程序验证形状分析

来源：评论

学校读者我要写书评

暂无评论

基于持久性内存的属性图存储系统

引用

计算机系统应用 2023年第10期32卷 65-74页

作者：卢明祥吕敏中国科学技术大学计算机科学与技术学院高性能计算安徽省重点实验室合肥230026

属性图是一种流行的图数据模型,在各种图系统中得到了广泛应用.然而,面向事务型负载的图数据库系统在执行图分析任务的场景下面临着高延迟等挑战.传统的图分析系统往往是基于简单图模型,而且大多不支持图的事务型负载.因此,迫切需要一... 详细信息

属性图是一种流行的图数据模型,在各种图系统中得到了广泛应用.然而,面向事务型负载的图数据库系统在执行图分析任务的场景下面临着高延迟等挑战.传统的图分析系统往往是基于简单图模型,而且大多不支持图的事务型负载.因此,迫切需要一个能够在属性图上高效处理事务型负载和图分析任务的图存储系统.持久性内存的问世,使得我们有机会重新设计图存储系统,以充分发挥这种设备的特点.为此,本文提出了一种基于持久性内存的属性图存储系统,名为TAG. TAG采用了一种新颖的混合架构的图存储方式,以充分发挥持久性内存和主存的优势.其次,通过拓扑和索引结合的方式,将图的拓扑嵌入到系统的索引中以加速图的拓扑查询.最后, TAG通过基于标签的方式来组织图的属性数据,进一步优化图的属性访问.实验结果表明, TAG显著优于其他图数据库系统,与图分析系统相比, TAG也有着相近的性能表现.

关键词：图存储属性图索引持久性内存混合事务分析处理

来源：评论

学校读者我要写书评

暂无评论

基于之字形解码算法优化的高效低存储ZD码

引用

计算机系统应用 2023年第10期32卷 175-183页

作者：谢灵江吕敏曾源中国科学技术大学计算机科学与技术学院高性能计算安徽省重点实验室合肥230026

ZD码(ZigZag-decodable codes)是基于之字形解码算法设计生成的一类纠删码,它仅需要少量的计算即可修复存储系统中的故障数据,但需要存储相对其他纠删码更多的冗余数据以保证系统的高可靠性.为了降低ZD码产生的存储开销,本文通过分析当... 详细信息

ZD码(ZigZag-decodable codes)是基于之字形解码算法设计生成的一类纠删码,它仅需要少量的计算即可修复存储系统中的故障数据,但需要存储相对其他纠删码更多的冗余数据以保证系统的高可靠性.为了降低ZD码产生的存储开销,本文通过分析当前在存储系统中使用的之字形解码的思想,提出了一种优化的之字形解码算法.新的解码算法能够更充分利用校验数据中的信息来完成数据修复.基于新的解码算法,本文相应的提出了一种新的ZD码编码方案,由于新算法更高的信息利用率,新的编码方案能够用更少的存储开销来满足存储系统的高可靠性.实验结果表明,本文提出的ZD码编码方案具有最优的存储开销,且编解码性能远高于目前广泛使用的RS码.

关键词：纠删码 ZD码可靠性分布式存储系统故障修复

来源：评论

学校读者我要写书评

暂无评论

基于TF-IDF和余弦相似度的文本分类方法

引用

中文信息学报 2017年第5期31卷 138-145页

作者：武永亮赵书良李长镜魏娜娣王子晏河北师范大学数学与信息科学学院河北石家庄050024 河北省计算数学与应用重点实验室河北石家庄050024 河北师范大学汇华学院河北石家庄050091 中国科学技术大学计算机科学与技术学院安徽合肥230022

文本分类是文本处理的基本任务。大数据处理时代的到来致使文本分类问题面临着新的挑战。研究者已经针对不同情况提出多种文本分类算法,如KNN、朴素贝叶斯、支持向量机及一系列改进算法。这些算法的性能取决于固定数据集,不具有自学习... 详细信息

文本分类是文本处理的基本任务。大数据处理时代的到来致使文本分类问题面临着新的挑战。研究者已经针对不同情况提出多种文本分类算法,如KNN、朴素贝叶斯、支持向量机及一系列改进算法。这些算法的性能取决于固定数据集,不具有自学习功能。该文提出一种新的文本分类方法,包括三个步骤:基于TF-IDF方法提取类别关键词;通过类别关键词和待分类文本关键词的相似性进行文本分类;在分类过程中更新类别关键词改进分类器性能。仿真实验结果表明,本文提出方法的准确度较目前常用方法有较大提高,在实验数据集上分类准确度达到90%,当文本数据量较大时,分类准确度可达到95%。算法初次使用时,需要一定的训练样本和训练时间,但分类时间可下降到其他算法的十分之一。该方法具有自学习模块,在分类过程中,可以根据分类经验自动更新类别关键词,保证分类器准确率,具有很强的现实应用性。

关键词：文本分类大数据 TF-IDF 余弦相似度类别关键词

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：