专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载VIP
公布日期
2023-10-24 公布专利
2023-10-20 公布专利
2023-10-17 公布专利
2023-10-13 公布专利
2023-10-10 公布专利
2023-10-03 公布专利
2023-09-29 公布专利
2023-09-26 公布专利
2023-09-22 公布专利
2023-09-19 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果429个,建议您升级VIP下载更多相关专利
  • [发明专利]一种基于LBD和Berkmin策略删除学习子句的方法-CN202310795359.1在审
  • 汪杰;游海龙;王子成;刘美华;白耿;苏宇 - 深圳国微芯科技有限公司
  • 2023-06-30 - 2023-10-27 - G06N5/04
  • 本发明公开了一种基于LBD和Berkmin策略删除学习子句的方法,采用混合删除策略,首先,在满足LBD删除策略的删除条件时,按照LBD值执行删除操作;然后,在满足Berkmin删除策略的删除条件时,按照活性值执行Berkmin删除操作。改变了传统LBD删除策略中固定冲突次数删除的方式,同时根据LBD阈值调节删除学习子句的数量,改善了传统LBD删除策略中每次删除一半数量学习子句的激进方式。由于LBD删除策略中执行删除操作时删除的学习子句的数量较少,可能导致学习子句数量爆炸,在后续的Berkmin删除策略中,按照学习子句活性进行重新排序,并对活性值较小的一半,按照学习子句的相关性(年龄、长度、活性值等)执行删除操作。本发明的方法简单,有效地提高了求解器的求解速度。
  • 一种基于lbdberkmin策略删除学习子句方法
  • [发明专利]模型验证中减少计算引擎调用次数的空满足性检查方法-CN202311007944.7在审
  • 刘美华;苏宇;白耿 - 深圳国微芯科技有限公司
  • 2023-08-11 - 2023-10-20 - G06F30/3308
  • 本发明公开了一种模型验证中减少计算引擎调用次数的空满足性检查方法,包括以下步骤:在模型验证工具中输入待验证的设计和属性;提取蕴含表达式的先行算子和后续算子;判断先行算子是否为真,若先行算子为真则转向步骤四;若先行算子为否,则待验证属性为空满足;判断后续算子是否为真,若后续算子为真则待验证属性为验证通过;若后续算子为否则待验证属性为验证失败。通过将属性空满足性检查转化为可行算子可达性的检查,只需调用一次计算引擎就可以检查出属性是否为空满足,从根本上解决计算引擎调用次数与子公式的强关联性,从而减少空成功检查过程中的验证时间。本发明的方法简单,能够有效地减少空满足检查过程中的验证时间。
  • 模型验证减少计算引擎调用次数满足检查方法
  • [实用新型]一种薄刀分纸机-CN202223240957.2有效
  • 王立明;刘永涛;刘美华 - 大连琛顺包装制品有限公司
  • 2022-12-05 - 2023-07-14 - B26D1/15
  • 本实用新型涉及分纸机技术领域,特别是涉及一种薄刀分纸机,根据待加工的纸板的宽度调整后板的位置,配合定位板对纸板进行定位导向,转动螺管下压压紧轮将纸板压紧在输送轴上,第二电机带动输送轴转动将纸板向右输送至切割机构处,第一电机带动动力轴转动,从而带动环形刀片对纸板进行分切,同时通过滑套配合固定螺栓可灵活调整环形刀片的位置,便于切割不同尺寸的纸板;包括底座、底柱和固定台,底柱固定设置于底座的底部,固定台固定设置于底座的顶部;还包括切割机构、传送机构和定位机构,切割机构设置于固定台的顶部右端,传送机构设置于固定台的左部,定位机构设置于固定台上。
  • 一种薄刀分纸机
  • [发明专利]含有X值的电路的简化方法、验证方法、存储介质-CN202210707159.1有效
  • 刘美华;白耿;金玉丰;苏宇 - 深圳国微芯科技有限公司
  • 2022-06-21 - 2023-06-27 - G06F30/327
  • 本发明公开了一种含有X值的电路的简化方法、验证方法、存储介质。其中含有X值的电路的简化方法,包括:对含有X值的电路进行遍历,获取带X值的电路节点对应的逻辑电路N,以及通过拷贝逻辑电路N形成的副本电路N’;将所述逻辑电路N与副本电路N’的输出通过异或门连接,生成第一临时电路G;通过对所述第一临时电路G进行随机仿真,得到需要考虑的子句集A1;将所述第一临时电路G的合取范式与子句集A1取反后的合取范式进行合并,生成第二临时电路P;将所述第二临时电路P放入解算器中进行求解,得到需要考虑的子句集A2;将所述子句集A1和子句集A2进行汇总,得到简化后的带X值的子句集A。本发明实现了对含有X值得电路的简化。
  • 含有电路简化方法验证存储介质
  • [实用新型]一种电气线路控制装置-CN202223434073.0有效
  • 于广东;刘亚静;杨玉萍;刘美华;王海玲;张海利;张影;王天龙;种涛;王光明 - 于广东
  • 2022-12-21 - 2023-06-20 - H02B1/34
  • 本实用新型涉及电气线路控制装置技术领域,尤其是一种电气线路控制装置,包括控制装置本体和柜门,所述控制装置本体的内部下方安装有连接装置,所述控制装置本体的内部上方安装有散热装置。可以将安装有控制元件的安装板移动至控制装置本体的内部,并使安装板下方的底板与控制装置本体的内壁贴合,再通过转头带动螺杆进行转动,使螺杆通过横板向下移动,这样螺杆配合竖杆便可以带动挡板移动,从而挡板配合控制装置本体便可以将底板固定,从而通过底板将安装板固定,这样通过安装板上的控制元件等便可以对船舶的电气线路等进行控制,反之当需要对安装板上的控制元件进行检测时,通过此装置也可以快速的将安装板进行拆卸。
  • 一种电气线路控制装置

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top