考虑驾驶行为异质性的城市快速路合流区仿真模型

为研究城市快速路合流区车辆运行规律，基于车辆自然轨迹数据，提出考虑驾驶行为异质性的合流区元胞自动机仿真模型。模型将合流区分为上游区域、合流区域及下游区域，3个区域由11条路段组成。首先，利用Kalman滤波算法对自然轨迹数据进行降噪处理；然后，计算每辆车驾驶行为特征参数并进行K-means聚类分析，结合聚类效果评价指标Silhouette系数将驾驶行为分为：保守-谨慎型、激进-谨慎型、保守-轻率型及激进-轻率型这4种类型；最后，依据分类结果， 建立考虑加速度、随机慢化概率异质性的跟驰模型和考虑换道安全间距、换道决策的多级异质性换道模型。在各空间占有率的情境下，基于Matlab进行数值仿真，统计同质驾驶行为和异质驾驶 行为条件下，合流区域车道的流量、密度、速度、时空位置及换道频率等参数。仿真结果表明：在空间占有率为10%~20%时，同质交通流相比异质交通流更容易产生局部交通拥堵和交通流失效情境，并且同质交通流量峰值比异质交通量小27.1%；随着空间占有率的增加，同质车辆和异质车辆驾驶频率均呈现增加-稳定-下降的趋势，而异质驾驶行为换道频率的极大值比同质交通流高 20.74%。     

基于MSC与UPPAAL的列控系统等级转换场景形式化验证

等级转换是C3级列控系统的重要场景,是列控系统兼容性的集中体现,转换的成功与否直接关系到列车的运行安全和行车效率。因此,有必要对设计规范中所描述的转换过程进行形式化建模和验证,以保障系统的安全性和实时性。为保证设计规范与所建模型的一致性,采取消息顺序图(MSC)与时间自动机相结合的方式,建立等级转换场景中C2级向C3级转换过程的MSC模型,并将其转换为时间自动机模型。应用UPPAAL对模型的安全性和受限活性进行仿真验证,结果表明设计规范中所描述的转换过程是安全可靠的,可以满足C3级列控系统的兼容性和安全性要求。     

非平稳特征提取方法与智能诊断技术在自动机故障诊断中的应用

回顾对目前常用的非平稳特征提取方法与智能诊断技术,并总结舰炮自动机故障诊断需解决的难题,介绍非平稳特征提取方法与智能诊断技术在舰炮自动机故障诊断中的应用现状,详细阐述舰炮自动机故障诊断研究中存在的问题及对发展趋势的展望。     

Integrated analysis of land-use and transport policy interventions

Analysing the impact of urban policy interventions on urban growth, land use and transport (LUT) is crucial for urban planners, transport planners and policy-makers, especially in rapidly growing cities. This paper presents a cellular automata-based land-use/transport interaction model – Metronamica-LUTI – for Jeddah that is used to analyse the impact of different proposed policy interventions under two urban growth scenarios for the period 2011–2031. Used as an integrated policy impact assessment tool, the model demonstrates a strong reciprocal relationship between LUT in Jeddah. This study shows that relevant spatial information and integrated policy impact assessment can provide rich insights into the interaction between LUT, the appropriate policy to consider in place and time which traditional planning practice and typical static urban models cannot do.     

一种考虑吸引型异常事件的行人元胞自动机模型

鉴于目前行人元胞自动机仿真研究中对于吸引型异常事件情况下模型的缺失,本文提出了一种特殊的考虑吸引型异常事件的行人元胞自动机模型.当异常事件发生后,模型将行人分为漠视、驻足、围观和围观离开四种类型.漠视类型指对异常事件毫无兴趣,不受异常事件影响的行人,其动力特性与行人在正常情况下的动力特性一致;驻足类型指对异常事件较有兴趣,驻足观看的行人,其动力特性由能使行人在原地停留的驻足效用值决定;围观类型指对异常事件极有兴趣,向异常事件中心靠近围观的行人,其动力特性由围观效用决定;围观离开类型指对异常事件失去兴趣,从围观人群离开的行人,其动力特性由围观离开效用决定.仿真效果显示,该模型基本可反映行人聚集围观的表征和内部特性.     

基于安全距离的元胞自动机交通流模型研究

随着交通拥堵状况日益显著,整体交通安全性下降,交通事故率逐渐增大.基于提高驾驶安全性考虑,细化元胞长度,引入被广泛证明在描述车辆驾驶行为方面具有很高精度的Gipps 安全距离规则,对NaSch模型进行改进,提出一个新的基于安全距离的元胞自动机交通流模型.采用实测数据对模型进行标定和评估,进一步对模型进行数值模拟分析.模型评估结果显示,新建立的模型相对NaSch 模型精度更高.数值模拟结果表明,改进模型能够很好地表现交通流特性,再现实际交通中的自由流、同步流及拥堵流等交通现象.此外,还发现驾驶员对前车最大减速度估计过高时,会导致道路通行能力下降,而驾驶员对自身车辆最大减速度估计过高时,会在一定程度上增大道路的通行能力,但是很可能会造成不安全的驾驶行为,增加了事故率.     

公交线路对双车道交通流的影响分析

采用元胞自动机模型对具有公交线路的双车道混合交通系统进行建模和模拟分析. 通过绘制系统的基本图和右车道上车辆占有率分析了公交线路对双车道车流演化特性以及运行效率的影响,并针对港湾式和非港湾式两种停靠方式的优劣进行比较. 研究结果显示,系统中存在四个车流演化特性不同的密度区域;系统中公交车数量增多会导致最大流量降低;港湾式停靠站的公交线路系统对车流的影响小,系统流量大,优于非港湾式停靠站的公交线路系统.     

基于细胞自动机方法的车行运动模型及信号灯控制策略研究

采用细胞自动机方法研究了在单向道路上行驶的2辆不同性能(加速度能力、最大速度等)车辆的运动状态和相互关系,以及性能参数对行驶状态的影响.讨论了在设置路口和信号灯的情况下,不同信号灯控制策略(信号灯的时间周期及绿信比)对车辆运动状态的影响.细胞自动机方法通过JAVA编程进行数值模拟,得到车辆行驶时间-位置之间的关系,结果与预期相同.该模型退化为匀速运动状态情形时,所得结果与近期文献的结果相一致,也证明了文中所用方法的可靠性和合理性.     

基于改进沙漏模型的突发事件下交通流预测

通过分析突发事故导致车道被占用时,道路通行能力的演变过程及交通流的 变化特征,将占道发生后车流与沙漏模型中颗粒物质运动类比,结合突发事件下交通流 中不同类型车辆的换道规律,提出了含概率崩塌各异性的改进沙漏模型.并结合元胞自动 机仿真理论,运用MATLAB进行仿真计算不同时刻的车辆排队长度,与实际数据对比, 该模型的平均相对误差为6.509 7%,验证了模型的可靠性.最后利用该模型预测不同车道 被占用和不同车流量的情况下车队长度达到特定长度所需的时间,进而探讨其分别对道 路通行能力的不同影响程度,为交通部门监管道路提供理论依据.     

基于UPPAAL的列车自动防护系统形式化建模与验证

本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证.结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性.