参数化设计的定性建模与仿真

对参数化设计问题提出了一种新的基于DOF（Degreesoffreedom）的定性建模与仿真方法。在几何约束求解的过程中，通常的定量数值化方法由于解空间的巨大而显得低效。通过定义基本约束簇类型和规则，新方法引入定性图对几何约束进行定性建模及模型求解．经过一系列基于DOF的定性图推理过程，几何约束的定性模型被规约为一个单节点后得出一系列的构造步骤。在这个推理阶段中得出的构造步骤被确定为以后精确定量计算的次序．结合了定性推理方法的高效性以及定量方法的精确性，初步实验表明新方法能够提高约束求解的效率。