交叉核实（cross validation）是1993年公布的数学名词。