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

Geometric constraint solving techniques based on symbolic algebra and graphical reduction

作　　者：李彦涛[1] 刘世霞[1] 胡事民[1] 孙家广[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《清华大学学报（自然科学版）》2002年第10期1410-1413,共4页Journal of Tsinghua University(Science and Technology)

基　　金：国家自然科学基金资助项目 ( 6 990 2 0 0 4 );国家"九七三"基础研究项目 ( 19980 30 6 0 0 )

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

关 键 词：计算代数 图分解 几何约束求解技术 吴方法 参数化设计 几何约束系统 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]