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

小型微型计算机系统 2010年第12期31卷 2461-2466页

作者：王莉安虹王耀彬任永青从明路璐中国科学技术大学计算机科学与技术学院安徽合肥230027 中国科学院计算机体系结构重点实验室北京100080

谓词执行技术是克服程序中控制依赖的重要软件技术.利用类数据流体系结构的特点,设计了一种在类数据流体系结构中低开销、高效率地实现谓词执行技术的方法:仅占用指令编码中的1-bit;谓词的值通过片上网络在指令间直接传递,无需谓词寄存... 详细信息

谓词执行技术是克服程序中控制依赖的重要软件技术.利用类数据流体系结构的特点,设计了一种在类数据流体系结构中低开销、高效率地实现谓词执行技术的方法:仅占用指令编码中的1-bit;谓词的值通过片上网络在指令间直接传递,无需谓词寄存器.这种实现方法的主要开销是由类数据流指令集引入的软件输出树,本文进一步提出一种基于边剖析技术的优化方法.实验表明,这种优化能减少17.3%的软件输出树开销,同时将程序性能提高了15.5%.

关键词：类数据流体系结构谓词执行技术边剖析编译优化

来源：评论

学校读者我要写书评

暂无评论

一维数组程序的形式验证

引用

小型微型计算机系统 2015年第5期36卷 1002-1006页

作者：韩亚慧陈意云李兆鹏中国科学技术大学计算机科学与技术学院合肥230026 中国科学技术大学苏州研究院软件安全实验室苏州215123

在一个类C小语言Pointer C的程序验证器原型的实现中,设计并实现了对一维数组元素进行赋值的语句的推理规则.该推理规则是Hoare逻辑推理规则的扩展,保证了断言演算中全称量词的合法性,适用于操作数组的程序断言中使用全称量词的情况.然... 详细信息

在一个类C小语言Pointer C的程序验证器原型的实现中,设计并实现了对一维数组元素进行赋值的语句的推理规则.该推理规则是Hoare逻辑推理规则的扩展,保证了断言演算中全称量词的合法性,适用于操作数组的程序断言中使用全称量词的情况.然后以冒泡排序程序和用数组实现二叉堆删除程序等操作一维数组的程序的验证为例,展示了该规则设计和实现的正确性,该规则的运用以及循环不变式的书写经验.

关键词：程序验证循环不变式推理规则全称量词断言演算

来源：评论

学校读者我要写书评

暂无评论

基于组合minimizer种子的泛基因组图序列比对算法

引用

计算机工程 2024年

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

随着测序技术的发展和应用，人类基因组序列从个体分析逐步转移为群体分析。为更好地展示种群不同样本之间的遗传变异信息，泛基因组图模型开始取代传统的线性多序列参考基因组模型，序列到图的比对成为生物序列分析的关键问题之一。现... 详细信息

随着测序技术的发展和应用，人类基因组序列从个体分析逐步转移为群体分析。为更好地展示种群不同样本之间的遗传变异信息，泛基因组图模型开始取代传统的线性多序列参考基因组模型，序列到图的比对成为生物序列分析的关键问题之一。现有的比对方法通常采用种子与扩展策略，但由于图中组合的路径较多，定位和验证阶段的时间成本高，需要进一步优化单种子选取方法，减少候选位置的数量。为此，研究提出了一种基于组合minimizer种子的序列比对算法，在定位阶段通过对minimizer种子的组合哈希，扩展了单个种子的覆盖范围；同时可以通过序列和相对位置两方面信息查找种子，减少假阳性匹配位置数量，从而降低后续筛选和验证的工作量。实验结果表明，与主流的比对算法相比，该算法能够减少约80%的候选位置，在时间性能上优化1- 3倍，且索引内存和精确比对能力与现有方法相当。

关键词：泛基因组图序列比对种子扩展 minimizer种子

来源：评论

学校读者我要写书评

暂无评论

一种新型直接优化NDCG的排序模型构造算法

引用

中国科学技术大学学报 2013年第1期43卷 65-72页

作者：程凡王煦法安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽大学计算机学院安徽合肥230039

针对现有直接优化NDCG的排序算法或基于虚梯度或基于结构化学习,其得到的模型均不够精确,提出一种新的排序算法.算法以多类SVM为框架,在此基础上设计了一个面向NDCG的目标函数.考虑到该函数的非光滑性,提出使用割平面算法进行求解,同时... 详细信息

针对现有直接优化NDCG的排序算法或基于虚梯度或基于结构化学习,其得到的模型均不够精确,提出一种新的排序算法.算法以多类SVM为框架,在此基础上设计了一个面向NDCG的目标函数.考虑到该函数的非光滑性,提出使用割平面算法进行求解,同时注意到已有割平面算法可能存在的"主问题"非单调递减,会降低算法的收敛速度,进而设计了一种高效的线性搜索算法对割平面的选择进行改进,确保了"主问题"的单调递减.基准数据集上的实验证明了所提算法的有效性.

关键词：排序算法 NDCG 改进的割平面算法线性搜索算法多类SVM

来源：评论

学校读者我要写书评

暂无评论

多核平台上Top-k查询的性能优化

引用

小型微型计算机系统 2012年第7期33卷 1489-1492页

作者：吴超孙广中陈国良中国科学技术大学计算机科学与技术学院合肥230027 安徽省高性能计算与应用重点实验室合肥230026

随着Web搜索引擎等实际应用的发展,Top-k查询的实时性能日益受人关注.为了提升Top-k查询在高性能计算机上的实时性能,本文针对领域中具有代表性的No Radom Access(NRA)程序进行性能分析,根据多核处理器的结构特点,采用分层的优化方法对... 详细信息

随着Web搜索引擎等实际应用的发展,Top-k查询的实时性能日益受人关注.为了提升Top-k查询在高性能计算机上的实时性能,本文针对领域中具有代表性的No Radom Access(NRA)程序进行性能分析,根据多核处理器的结构特点,采用分层的优化方法对NRA程序进行并行优化.通过使用数据结构调整,任务调度等方法优化,优化后程序在实验数据集上获得了59%的串行性能提升,并具有接近线性的加速比.

关键词： Top-k查询多核处理器性能优化

来源：评论

学校读者我要写书评

暂无评论

分片式处理器上的谓词执行技术优化

引用

小型微型计算机系统 2012年第2期33卷 399-403页

作者：邓春华安虹路璐王耀彬中国科学技术大学计算机科学与技术学院合肥230027 中国科学院计算机体系结构重点实验室北京100080

谓词执行能使分片式处理器充分利用众多的执行单元,开发指令级并行性.但因此形成的超块也使得分支误预测代价增大,所以提高分支预测器的性能至关重要.本文提出一种基于剖析信息决策的谓词执行技术,该技术利用剖析信息对谓词执行前后的... 详细信息

谓词执行能使分片式处理器充分利用众多的执行单元,开发指令级并行性.但因此形成的超块也使得分支误预测代价增大,所以提高分支预测器的性能至关重要.本文提出一种基于剖析信息决策的谓词执行技术,该技术利用剖析信息对谓词执行前后的执行周期进行估算,从而对分支的谓词执行进行决策.该技术使分支预测器的命中率提高了0.68%～3.50%,使系统性能提高了1.67%～8.33%.同时,利用select指令表示谓词化指令也消除了重命名阶段寄存器多定义问题.

关键词：谓词执行分片式处理器分支预测器剖析信息

来源：评论

学校读者我要写书评

暂无评论

利用Java即时编译器自动外提循环中的同步操作

引用

小型微型计算机系统 2009年第12期30卷 2414-2419页

作者：张昱史成荣中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027

同步开销是影响并行程序性能的一个重要方面,如果同步操作出现在循环中,将会使这种影响进一步扩大.为了降低循环中同步操作的开销,本文提出一种利用即时编译器外提Java程序中循环内同步操作的优化算法,并在实际的Java虚拟机中实现.该算... 详细信息

同步开销是影响并行程序性能的一个重要方面,如果同步操作出现在循环中,将会使这种影响进一步扩大.为了降低循环中同步操作的开销,本文提出一种利用即时编译器外提Java程序中循环内同步操作的优化算法,并在实际的Java虚拟机中实现.该算法在保证程序语义不变的前提下,大量减少运行时实际执行的同步操作数量,降低同步开销,并能保证外提变换后同步代码块不会太大而降低程序的并发度.实验结果表明该算法能提高程序的整体性能,并且不降低程序的可扩放性.

关键词：即时编译器同步优化循环代码外提

来源：评论

学校读者我要写书评

暂无评论

一种基于顶点位置树的可重构软硬件迭代协同算法

引用

中国科学技术大学学报 2014年第4期44卷 325-332页

作者：李春生周学海曾芳玲王超中国科学技术大学计算机科学与技术学院安徽合肥230027 电子工程学院电磁制约重点实验室安徽合肥230037

可重构计算分时复用有限的面积资源,实现更多的任务硬件加速运行,同时也给传统的软硬件协同设计带来了新的挑战.为此设计了一种基于顶点位置树的迭代协同ICS-VPT算法针对离线型、集中共享式可重构计算平台,综合软硬件划分、硬件布局和... 详细信息

可重构计算分时复用有限的面积资源,实现更多的任务硬件加速运行,同时也给传统的软硬件协同设计带来了新的挑战.为此设计了一种基于顶点位置树的迭代协同ICS-VPT算法针对离线型、集中共享式可重构计算平台,综合软硬件划分、硬件布局和任务调度,提升系统性能:首次提出顶点位置树的数据结构,以较小的存储空间快速查找布局位置;迭代协同算法根据数据依赖图分组任务,结合通信代价获取软/硬件任务的优先级,进行合理划分和调度.实验结果表明,ICS-VPT算法在高效管理可重构资源和灵活处理通信代价的同时,保持了较低的系统运行时间.

关键词：可重构计算顶点位置树软硬件划分迭代调度硬件布局

来源：评论

学校读者我要写书评

暂无评论

快速时代回收:一种针对无锁编程的快速垃圾回收算法

引用

小型微型计算机系统 2013年第12期34卷 2691-2695页

作者：彭建章顾乃杰张旭张颖楠魏振伟中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027

在多核、众核时代,并行编程模型如软件事务内存、无锁编程等成为研究热点.无锁编程技术使得多个线程无需加锁即可并发访问同一个数据结构成为可能,该技术已被证明能够有效地提升程序的性能.实现无锁算法的一个关键的技术是垃圾回收.时... 详细信息

在多核、众核时代,并行编程模型如软件事务内存、无锁编程等成为研究热点.无锁编程技术使得多个线程无需加锁即可并发访问同一个数据结构成为可能,该技术已被证明能够有效地提升程序的性能.实现无锁算法的一个关键的技术是垃圾回收.时代回收算法是一种高效、易用的垃圾回收算法,但其回收速度受制于最慢的线程,在极端情况下该算法完全停滞,难以在实际情况下使用.本文针对时代回收算法的不足,在其基础上提出了快速时代回收算法,新算法的回收速度与最快线程保持一致,在测试中回收成功率为100%,实验证明快速时代回收算法一种适用于无锁编程的快速实用的垃圾回收算法.

关键词：无锁编程垃圾回收 CAS 时代回收算法快速时代回收算法

来源：评论

学校读者我要写书评

暂无评论

收益与代价相结合的漏洞修复模型

引用

小型微型计算机系统 2009年第11期30卷 2163-2168页

作者：汪志亮顾乃杰李凯中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027

漏洞修复是增强网络安全性的重要方法,选择性地修复网络中漏洞具有现实意义.提出一种收益与代价相结合的漏洞修复模型BCVRM.漏洞修复收益评价算法基于简化的攻击图生成算法,对比漏洞修复前后网络整体及相关各类型主机安全状态的提升,给... 详细信息

漏洞修复是增强网络安全性的重要方法,选择性地修复网络中漏洞具有现实意义.提出一种收益与代价相结合的漏洞修复模型BCVRM.漏洞修复收益评价算法基于简化的攻击图生成算法,对比漏洞修复前后网络整体及相关各类型主机安全状态的提升,给出漏洞修复的总收益.漏洞修复代价评分系统基于CVSS对漏洞属性信息的描述,给出单个漏洞修复代价的评分规则,然后结合漏洞所属主机类型及漏洞分布情况给出网络漏洞修复代价.实例网络分析表明,该模型能够为网络管理人员提供一个切实可行的网络漏洞修复策略.

关键词：漏洞修复攻击图 CVSS 收益代价

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：