基于元胞自动机的强制换道模型研究

介绍了元胞自动机的原理及其在换道模型建立中的应用。用模糊控制原理模拟车道变换过程中的判断过程,分析现有的模糊控制强制换道模型的不足之处,考虑到实际交通情况的多样性,提出了更为细致的基于元胞自动机的强制换道模型,并验证了新模型更能符合现实情形。     

基于有限自动机的航班计划句法检查技术研究

为了提高航班计划正确性和完整性的自动检查和分析能力,在分析航班计划编排特点的基础上,给出了基于有限自动机的航班计划句法检查技术,进行航班计划句法检查中的词法分析、语法分析和规则检查,并进行了例证分析,验证了运用不确定有限自动机进行航班计划句法检查的可行性。     

学区交叉口行人流元胞自动机模型

基于学区交叉口上下学时间段家长和儿童混合行人流过街特性,利用元胞自动机建立了学区交叉口行人过街模型.在模型中引入空格参数、方向参数和同向吸引参数,并综合考虑家长和儿童成对组合过街时的行为规则.通过仿真研究在双向行人流不均衡,以及家长和儿童组合比例不同的条件下,行人流速度—时间、速度—密度,流量—密度的关系,分析家长和儿童组合对过街行人流的影响.结果显示,当行人流中家长和儿童的组合超过一定比例时,会降低行人流过街的平均速度,加速行人流的拥堵,使得系统的临界密度值有所下降,并对行人流平均速度和流量在临界密度点的变化趋势有一定的影响.     

城市干线短交织区元胞自动机多级换道决策模型

为探索城市干线短交织区交通运行特性,基于高精度车辆轨迹数据,提出细化元胞尺寸与步长的交织区元胞自动机多级换道决策模型.划分上下游、交织影响区等多个分区,独立设置变量与规则进行建模;考虑车辆换道速度差、间距及换道安全风险,建立上下游换道模型,交织影响区多级换道决策模型;对未分区换道模型(I),分区STCA换道模型(II),分区多路合流换道模型(III),本文模型(IV)进行仿真验证.与实测数据相比,本文模型平均车道流量误差仅为 1.64%. 模型 I~IV 在交织影响区的平均速度误差分别为 98.35%、23.77%、16.46%、7.45%,换道次数误差分别为33.34%、97.75%、62.97%、11.85%.结果表明,本文模型能有效模拟短交织区复杂的换道行为及交通流特性.     

一种基于有限自动机的软件开发模型

结合工业控制领域中的实际情况,提出了一种基于有限自动机的软件开发模型。该模型利用有限自动机的理论,将单个工业设备的行为映射为自动机的状态变迁,当工控设备更新后,用户只需开发相应的子服务组件或模块,便可进行系统扩充乃至系统重构。     

步行设施内疏散行人拥挤踩踏仿真研究

建立基于元胞自动机与相互作用力的拥挤行人流仿真模型，研究步行设施内疏散行人流拥挤踩踏现象. 通过单个行人占据多个元胞空间，定义行人刚体部分与弹性部分，实现行人弹性化处理；以行人间拥挤力、摩擦力等相互作用力，描述疏散行人间的相互影响. 模拟再现行人疏散过程中的移动阻滞、相互挤压，以及连续踩踏等现象. 仿真结果表明：通过提高行人吸收系数和抗踩踏系数，能有效控制行人挤伤次数和踩踏行人数量；疏散出口附近区域是拥挤力累积顶区，极易发生踩踏现象，且踩踏现象具有滞后性.     

基于换道概率分布的多车道交织区元胞自动机模型

交织区是快速路系统的重要组成部分，由于车辆频繁换道、相互作用复杂，容易造成交通瓶颈。本文提取城市多车道交织区时间分辨率为0.1 s、空间分辨率为0.1 m·px-1 的高精度车辆轨迹，分析交织区及相邻路段的交通流和车辆行为特性，提出分区元胞自动机模型。在上游和下游换道模型中，建立基于速度差、车辆间距的换道动机规则、间距规则及Logistic换道概率规则。对于交织影响区，建立考虑速度、间距及路径转换需求的换道动机规则，根据安全风险构建换道时机的多步决策规则，提出基于换道频率Gaussian分布模型的换道概率规则，并对主要参数进行灵敏度仿真测试分析，模型具备评估交织区不同换道状态的实际应用潜力。仿真与实测显示，本文 模型流量、速度、密度及换道分布等特性与实际相符，能有效反映车辆在不同位置的换道需求与强度差异性，刻画多车道交织区复杂的换道行为。     

基于元胞自动机的双车道变道交通流特性研究

在庞杂的城市交通环境下,驾驶员为了寻求更快的速度,常常采用主动的换道行为。由于汽车使用量逐年增长,换道引起的交通事故经常发生。研究车辆变道行为,寻求有效措施减少交通事故的发生,对提高道路安全性具有积极的意义。本文以多车道系统中车辆变道行为为研究对象,以元胞自动机理论为基础,对比分析单向单车道、单向双车道换道行为,并运用MATLAB仿真软件进行分析,获得变道交通流的相关特性曲线。     

基于在线一致性测试理论的CBTC车载ATO功能测试研究

自动列车驾驶系统(ATO)是CBTC系统的重要组成部分,验证测试其控制功能逻辑的正确性和安全性至关重要。介绍了ATO控制原理和功能,分析了CBTC中典型的两车追踪控制运行场景控制流程,得到了该场景下的列车运行安全需求。结合时间自动机理论,建立了包含列车动力学、车载ATO、ZC以及时钟控制器的两车追踪场景时间自动机网络模型,验证了模型中安全需求的正确性;基于一致性测试理论,定义了被测车载ATO软件与测试环境的可观测输入/输出接口,利用UPPAAL-TRON工具设计了被测车载ATO软件的一致性测试框架,并进行了一致性测试分析。在此基础上,采用变异测试,针对典型的车载ATO软件功能实现错误(错误的安全距离、静态限速、功能逻辑以及命令丢失等)进行了安全性验证。结论表明:该在线一致性测试方法能够及时发现车载ATO软件行为与规范模型的不一致,有效提升了车载ATO功能测试的检错能力。     

基于元胞自动机的集装箱码头前沿水平运输模型研究

为了开发能更细致的模拟集卡行驶方式及特点的新模型,应用元胞自动机理论,建立以单个集装箱卡车车位为元胞个体的集装箱码头前沿交通流二维仿真模型。通过对该模型的仿真试验,证实该模型能输出更接近于现实的仿真数据结果。