6.5 设计结构约束推理