数学建模模型检验方法