列车区间运行安全的Petri网模型研究
2012-11-27李智基代振环张春民
铁道运营技术 2012年2期
李智基,代振环,张春民
(兰州交通大学交通运输学院,1.硕士研究生;2.副教授,甘肃 兰州 730070)
列车在区间的运行是一个循环过程,即在一定的闭塞条件下,列车在区间运行时由一个闭塞分区运行到前方另一个闭塞分区。在这个过程中,司机对列车在区间的行车状态需要不断地判断,并对设备可能出现的状况采取相应的措施,以保证行车安全。可见,列车区间运行安全的系统涉及了司机和多项行车控制设备,具有相对动态和复杂性、整体性的特点。由于列车在区间运行的安全直接影响着铁路的运输能力,以及列车运行的安全正点等,对铁路运输生产任务的完成起着决定性的作用,为此,研究列车区间运行安全问题具有重要的现实意义。
目前,对铁路事故安全的分析方法较多,如灰色关联分析法、事故树分析法、Petri网等[1-6]。灰色关联分析法是对系统动态发展过程态势的比较分析,即通过对有限的事故结果分析,从总体上得到对事故特性的认识,适用于寻求分析系统中各子系统(或因素)之间的数值关系,但不适合分析整体性的、不可分的系统。事故树分析法应用较为普遍,但它仅适合描述规模不大的静态系统,无法分析动态系统。Petri网描述问题的能力很强,且非常适合分析系统变化的动态行为。考虑Petri网所具有的优点及列车在区间运行的特点,本文采用Petri网对铁路列车在区间运行安全状况进行动态分析。
1 Petri网的基本理论
1.1 Pe tri网定义 Petri网为一个有向图,可以用一个六元组来表示。……
登录APP查看全文
