您的位置： 专家智库 > >

张建民

作品数：120 被引量：31H指数：4
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术电子电信更多>>

合作作者

文献类型

  • 92篇专利
  • 24篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

  • 60篇自动化与计算...
  • 9篇电子电信

主题

  • 43篇网络
  • 16篇硬件
  • 15篇通信
  • 15篇芯片
  • 15篇接口
  • 14篇互连
  • 11篇拥塞
  • 11篇拥塞控制
  • 11篇路由
  • 11篇开销
  • 11篇缓存
  • 11篇计算机
  • 11篇报文
  • 10篇高速互连
  • 9篇连网
  • 9篇控制器
  • 9篇互连网
  • 8篇形式化
  • 6篇信号
  • 6篇形式化验证

机构

  • 120篇国防科学技术...
  • 1篇青岛科技大学
  • 1篇国防科技大学

作者

  • 120篇张建民
  • 75篇徐金波
  • 67篇罗章
  • 62篇常俊胜
  • 61篇董德尊
  • 57篇陆平静
  • 54篇赖明澈
  • 53篇黎渊
  • 46篇庞征斌
  • 46篇齐星云
  • 44篇孙岩
  • 40篇欧洋
  • 34篇熊泽宇
  • 32篇肖立权
  • 31篇黎铁军
  • 25篇夏军
  • 25篇徐炜遐
  • 24篇张峻
  • 23篇王克非
  • 22篇王绍刚

传媒

  • 7篇计算机工程与...
  • 5篇国防科技大学...
  • 2篇电子学报
  • 2篇计算机学报
  • 2篇计算机辅助设...
  • 1篇计算机研究与...
  • 1篇上海交通大学...
  • 1篇微电子学与计...
  • 1篇计算机应用
  • 1篇微电子学
  • 1篇计算机科学
  • 1篇第八届计算机...
  • 1篇全国第15届...
  • 1篇第九届计算机...

年份

  • 12篇2024
  • 12篇2023
  • 21篇2022
  • 6篇2021
  • 14篇2020
  • 5篇2019
  • 4篇2018
  • 2篇2017
  • 8篇2016
  • 4篇2015
  • 8篇2014
  • 10篇2013
  • 2篇2012
  • 2篇2010
  • 3篇2009
  • 2篇2008
  • 1篇2005
  • 2篇2004
  • 2篇2003
共 120 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种多线程并行执行的硬件SAT求解器
本发明提供了一种多线程并行执行的硬件SAT求解器，包括第一寄存器模块、第一评估模块组、缓存器模块组、计数器模块、变元翻转模块、概率映射表、FIFO树组、第二寄存器模块组、第二评估模块和第三寄存器模块。本发明提供的一种多线...
黎铁军马柯帆张建民常俊胜孙岩翦杰王强熊泽宇肖灿文徐佳庆
一种用于PAM4收发机的并行自适应减状态序列检测器
本发明公开了一种用于PAM4收发机的并行自适应减状态序列检测器，包括由四个并行的序列检测单元构成的序列检测组块，序列检测单元包括ISI计算器、状态产生器、预比较选择器、加比选模块和输出组织模块，ISI计算器用于实现ISI...
吕方旭许超龙赖明澈欧洋翦杰吴利舟庞征斌张建民黎渊刘普光孙岩王子聪
一种面向神经网络加速器的多工作负载调度方法
本发明公开了一种面向神经网络加速器的多工作负载调度方法，其包括：部署阶段：将工作负载调度去部署到目标神经网络加速器；静态调度阶段：根据已经工作负载特征进行初步工作负载调度；动态调度阶段：根据目标加速器运行时状态信息来进行...
马胜王波黎铁军张建民吴利舟张春元赵云平罗盛柏石怡昊薛青山张学一张淞松
布尔不可满足子式的求解方法研究进展被引量：2
2008年
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为布尔公式不可满足的原因提供精确的解释,帮助应用领域的自动化工具迅速定位错误,诊断问题失败的本质缘由.针对近年来出现的许多求解布尔不可满足子式的研究工作,根据算法的类型归类比较,对各种求解方法进行了概述评论,并简要介绍了在该领域所做的一些研究工作.最后讨论了布尔不可满足子式的求解方法目前面临的主要挑战,并对今后的研究方向进行了展望.
李思昆张建民沈胜宇
关键词：形式化验证
一种高速互连网络中低开销的拥塞控制方法
本发明公开了一种高速互连网络中低开销的拥塞控制方法，本发明在目的节点动态发送CNP报文时根据目的节点的CNP报文回传路径的拥堵状况选择指定的将多个FECN标记产生一个CNP报文的方式控制CNP报文的产生方式并在CNP报文...
孙岩常俊胜赖明澈张建民陆平静徐金波罗章齐星云黎渊欧洋王强熊泽宇王崇峰
文献传递
用于高速互连网络接口芯片的DMA通信装置、芯片、设备及方法
本发明公开了一种用于高速互连网络接口芯片的DMA通信装置、芯片、设备及方法，装置包括DMA写请求处理模块和DMA读请求处理模块，DMA写请求处理模块包括DMA写请求FIFO、DMA写数据FIFO、DMA写请求接收计数器、...
欧洋常俊胜张建民翦杰黎渊罗章徐金波孙岩董德尊熊泽宇王子聪
文献传递
用于降低直接内存访问处理延迟的数据预取方法及装置
本发明公开了一种用于降低直接内存访问处理延迟的数据预取方法及装置，本发明用于降低直接内存访问处理延迟的数据预取方法包括在收到RDMA事务的描述符后，在根据描述符启动源节点、目的节点之间的数据连接通路的建立过程时，同时启动...
徐金波常俊胜陆平静张建民董德尊罗章黎渊孙岩欧洋王子聪
一种容错目录高速缓存控制器
本发明针对传统目录Cache容错性不强、可靠性不高，无法满足空间环境或复杂电磁环境的要求，公开了一种容错目录高速缓存控制器，包含4个完全相同的目录缓存体、目录访问旁路、目录访问交叉开关、访存交叉开关与配置寄存器。通过设计...
张建民黎铁军肖立权庞征斌王克非常俊胜齐星云徐金波罗章董德尊赖明澈黎渊徐实马柯帆
文献传递
面向高速缓冲存储器的可综合伪随机验证方法及装置
本发明公开了一种面向高速缓冲存储器的可综合伪随机验证方法及装置，方法步骤如下：1)建立数据镜像模块并初始化；2)生成伪随机数，构造访存控制数据信号并发送到高速缓冲存储器，同时启动超时计数器并在超时后报告超时错误；当收到高...
张建民罗章徐金波董德尊赖明澈陆平静黎铁军王绍刚徐炜遐肖立权庞征斌王克非夏军童元满陈虎张峻齐星云王桂彬常俊胜
阶数灵活的低直径大规模互连网络拓扑结构及路由方法
本发明公开了一种阶数灵活的低直径大规模互连网络拓扑结构及其路由方法，解决已有互连网络拓扑结构无法克服现有路由器工艺的缺点与不足的问题。技术方案是：整个拓扑由nq个超级路由节点按照n个簇、每个簇内q个超级路由节点、以Gal...
董德尊雷斐廖湘科肖立权庞征斌王克非夏军常俊胜齐星云张建民徐金波王绍刚戴艺罗章赖明澈黎渊吴际李存禄杨文祥
文献传递
全选 清除 导出
共12页<12345678910>
聚类工具0