一种设计分解的正确性证明(英文)

二维变量化设计系统可以用含有 n个未知数、m个方程的非线性方程组表示 .通过设计分解可以提高几何约束求解的效率和数值稳定性 .给出了一种基于图论的设计分解方法及其正确性证明 .该方法可以 (1)处理结构欠约束系统的分解 ;(2 )检测出冗余约束 .分解算法在有限步内终止 。