4.1 装配建模与约束

4.1 装配建模与约束

本节摘要：SOURCE 4.1：装配用 mate 约束（重合、同轴、距离）定义自由度；大型装配需实例化与简化表示。

从一个减速器说起

设计一台两级减速器：箱体、两根轴、四个齿轮、若干轴承与端盖，加起来约三十个零件。真正困难的不是画零件，而是决定每个零件怎么装：齿轮与轴是"同轴 + 轴向定位"，轴承外圈与箱体孔是"同轴 + 端面贴合"，端盖与箱体是"同轴 + 面贴合 + 四个螺栓孔对中"。

如果把装配理解成"把零件摆到正确位置"，就会靠拖动、靠肉眼——低速且易错。正确的心智模型是：装配 = 用约束消除自由度。每个零件在空间有 6 个自由度（3 平移 + 3 旋转），每加一个约束就消除若干个，直到所有零件的自由度被约束图固定。

Mate 约束与自由度

一个贴合面约束（重合）消除 3 个平移自由度；一个同轴约束消除 2 平移 + 2 旋转；两者组合后，零件只剩 1 个旋转自由度——正是轴的转动自由。这就是运动机构的设计语言：想让它怎么动，就保留对应的自由度；想固定它，就消到 0。

# 自由度审计：检查装配是否"过约束"或"欠约束"
def dof_audit(assembly):
    free = 6 * len(assembly.parts)     # 初始自由度
    for mate in assembly.mates:
        free -= mate.removed_dof()     # 每个约束消除若干
    if free < 0:
        return f"过约束 {abs(free)}：存在冗余约束，需检查矛盾"
    if free > 0:
        return f"欠约束 {free}：零件仍可移动，需补定位约束"
    return "完全定义：装配可复现、可驱动"

print(dof_audit(reducer))              # 输出: 完全定义：装配可复现、可驱动
​

装配结构树

装配体用树状结构组织：顶级装配 → 子装配 → 零件。树结构带来两个关键能力：

• 局部性：子装配可独立打开、独立测试、独立复用；
• 增量更新：只重建受影响的分支，而不是全树重算。

标准件库（螺栓、轴承、密封圈）以"实例"方式插入：同一螺栓在树中出现 12 次，内存中只存一份几何 + 12 个实例引用（变换矩阵）。实例化是大装配不卡顿的基石。

两种装配策略

自上而下 vs 自下而上：前者从布局骨架插入零件；后者先建零件再组合。汽车/飞机多用混合策略。

大飞机项目普遍采用"骨架模型 + 区域划分"的混合策略：先定义机身外形与站位（骨架），再在骨架约束下设计各个舱段与设备，最后把成品装配为全机。

干涉检查与公差堆叠

干涉检查与公差堆叠依赖装配层级正确；一个错误 mate 可导致全树更新失败。装配完成后必须执行两类检查：

• 干涉检查：两零件在空间重叠（硬干涉），或间隙过小（软干涉）。前者必须消除，后者要对照公差判断；
• 公差堆叠（Tolerance Stack-up）：沿装配尺寸链累加各零件公差，计算装配间隙的极值分布。例如轴与孔的单侧间隙 0.2mm，加上 4 个零件的制造误差，最坏情况可能变成零间隙甚至过盈。

BOM 与装配驱动的数据流

装配完成后的产品结构（PS）可以直接导出 BOM：零件号、数量、材料、供应商。BOM 的正确性完全依赖装配树正确——漏插一个螺栓，BOM 就少一行，采购就漏一件。这就是为什么大型企业把"装配模型"当作 BOM 的唯一权威来源。

运动仿真：让自由度"动"起来

装配约束不只为固定零件，也为了保留该动的自由度。铰链约束保留 1 个旋转自由度，滑动副保留 1 个平移自由度，球铰保留 3 个旋转自由度。运动仿真正是利用这些保留的自由度：

1. 定义运动副：把"想让它转/滑"的约束标注为运动副；
2. 驱动：给运动副加驱动（角速度、力、行程）；
3. 求解：求每个时间步各零件的位置与姿态；
4. 输出：干涉检查、运动范围、碰撞点、BOM 联动。

以四连杆机构为例：四个铰链各保留 1 个旋转自由度，整机自由度按格鲁布勒公式计算：

其中 n 是杆件数（含机架），J 是运动副数。四连杆 n=4, J=4，得 DOF = 1——恰好一个自由度，说明机构能确定地运动。DOF 计算是机构设计的第一性检查。

def gruebler(n_links, joints, joints_dof):
    # joints_dof: 每个运动副限制的自由度数（转动=2，移动=2，球铰=0限制平移3?此处简化为平面情况）
    dof = 3 * (n_links - 1) - sum(joints_dof)
    return dof

# 四连杆：4 根杆，4 个转动副，每个转动副限制 2 个自由度
print("四连杆 DOF:", gruebler(4, 4, [2, 2, 2, 2]))   # 输出 1
​

实例化：为什么重复零件不占内存

大装配里一个 M8 螺栓可能出现 500 次。如果每个螺栓都存一份完整几何，内存会立刻爆炸。实例化（Instantiation） 的解法是：

• 几何只存一份（在零件库中）；
• 装配里每个"出现"只存一个实例引用：零件 ID + 放置矩阵（平移+旋转）。

class Instance:
    def __init__(self, part_id, transform):
        self.part_id = part_id          # 引用零件几何
        self.transform = transform      # 4x4 变换矩阵：位置+姿态

    def world_geometry(self):
        # 需要几何时，从零件库取共享几何再施加变换
        base = part_library.load(self.part_id)
        return base.apply(self.transform)
​

渲染时 GPU 通过"实例化绘制"一次提交共享几何 + 变换列表，又省显存又省 CPU。理解实例化，是理解"10⁵ 零件装配为何还能流畅旋转"的关键。

装配建模规范

大型项目装配建模的质量，取决于三条规范：

公差堆叠的工程计算

公差堆叠（Tolerance Stack-up）沿尺寸链计算装配间隙的极值。以"轴 + 垫片 + 端盖"的轴向尺寸链为例：

最坏情况法（WC） 把公差简单相加，得间隙 1.70~2.30mm；统计法（RSS） 按平方和开方，得约 ±0.187mm。设计规范往往同时给出 WC 与 RSS 两种结果：关键安全件用 WC，一般件用 RSS 以放宽公差、降低成本。

⚠️ 常见坑： circular reference（零件 A 依赖 B，B 又依赖 A）使求解器无法收敛。

💡 关键直觉：装配 = 约束图 + 实例管理。

重点提炼

• Mate 约束定义相对运动
• 自由度审计：过约束/欠约束/完全定义
• 实例化降低重复零件内存
• 干涉与公差是交付前必检项
• 装配树是 BOM 的权威来源