[发明专利]一种基于图的布尔可满足性问题的目标算法预测方法在审
申请号: | 201911104913.7 | 申请日: | 2019-11-13 |
公开(公告)号: | CN110826812A | 公开(公告)日: | 2020-02-21 |
发明(设计)人: | 张立言;程劲松 | 申请(专利权)人: | 南京航空航天大学 |
主分类号: | G06Q10/04 | 分类号: | G06Q10/04;G06F16/901;G06N3/08 |
代理公司: | 南京瑞弘专利商标事务所(普通合伙) 32249 | 代理人: | 陈国强 |
地址: | 210016 江*** | 国省代码: | 江苏;32 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于图的布尔可满足性问题的目标算法预测方法,包括以下步骤:设计图结构,然后输入问题集里的每个布尔可满足性问题的原始定义,输出相关的图结构表示并构建一组对应于原始问题的图结构数据集;搭建一个图结构到文档结构的转换模型,构建一组对应于原始布尔可满足性问题的文档数据集;搭建一个文档向量化模型,构建一组对应于原始布尔可满足性问题的向量;选择一个分类模型或回归模型,训练该模型使其学会对布尔可满足性问题的目标算法进行预测。本发明利用图的强大表示能力,将每个SAT问题的原始表示转换成图的逻辑表示,并以无监督的方式从图中学习到有效的特征,最后根据该特征对问题的目标算法预测进行学习并应用。 | ||
搜索关键词: | 一种 基于 布尔 满足 问题 目标 算法 预测 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于南京航空航天大学,未经南京航空航天大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201911104913.7/,转载请声明来源钻瓜专利网。
- 上一篇:一种室内高处灭火器
- 下一篇:一种医院档案管理装置
- 同类专利
- 专利分类
G06 计算;推算;计数
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法;其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政;管理
G06Q10-02 .预定,例如用于门票、服务或事件的
G06Q10-04 .预测或优化,例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理,例如组织、规划、调度或分配时间、人员或机器资源;企业规划;组织模型
G06Q10-08 .物流,例如仓储、装货、配送或运输;存货或库存管理,例如订货、采购或平衡订单
G06Q10-10 .办公自动化,例如电子邮件或群件的计算机辅助管理
G06Q 专门适用于行政、商业、金融、管理、监督或预测目的的数据处理系统或方法;其他类目不包含的专门适用于行政、商业、金融、管理、监督或预测目的的处理系统或方法
G06Q10-00 行政;管理
G06Q10-02 .预定,例如用于门票、服务或事件的
G06Q10-04 .预测或优化,例如线性规划、“旅行商问题”或“下料问题”
G06Q10-06 .资源、工作流、人员或项目管理,例如组织、规划、调度或分配时间、人员或机器资源;企业规划;组织模型
G06Q10-08 .物流,例如仓储、装货、配送或运输;存货或库存管理,例如订货、采购或平衡订单
G06Q10-10 .办公自动化,例如电子邮件或群件的计算机辅助管理