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

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

基于智能控制的铁路交通网仿真系统研究

系统仿真技术对交通系统智能控制的研究与发展有着重要意义.交通网仿真是复现交通流的时间空间变化的技术,交通网仿真模型的建立和仿真实验系统的开发是交通网仿真研究的两个核心内容.铁路交通网仿真是一个涉及连续和离散仿真行为的混合仿真系统,具有动态及并发特征.本文讨论了用面向对象思想进行铁路交通网仿真的过程与方法.作者认为选用Petri网建立仿真模型可以很好地描述铁路交通网的静态属性、动态行为和环境模拟.文中给出了用Petri网建模的实例.最后介绍了铁路交通网仿真系统的框架结构和关键技术.     

基于Petri网列车群模型的列车运行冲突分析

列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。     

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

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

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

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

面向RITS的多Agent列车群运行模型

基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。     

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

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

列车运行计划仿真模型研究

为借助计算机虚拟技术模拟列车运行计划的实施过程,建立仿真模型描述列车运行环境、状态及规则,用以列车运行仿真平台的开发。以改进Petri网为工具,结合铁路运输组织特点,定义个性托肯表示列车,定义颜色集库所描述路网环境及列车运行信息,定义多种变迁实现列车空间位置的变换及运行信息的传递,定义全局时钟递增变量驱动系统运行;基于部件组合思想和同时考虑线路可双向运行和列车运行过程中随机扰动建立的列车运行仿真模型,可根据需要模拟的列车运行计划及关联路网的数据,快速生成与列车运行环境和列车运行规则对应的仿真框架,在根据相关数据对各静态参数进行初始化后,可按设置的区域范围及时段要求模拟列车运行计划。仿真实例表明,模型直观且易于编程实现,仿真结果基本符合客观实际。     

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

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

基于UML与CPN的CTCS-3级列控系统建模与验证方法研究

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。     

TBM上PLC系统的抗干扰技术

TBM由PLC系统集中控制,对液压系统的温度、液位、压力、转速及机械机构的动作进行检测,使之按照设定的程序运行．从而完成各种工作状态。对PLC控制系统各种干扰因素进行分析,并在抗干扰设计中采取多种抗干扰措施,从而有效地抑制干扰,使PLC控制系统正常工作。     

铁道行业监理现状分析

铁路工程建设实行监理，对于提高铁路工程建设管理水平，控制质量，取得了明显的成效。此对铁道行业的监理情况进行了简单的介绍，并重点分析了施工监理中存在的问题和监理工作的前景展望。     

房间式客车空调机组性能检测装置的研究

介绍了房间式铁路客车空调机组性能检测装置,经实际使用,取得比较理想的效果.     

避雷器分布对雷击跳闸率影响探讨

以京沪高速铁路接触网设计中的防雷措施为例,针对该线情况进行了理论分析和模拟计算,通过对避雷器分布方式与雷击跳闸概率关系的分析,提出了依据不同雷区等级差异设置避雷器,最后对避雷器的设置分布和安装方式提出了建议。     

负弯矩作用下结合梁挠度计算方法研究

钢－砼结合梁在负弯矩作用下，随着荷载逐渐增加，混凝土板中的裂缝不断产生和发展，梁的刚度也随之逐渐下降，荷载－挠度关系趋于非线性，因而材料力学中求挠曲线的二次积分法对负弯矩作用下的砼－钢结合梁无法获得解析解。本文提出了求钢－砼结合梁负弯矩作用下挠度的数值积分法，把非线性问题转化为短区间的线性问题，推导了计算公式，建立了计算模型，编写了电算程序，通过反复迭代计算先获得结合梁截面的弯矩－曲率（M－φ）关系，再根据这一关系进一步求得结合梁各截面的给定荷载下的挠度，从而可绘出梁的某一级荷载下的挠曲线或某一截面的荷载－挠度（P－Δ）曲线，本文利用编写的电算程序对芜湖桥的两根大型试验结合梁T1，T2梁进行了试算，并与实测结果进行对比，计算结果与实测结果吻合较好。     

轨道车辆车体刚度灵敏度分析

以轨道车辆为背景,依据转轴公式和平行移轴公式得到车体截面内任意倾角部件的惯性矩,进而获得截面的刚度及其灵敏度。在已知车体刚度分布的前提下,依据车体刚度及其灵敏度,通过调整刚度薄弱位置相关部件的截面尺寸,可达到提高车体刚度的目的。     

AutoCAD二次开发在信号平面布置图设计中的应用

对AutoCAD ActiveX Automation进行了详细的介绍,并且把它和其它AutoCAD二次开发方法进行了此较和分析.用编程实践的方法给出了C#结合AutoCAD ActiveX Automation进行的二次开发在信号平面布置图设计中的应用.