9.1 验证与仿真概述