基于LTE-M的下一代列控数据通信系统设计与可用性评估

相对于传统的基于通信的列车运行控制系统(communication based train control,CBTC),下一代列控系统将具有架构可靠、速率快、成本低以及服务质量高等优点,且数据通信系统的可用性能够保障列车的安全和高效运行。面向下一代列控系统,首先设计基于LTE-M(long term evolution-metro,LTE-M)的通信系统结构;然后针对下一代列控系统典型场景,利用确定与随机Petri网(deterministic and stochastic petri nets,DSPN)进行可用性建模,最后进行模型求解和可用性评估。仿真结果显示,基于LTE-M的下一代列控数据通信系统能够满足实际通信需求,其可用性分析方法可以完成数据通信系统的可用性建模与评估。     

基于改进Petri网的船舶电力系统故障诊断

将Petri网理论用于船舶电力系统故障诊断中,提出了一种改进的Petri网故障诊断模型。在基本Petri网诊断模型的基础上引入模糊推理规则形成模糊Petri网,说明了该方法的模型构建、推理过程及解析方法的表示。利用该方法对船舶电力系统进行故障诊断使推理过程简洁、诊断快速、诊断结果也更科学有效。     

���е�·��ͨϵͳ�Ķ�̬�����Petri����ģ�����

城市道路交通系统是一个同时具有离散和连续动态,并包含大量随机不确定因素的动态系统,具有动态、并发及同步等特征.在目前交通状况日益复杂的情况下,其动态及随机不确定特性愈加明显.对城市道路交通系统进行建模分析,是深入了解交通状况、进行交通诱导及控制的关键.本文在基本Petri网的基础上,将广义随机Petri网(GSPN)与交通流概念相结合,建立了符合交通流概念的动态流随机Petri网(FSPN)模型.该模型可以很好地描述城市道路交通流的动态及随机特性,并能对城市道路交通系统中的某些随机现象作出很好的解析描述.文中针对四相位十字交叉口给出了动态流随机Petri网建模实例;活性分析表明,该模型能有效避免系统并发性带来的死锁现象.最后仿真运行分析和性能分析进一步证明了动态流随机Petri网的有效性.     

津秦客运专线CRTSⅡ型轨道板钢筋网制作加工技术

津秦铁路客运专线板式无砟轨道II型轨道板必须具备良好的绝缘性能,因此对其钢筋网制作加工要求高。介绍了Ⅱ型轨道板钢筋网制作工艺流程,具体包括热缩套管定位加工、上层和下层钢筋网片的制作等。根据工艺标准的要求,在钢筋网制作加工的工艺和设备工装上进行了优化创新,提高了轨道板钢筋网片制作加工的效率,确保了加工质量,为国内板式无砟轨道轨道板的施工提供了宝贵经验。     

磁悬浮列车跨系统运行Petri网模型

根据磁悬浮列车跨系统运行需求,研究了其运行控制系统的总体框架,明确了需要增加的功能子系统。基于系统理论,采用Petri网对系统关键属性、列车运行过程及各子系统的功能进行了层次化的建模。最高层模型描述系统整体关键属性,低层模型描述列车运行过程及可靠性。此模型可用来定量分析磁悬浮列车系统层面上跨系统运行时,失败率与各子系统部件可靠性之间的关系。如每年磁悬浮列车跨系统运行失败次数不超过1次,则连接相邻列控系统的2个通信网,其失效率都需低于10-6次.h-1。当列车跨系统运行触发时间分别为0.2、2.0min,步进时间分别为4、16min时,则跨线运行失败率分别为1.95×10-5、1.65×10-5次.h-1。仿真结果表明:列车跨系统失败率随a网和b网可靠性的提高而降低,同时随着跨系统触发时间和步进时间的增加而降低。层次化建模分析方法可以根据系统层面的关键属性要求,定量确定各子系统部件的可靠性需求。     

基于SPN的无线闭塞中心切换过程中的故障分析

分析在RBC2(接收无线闭塞中心(RBC))不同时段故障工况下,对RBC切换的影响,选取形式化描述语言随机Petri网(SPN),分别建立RBC2在不同时段故障下RBC的切换模型,采用SPN数学建模,通过SPNP6.0分析RBC故障对切换的影响以及对行车安全和行车效率等方面的影响.分析结果可使人们对实际情况中RBC切换有更真实的认识,并对设备的改进、协议的完善等有一定的借鉴意义.     

基于Petri网的单点信号优化感应控制

基于连续Petri网,建立交通流混合控制模型,通过分析离散化的交通信号控制混合Petri网模型,研究单交叉口交通信号感应控制问题.基于混合Petri网模型参数的分析,建立了各相位车辆总停留时间的计算方法;从库所标识与变迁使能程度间的复杂关系出发,研究了库所标识的变化规律;以车辆总停留时间最短为目标优化感应控制模型,仿真计算各相位绿灯时间.结果表明:基于混合Petri网的优化感应控制方法,4个相位的车辆平均延误显著缩短,可以较好地实现单点信号控制.     

基于BP算法的模糊Petri网在铁路客运站行车事故分析中的应用

针对铁路客运站行车事故致因过程的动态性以及事故原因的模糊性,提出了一种Petri网图形建模同模糊控制理论相结合的分析方法.根据具体的事故产生式规则,建立了行车事故的模糊Petri网模型,进一步又将神经网络的BP算法引入到模型参数的学习中,通过给出的模糊推理算法,推理计算出事故的主要原因及可信度.最后将该方法应用到某客运站行车事故分析中,结果证明了其在事故分析中的准确性和可行性.     

Solving resource-constrained multiple project scheduling problem using timed colored Petri nets

To solve the resource-constrained multiple project scheduling problem (RCMPSP) more effectively, a method based on timed colored Petri net (TCPN) was proposed. In this methodology, firstly a novel mapping mechanism between traditional network diagram such as CPM (critical path method)/PERT (program evaluation and review technique) and TCPN was presented. Then a primary TCPN (PTCPN) for solving RCMPSP was modeled based on the proposed mapping mechanism. Meanwhile, the object PTCPN was used to simulate the multiple projects scheduling and to find the approximately optimal value of RCMPSP. Finally, the performance of the proposed approach for solving RCMPSP was validated by executing a mould manufacturing example.