摘
要:
随着交通流模拟的需要及智能交通系统的发展,
出现了基于元胞自动机理论的交通流
模型。交通流模型是交通理论研究的重要问题,交通流元胞自动机模型的出现和发展为交通
流理论的研究提供了一种新的方向。文章主要介绍了单车道交通流元胞自动机模型,并对元
胞自动机模型的发展提出了展望。
关键词:元胞自动机;单车道;交通流模型
中图分类号:
tp301
;
u491
文献标识码:
a
文章编号:
2095-1302
(
2013
)
05-0023-03
0
引
言
现代社会普遍面临严重的交通问题,对交通流理论的研究可以建立能描述实际交通一般
特性的交通流模型,以揭示控制交通流动的基本规律,从而有效地进行交通规划、交通管理
与控制以及交通能源节约等方面的研究。
传统的交通流模型主要有车辆跟驰模型、流体动力学模型、车辆排队模型等。元胞自动
机(
ca
)模型是近年来发展起来的一种时间和空间都离散的动力学系统模型。散布在栅格
(
lattice grid
)中的每一个元胞都有有限个状态,它们遵循同样的规则作同步更新,大量
元胞通过简单的相互作用而构成动态系统的演化。
交通流元胞自动机模型简单,
易于在计算机上实现,
并且能够再现各种复杂的交通现象,
以反映交通流特性,如平均速度、密度、流量等参数。
1
交通流元胞自动机的历史起源
2
元胞自动机的构成
所谓元胞自动机是一个无穷维的离散的动力学系统,主要由四部分构成,分别是元胞、
元胞空间、邻居和演化规则
[2]
。其数学表达形式为:
ld
表示元胞空间,
元胞是元胞自动机的最基本的组成部分,
元胞所分布在空间上的网格
点的集合就是我们所说的元胞空间。
d
表示元胞空间的维数,目前的研究工作多集中在一维和二维元胞自动机上,本文讨论
的是一维元胞自动机。
σ
表示元胞的有限状态集,某一时刻,每一个元胞都有自己的状态,元胞的状态根据所
研究的问题而不同,可以是(
0
,
1
)二进制形式,也可以是(
0
,
1
,
2
,…)整数形式的离散
集。
n
表示所有元胞的邻居的状态集合,
为包含
n
个不同元胞的空间矢量,
表示为,
n
是邻居
元胞个数,
。
δ
表示元胞自动机的演化规则,是根据元胞当前状态及其邻居状态确定下一时刻该元胞
状态的一个状态转换函数。
由以上可知,元胞自动机是由一个元胞空间和定义于该空间的状态转换函数所组成的。
3
交通流元胞自动机的产生
交通问题中的研究对象,都是不连续的,车辆运动有很大的随机性和不确定性。元胞自
动机在模拟各种具有离散性和随机性的自然现象方面的应用非常广泛,由此启发人们用它来
模拟交通问题
[3]
。
4
一维单车道元胞自动机模型
根据所研究交通特性的不同或研究角度的不同,可以提出不同的假设条件,采用不同的
元胞状态更新原则,由此形成了不同的交通元胞自动机。本文主要介绍一维单车道元胞自动
机模型。
一维单车道模型研究车辆在一条车道上运动形成的交通流。其基本结构是:将一条车道
划分为等尺寸的格点,每个格点看作一个元胞,其最多仅能有一辆车占据,每个元胞有两种
状态――空、被车占据;对时间进行离散化,并且等步长推进;取车辆位置、速度作为状态