基于计算代数和图分解的几何约束求解技术

满足几何约束是参数化设计中的中心问题。在许多应用中 ,需要找到约束系统的全部解。基于计算代数的方法可以实现这个目的 ,但其弱点在于计算复杂。利用图分解和计算代数相结合的方法对约束系统进行求解。通过图分解 ,将一个约束系统分解成为许多子系统 ,利用吴方法等技术求出各子系统的解 ,将各子系统的解结合从而求出整个约束系统的全部解。该方法比单纯利用计算代数求解高效 ,并且不会改变约束系统的解集。实验结果表明 ,该方法可以有效地求解某些约束系统

Geometric constraint solving techniques based on symbolic algebra and graphical reduction

A constraint solution method was developed in this paper. The general constraint system was solved by decomposing the system into sub systems using graphical reduction and solving the sub system symbolically. The solution for the whole system was obtained by combining the sub systems solutions. The result for the entire constraint system was the same solution set as when it is solved directly. The experimental results show that this method requires less processing time and storage space than the traditional method.