元胞自动机交通流模型 .ppt

元胞自动机交通流模型 本章主要内容 §1 元胞自动机理论 §2 元胞自动机交通流模型 详见： 贾斌，高自友，基于元胞自动机的交通系统建模与模拟，科学出版社 相关文献： Nagel and Schreckenberg. A Cellular automaton model for freeway traffie．Journal of Physics(France)，1992 郑英力等．交通流元胞自动机模型综述．公路交通科技．2006,23(1): 110~115 孙跃等．基于元胞自动机原理的微观交通仿真模型．重庆大学学报(自然科学版)．2005 熊桂林, 黄悦．元胞自动机在混合交通仿真中的应用．系统工程．2006 狄宣．基于元胞自动机的快速路仿真建模与交通流优化分析．同济大学硕士学位论文．2008.3 S Maerivoet, B De Moor，Cellular automata models of road traffic．Physics Reports 419 (2005) 1 – 64 教学目的：了解初等元胞自动机的基本概念，掌握元胞自动机交通流模型的建立方法，掌握NS交通流模型的特点、适用条件及其仿真。 重点： NS交通流模型 难点： NS交通流模型的仿真 §1 元胞自动机理论 一、什么是元胞自动机 元胞自动机（Cellular Automata，CA）是一种时空离散的局部动力学模型，是研究复杂系统的一种典型方法，特别适合用于空间复杂系统的时空动态模拟研究。 元胞自动机不是由严格定义的物理方程或函数确定，而是用一系列模型构造的规则构成。凡是满足这些规则的模型都可以算作是元胞自动机模型。因此，元胞自动机是一类模型的总称，或者说是一个方法框架。 在CA模型中，散布在规则格网 (Lattice Grid)中的每一元胞(Cell)取有限的离散状态，遵循同样的作用规则，依据确定的局部规则作同步更新。大量元胞通过简单的相互作用而构成动态系统的演化。 CA模型的特点：时间、空间、状态都离散，每个变量只取有限多个状态，且其状态改变的规则在时间和空间上都是局部的。 二、初等元胞自动机 初等元胞自动机是状态集S只有两个元素{s1，s2}，即状态个数k=2，邻居半径r=1的一维元胞自动机。由于在S中具体采用什么符号并不重要，它可取 {0，1}，{-1，1}，{静止，运动} 等等，重要的是S所含的符号个数，通常我们将其记为 {0，1}。此时，邻居集N的个数2·r=2，局部映射f：S3→S可记为: 二、初等元胞自动机 初等元胞自动机是状态集S只有两个元素{s1，s2}，即状态个数k=2，邻居半径r=1的一维元胞自动机。由于在S中具体采用什么符号并不重要，它可取 {0，1}，{-1，1}，{静止，运动} 等等，重要的是S所含的符号个数，通常我们将其记为 {0，1}。此时，邻居集N的个数2·r=2，局部映射f：S3→S可记为: 由于只有0、1两种状态， 所以函数f共有28=256种状态。 t 111 110 101 100 001 010 001 000 t+1 0 1 0 0 1 1 0 0 S. Wolfram的初等元胞自动机 256种初等CA规则 对给定初值及规则 f，可通过计算机得到N步以后的演化结果 t 111 110 101 100 011 010 001 000 ? t+1 0 0 0 0 … 1 … 1 1 0 0 0 0 … 0 … 1 1 0 0 0 0 … 1 … 1 1 0 0 0 0 … 1 … 1 1 0 0 0 0 … 1 … 1 1 0 0 0 1 … 0 … 1 1 0 1 1 0 … 0 … 1 1 1 0 1 0 … 0 … 0 1 rule 1 rule 2 rule 3 rule 4 … rule 184 … rule 255 rule 256 Three centuries ago science was transformed by the dramatic new idea that rules based on mathematical equations could be used to describe the natural world. My purpose in this book is to initiate another such transformation, and to introduce a new kind of science that is based on the much more general types of rules that can be embodied in simple computer programs. 详见：