二阶约束规格（second-order constraint qualifi- cation）是1993年公布的数学名词。