有约束条件的统计推断及其应用