[发明专利]一种布尔型时间序列最大可满足性求解的方法和系统

权利要求书

1.一种布尔型时间序列最大可满足性求解的方法，其特征在于，包括：

步骤1，将与时间序列Y对应的布尔型时间序列集X生成真值表；

步骤2，生成单列的关联表来记录该真值表中关联规则的频繁度；

步骤3，对该关联表进行筛选，得到该真值表的布尔逻辑结果；

步骤4，通过该布尔逻辑结果获得该时间序列集X与该时间序列Y的最大可满足性表达式。

2.如权利要求1所述的布尔型时间序列最大可满足性求解的方法，其特征在于，所述步骤1还包括：

以该布尔型时间序列集X中的时间序列X_i作为该真值表中的一项输入，以使该真值表包含n个布尔变量；其中i、n为正整数，i≤n。

3.如权利要求1所述的布尔型时间序列最大可满足性求解的方法，其特征在于，所述步骤2包括：

以真值表中的每行对应一个该关联表中的关联项，该关联项存储其对应行内的0的数量和1的数量；搜索该真值表的每一条项目的值，在该项目所在行对应的关联项的中0的数量值或1的数量值累加权重值，遍历该真值表，以得到该关联表的结果。

4.如权利要求1所述的布尔型时间序列最大可满足性求解的方法，其特征在于，所述步骤3包括：

对每个该关联项存储0和1的数量值进行筛选，以每个该关联项的0和1的数量值中为最大值的项，为该关联项对应的该真值表的行所映射的布尔逻辑结果；对所有该关联项进行筛选，得到该真值表所有的布尔逻辑结果。

5.如权利要求1所述的布尔型时间序列最大可满足性求解的方法，其特征在于，所述关联规则包括：时间同步关联，即在相同个时间，该时间序列集X中所有该时间序列X_i的单个元素和该时间序列Y中的单个元素的关联规则；时间迟滞关联，即在相异时间，该时间序列集X中所有该时间序列X_i的单个元素和该时间序列Y中的单个元素的关联规则；多数据关联，即在相异时间，该时间序列集X中所有该时间序列X_i的单个或多个元素和该时间序列Y中的单个或多个元素的关联规则。

6.一种布尔型时间序列最大可满足性求解的系统，其特征在于，包括：

真值表生成模块，用于将与时间序列Y对应的布尔型时间序列集X生成真值表；

关联表生成模块，用于生成单列的关联表来记录该真值表中关联规则的频繁度；

逻辑结果获取模块，用于对该关联表进行筛选，以得到该真值表的布尔逻辑结果；

最大可满足性表达式获取模块，用于通过该布尔逻辑结果获得该时间序列集X与时间序列Y的最大可满足性表达式。

7.如权利要求6所述的布尔型时间序列最大可满足性求解的系统，其特征在于，所述真值表生成模块具体包括：以该布尔型时间序列集X中的时间序列X_i作为该真值表中的一项，以使该真值表包含n个布尔变量；其中i、n为正整数，i≤n。

8.如权利要求6所述的布尔型时间序列最大可满足性求解的系统，其特征在于，所述关联表生成模块具体包括：以真值表中的每行对应一个该关联表中的关联项，该关联项存储其对应行内的0的数量和1的数量；搜索该真值表的每一条项目的值，在该项目所在行对应的关联项的中0的数量值或1的数量值累加权重值，遍历该真值表，以得到该关联表的结果。

9.如权利要求6所述的布尔型时间序列最大可满足性求解的系统，其特征在于，所述逻辑结果获取模块具体包括：对每个该关联项存储0和1的数量值进行筛选，以每个该关联项的0和1的数量值中为最大值的项，为该关联项对应的该真值表的行所映射的布尔逻辑结果；对所有该关联项进行筛选，得到该真值表所有的布尔逻辑结果。

10.如权利要求6所述的布尔型时间序列最大可满足性求解的系统，其特征在于，所述关联规则包括：时间同步关联，即在相同个时间，该时间序列集X中所有该时间序列X_i的单个元素和该时间序列Y中的单个元素的关联规则；时间迟滞关联，即在相异时间，该时间序列集X中所有该时间序列X_i的单个元素和该时间序列Y中的单个元素的关联规则；多数据关联，即在相异时间，该时间序列集X中所有该时间序列X_i的单个或多个元素和该时间序列Y中的单个或多个元素的关联规则。