节点文献

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

Geometric constraint solving techniques based on symbolic algebra and graphical reduction

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 李彦涛刘世霞胡事民孙家广

【Author】 LI Yantao, LIU Shixia, HU Shimin, SUN Jiaguang(Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China)

【机构】 清华大学计算机科学与技术系清华大学计算机科学与技术系 北京100084北京100084北京100084

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

【Abstract】 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.

【关键词】 几何约束图分解吴方法
【Key words】 geometric constraintgraph reductionWu Ritt’s method
【基金】 国家自然科学基金资助项目 ( 6 990 2 0 0 4 );国家“九七三”基础研究项目 ( 19980 30 6 0 0 )
  • 【文献出处】 清华大学学报(自然科学版) ,Journal of Tsinghua University(Science and Technology) , 编辑部邮箱 ,2002年10期
  • 【分类号】TP391.4
  • 【被引频次】11
  • 【下载频次】221
节点文献中: 

本文链接的文献网络图示:

本文的引文网络