张峻
- 作品数：42 被引量：14H指数：3
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术电子电信机械工程更多>>
- 一种基于网络控制器的超大规模栅栏同步方法
- 一种基于网络控制器的超大规模栅栏同步方法，步骤为：(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)交换节点对内输出端口有空闲则...
- 罗章徐金波董德尊赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民
- 文献传递
