元胞自动机交通流模型中的相变现象和解析研究