修复式约束满足相关论文