一种新的参数化设计方法

A New Method of Parametric Design

本文引入可用约束、待定元素、双向约束等概念，通过建立网状数据结构来表达几何元素、几何约束及几何元素之间的关系，提出了一种新的约束求解方法——基于推理的代数法．该方法把代数法和几何推理有机地结合在一起，其推理过程采用普通算法而不是人工智能的方法，方程组的求解转化为几何元素的相切和相交等运算．

A new method of solving constraints algebraic method based on reasoning, which describes the relationship of geometric element and geometric constraint by creating network structure based on available constraint, unknown element, bi direction constraint concepts, is proposed. This method combines the algebraic method and geometric reasoning method efficiently. The geometric reasoning is accomplished by a general algorithm rather than by artificial intelligent method. The equation set solving is converted into the calculation of tangent and intersection of geometric elements.