[发明专利]一种复杂约束下想定空间构造与想定样本生成方法

权利要求书

1.一种复杂约束下想定空间构造与想定样本生成方法，其特征在于，包括如下步骤：

(1)对给定的因子集合，用约束表达式表示因子水平组合所需满足的约束条件；

(2)将约束表达式转化为约束满足树；

(3)根据约束满足树的结构，构造约束满足决策图；

(4)生成约束满足决策图的不交化路径，构造想定空间的划分；

(5)基于想定空间划分，采用无约束条件下想定样本生成策略生成想定样本。

2.根据权利要求1所述的复杂约束下想定空间构造与想定样本生成方法，其特征在于，步骤(1)中，约束条件用BNF定义的约束表达式描述。

3.根据权利要求1所述的复杂约束下想定空间构造与想定样本生成方法，其特征在于，步骤(2)中，将约束表达式转化为约束满足树的方法如下：

(21)获得约束表达式的所有极大基本表达式，对每个极大基本表达式赋予不同于因子名称的名义变量Y₁,Y₂,…,Y_m，m为极大基本表达式个数；

(22)将约束表达式中的每个极大基本表达式用其名义变量表示，得到仅包含“AND”、“OR”逻辑操作符和这些名义变量的缩减的约束表达式；

(23)根据BNF将缩减的约束表达式转化为表达式树，则该表达式树的叶节点为各极大基本表达式的名义变量，中间结点为“AND”或“OR”逻辑操作符；

(24)对每个极大基本表达式构造约束满足子树，其叶节点表示某个因子取某个特定水平，非叶节点为“AND”或“OR”逻辑操作符；

(25)用每个极大基本表达式的约束满足子树替换表达式树中对应于该极大基本表达式的叶节点Y_j，j＝1,2,…,m，得到约束表达式的约束满足树。

4.根据权利要求3所述的复杂约束下想定空间构造与想定样本生成方法，其特征在于，步骤(24)中，对每个基本表达式，构造其约束满足子树的方法如下：

(241)仅考虑出现在该基本表达式中的因子，通过完全枚举的方式，获得所有满足该基本表达式的因子水平组合；

(242)对每个满足该基本表达式的因子水平组合，构造一个根节点为“AND”逻辑操作符、子节点表示基本表达式中的某个因子取其特定水平的子树，则该子树的根节点的子节点皆为叶节点，且叶节点数等于基本表达式中的因子数；

(243)构造该基本表达式的约束满足子树，其根节点为“OR”逻辑操作符，子节点为步骤(242)中表示满足基本表达式的因子水平组合的子树，则根节点的子节点数为满足基本表达式的因子水平组合数。