[发明专利]用于确定具有一实体集合并满足一组约束集合的模型的配置的方法和系统

摘要

一方法确定模型的配置。所述模型包括满足约束的实体。变量表示实体以及对应于约束方程的每个约束。约束方程互相关联变量的子集合。至少一树被生成。所述树包括一根节点，所述根节点具有至少一子节点。具有子节点的节点定义为父节点。缺少子节点的节点定义为叶节点。每个节点对应于所述约束方程的子集合。叶节点的一子集合的约束方程是并行地满足的。基于满足的所述相应子节点的所述满足的约束方程下，满足具有满足的子节点的父节点的约束方程。约束方程直到满足根节点的约束方程才会满足。每个父节点的满足的约束方程被传播到相应的子节点。所确定的配置的实体被输出用于显示。

主权项

一种具有嵌入其上的计算机可读代码的非暂时性计算机可读存储介质，所述计算机可读代码包括用于实现用于确定包括满足一约束集合的实体的集合的一模型的配置的方法的程序代码，其特征在于，所述方法包括：(a)提供所述实体的集合和所述约束集合，所述实体的集合由多个变量表示的，每个约束对应于与所述多个变量的子集合互相关联的至少一约束方程；(b)生成至少一树，所述至少一树包括多个节点，所述至少一树包括一根节点，所述根节点具有至少一子节点，所述节点具有所述至少一个子节点定义为父节点，所述节点缺少所述至少一子节点定义为叶节点，每个节点对应于所述约束方程式的一子集合；(c)对于叶节点的一子集合，并行地解决以满足每个所述叶节点的所述约束方程；(d)对于已满足的所述子节点的约束方程的每个父节点，基于已满足的所述对应子节点的所述约束方程，求解以满足所述父节点的约束方程；(e)重复(d)直到所述根节点的所述约束方程已经被满足；(f)将所述每个父节点的已满足的约束方程传播到每个父节点的相应子节点，从而确定满足所述约束集合的模型的配置；和(g)输出与所确定的配置的相对应的实体。