PBD约束