交通流模型仿真(Traffic flow)

交通流模型，主要包括：宏观模型、微观模型、混合模型

　　交通模拟的一个 重要部分：是在不同的细节水平上描述车辆的运动。交通流建模与仿真的早期研究可以追溯到20世纪50年代，当时分别提出了宏观交通模型、微观交通模型。经过多年的发展，交通仿真技术大致有三种类型：分别为宏观、微观、细观(mesoscopic);

　　交通流可以被看作是一种流：流中的车辆共享相似的目标和行为规则，与邻居交互，同时保持各自的驾驶特性。(计算机图形学：人群模拟可以通过宏观方式以个体真实运动为代价对群体进行整体建模，也可以通过微观方式(将群体建模成个体运动的集合))。

宏观方法：

       宏观方法，也称之为连续体方法。以较低的细节描述车辆的行为和相互作用：交通流由速度、流量、密度等连续体表示。宏观方法主要是为了效率而设计的大规模道路网络上的交通模拟，重点是再现用流量密度和交通流量等集体测量的聚集行为。

       早期的一阶宏观模型之一是 LWR模型。他们的模型假设交通流量只依赖于描述流量-密度关系的交通密度。该模型基于一维可压缩气体动力学 与 单车道交通流演化的相似性，建立了交通流的非线性标量守恒律。从本质上讲，LWR模型以低分辨率的细节描述了大规模交通流的运动。它的局限性之一是：不能模拟车辆在非平衡条件下的运动，比如走走停停的波浪(stop-and-go wave)。

       随后，又提出了连续二阶交通流模型，称之为PW模型(Payne-Whitham)。一阶模型假设存在一个固定的平衡状态，二阶模型引入了一个二阶微分方程来描述交通速度动态。作为一个限制，PW模型引入负速度，车辆动力学产生的信息可以比车辆速度更快，这意味着司机可以受到他们的后续车辆的影响。

       之后，Aw和Rascle引入了一个压力项，以保证没有信息的传播速度超过汽车的速度。张 同样提出了对PW模型动量方程的修正来处理向后传播的流量。得到的模型被称之为Aw-Rascle-Zhang(ARZ)模型。其中Mammar等人表明，ARZ模型在数值上比LWR模型更适合真实世界的数据。

       为了生成详细的交通流三维动画和可视化，Sewall等提出了连续交通仿真模型，以生成大规模道路网络上真实的交通流。他们通过引入一种新的变道模型，并对每辆车使用离散表示，使单车道的ARZ模型适应于处理多车道交通。（将每个车道离散成多个单元来模拟交通流）。

       为了更新每个单元的状态，使用有限体积法(FVM)进行空间离散化[LeV02]，并结合Riemann求解器对ARZ方程进行求解。为了对车道合并和变道行为进行建模，Sewall等人将连续动态与离散车辆信息相结合，将车辆表示为车辆粒子系统。这些粒子系统是由底层的连续流驱动的。

       综上所述，宏观交通模型是模拟大规模交通的有效工具。然而，这些技术仅限于高速公路网络，因此不适合模拟街道交通，因为街道交通包含了汽车之间丰富的相互作用。(这句话的表示：宏观交通模型更适合高速公路，不太适合微观交通模拟)。此外，由于这些模型不模拟车辆的车道合并行为，因此无法处理换道过程中的密度传递。

微观方法：

       微观模拟在高水平的细节上产生车辆运动：每辆车都被视为一个离散的代理，满足一定的控制规则。

       针对特定的城市交通模拟，已经开发了大量的微观模型，这是因为它们可以灵活地建模代理的异构行为、不同的道路拓扑以及周围车辆之间的交互。

       早期的微观模型包括：①元胞自动机模型②汽车跟随模型。元胞自动机模型中车辆的运动由预先指定的时间、空间和状态变量中的演化规则来描述。具体来说，道路被离散化为单元，模型决定车辆何时从当前单元移动到下一个单元。由于其简单性，元胞自动机模型计算效率高，可以模拟大型路网上大量车辆。然而，由于其离散性，生成的虚拟交通只能再现有限数量的真实交通行为。

       相比之下，最早由Pipes和Reuschel引入的车辆跟驰模型，可以生成真实的驾驶行为和详细的车辆特征，但需要进行计算。他们假设交通流由分散的粒子组成，并对汽车间的相互作用进行详细的建模。这些模型通过基于刺激-响应框架(Response=Sensitivity Stimulus)的连续时间微分方程来表示每辆车的位置和速度。

       在过去的几十年里，大量的变化和扩展的汽车跟驰模型已经被用来建模主车对前车响应。两个著名的例子是最优速度模型(OVM)和智能驾驶模型(IDM)。在OVM模型中，假设主车保持最优速度。它的加速度由它的速度和前车的最佳速度之差决定；在IDM模型中，根据车辆当前速度和对于前车的速度和位置计算车辆的加减速。特定于车辆的参数使IDM模型能够模拟各种车辆类型的驾驶风格。

       除了模拟单车道交通流外，还研究了多车道模拟[SN03, Dav04, THG05, HNT07]。一个例子是改进的最优速度模型[Dav04]，该模型用于模拟双车道高速公路和有入口匝道的单车道高速公路上的交通；另一个例子是twolane交通模型[THG05]，用来模拟交通的横向效应。

      为了生成详细的交通模拟，Shen和Jin [SJ12]提出了一种增强的IDM和连续换道技术。他们的技术可以产生具有平滑的加减速策略和灵活的车道悬挂行为的交通流。该模型对原有的IDM模型进行了修正，使其更适合于城市路网的信号处理。具体地，将加速度过程分为自由道路加速度项和减速项，自由道路加速度项描述了驾驶员达到期望速度的意愿，减速项描述了驾驶员与附近车辆保持安全距离的意愿。对减速项进行了修改，增加了一个激活控制部分，使被停车车辆的反应更加平稳。该模型将城市道路变道行为分为自由变道和强制变道两种情况，并为这两种情况提供了一个灵活的连续模型。

      在相对自由的道路条件下，自由变道现象时有发生。这种行为是由k等[KTH07]的双车道MOBIL模型建模的。强制换道则应用于主车因为一些必要的因素要求换道行为,如到达车道终端或在十字路口转向,而主体辆及周边车辆之间的gap不支持自由换道(图5),陆等人(LCX 14)扩展完整的速度差异模型(FVDM) [JWZ01]以处理在农村交通仿真中的close-car-braking情况。后来，Lu等人在交通模拟中引入了人格模型[lwx14]。

      与单行道或多车道交通模拟相比，交叉口交通模拟难度更大。Doniec等人[DMPE08]提出了一种多智能体的交通模拟行为模型，将交叉口交通视为一个多智能体协调任务。具体来说，首先，每辆车感知周围的交通情况，做出决策;其次，提出了一种预测算法来模拟车辆的预测能力。Wang等[wxz18]在交通模拟中引入了影子交通的概念，以统一的方式对交通异常进行建模。Chao等人[CDJ15]设计了一个基于规则的流程来模拟混合交通模拟中车辆与行人的交互作用。

       综上所述，微观交通模型的目的是描述特定的车辆行为，因此可以用来模拟连续车道和十字路口的交通。瓶颈通常是计算成本，特别是需要大规模模拟时间。

混合方法：

       Sewall等[SWL11]将这两种方法结合起来，提出了一种混合方法。他们的方法使用基于代理的模型来模拟感兴趣区域的交通，而其余区域使用连续体模型。通过在两种建模方法之间动态和自动切换，他们的方法可以根据用户偏好来模拟不同详细级别下的交通。

       细观模型是介于宏观方法和微观方法之间的一种中间方法。介观模型的核心思想是使用概率分布函数表示单个驾驶员行为的同时，以聚集的方式描述交通流动态[HB01c]。细观模型可分为三类:簇模型、车头时距分布模型和气体动力学模型。[FSS18]聚类模型通过描述车辆群来描述交通流的动态具有相同的属性[KMLK02,MKL05]。车头时距分布模型主要研究车头时距的统计特性。在介观方法中，最著名的模型是气体动力学模型，它将气体动力学与交通动力学进行类比。[PA60, THH99 HHST01, HB01a]。

       在交通运输工程中，气体动力学模型通常不应用于仿真，但在推导其他连续体模型时仍保持其作用[Hel01]。例如，Hoogendoorn和Bovy [HB00, HB01b推导了一个基于气体动力学模型的多类多车道连续交通流模型。气体动力学模型也是许多宏观模型的基础，例如自适应巡航控制策略[DNP15]。

       利用动力学理论推导出车辆交通的数学模型[FT13]，该模型放松了对车辆连续分布的空间位置和速度的假设。在计算机图形学中，由于存在大量的未知参数和复杂的微分或积分项，介观模型在交通仿真中很少被用到，这限制了仿真和动画的效率。