约束求解：几何是解出来的
过约束 → 无解
Why this chapter
参数化模型不是画出来的，是解出来的。约束写成方程组，自由度决定解集维度；多一条约束就过定，少一条就欠定——建模失败大半是方程组的病。
ToolsPython · SciPy · FreeCAD
Deliverable约束求解器 + 过/欠约束诊断
Key numbers| 约束→方程 | 每个约束 1 条 |
|---|---|
| 自由度 | 3 平移 + 3 旋转 |
| 过约束 | 求解器报错或静默改动 |
几何约束求解：把图纸变成方程组
· Bettig & Hoffmann; Hoffmann et al. (constraint solver literature) · 2011→
The chapter body is for enrolled learners. The outline above is public: see what the chapter solves before deciding to register.
© SailiTech · Printed at: