黎铁军

作品数：30被引量：29H指数：3
导出分析报告
供职机构：国防科学技术大学更多>>
发文主题：固态盘服务器体系结构信号完整性感知更多>>
发文领域：自动化与计算机技术电子电信理学航空宇航科学技术更多>>
发文期刊：《计算机研究与发展》《计算机应用》《计算机与数字工程》《微电子学》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
粒子输运非确定性模拟的加速方法研究进展
《计算机工程与科学》2025年第1期1-9,共9页张建民 许炜康 刘津津 黎铁军 
国家重点研发计划(2022YFB2803405);国家自然科学基金(62072464)。
粒子输运非确定性模拟是高性能计算机的主要应用之一,在国民经济建设和国家安全领域具有重要作用。当前核数值模拟、核反应堆设计与航空航天等实际应用对高精度粒子输运非确定性模拟存在迫切需求,其加速方法逐步成为高性能计算领域的研...
关键词：高性能计算 粒子输运问题 非确定性模拟 蒙特卡罗方法 
一种面向蒙特卡洛程序的128核可扩展体系结构被引量：1
《计算机工程与科学》2023年第4期590-598,共9页张立 黎铁军 张建民 
国家重点研发计划(2022YFB2803405);国家自然科学基金(62072464);装备预先研究项目(31511010101)。
蒙特卡洛方法是研究粒子输运问题的重要方法,为蒙特卡洛方法设计定制加速体系结构成为粒子输运模拟的研究热点。分析了一种典型的蒙特卡洛方法代理程序Quicksilver的程序特征,并对存储层次和簇规模等影响可扩展性的结构参数进行了探索,...
关键词：蒙特卡洛方法 粒子输运 众核体系结构 可扩展性 簇 
56 Gbps高速信号传输系统仿真验证设计被引量：2
《计算机工程与科学》2023年第2期228-236,共9页李宝峰 黎铁军 刘勇辉 马柯帆 罗煜峰 姚信安 
国家重点研发计划(2018YFB0204301)。
新一代高性能计算机的高速信号传输系统采用56 Gbps PAM4信号实现,传输通道跨越多块PCB板和多级连接器,信号完整性设计面临极大挑战。提出了面向全通道的56 Gbps高速信号传输系统仿真验证方案,通过板材参数校准、连接器参数测试、PCB布...
关键词：高速信号 PAM4 信号完整性 仿真 
面向粒子输运程序加速的体系结构设计
《计算机科学》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
《计算机与数字工程》2019年第11期2723-2727,共5页高广生 黎铁军 
随着无线通信技术、移动互联网技术和集成电路制造技术的日益成熟,以移动智能设备为典型代表的嵌入式系统发展迅猛。当下,指纹识别技术在嵌入式设备中被广泛用于对用户进行可靠的身份认证。论文系统地介绍了指纹识别技术发展现状,从指...
关键词：指纹识别 嵌入式系统 匹配算法 图像处理 
基于地域约束的单位名称二次聚类
《计算机与数字工程》2019年第11期2675-2679,2685,共6页贺依依 黎铁军 蒋艳凰 
在知识图谱的构建过程中,抽取出的实体表述往往存在多种歧义,需要对这些歧义进行消解,主要的解决方法是进行多名聚合。由于构建知识图谱的数据来源具有多样性,大部分数据都是无标签数据,因此在多名聚合的过程中,主要是使用密度聚类的方...
关键词：多名融合 地域约束 密度聚类 
加强约束的布尔可满足硬件求解器被引量：1
《国防科技大学学报》2018年第6期105-111,共7页马柯帆 肖立权 张建民 黎铁军 周善祥 
国家自然科学基金资助项目(61103083;61133007;61572509);国家重点基础研究发展计划资助项目(2016YFB0200203)
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一...
关键词：现场可编程门阵列 布尔可满足性 加强约束 不完全算法 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部