基于概率Petri网的柴油机故障诊断方法研究

将概率信息引入Petri网,提出了柴油机故障诊断概率Petri网模型.利用概率信息处理冲突消解问题,寻找最有可能发生的故障传播路径,提高了柴油机故障诊断效率.仿真结果验证了方法的可行性.     

部分可观Petri网系统的在线故障诊断方法

针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。     

利用随机Petri网对编组站作业系统建模及分析的研究

研究随机Petri网运行机制，提出了流量的概念，并利用流量平衡的原理，给出计算Petri网各状态出现概率的算法。提出建立编组站作业系统模型的方法，并以列车到达－解体环节为例，阐明利用这一算法对编组站各作业环节进行建模、计算和分析的方法。     

基于Petri网模型的高铁6‰下坡道延续进路防护方法

针对大于6‰下坡道高铁车站的延续进路防护问题，以成兰线某车站为例，研究基于Petri网模型的防护方法。以车站平面布置图为依据，建立相应的延续进路防护资源分配约束模型，包含6‰下坡道防护模型和延续进路防护故障诊断模型。通过6‰下坡道防护模型对延续进路涉及到的轨道区段占用权进行分配，实现延续进路的安全性防护；延续进路防护故障诊断模型采用形式化验证方法，通过被标记的故障库所对不可行的延续进路排列报错，实现延续进路运行计划的安全性验证。利用Petri网的可达性、有界性、安全性，对车站延续进路可能产生的列车碰撞和冲突进行仿真验证，验证结果可为列车运行计划的排列提供参考。     

基于Petri网的平交道口信号设备故障诊断方法

平交道口是公路和铁路的交汇点，也是事故易发点。针对平交道口安全苛求性特征，研究平交道口信号设备故障诊断方法；以Petri网为工具，对平交道口信号设备控制逻辑和过程进行建模；采用TINA仿真软件生成平交道口信号设备模型的可达图，实现对平交道口信号设备的故障诊断。该故障诊断方法的应用将有助于提升平交道口的安全性和运行效率。     

基于Petri网技术的牵引供电系统故障诊断方法

介绍一种基于Petri网的牵引供电系统故障诊断方法,可用于检测节点是否发生故障和判断信号是否准确.给出了应用实例.与传统方法相比,该方法提高了效率和准确性,更适台于在线检测.     

一种层次化CPN模型及其在给排水系统中的应用

先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网（HOCPN）模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在给排水系统中进行实际应用。     

确定柴油机故障的新诊断方法

阐述了美国ＲＨ Ｌｙｏｎ，ＧＥ等公司近年来从事柴油机故障诊断研究的情况，报道了Ｌｙｏｎ公司开发的柴油机装置状态判断系统的特点和在ＥＧ机车柴油机上的开发应用实例。     

基于petri网的列车运行控制系统研究

介绍了Petri网建模理论和CPN-TOOLS仿真工具,并采用Petri网对中国列车运行控制系统进行了建模,通过仿真验证了模型的正确性.     

铁路信号控制逻辑的有色Petri网描述方法

铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程.     

振动诊断技术在柴油机主轴承故障检测中的应用

介绍了一种新型的内燃机车柴油机主轴承故障诊断系统的研究方法和研究成果，阐述了该系统的检测原理和设计方法，提出了数学模型和检测标准，为检测柴油机主轴承故障提供了一种新的科学手段。     

机车车辆机械故障振动诊断现状及近期研究

介绍目前已实现的机车车辆旋转机械的诊断项目，指出柴油机机械故障诊断进展缓慢原因在于诊断平台建立在平稳随机振动基础上的问题。进一步论证了柴油机非平稳、非线性振动特性，并建议以小波分析或遗传算法加自动识别系统诊断柴油机故障的新设想。     

列车区间运行安全的Petri网模型研究

鉴于我国铁路列车行车事故多发生在区间运行过程中,以及列车在区间运行的动态特性,利用Petri网具有强大的功能描述及分析系统动态变化的特点,建立了列车区间运行系统的动态Petri网模型。通过对该模型合理性的论证,并运用此模型对实际事故案例进行分析,表明所建的列车区间运行安全Petri网模型是合理的。     

基于Petri网技术的动车组检修作业工作流系统研究

针对目前动车组检修业务,抽象出作业过程规则,并建立动车组检修作业工作流程.通过工作流和Petri网的相关理论对该工作流进行建模,并利用Petri网技术分析方法,从模型的正确性分析和性能评价两个方面对所建立的Petri网模型进行分析.     

应用振动诊断技术检测柴油机主轴承故障

主轴承是柴油机的主要承载部件,其好坏直接影响柴油机的运行性能。针对主轴承的常发故障,设计一种新型的内燃机车柴油机主轴承故障诊断系统,阐述系统的检测原理和设计方法,给出数学模型和检测标准,并进行现场测试。系统具有很高的故障诊断准确率,为机车主轴承故障诊断提供了一种新的检测手段。     

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法(简称EPN)将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统.由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模.同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真.本文主要对列车控制系统中的连挂和解编过程进行建模.通过模型验证采用EPN分析系统的有效性和便捷性.     

有色Petri网在平交道口安全性分析中的应用

平交道口是铁路和公路的交汇点，一旦发生交通事故，不仅影响整个交通运营效率，还会引起严重的人员伤亡，因此，平交道口的安全性对轨道交通和公路交通都至关重要。为了分析平交道口的安全性，提出基于模型的方法对平交道口进行建模和基于模型检验的方法对平交道口的安全性进行分析。应用有色Petri网作为分析工具，建立平交道口部分功能的模型，设计平交道口部分安全分析的算法，验证了有色Petri网在平交道口安全性分析上的可行性。     

带有对象的Petri网及其在列车运行模型建立中的应用

带有对象的Petri网是一种将面向对象的方法和谓词／变迁网相结合的高级Petri网。网中的托肯能携带各种信息，用这种网所表述的系统具有规模小、灵活、直观、模块性好、可操作性良好、属性描述方便、有利于不确定问题的处理等优点。针对列车群运行控制的核心问题（列车群行为建模），用精确标识的PNO建立了一个具有普适性的模型（TOPNO），该模型是一个典型的离散事件动态系统。通过在对象中定义多种模糊属性和相应的模糊属性的调整方法，该模型就成为研究模糊离散事件动态的平台，使得面向对象的程度设计技术、Petri网的理论和应用、模糊集理论以及DEDS的理论及分析方法有机的结合起来。在网络的变迁规则中直接引用这些属性，使系统的决策机制更有效，简化了系统状态的演化，并使DEDS的理论在处理不确定性问题时得到延伸、从而为建立具有自动行车指挥的智能交通系统奠定了良好的基础，也为铁路系统的可靠性分析、可利用性分析、效率分析等问题的处理提供了新的途径。     

列车控制系统中数据通信子系统的帧丢失概率

利用随机Petri网模型,综合随机信道恶化、越区切换、无线接入设备故障等无线信道失效因素,建立列车控制系统中数据通信子系统非冗余结构和冗余结构的帧丢失概率模型,给出分解的无线数据通信模型的定点迭代求解方程。分别计算：冗余结构、非冗余结构的数据通信系统的帧丢失概率;不同列车数量、不同列车运行速度对应的帧丢失概率。分析计算结果表明：冗余结构数据通信系统的帧丢失概率远低于非冗余结构的;主要原因是冗余结构数据通信系统不因单一AP通信中断而失效、有效消除了列车越区切换对帧丢失概率的影响。     

用Petri网对轨道区段和列车的建模研究

应用Petri网理论对轨道区段和列车的运行进行建模,为行车指挥提供了一个系统模拟和仿真的框架.作者在国内首次将Petri网应用于行车指挥自动化的研究,为列车的运行调整提供了列车及轨道区段的模型.