张峻
- 作品数：42 被引量：13H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
- 相关领域：自动化与计算机技术电子电信机械工程更多>>
- 一种基于网络控制器的超大规模栅栏同步方法
- 一种基于网络控制器的超大规模栅栏同步方法，步骤为：(1)进行MPI栅栏同步调用，软件构造同步通信域，并将参与线程与物理节点的映射关系发送给所有参与节点；(2)基于软件线程号，构建栅栏同步描述符；(3)基本节点的信息，完成...
- 徐炜遐王绍刚肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民罗章徐金波董德尊赖明澈陆平静
- 文献传递
- 用于无缓存光交换网络的自适应路由方法
- 本发明公开了一种用于无缓存光交换网络的自适应路由方法，步骤如下：1)源计算节点将信息存入待发送信息队列；2)计算节点赋予路由标记；3)计算节点监听其所连交换节点，当有空闲输出时将信息输出；4)交换节点对内输出端口有空闲则...
- 罗章徐金波董德尊赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民
- 面向高速缓冲存储器的可综合伪随机验证方法及装置
- 本发明公开了一种面向高速缓冲存储器的可综合伪随机验证方法及装置，方法步骤如下：1)建立数据镜像模块并初始化；2)生成伪随机数，构造访存控制数据信号并发送到高速缓冲存储器，同时启动超时计数器并在超时后报告超时错误；当收到高...
- 张建民罗章徐金波董德尊赖明澈陆平静黎铁军王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜
- ccNUMA系统分布共享I/O的数据一致性维护
- Cache一致性维护是构建共享存储多处理器系统的关键,分布共享I/O系统和I/O数据一致性维护的实现方式将直接影响ccNUMA系统的性能.本文基于大规模ccNUMA系统SCCMP (Scalable Cache Cohe...
- 庞征斌李琼李永进张峻徐炜遐
- 关键词：CACHE一致性
- 文献传递
- 基于多维尺度变换的虫洞拓扑识别方法
- 本发明公开了一种基于多维尺度变换的虫洞拓扑识别方法，实施步骤如下：1)网络图中的每个节点分别获取局部化连接关系图，获取局部化连接关系图中所有节点之间的最短距离矩阵；2)以最短距离矩阵为输入，利用多维尺度变换对局部化连接关...
- 董德尊鲁晓佩廖湘科赖明澈陆平静王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜张建民罗章徐金波
- 基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法被引量：1
- 2012年
- 随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。
- 张建民黎铁军张峻徐炜遐李思昆
- 关键词：形式化验证
- 面向大规模ASIC验证的多FPGA芯片间高速通信技术
- 受容量和其他资源限制,大规模ASIC芯片的FPGA原型系统验证常常需要采用多片FPGA芯片。因此,高效的多FPGA芯片间通信机制成为设计一个验证系统的重要工作。本文介绍了一种FPGA芯片间高速多路串行通信的实现技术和方法...
- 齐星云张峻夏军庞征斌
- 文献传递
- 用于减少远程Cache访问延迟的最后一次写访问预测方法被引量：1
- 2015年
- 为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。
- 夏军徐炜遐庞征斌张峻常俊胜
- 关键词：CACHE一致性协议
- 一种高空间分辨的泵浦‑探测微区测量装置、系统及方法
- 本发明公开了一种高空间分辨的泵浦‑探测微区测量装置、系统及方法，装置包括：激光器、分光器、泵浦激光调节组件、探测激光调节组件、合束器、微区测量组件和光强探测组件；泵浦激光调节组件用于对两束激光中的一束进行调节，得到泵浦激...
- 江天郝昊韦可李汉沈超郑鑫程湘爱许中杰陈润泽刘煜阳东升武庆雄杨澜张峻赵杰周军虎王义之
- 一种多微包并行处理结构
- 本发明公开了一种多微包并行处理结构，目的是解决单微包处理结构下物理层和链路层的带宽不匹配，降低了结点控制器芯片对各处理器间通信的处理速度的问题。本发明由接口转换模块、接收模块、接收缓冲区、报文分发模块、第一协议层报文FI...
- 庞征斌徐炜遐张峻夏军陆平静童元满常俊胜王绍刚齐星云张建民徐金波董德尊
- 文献传递
