基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证

为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立Petri网模型,并利用仿真软件PIPE对其有效性和正确性进行形式化验证。针对可能出现的异常情况对模型进行优化,设置车门与站台门开关时序,避免乘客拥挤时出现安全隐患。试验结果表明：建立的Petri网模型有界、安全且无死锁,满足列车停站场景功能需求,模型的可靠性和有效性得以验证,为全自动无人驾驶系统的开发应用与安全分析提供理论支撑。     

高速公路圆曲线外侧超车道停车视距分析

该文分析了停车视距计算参数的取值,并计算了高速公路圆曲线外侧超车道在不同设计速度下能够提供的横净距。通过示例分别计算了三种不同参数取值下的停车视距和横净距。     

某MT车型无法启动和怠速启停失效问题分析

汽车的一键启动和怠速启停功能越来越普遍,本文结合某MT车型出现的无法启动及怠速启停失效问题的排查,阐述了开关防误触发的重要性,为后续主机厂对开关的布置提供参考。     

柴油机变频起动系统

介绍了柴油机变频起动系统的主电路和控制电路,对起动过程中预充电、位置检测、触发逻辑等环节进行了详细的分析,最后给出了起动试验中记录的有关波形。     

基于缓速器制动的汽车停车距离控制研究

为了使汽车缓速器能用于平直道路快速停车中 ,对利用缓速器减速停车时的工作模式进行了分析 ,建立了基于神经网络的缓速器控制速度仿真模型 ,可以实时得到不同速度下任一总距离和任一档位时的控制距离和缓速器接通时的速度 ;提出了停车距离控制系统的原理与方案。利用距离控制 ,可以在不使用车轮制动器的情况下将车速控制到预定范围。     

明珠线一期工程石龙路停车场停车列检库照明设计

结合上海市轨道交通明珠线一期工程石龙路停车场停车列检库的照明设计,就停车列检库内的大库照明、检查地沟照明及检修平台照明等各类不同场合的照明灯具选择、安装、控制作了相应的阐述。     

上海轨道交通2号线广兰路站列车自动调整系统调整方案分析

上海轨道交通2号线采用分段运营模式,广兰路站以东为4节编组列车运营,以西为8节编组列车运营。在早晚高峰期间,广兰路下行站台调整为4节编组列车折返及8节编组列车通过的交替运营模式。由于原有的列车自动调整系统无法满足如此复杂的折返运营模式,故导致广兰路站下行站台产生了进路触发"慢"、列车晚点到达唐镇上行站台等问题。通过分析广兰路站的复杂站型以及列车自动调整系统中进路触发机制,针对进路触发机制中相关参数、发车表示器点亮时间和区间运行时分进行了优化,有效解决了广兰路站的相关问题,确保了上海轨道交通2号线的正常运营。     

基于BPMN(业务流程建模与标注)标准实现新型综合监控联动模型的探讨

传统的综合监控系统联动方式已无法满足地铁运营的需求。提出了一种基于BPMN(业务流程建模与标注)2.0标准的联动设计方案,通过对业务活动、网关及事件等抽象组件的建模,运用状态机方式灵活组态执行流程来实现复杂的联动功能。该方案可实现联动建模的复用性,提高自动化建模的程度,并解决了传统联动方式无法描述及实现复杂逻辑的应用场景的问题,增加了地铁运营的可靠性及安全性。     

基于改进车流离散模型的多目标优化控制模型研究

为减少复杂交叉口群动态控制中车辆延误并提高通过速度,基于改进的车流离散模型,该文提出了以停车延误为目标函数的交叉口群多目标优化控制模型,并以广州天河北复杂交叉口群为例进行了实例运算,算例结果与仿真试验表明本模型体系在系统延误方面要优于传统模型,模型的求解效率高,有利于建立实时的区域交通控制系统。     

浅析不停车电子收费系统

介绍了不停车收费系统的构成、系统特征及工作过程。