第五节 模型求解、验证及精确检验