张建民

作品数：26被引量：31H指数：3
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：报文求解器互连网络芯片网络接口芯片更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《微电子学》《上海交通大学学报》《微电子学与计算机》《计算机辅助设计与图形学学报》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划中国人民解放军总装备部预研基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
符合粒子输运模拟的专用加速器体系结构
《国防科技大学学报》2025年第2期155-164,共10页张建民 刘津津 许炜康 黎铁军 
国家重点研发计划资助项目(2022YFB2803405);国家自然科学基金资助项目(62072464,U19A2062)。
粒子输运模拟是高性能计算机的主要应用,对于其日益增长的计算规模需求,通用微处理器由于其单核结构复杂,无法适应程序特征,难以获得较高的性能功耗比。因此,对求解粒子输运非确定性数值模拟的程序特征进行提取与分析;基于算法特征,对...
关键词：粒子输运模拟 专用加速器 程序特征 分支预测 多级Cache 
粒子输运非确定性模拟的加速方法研究进展
《计算机工程与科学》2025年第1期1-9,共9页张建民 许炜康 刘津津 黎铁军 
国家重点研发计划(2022YFB2803405);国家自然科学基金(62072464)。
粒子输运非确定性模拟是高性能计算机的主要应用之一,在国民经济建设和国家安全领域具有重要作用。当前核数值模拟、核反应堆设计与航空航天等实际应用对高精度粒子输运非确定性模拟存在迫切需求,其加速方法逐步成为高性能计算领域的研...
关键词：高性能计算 粒子输运问题 非确定性模拟 蒙特卡罗方法 
面向高性能计算的互连网络拥塞控制分析与评估被引量：3
《计算机工程与科学》2024年第2期209-216,共8页孙岩 张建民 黎渊 孙舜禹 
国家重点研发计划(2022YFB2803405);国防科技重点实验室项目(WDZC20235250114)。
随着高性能计算技术的发展,高性能计算系统的网络节点数量不断增长,高性能计算应用对网络性能的要求越来越高,高性能互连网络的拥塞控制面临很大的压力与挑战。针对高性能计算互连网络的特点,研究高效、低开销的拥塞控制方法,是确保高...
关键词：高性能计算 拥塞控制 流量控制 RDMA网络 
一种面向蒙特卡洛程序的128核可扩展体系结构被引量：1
《计算机工程与科学》2023年第4期590-598,共9页张立 黎铁军 张建民 
国家重点研发计划(2022YFB2803405);国家自然科学基金(62072464);装备预先研究项目(31511010101)。
蒙特卡洛方法是研究粒子输运问题的重要方法,为蒙特卡洛方法设计定制加速体系结构成为粒子输运模拟的研究热点。分析了一种典型的蒙特卡洛方法代理程序Quicksilver的程序特征,并对存储层次和簇规模等影响可扩展性的结构参数进行了探索,...
关键词：蒙特卡洛方法 粒子输运 众核体系结构 可扩展性 簇 
面向粒子输运程序加速的体系结构设计
《计算机科学》2022年第6期81-88,共8页傅思清 黎铁军 张建民 
国家重点研发计划(2018YFB0204301)。
粒子输运的随机模拟方法通常用于求解大量运动状态中粒子的特征量。粒子输运问题广泛出现在医学、天体物理和核物理领域,当前粒子输运随机模拟求解方法的主要挑战是计算机能够支撑的模拟样本数、模拟时间尺度与研究人员研究实际问题的...
关键词：粒子输运 蒙特卡洛 体系结构 加速器 流水线 
基于不完全算法的并行FPGA SAT求解器
《计算机工程与科学》2021年第12期2126-2130,共5页黎铁军 马柯帆 张建民 
国家自然科学基金(62072464,U19A2062);并行与分布处理国家级重点实验室开放基金(WDZC20205500116)。
可满足性问题是计算机理论与应用的核心问题。在FPGA上提出了一个基于不完全算法的并行求解器pprobSAT+。使用多线程的策略来减少相关组件的等待时间,提高了求解器效率。此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上...
关键词：布尔可满足 FPGA 不完全算法 多线程 
一种加速FPGA布线的不可满足子式求解算法
《电子学报》2021年第6期1210-1216,共7页张建民 黎铁军 马柯帆 肖立权 
国家自然科学基金(No.62072464,No.U19A2062);并行与分布处理国家级重点实验室开放基金(No.WDZC20205500116)。
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,...
关键词：FPGA布线 布线约束 布尔可满足性 不可满足子式 局部搜索 消解否证 
基于一阶逻辑的可满足求解方法研究进展被引量：2
《计算机工程与科学》2019年第12期2119-2126,共8页张建民 黎铁军 马柯帆 肖立权 
国家重点研发计划（2016YFB0200203）;国家自然科学基金（61103083,61133007）
基于命题逻辑的布尔可满足SAT存在描述能力弱、抽象层次低、求解复杂度高等问题,而基于一阶逻辑的可满足性模理论SMT采用高层建模语言,表达能力更强,更接近于字级设计,避免将问题转化到位级求解,在硬件RTL级验证、程序验证与实时系统验...
关键词：形式化验证 一阶逻辑 布尔可满足 可满足性模理论 
加强约束的布尔可满足硬件求解器被引量：1
《国防科技大学学报》2018年第6期105-111,共7页马柯帆 肖立权 张建民 黎铁军 周善祥 
国家自然科学基金资助项目(61103083;61133007;61572509);国家重点基础研究发展计划资助项目(2016YFB0200203)
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一...
关键词：现场可编程门阵列 布尔可满足性 加强约束 不完全算法 
应用不可满足子式的解码电路综合优化方法
《国防科技大学学报》2016年第5期1-6,共6页张建民 黎铁军 马柯帆 肖立权 
国家自然科学基金资助项目(61103083;61133007);国家重点研发计划资助项目(2016YFB0200203)
解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算...
关键词：电路综合 形式化方法 可满足性求解 不可满足子式 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部