实验3 状态建模