您的位置： 专家智库 > >

张建民

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

合作作者

文献类型

  • 98篇专利
  • 26篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

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

主题

  • 45篇网络
  • 16篇硬件
  • 16篇通信
  • 16篇芯片
  • 15篇接口
  • 14篇互连
  • 12篇开销
  • 11篇拥塞
  • 11篇拥塞控制
  • 11篇路由
  • 11篇缓存
  • 11篇计算机
  • 11篇报文
  • 10篇高速互连
  • 9篇控制器
  • 8篇形式化
  • 8篇求解器
  • 7篇信号
  • 7篇搜索
  • 7篇网络接口

机构

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

作者

  • 128篇张建民
  • 76篇徐金波
  • 68篇罗章
  • 62篇董德尊
  • 62篇常俊胜
  • 58篇陆平静
  • 55篇赖明澈
  • 54篇黎渊
  • 48篇孙岩
  • 47篇齐星云
  • 46篇庞征斌
  • 41篇欧洋
  • 36篇黎铁军
  • 35篇熊泽宇
  • 32篇肖立权
  • 25篇夏军
  • 25篇徐炜遐
  • 24篇张峻
  • 23篇王克非
  • 22篇王绍刚

传媒

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

年份

  • 8篇2025
  • 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
共 128 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于Heston模型的期权定价计算加速器、加速卡及设备
本发明公开了一种基于Heston模型的期权定价计算加速器、加速卡及设备，本发明的加速器包括用于针对每一条模拟路径模拟M个时间点的波动率Vt的第一电路，包括多路选择器、第一中间结果计算电路、加法器以及延时器，加法器用于延时...
黎渊赖明澈孙岩齐星云欧洋陆平静张建民王强董德尊徐金波罗章熊泽宇王子聪吴利舟
一种多线程并行执行的硬件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写请求接收计数器、...
欧洋常俊胜张建民翦杰黎渊罗章徐金波孙岩董德尊熊泽宇王子聪
文献传递
一种面向芯片设计验证的强化学习SAT求解方法及系统
本发明公开了一种面向芯片设计验证的强化学习SAT求解方法及系统，本发明方法包括将CNF公式使用SAT求解器进行求解，且在求解过程中保存的相位值为基于多臂博弈算法的重相位策略对变量进行赋值得到，包括选择重相位启发式组合成多...
张建民孙岩赵云平刘津津马胜许炜康马钰温志强
全选 清除 导出
共13页<12345678910>
聚类工具0