摘要
开发了一个二维几何约束求解器.该求解器是新一代智能CAD系统的核心,它采用了基于图和规则的几何推理方法,高效、稳定、实用.论文提出了几何约束模型及其约束图表示,深入介绍了基于点刚体归约的几何推理算法。
The paper reports on the development of a 2D geometric constraint solver, which is a major component of a new generation intelligent CAD system. The solver takes a graph and rule oriented approach and achieves interactive speed. The paper presents the geometric constraint model and its graph representation, then discusses in detail the algorithms of geometric reasoning based on reduction, describes the architecture of the solver and its basic capabilities.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2000年第2期110-115,共6页
Journal of Computer-Aided Design & Computer Graphics
基金
国家自然科学基金! ( 5 97895 0 2
6 9783 0 0 2 )
关键词
CAD
二维
几何约束求解顺
GCSP
geometric constraint solving, constraint graph, point rigid body
