约束函数与边界条件