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

计算机学报 2016年第9期39卷 1858-1867页

作者：肖灿文张民选国防科学技术大学计算机学院长沙410073

气泡流控是一种实现环内无死锁路由的高效方法.该方法在超级计算机Bluegene/L中得到了成功应用.然而气泡流控只适用于虚跨步(VCT)切换网络.目前,研究人员提出了一些方法把气泡流控策略应用到虫孔切换的片上网络中.然而这些虫孔气泡流控... 详细信息

气泡流控是一种实现环内无死锁路由的高效方法.该方法在超级计算机Bluegene/L中得到了成功应用.然而气泡流控只适用于虚跨步(VCT)切换网络.目前,研究人员提出了一些方法把气泡流控策略应用到虫孔切换的片上网络中.然而这些虫孔气泡流控策略需要复杂的控制信息.文中提出了一种新型的设计方法实现高效、简洁的虫孔气泡流控.首先采用支持非原子缓冲分配的多请求缓冲结构(MRIBO)代替传统的FIFO缓冲结构存储报文.MRIBO支持Flit在不同报文间乱序存储,缓冲区中的每一个Flit能够独立路由.在MRIBO存储方式下,作者设计了一种类似VCT网络的气泡流控,适用于虫孔网络的新型气泡流控策略.证明了在MRIBO方式下,新型流控策略可以保证单向环内的Flit总是可以流动,不会出现死锁,在单向环内实现了无死锁路由.基于斯坦福大学开发的BookSim模拟平台,作者测试了新型虫孔气泡流控策略的性能.通过修改源代码,在BookSim中实现了基于新型虫孔气泡的维序路由算法(WBFC)和完全适应性路由算法(Adapt-BF).作者分别比较了这两种算法和传统的基于子午线(Dateline)的维序路由算法(DOR)以及完全适应性路由算法(Adapt-DL)在不同维度的Torus网络中的报文平均延迟.模拟结果显示:这种新型虫孔气泡流控策略的性能大大优于传统的虫孔切换.其中,8-ary 2-cube Torus网络性能测试中,在uniform通信模式下,Adapt-BF算法的报文延迟相对Adapt-DL算法有近18%的减少.文章通过新型的缓冲组织结构打破了虫孔交换中报文传输的原子性,保证了Flit独立路由,所以就可以在虫孔网络中像VCT网络中处理报文一样处理Flit.在这种情况下,VCT网络中基于局部信息的Bubble流控技术可以几乎不加修改地应用到虫孔网络中.因此,这种方法简化了虫孔气泡流控的实现.

关键词：虫孔气泡流控多请求缓冲结构非原子缓冲分配虫孔切换死锁避免

来源：评论

学校读者我要写书评

暂无评论

数据流上自适应的稀疏Skyline挖掘

引用

自动化学报 2008年第3期34卷 360-366页

作者：苏亮邹鹏贾焰国防科学技术大学计算机学院长沙410073

Skyline查询的结果集为数据集中不被其他对象所"支配"的对象的全体.近年来,它在在线服务、决策支持和实时监测等领域的良好应用前景,使其成为数据管理与数据挖掘领域的研究热点.实际应用中,用户通常期望快速、渐进地获得Skyl... 详细信息

Skyline查询的结果集为数据集中不被其他对象所"支配"的对象的全体.近年来,它在在线服务、决策支持和实时监测等领域的良好应用前景,使其成为数据管理与数据挖掘领域的研究热点.实际应用中,用户通常期望快速、渐进地获得Skyline计算结果,而流数据的连续、海量、高维等特性,使得在确保查询质量损失受控的前提下挖掘稀疏Skyline集合成为一个极具价值和挑战性的问题.本文首先提出一个新颖的概念:稀疏Skyline(Sparse-skyline),它采用一个Skyline对象来代表其周围ε-邻域内的所有Skyline对象;接着,给出了通过数据维度之间的相关性来自适应调整查询质量的两个在线算法;最后,理论分析和实验结果表明,与现有的Skyline挖掘算法相比,本文提出的方法具有良好的性能和效率,更适合于数据流应用.

关键词：稀疏Skyline,自适应算法,数据流,数据挖掘

来源：评论

学校读者我要写书评

暂无评论

并发和实时系统的模型检验技术

引用

计算机研究与发展 2001年第6期38卷 698-705页

作者：董威王戟齐治昌国防科学技术大学计算机学院长沙410073

模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机... 详细信息

模型检验是一种重要的自动验证技术 ,通过显式状态搜索或隐式不动点计算来验证并发或实时系统的模态 /命题性质 ,以保证通信协议、数字电路等设计的正确性 .详细阐述了模型检验技术的发展与研究现状 .首先描述了并发系统分别基于自动机理论和符号化的两种主要模型检验策略 ,并给出解决状态爆炸问题的主要方法 ;然后介绍了针对实时系统以及面向对象设计的模型检验方法 ;对每种方法都介绍了相应的典型工具 .

关键词：模型检验形式化验证并发系统实时系统自动机理论软件工程

来源：评论

学校读者我要写书评

暂无评论

基于用户名特征的用户身份同一性判定方法

引用

计算机学报 2015年第10期38卷 2028-2040页

作者：刘东吴泉源韩伟红周斌国防科学技术大学计算机学院长沙410073

由于用户通常注册使用多个网络应用,因而在互联网中存在着许多重复的用户身份.对重复用户身份的判定与整合在商业领域和网络安全领域都有十分重要的意义.由于用户出于隐私安全的考虑,其在互联网中提供的个人信息通常不完整或者部分内容... 详细信息

由于用户通常注册使用多个网络应用,因而在互联网中存在着许多重复的用户身份.对重复用户身份的判定与整合在商业领域和网络安全领域都有十分重要的意义.由于用户出于隐私安全的考虑,其在互联网中提供的个人信息通常不完整或者部分内容是虚假的.考虑到用户名能够反映出用户的个性或习惯,较易获得且不涉及隐私问题,因此文中提出了一种仅依靠用户名特征进行用户身份同一性判定的方法.首先文中对用户身份同一性判定问题进行了形式化描述,进而将用户名特征分为直观特征和对比特征两类,并对用户名特征的概率分布进行了量化分析.在此基础上,文中提出了一种身份同一性判定方法,对指定用户名对是否属于同一用户进行鉴别.进而提出了一种给定单个用户名时,在用户名候选集合中检索可能属于该用户的其他用户名的方法.最后在大规模真实数据集上进行了一系列实验,证实了提出的方法的有效性.

关键词：用户名特征身份同一性判定多网络应用社交网络社会计算

来源：评论

学校读者我要写书评

暂无评论

三类大气基本波动的广义变分原理

引用

物理学报 2012年第7期61卷 15-20页

作者：宋君强曹小群朱小谦张卫民赵军国防科学技术大学计算机学院长沙410073

半反推法是He为了寻求数学物理问题的变分原理而提出的,可避免由拉氏乘子法引起的临界变分现象.应用半反推法分别获得了动力气象中Rossby波、大气声波和重力外波等三类基本大气波动的广义变分原理,并验证了它们的正确性.

关键词：半反推法广义变分原理 Rossby波大气声波

来源：评论

学校读者我要写书评

暂无评论

共享存储可重构计算机软硬件通信的优化实现

引用

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

作者：荀长庆杨乾明伍楠文梅张春元国防科学技术大学计算机学院长沙410073

可重构硬件操作系统BORPH提供的硬件进程概念和以硬件为中心的执行模型可极大地提高可重构计算平台的易用性.BORPH-N为BORPH的扩展系统,主要的扩展是支持在共享存储可重构计算平台上的运行.BORPH-N为硬件进程提供基于共享存储、符合Uni... 详细信息

可重构硬件操作系统BORPH提供的硬件进程概念和以硬件为中心的执行模型可极大地提高可重构计算平台的易用性.BORPH-N为BORPH的扩展系统,主要的扩展是支持在共享存储可重构计算平台上的运行.BORPH-N为硬件进程提供基于共享存储、符合Unix语义的高性能进程间通信支持:共享存储和信号量.利用这两项服务,硬件进程可与系统中其他所有软件进程和硬件进程进行交互.可重构计算的重要目标是利用可重构逻辑对应用的耗时部分进行加速,所以软硬件交互机制的效率至关重要.通过类似远程调用这种简单方式来提供这两项服务,软硬件交互频繁,开销较大,性能难以满足需求.BORPH-N使用的优化策略基于独立执行的基本思路进行设计.实验结果表明,BORPH-N所需硬件开销较小,为硬件进程提供的共享存储和信号量的效率逼近硬件平台的峰值,可以满足实际应用的需求.

关键词：可重构计算软硬件协同共享存储进程间通信硬件进程

来源：评论

学校读者我要写书评

暂无评论

一种软硬件结合的控制流检测与恢复方法

引用

计算机研究与发展 2009年第2期46卷 345-351页

作者：龚锐陈微刘芳戴葵王志英国防科学技术大学计算机学院长沙410073

控制流检测可以有效地提高微处理器容错能力.针对传统软件实现的控制流检测时空开销大的缺点,提出了一种软硬件结合的控制流检测与恢复方法.该方法通过编译自动插入签名数据,由硬件在分支/跳转指令之后自动执行检测,并且提供了硬件现场... 详细信息

控制流检测可以有效地提高微处理器容错能力.针对传统软件实现的控制流检测时空开销大的缺点,提出了一种软硬件结合的控制流检测与恢复方法.该方法通过编译自动插入签名数据,由硬件在分支/跳转指令之后自动执行检测,并且提供了硬件现场保存和恢复机制,检测到控制流错误后无需复位系统即可以快速恢复正常控制流.基于8051体系结构实现了软硬件结合的控制流检测与恢复方法,实验结果表明与传统的软件控制流检测相比,该方法在保持相同的错误检测率的情况下,可以大幅减小二进制代码量和额外的性能开销,在发生控制流错误以后可以快速恢复正常控制流.

关键词：软错误控制流检测编译签名硬件检测控制流恢复

来源：评论

学校读者我要写书评

暂无评论

DSP芯片中的高能效FFT加速器

引用

计算机研究与发展 2016年第7期53卷 1438-1446页

作者：雷元武陈小文彭元喜国防科学技术大学计算机学院长沙410073

快速傅里叶变换(fast Fourier transform,FFT)是数字信号处理(digital signal processing,DSP)领域中最耗时的核心算法,该算法的计算性能和计算效率将影响整个应用的执行效率.因此,在DSP芯片上设计实现了一个基于矩阵转置操作的高能效... 详细信息

快速傅里叶变换(fast Fourier transform,FFT)是数字信号处理(digital signal processing,DSP)领域中最耗时的核心算法,该算法的计算性能和计算效率将影响整个应用的执行效率.因此,在DSP芯片上设计实现了一个基于矩阵转置操作的高能效可变长度FFT加速器,采用多种并行策略开发批量小规模FFT算法与大规模Cooley-Tukey FFT算法中指令级和任务级并行.设计"乒乓"多体数据存储器,重叠数据搬移和FFT计算之间的开销,提高FFT加速器计算效率.并基于此存储器,提出基于基本块的快速矩阵转置算法,从而避免对数据矩阵的列访问;提出混合旋转因子产生策略,结合查表和基于CORDIC算法在线计算方式,最大限度降低旋转因子产生的硬件开销.实验结果表明:FFT加速器原型的峰值能效为146GFLOPs/W,相比Intel Xeon CPU上的多线程FFTW实现,取得2个数量级的能效提升.

关键词：快速傅里叶变换加速器高能效矩阵转置数字信号处理

来源：评论

学校读者我要写书评

暂无评论

基于窗口的端到端拥塞控制:网络稳定性与效率

引用

计算机学报 2006年第3期29卷 353-360页

作者：邵立松张鹤颖窦文华国防科学技术大学计算机学院长沙410073

拥塞窗口算法对网络稳定性和效率的影响表现在平衡状态附近,分组级递增量越小网络稳定性越强;往返时间级递增量的一阶导数越小网络效率越大.在以上研究的基础上,进而提出一种新拥塞控制算法的基本思想:根据拥塞反馈信号估计可用带宽,分... 详细信息

拥塞窗口算法对网络稳定性和效率的影响表现在平衡状态附近,分组级递增量越小网络稳定性越强;往返时间级递增量的一阶导数越小网络效率越大.在以上研究的基础上,进而提出一种新拥塞控制算法的基本思想:根据拥塞反馈信号估计可用带宽,分组速率能快速收敛到并能长期保持在可用带宽附近.

关键词：拥塞控制网络稳定性网络效率带宽延迟积 TCP

来源：评论

学校读者我要写书评

暂无评论

面向通用HPC的高性能DSP设计权衡

引用

计算机学报 2013年第4期36卷 790-798页

作者：张凯陈书明王耀华宁希国防科学技术大学计算机学院长沙410073

GPU由于其计算能力高达数TFLOPS,被高性能计算领域用于加速并行运算.但GPU较低的峰值性能利用率和功耗效率,已经成为了系统性能进一步提升的瓶颈.为了解决这个问题,作者开始研究将高性能DSP用于通用高性能计算领域.为了高效支撑通用高... 详细信息

GPU由于其计算能力高达数TFLOPS,被高性能计算领域用于加速并行运算.但GPU较低的峰值性能利用率和功耗效率,已经成为了系统性能进一步提升的瓶颈.为了解决这个问题,作者开始研究将高性能DSP用于通用高性能计算领域.为了高效支撑通用高性能计算,文中提出了高性能DSP的结构框架,并通过映射GotoBLAS库到该结构上,建立了GEMM在该结构上的性能模型.作者研究了影响GEMM效率的主要因素,包括性能、存储层次、核的大小以及核的数量.文中总结了一些有指导意义的结论用于构建面向通用高性能计算的高效DSP.实验结果表明,通过尽可能少的硬件代价,可以在TFLOPS DSP上获得接近峰值的性能.

关键词：高性能计算矩阵乘法数字信号处理器模型设计权衡

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：