约束驱动的二维变量几何造型系统

给出了一种二维变量几何系统的系统结构，它将约束求解分成几何推理与数据求解两个层次进行，并阐述了几何约速推理与数值求解相结合的算法，对约束模式的一致性及约束的局部求也作了相应的研究。