您的位置: 专家智库 > >

张峻

作品数:42 被引量:14H指数:3
供职机构:国防科学技术大学更多>>
发文基金:国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
相关领域:自动化与计算机技术电子电信机械工程更多>>

文献类型

  • 27篇专利
  • 10篇期刊文章
  • 4篇会议论文
  • 1篇学位论文

领域

  • 19篇自动化与计算...
  • 4篇电子电信
  • 1篇机械工程

主题

  • 10篇网络
  • 6篇芯片
  • 6篇控制器
  • 6篇缓存
  • 5篇重传
  • 5篇接口
  • 5篇结点
  • 5篇存储器
  • 4篇控制器芯片
  • 4篇计算机
  • 4篇并行处理
  • 4篇并行处理结构
  • 4篇并行计算
  • 4篇并行计算机
  • 3篇形式化
  • 3篇一致性
  • 3篇通信接口
  • 3篇图像
  • 3篇伪随机
  • 3篇路由

机构

  • 42篇国防科学技术...

作者

  • 42篇张峻
  • 31篇庞征斌
  • 28篇徐炜遐
  • 26篇夏军
  • 24篇张建民
  • 24篇常俊胜
  • 21篇齐星云
  • 20篇王绍刚
  • 20篇陆平静
  • 20篇董德尊
  • 20篇徐金波
  • 18篇童元满
  • 16篇王克非
  • 16篇罗章
  • 16篇赖明澈
  • 16篇王桂彬
  • 14篇陈虎
  • 14篇肖立权
  • 6篇江天
  • 6篇刘煜

传媒

  • 4篇国防科技大学...
  • 2篇计算机工程与...
  • 2篇计算机应用
  • 1篇计算机研究与...
  • 1篇上海交通大学...
  • 1篇第14届全国...
  • 1篇第十七届计算...

年份

  • 1篇2021
  • 2篇2019
  • 4篇2018
  • 1篇2017
  • 2篇2016
  • 3篇2015
  • 8篇2014
  • 12篇2013
  • 3篇2012
  • 1篇2011
  • 1篇2009
  • 1篇2008
  • 1篇2007
  • 1篇2006
  • 1篇2001
42 条 记 录,以下是 1-10
排序方式:
一种基于网络控制器的超大规模栅栏同步方法
一种基于网络控制器的超大规模栅栏同步方法,步骤为:(1)进行MPI栅栏同步调用,软件构造同步通信域,并将参与线程与物理节点的映射关系发送给所有参与节点;(2)基于软件线程号,构建栅栏同步描述符;(3)基本节点的信息,完成...
徐炜遐王绍刚肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民罗章徐金波董德尊赖明澈陆平静
文献传递
用于无缓存光交换网络的自适应路由方法
本发明公开了一种用于无缓存光交换网络的自适应路由方法,步骤如下:1)源计算节点将信息存入待发送信息队列;2)计算节点赋予路由标记;3)计算节点监听其所连交换节点,当有空闲输出时将信息输出;4)交换节点对内输出端口有空闲则...
罗章徐金波董德尊赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民
基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法被引量:1
2012年
随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。
张建民黎铁军张峻徐炜遐李思昆
关键词:形式化验证
面向大规模ASIC验证的多FPGA芯片间高速通信技术
受容量和其他资源限制,大规模ASIC芯片的FPGA原型系统验证常常需要采用多片FPGA芯片。因此,高效的多FPGA芯片间通信机制成为设计一个验证系统的重要工作。本文介绍了一种FPGA芯片间高速多路串行通信的实现技术和方法...
齐星云张峻夏军庞征斌
文献传递
CC-NUMA系统中一种块传输通讯机制的设计与实现被引量:1
2008年
本文描述了一种CC-NUMA结点控制器内实现的通信机制,通信请求通过描述符进行提交,利用CC-NUMA硬件实现的Cache一致性协议,实现高性能的一致性数据传输。基于这种通信机制,实现了高速通信软件接口,使用用户级通信技术,将硬件的通讯功能抽象出来给应用层使用,在测试中获得了较好的性能。
张峻庞征斌郑义谢旻徐炜遐周兴铭
关键词:CC-NUMA描述符通信接口
用于FPGA芯片调试的信号采样缓存装置
本发明公开了一种用于FPGA芯片调试的信号采样缓存装置,包括缓存控制器(1)、测试插座(2)、存储模块(3)、通信接口(4)和用于实现多个信号采样缓存装置之间级联连接的级联插座模块,缓存控制器(1)分别与测试插座(2)、...
张峻齐星云王桂彬常俊胜张建民罗章徐金波董德尊赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎
文献传递
用于减少远程Cache访问延迟的最后一次写访问预测方法被引量:1
2015年
为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。
夏军徐炜遐庞征斌张峻常俊胜
关键词:CACHE一致性协议
一种高空间分辨的泵浦‑探测微区测量装置、系统及方法
本发明公开了一种高空间分辨的泵浦‑探测微区测量装置、系统及方法,装置包括:激光器、分光器、泵浦激光调节组件、探测激光调节组件、合束器、微区测量组件和光强探测组件;泵浦激光调节组件用于对两束激光中的一束进行调节,得到泵浦激...
江天郝昊韦可李汉沈超郑鑫程湘爱许中杰陈润泽刘煜阳东升武庆雄杨澜张峻赵杰周军虎王义之
一种多微包并行处理结构
本发明公开了一种多微包并行处理结构,目的是解决单微包处理结构下物理层和链路层的带宽不匹配,降低了结点控制器芯片对各处理器间通信的处理速度的问题。本发明由接口转换模块、接收模块、接收缓冲区、报文分发模块、第一协议层报文FI...
庞征斌徐炜遐张峻夏军陆平静童元满常俊胜王绍刚齐星云张建民徐金波董德尊
文献传递
用于无缓存光交换网络的自适应路由方法
本发明公开了一种用于无缓存光交换网络的自适应路由方法,步骤如下:1)源计算节点将信息存入待发送信息队列;2)计算节点赋予路由标记;3)计算节点监听其所连交换节点,当有空闲输出时将信息输出;4)交换节点对内输出端口有空闲则...
罗章徐金波董德尊赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民
文献传递
共5页<12345>
聚类工具0