约束违反函数相关论文