5.5.6 定义约束及边界条件