“冉学斌”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果2个，建议您升级VIP下载更多相关专利

[发明专利]一种SAT求解器-CN201810865787.6有效
发明人：何安平;余旅莹;李鹏飞;张吉霖;冉学斌;张海涛;吴尽昭 -专利权人：何安平;余旅莹;李鹏飞
申请日： 2018-08-01 - 公布日： 2021-10-19 - 主分类号： G06F30/331 文献下载
摘要：本发明公开了一种SAT求解器，包括：双向传递链式模块(102)，用于双向传递待求解变量；蕴含电路模块(104)，用于为所述待求解变量提供蕴含值；冲突检测模块(106)，用于检测所述赋值模块(108)的当前赋值是否会引起冲突；赋值模块(108)，用于为所述待求解变量赋值，其输出值由该待求解变量的状态机的当前状态和赋值输入的输入信号共同决定。本发明的方案，可以解决现有技术中基于软件实现SAT求解器存在处理效率低的问题，达到提升处理效率的效果。
一种 sat 求解

[实用新型]一款基于无人机平台的折叠式喷火设备-CN201821096453.9有效
发明人：董军;李博;赵伟;覃思翔;陈睿;李刚;冉学斌;陈启润;王鑫 -专利权人：中国南方电网有限责任公司超高压输电公司天生桥局;广州优飞智能设备有限公司
申请日： 2018-07-11 - 公布日： 2019-02-19 - 主分类号： B64D1/18 文献下载
摘要：本实用新型涉及一款基于无人机平台的折叠式喷火设备，包括无人机、载具平台和喷火设备，所述无人机通过所述载具平台与所述喷火设备连接；所述喷火设备包括控制电路、点火装置、喷火管和供油装置；所述控制电路与所述点火装置、供油装置电性连接；所述控制电路、点火装置、供油装置均设置在喷火管上；所述喷火设备通过所述喷火管与所述载具平台连接；所述喷火管设置有折叠机构。本实用新型提供的一款基于无人机平台的折叠式喷火设备，通过折叠机构的设置，实现了喷火管的可折叠，有效减小了喷火设备的体积，方便工作人员对喷火设备的搬运和存放。
喷火喷火管点火装置供油装置控制电路折叠式本实用新型折叠机构电性连接设备连接载具平台可折叠减小搬运