4.3 理想模型验证