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