约束求解：几何是解出来的

建模与仿真选修 10 学时 · A 级线性代数

过约束 → 无解

为什么学这一章

参数化模型不是画出来的，是解出来的。约束写成方程组，自由度决定解集维度；多一条约束就过定，少一条就欠定——建模失败大半是方程组的病。

工具

Python · SciPy · FreeCAD

交付物

约束求解器 + 过/欠约束诊断

关键数字

配套论文

几何约束求解：把图纸变成方程组 · Bettig & Hoffmann; Hoffmann et al. (constraint solver literature) · 2011→

章节正文面向已入学的学员。上面的提纲是公开的：先看清这一章要解决什么，再决定是否注册。