SPIN安装及模型验证实验报告