[发明专利]一种基于GPU的模型计数及其约束的求解方法在审
| 申请号： | 202010908484.5 | 申请日： | 2020-09-02 |
| 公开（公告）号： | CN112131583A | 公开（公告）日： | 2020-12-25 |
| 发明（设计）人： | 宋富;高鹏飞;谢弘毅 | 申请（专利权）人： | 上海科技大学 |
| 主分类号： | G06F21/60 | 分类号： | G06F21/60;G06F21/62 |
| 代理公司： | 上海申汇专利代理有限公司 31001 | 代理人： | 徐俊 |
| 地址： | 201210 上*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于GPU的模型计数及其约束的求解方法，其特征在于，包括以下步骤：利用编译技术将逻辑公式及其约束翻译到中间表示形式；根据GPU信息和逻辑公式，将程序变量划分为三个集合分别用CPU、GPU线程标识符和GPU枚举具体取值；生成GPU源代码程序并编译执行，GPU程序执行结果为逻辑公式及其约束的求解结果。本发明达到了显著的性能提升效果。通过多个实验，本发明达到了显著的性能提升效果，本发明提出的方法比传统基于CPU枚举的和SMT求解器的方法相比，性能提升数百倍。 | ||
| 搜索关键词： | 一种 基于 gpu 模型 计数 及其 约束 求解 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海科技大学，未经上海科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010908484.5/，转载请声明来源钻瓜专利网。
