SPIN安装及模型验证实验报告 第3页