4 数值模拟验证