[发明专利]用于数据相关约束管理系统中的计算计划的系统和方法

摘要

本发明涉及一种确定由二部图（106）表示的数据相关约束网络（100）的条件计算计划（102）的方法，其中二部图（106）包括输入变量节点（120）、输出变量节点（128）以及关系节点（114），该方法可以包括使用变量节点（120）指定器指定计划（102）所需要的至少一个输出变量节点（128）。该方法可以进一步包括使用计划（102）确定器利用二部图的反向链搜索确定从输入变量节点（120）到输出变量节点（128）的计划（102）。

主权项

一种确定使用在对工程系统建模的数据相关约束网络(100)的条件计算计划(102)的方法，所述数据相关约束网络(100)由二部图(106)表示，所述二部图(106)包括多个变量节点和关系节点(114)，所述变量节点和所述关系节点(114)通过弧线(110)互连，所述变量节点表示所述数据相关约束网络中的变量，所述关系节点定义所述变量节点的可能值之间的约束，并且关系节点上的条件在所述工程系统的设计分析和设计优化中的至少一个期间定义不同约束的适用性，所述方法包括下列步骤：在计算机上利用变量节点指定器指定条件计算计划(102)所需要的所述多个变量节点的一组输入变量节点和一个或多个输出变量节点，其中所述条件计算计划(102)是计算计划步骤的部分排序序列，每个计划步骤与在所述条件计算计划的执行阶段期间执行该计划步骤的条件相关联，计划步骤上的条件由域集合定义，所述条件在计划执行期间评估真值，所述条件的所述真值依赖于先前计划步骤中计算的数据并且为真或假，在计划执行期间以所述计划步骤被存储在所述条件计算计划中的次序处理所述计划步骤，当且仅当与所述计划步骤相关的条件评估为真的真值时，在计划执行期间执行计划步骤；以及在所述计算机上利用所述二部图(106)的反向链搜索使用计划确定器确定从所述输入变量节点到所述一个或多个输出变量节点的条件计算计划(102)，其中所述计划确定器在所述反向链搜索期间针对每个搜索路径维持演变的域集合条件，所述计划确定器进一步将每个计划步骤与在计划执行期间执行所述计划步骤的域集合条件相关联，所述计划确定器进一步在计划步骤中包括计划执行期间需要其值的最小的一组变量，所述计划确定器进一步确保仅相关的、非多余的变量被选择为需要迭代方案的计划步骤中的迭代变量；以及使用所述条件计算计划来评估候选设计概念，以在工程系统的设计分析和设计优化中的至少一个期间确定所述工程系统的系统配置和运载工具配置中的至少一个的优化设计，其中所述候选设计概念的评估包括执行在所述条件计算计划中指定的一系列计算，该系列计算利用每个计划步骤处所需要的较低的一组变量值根据所述输入变量节点的值计算所述一个或多个输出变量节点的值，并且将仅相关的、非多余的变量选择为在需要迭代方案的计划步骤中的迭代变量，从而提高所述工程系统的设计分析和设计优化中的至少一个的效率。