论文部分内容阅读
几何约束系统可以分为陈述式和构造式两类 .为了使基于约束的设计更加符合使用要求 ,参数化 CAD系统需要综合满足两类约束 .文中研究了三维情况下陈述和构造统一的约束满足策略 ,通过引入形状自由度的概念 ,将形状变化和位置变化统一处理 .约束系统采用约束图来表示 ,各个子系统之间的层次结构利用约束层次树来表示 .采用剪枝和凝聚相结合的策略实现了欠约束和完备约束系统的分解 ,使用解析法和数值法对约束进行求解 .该策略已经在参数化 CAD系统 GEMS5 .0的二维和三维上实现 .