马柯帆
- 作品数：31 被引量：10H指数：2
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电气工程更多>>
- 一种带有液冷散热功能的QSFP模块
- 本发明公开了一种带有液冷散热功能的QSFP模块，包括带有用于安装QSFP光口的插孔位的光口笼，所述光口笼的外壁上安装有层叠布置的均温板和液冷板，所述光口笼的外壁上设有与插孔位连通的贯穿孔，所述均温板的底面上设有弹片，所述...
- 李宝峰邓增孙言强张顺路马柯帆贾春波陈旭黎铁军罗煜峰
- 一种加速FPGA布线的不可满足子式求解算法
- 2021年
- 随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对如何加速FPGA详细布线过程,提出了一种基于消解否证的启发式局部搜索算法,能够快速从布尔公式中提取不可满足子式.基于典型的FPGA布线测试集,与两种求解最小不可满足子式效率最高的算法进行了比较,结果表明局部搜索算法在运行效率方面显著优于分支限界算法与贪心遗传算法,而局部搜索算法也能得到最小不可满足子式;并且深入分析了不可满足子式在FPGA详细布线中的作用,能够加速芯片的设计与验证过程.
- 张建民黎铁军马柯帆肖立权
- 关键词：布尔可满足性局部搜索
- 加强约束的布尔可满足硬件求解器被引量：1
- 2018年
- 利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。
- 马柯帆肖立权张建民黎铁军周善祥
- 关键词：现场可编程门阵列布尔可满足性
- 基于ZYNQ芯片的基板管理控制器设计与实现被引量：1
- 2024年
- 随着超算、云计算等数据中心的大规模发展,主板的架构日益复杂,成本控制越来越严苛,常用的基板管理控制器(BMC)设计方案可扩展功能有限,迫切需要设计一种低成本且高效的BMC方案。提出一种基于Vivado和Yocto Project的集成开发平台,选用XILINX ZYNQ系列FPGA芯片,采用其内部硬核ARM运行的OpenBMC方案。该设计通过AXI总线扩展外设,可扩展性强、灵活性高,从而实现BMC与FPGA的双重管理二合一,节约了主板的空间与成本。
- 马柯帆李宝峰周悦锦武园园余永兰多瑞华
- 关键词：云计算FPGA
- 一种基于毛细原理的漏液检测装置与方法
- 本发明公开了一种基于毛细原理的漏液检测装置，包括漏液检测网、漏液检测绕线板以及漏液检测板中的一种或多种，漏液检测网和漏液检测绕线板中设有漏液检测线，漏液检测线包括裹覆层以及设于裹覆层内部左右两边的导线，导线由内向外依次布...
- 黎铁军李宝峰孙言强张顺路邓增马柯帆罗煜峰姚信安贾春波管剑波
- 冷板式和浸没式相结合的液冷散热服务器及散热设计方法
- 本发明公开了一种冷板式和浸没式相结合的液冷散热服务器及散热设计方法，本发明的服务器在密封的机箱内注设有用于对机箱内的发热部件进行浸没式散热的浸没冷却液，机箱内还设有用于同时对机箱内的浸没冷却液及发热部件散热的冷板式散热模...
- 邓增黎铁军李宝峰孙言强张顺路马柯帆宁前张晟罗煜峰姚信安陈旭
- 一种带有风冷散热功能的QSFP模块
- 本实用新型公开了一种带有风冷散热功能的QSFP模块，本实用新型包括带有上层接口插槽和下层接口插槽的光口笼，所述光口笼的上层接口插槽和下层接口插槽之间设有送风部件，所述光口笼的侧壁或尾部安装有排风口，所述送风部件用于将外部...
- 邓增李宝峰孙言强张顺路马柯帆贾春波宋飞姚信安黎铁军
- 一种多线程并行执行的硬件SAT求解器
- 本发明提供了一种多线程并行执行的硬件SAT求解器，包括第一寄存器模块、第一评估模块组、缓存器模块组、计数器模块、变元翻转模块、概率映射表、FIFO树组、第二寄存器模块组、第二评估模块和第三寄存器模块。本发明提供的一种多线...
- 黎铁军马柯帆张建民常俊胜孙岩翦杰王强熊泽宇肖灿文徐佳庆
- 列柜门
- 1.本外观设计产品的名称：列柜门。;2.本外观设计产品的用途：用于作为机柜柜门。;3.本外观设计产品的设计要点：在于形状。;4.最能表明设计要点的图片或照片：立体图。;5.立体图中A部位和B部位分别为LED显示屏。
- 马柯帆罗煜峰张顺路邓增李宝峰孙言强张晟宋飞姚信安曹跃胜陈旭李晋文黎铁军王睿伯赖明澈
- 一种容错目录高速缓存控制器
- 本发明针对传统目录Cache容错性不强、可靠性不高，无法满足空间环境或复杂电磁环境的要求，公开了一种容错目录高速缓存控制器，包含4个完全相同的目录缓存体、目录访问旁路、目录访问交叉开关、访存交叉开关与配置寄存器。通过设计...
- 张建民黎铁军肖立权庞征斌王克非常俊胜齐星云徐金波罗章董德尊赖明澈黎渊徐实马柯帆
- 文献传递
