模型解的分析和检验