7.4 基于CheckMate的仿真实验