[发明专利]一种布尔型时间序列最大可满足性求解的方法和系统在审
| 申请号： | 201711463282.9 | 申请日： | 2017-12-28 |
| 公开（公告）号： | CN108573017A | 公开（公告）日： | 2018-09-25 |
| 发明（设计）人： | 翁凯衡;鄢贵海;李晓维 | 申请（专利权）人： | 中国科学院计算技术研究所 |
| 主分类号： | G06F17/30 | 分类号： | G06F17/30 |
| 代理公司： | 北京律诚同业知识产权代理有限公司 11006 | 代理人： | 祁建国;梁挥 |
| 地址： | 100080 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种布尔型时间序列最大可满足性求解的方法，包括：将与时间序列Y对应的布尔型时间序列集X生成真值表；生成关联表来记录该真值表中关联规则的频繁度；对该关联表进行筛选，得到该真值表的布尔逻辑结果；通过该布尔逻辑结果获得该时间序列集X与时间序列Y的最大可满足性表达式；本发明可以降低搜索整个布尔型时间序列的次数，可以大幅降低计算复杂度，特别是对于大规模时间序列而言显得更加必要，同时搜索完布尔型时间序列之后的处理也是线性的，即很少的计算时间。 | ||
| 搜索关键词： | 时间序列 可满足性 真值表 布尔逻辑 关联表 求解 搜索 计算复杂度 关联规则 结果获得 筛选 记录 | ||
【主权项】：
1.一种布尔型时间序列最大可满足性求解的方法，其特征在于，包括：步骤1，将与时间序列Y对应的布尔型时间序列集X生成真值表；步骤2，生成单列的关联表来记录该真值表中关联规则的频繁度；步骤3，对该关联表进行筛选，得到该真值表的布尔逻辑结果；步骤4，通过该布尔逻辑结果获得该时间序列集X与该时间序列Y的最大可满足性表达式。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所，未经中国科学院计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201711463282.9/，转载请声明来源钻瓜专利网。
