将几何推理方法引入产品建模系统。
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.
实验结果表明，对较复杂的几何问题来说，采用这种方法可以显著提高推理效率。
The experimental results show that the proposed method can improve reasoning efficiency in evidence, especially in the solution of some complex elementary geometry problems.
几何自动推理的DM-分解算法是一个基于偶图DM -分解的几何自动推理方法。
The DM-decomposition algorithm is an automated geometric deduction method based on the DM - decomposition of bigraphs.
利用产品功能结构树和零部件的信息，采用基于装配关系图分割的几何推理和基于规则的知识推理的方法来简化工艺子装配体的识别，以此生成装配结构树。
Meanwhile, based on the information of the function structural tree and its parts of the production, the sub-assembly was judged by dividing the assembly relation graph and matching the rule.
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
目前，几何自动推理的主要方法有：基于数值计算的方法、基于符号计算的方法、基于规则的方法和基于图论的方法。
Now, the main methodology of AGD includes: numeric based method, symbol based method, rule base method and graph based method.
应用推荐