将几何推理方法引入产品建模系统。
Geometric reasoning is introduced into product design systems.
采用基于约束驱动的几何推理和自由度计算方法，设计了约束检查策略与算法，解决了过约束与欠约束检查问题。
This paper introduces a method which uses geometry reasoning & degrees of freedom calculating based on constraint driven to solve the problem of checking over constraint & under constraint.
基于这种统一的表示，本文给出了简洁的几何元素位置关系的判断方法以及获得一致性的完备推理规则。
Based on these unified representations, this paper gives a succinct method to obtain positional relations between geometric elements, and a group of complete reasoning rules to make them consistent.
应用推荐