11.4 仿真验证系统的层次结构