基于约束的形状自动求解新算法

NEW ALGORITHMS FOR AUTOMATIC SHAPE SOLVING BASED ON CONSTRAINTS

基于约束的产品形状描述及求解是目前计算机辅助设计研究的一个热点．本文在研究国内外现有技术的基础上，提出了一个基于约束的形状自动求解算法，该算法与国内外现有相关算法相比具有高效、实用、易于扩充、支持约束有效性检测、支持局部优化生成等显著优点．该算法已被实用系统所采用，成为我们最新研制的参数化二维草图系统的核心算法．

Constraint-based shape description and inferring is one of the hot spot in the research of computer-aided design. On the basis of the studies of the current relevant techniques available, this paper presents a series of algorithms for automatic shape solving. The algorithms have several remarkable features in efficiency, expandibility, practicability, ability to check the valid condition for constraints, and local optimization for shape generation. The algorithms have been successfully applied to a 2D parametric sketching system, acting as the kernel algorithms of the system.