1. 引言
连续交通流模型在交通模拟、交通控制等许多应用中具有重要的现实意义。由Lighthill和Whitham [1] 和Richards [2] 分别独立提出的LWR模型是所有其他交通流模型的先驱。该模型是一个宏观模型,描述了均匀单向公路交通流量的总体特征。虽然LWR模型只是提供了交通流的粗略表示,但它能够定性地再现大量的真实交通现象,例如交通堵塞、车流疏散、信号灯放行等。
LWR模型背后有两个主要关系,一个是连续性方程,表明道路上的车辆数量是守恒的,另一个是流量和流量密度之间的基本关系,LWR模型将这两种关系相结合,得到了一个反映车流密度的时间变化和流量的空间变化的偏微分方程。该方程在数学上属于非线性的双曲守恒律方程,因此,在模拟LWR模型方程时,可以采用非线性双曲守恒律方程的数值计算方法,如有限差分法、有限体积法和有限元法等。非线性双曲守恒律方程的一个重要的特征是:即使初始条件连续,其解也可能会出现间断的情况。为了解决间断问题,1954年,Lax提出了弱解 [3] 的概念,这一概念允许间断解的存在,但弱解并不唯一,必须增加限制条件,才能够求出与物理相关的唯一弱解。在数学上,满足“粘性消失”的Cauchy问题具有唯一、有物理意义的解,这个解叫做熵解。“熵”是求解双曲守恒律方程的关键,只要所选择的数值格式能够保持总熵不变,该格式被称为熵守恒格式。然而,在存在间断解的情况下,熵守恒格式缺少熵的耗散机制,使得它的数值解具有较大不稳定性。所以Tadmor研究指出 [4]:一个三点格式只需含有比熵守恒格式更多的粘性则是熵稳定的。2006年,Roe在熵守恒格式的基础上加入Roe格式的数值粘性项,得到了熵稳定的ERoe格式 [5]。随后在2009年,Roe和Ismail提出了熵相容格式 [6],该格式对数值粘性项的量化更精确。2015年,刘友琼、封建湖、任炯 [7] 提出了一种复合型通量限制器,并在此基础上给出了一种高分辨率熵相容格式。2021年,任璇、封建湖基于MUSCL型重构方法,提出了一种新的斜率限制器 [8],有效地提高了熵相容格式的精度和分辨率。随后沈亚玲等 [9] 将该斜率限制器应用到理想磁流体动力学(MHD)方程的数值求解中,并通过数值算例验证了该格式是一种较为理想的数值方法。
关于LWR模型的求解,郑素佩等 [10] 提出了求解LWR模型的高分辨率熵相容格式,并在空间方向采用三阶CWENO重构,避免了膨胀激波现象的产生。冯娟娟等 [11] 采用WENO-Z+重构的熵稳定格式对LWR模型进行了数值模拟,结果表明该算法对激波有良好的捕捉效果。本文为了给出一种求解交通流LWR模型的更好的数值格式,在熵相容格式的基础上,加入了MUSCL型重构方法的新型斜率限制器,进一步提高了格式的计算精度。本文数值算例由熵相容格式、四阶CWENO熵相容格式以及加入新型斜率限制器的熵相容格式计算得到,模拟了LWR交通流模型随着时间的推移距离和密度之间的变化关系,证明了新算法的有效性。
2. 交通流LWR模型
LWR模型的质量守恒方程及速度表达式如下 [12]
k为密度;t为时间;x为距离;
为最大速度;
为阻塞密度。显然,该模型方程属于非线性双曲守恒律方程。
2.1. 方程离散
空间上采用均匀网格上的半离散格式
(1)
其中
。
时间方向上采用三阶Runge-Kutta方法 [13]:
(2)
其中
。
2.2. 熵相容格式
对于交通流LWR方程的熵守恒格式,要求满足离散熵等式同时保持总熵不变:
其中,取熵函数
,计算出熵通量函数
,熵变量
和熵势
则熵守恒格式的数值通量为 [4]
(3)
然而,熵守恒格式在解的间断处会表现出严重的不稳定性,而要使格式达到熵稳定,总熵必须有所耗散,Ismail [6] 提出在熵守恒格式的数值通量中加入一个二阶的迎风项,得到了如下熵稳定格式的数值通量
(4)
其中
,
,
。
熵稳定格式包含的数值粘性大于熵守恒格式,但在实际的数值实验中,仍不能避免伪振荡的产生。Ismail等在文献 [6] 中给出了一维双曲守恒律方程的熵相容通量的通用表达式,并将其推广到一维Euler方程组。本文将Ismail等人的熵相容通量的通用表达式推广到交通流LWR模型,并给出了求解交通流LWR模型的熵相容格式的数值通量
(5)
取
,
。
2.3. 高分辨率熵相容格式
2.3.1. 斜率限制器
在对LWR模型方程进行数值模拟时,为了使熵相容格式的精度和分辨率得到进一步的提高,重构各控制单元
上的参考解
,并将重构后的函数表示为
,若满足以下条件
则称该重构函数
具有k阶精度。假设
表示单元
在时间层
上的平均值,即
在构造中,首先将
在
处泰勒展开
(6)
之后将
在点
处泰勒展开,可以得到
(7)
合并(6)和(7),得到
我们取
上式满足
,也就是在重构之后,得到了二阶精度,为了方便,将
写成
(8)
其中
对上式中的一阶和二阶偏导数,用中心差商来近似,即
进一步,将重构(8)改进为
(9)
其中,
是对类似于MUSCL方法 [14] 中斜率
的进一步限制,称之为斜率限制器。重构(9)在控制单元
的边界外推值分别为
限制
和
(10)
来确保不会产生新的极值。在上述不等式的各边都减去
得到
(11)
然后,利用公式(11)中的第一个不等式,对左斜率限制器的构造过程进行分析。
当
时
也就是
(12)
由于
,所以取
同理,右斜率限制器取
为了确保不等式(12)的成立,斜率限制器取
[8],对于
和
,一般情况下,在计算的过程中,为了避免出现计算错误,通常在分母上加上一个非常小的常数
。
2.3.2. 高分辨率熵相容格式
在本节中,基于2.2节所提出的熵相容格式,将2.3.1节构造的新的斜率限制器应用到该格式中,得到了求解交通流LWR模型的高分辨率熵相容格式(EC-SL)。
交通流LWR模型的高分辨率熵相容格式的数值通量为
(13)
和
是重构后得到的变量值。重构过程如下,利用加入斜率限制器后的式子
,计算出
和
,并令
和
分别等于
和
,在数据重构完成之后,将
和
代入数值通量中,就能得到求解交通流LWR模型的高分辨率熵相容格式。
3. 数值算例
本节中数值算例的参考解是由四阶CWENO熵相容格式在2000个网格单元计算所得。EC和EC-SL分别表示由熵相容格式的数值通量(公式(5))和高分辨率熵相容格式的数值通量(公式(13))得到的半离散守恒型差分格式(公式(1))计算所得,时间方向的离散采用三阶Runge-Kutta格式(公式(2))。数值模拟时,取100个网格单元,横坐标为距离的无量纲化,纵坐标为车流密度的无量纲化。边界条件均采用Neumann边界条件。
算例1 信号灯由红变绿的极端车流情形。长为
的公路,
,
,模拟时间t设为120 s、300 s、450 s、600 s。
初始条件为:
边界条件是
,
。
计算结果如图1所示。
t = 120 s
t = 300 s
t = 450 s
t = 600 s
Figure 1. Results of example 1
图 1. 算例1数值结果
图1分别显示了在120 s、300 s、450 s、600 s时车流密度与距离之间的关系。由于信号灯由红灯变为绿灯,上游高密度的交通流逐渐向下游疏散,从而形成了稀疏波。如图所示,随着车辆行驶距离的增加,稀疏波的过渡区域逐渐扩大。通过与EC格式的对比,EC-SL格式的结果在稀疏波区域更加接近于参考解。在表1中,通过两种格式精度的比较,说明了斜率限制器的确提高了熵相容格式的精度。
![](Images/Table_Tmp.jpg)
Table 1. The EC/EC-Sl scheme computers the order of error and convergence up to t = 120 s
表1. EC/EC-SL格式计算到t = 120 s的误差和收敛阶
由表1可知,EC-SL格式在算例1中可以达到二阶精度,而EC格式只有一阶精度。
算例2 路长为
,
,
,初始车流密度为0.075 veh/m,在
处有一个红色信号灯。模拟时间t设为30 s、60 s、90 s、120 s。
初始条件为:
边界条件是
,
。
计算结果如图2所示。
图2分别显示了在30 s、60 s、90 s、120 s时车流密度与距离之间的关系。由于该路段在
处是红色信号灯,行驶中的车流不断被压缩,造成了下游的堵塞,使得交通流向上游传播形成了激波。由图可以看出,EC格式和EC-SL格式在间断处均出现抹平现象,但EC-SL格式较EC格式有了良好的改善。EC-SL格式在激波处过渡带较窄,跨越间断的单元数目也少于EC格式,并且EC-SL格式解的分辨率比EC格式的高。
t = 30 s
t = 60 s
t = 90 s
t = 120 s
Figure 2. Results of example 2
图2. 算例2数值结果
算例3 交通信号灯放行后车流密度的变化。路长为
,
,
。
初始条件为:
这个算例反映的交通流状况是:在500米位置有一个红色信号灯,信号灯左侧车流密度为0.25;500米~1000米路段车流密度为0.5;1000米处有一个绿色信号灯,信号灯前方道路上1000米~1500米范围内没有车辆;1500米位置右侧,车流密度为0.25,1500米处是一个向右的激波。模拟时间t设为15 s、30 s、50 s、60 s,计算结果如图3所示。
图3分别显示了在15 s、30 s、50 s、60 s时车流密度与距离之间的关系。根据初始条件可知,在500米处,信号灯刚好由红灯变成绿灯,大量的车辆从信号灯左边驶向右边,使得信号灯右边车流密度迅速增加,从而产生了激波,并且密度在短时间内保持不变;又因为绿灯放行的原因,被放行的车辆在1000米后快速向前行驶,使车流密度逐渐降低到0,导致出现了稀疏波现象;在绿灯放行后,在第一辆放行的车辆还没有追上前面最后一辆运行的车辆前,道路上仍然有一部分路段没有车辆;在零密度与没有被红灯阻断的最后一辆车之间,则会形成激波间断。从图中看出,EC-SL格式在激波间断处和稀疏波处算的结果都优于EC格式,即EC-SL格式更贴近参考解。
t = 15 s
t = 30 s
t = 50 s
t = 60 s
Figure 3. Results of example 3
图3. 算例3数值结果
4. 结束语
由于交通流LWR模型在数学上可以表示为双曲守恒律方程,所以我们将求解一般双曲守恒律方程的熵相容格式进一步推广到交通流LWR模型,并在重构时将MUSCL型斜率限制器加入熵相容格式,得到了求解交通流LWR模型的高分辨率熵相容格式。计算结果表明,新格式在稀疏波和激波处的逼近效果优于其他格式,更好地模拟了LWR交通流模型随着时间的推移距离和密度之间的变化关系,是一种较为理想的方法。该算法也可推广应用于交通流其他类似属性方程的数值求解中,格式的推导和程序的实现过程类似于LWR模型方程。
基金项目
国家自然科学基金(11971075)。
NOTES
*通讯作者。