高级检索

基于归约的几何约束推理研究

REDUCTION BASED GEOMETRIC CONSTRAINT REASONING

  • 摘要: 参数化设计在现代CAD技术中占据着越来越重要的地位,几何约束系统的建模、管理与求解是该技术的关键。本文提出了一种基于几何约束网络动态归约的几何推理方法,在参数化建模的同时,实现了对几何约束系统的最大分解,以归约树的形式表达归约结果,清晰地表明了约束系统内部的耦合程度和求解次序。实践表明,该方法在约束一致性检查、快速求解等方面起了重要的作用。

     

    Abstract: Parametric design plays an important role in the modern CAD technology. Parametric model constructing,management and solving of the geometric constraint system is the key of parametric design.This paper describes a new geometric reasoning method based on the dynamic reduction of the geometric constraint network.While constructing the parametric model,the geometric constraint system obtains the maximal decomposition. A reducing tree is used to represent the reduction result,which explicitly expresses the coupling degree of the constraint system and the solving order.In implementation, the algorithm is very effective for geometric constraint consistence checking、 fast solving and etc.

     

/

返回文章
返回