4、云数据中心资源供应与业务规则验证的创新方法

云数据中心资源供应与业务规则验证的创新方法

1. 业务规则验证：以阿迪达斯折扣规则为例

1.1 规则描述

假设有这样一条阿迪达斯的服务规则：如果品牌是阿迪达斯（p1），并且满足以下任意一个条件：
- 正值圣诞节（p2）；
- 顾客是新的阿迪达斯顾客（p3）且消费超过 150 美元（p4）；
- 顾客是频繁购买的阿迪达斯顾客（p5）且购买新品（¬p6）；
- 顾客是不常购买的阿迪达斯顾客（¬p5）且购买旧品（p6）；
- 顾客是频繁购买的阿迪达斯顾客（p5）且消费超过 100 美元（p7）。
那么为每笔阿迪达斯购物提供 10% 的折扣。该规则的条件部分可以用布尔表达式表示为：Φ = p1.(p2 + p3.p4 + p5.¬p6 + ¬p5.p6 + p5.p7)。

1.2 计算最小支持集的步骤

为了找到 Φ 的所有最小支持集（正集和负集），可以按照以下步骤进行：
1. 简化 Φ ：
- 构建 Φ 的约化有序二叉决策图（ROBDD）。
- 求出 Φ 关于所有出现命题的导数。
- 创建最小支持集树 T 的起始节点 S。
2. 寻找强最小支持集并创建中间节点 ：
- 假设首先考虑命题 p1，容易发现 (p1, 0) 是 Φ1 的一个强最小支持集。
- 从 Φ1 的 ROBDD 中找到包含 p1 的正和负最小项，进而得到包含 p1 的正和负最小支持集。
- 创建一个叶子节点 L，其第一个字段包含 (p1, 0)，第二个字段为 0；同时创建一个中间节