斯维尔节能操作技巧06-模型检查