Print

道口管理系统多参数的形式化建模与验证

论文摘要

铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实际流程,基于道口管理规范,探讨双线双向道口连续接车的问题,同时考虑道口接车作业流程中存在的异常,提出流程方案。分析系统环境属性、功能属性和安全属性,并利用UPPAAL时间自动机进行建模仿真,对模型的属性进行验证,根据验证结果确认方案流程的可行性。结果表明,本文所提出的多参数道口作业流程更符合实际情况,改进了多列车接车流程,并提出了接车过程中异常情况下的应对方案。

论文目录

  • 0 引言
  • 1 问题陈述
  • 2 双线道口双向通车的多参数模型考虑
  •   2.1 道口接车作业流程
  •     2.1.1 情景假设
  •     2.1.2 列车连续到达道口的接车流程分析
  •       具体接车作业流程如下:
  •     2.1.3 异常情况处理流程分析
  •   2.2 流程属性分析
  •     （1） 环境属性
  •     （2） 功能属性
  •     （3） 安全属性
  • 3 基于UPPAAL的模型建立及验证
  •   3.1 时间自动机UPPAAL简介
  •   3.2 模型建立
  •     （1） TDS的TA模型 （图5）
  •     （2） Controller的TA模型 （图6）
  •     （3） 上行列车 （单数表示） 的TA模型 （图7） 。
  •     （4） 下行列车 （双数表示） 的TA模型 （图8） 。
  •     （5） 防护栏的TA模型 （图9） 。
  •     （6） 信号灯的TA模型 （图10） 。
  •   3.3 模型验证
  •     3.3.1 UPPAAL验证
  •     3.3.2 道口模型的验证
  •       （1） 功能属性验证
  •       （2） 时间验证
  •       （3） 安全属性验证
  • 4 总结

    • 文章来源

    类型: 期刊论文

    作者: 王霞,刘宁,王恪铭

    关键词: 平交道口,双线双向,多参数,安全,模型验证

    来源: 综合运输 2019年02期

    年度: 2019

    分类: 经济与管理科学,工程科技Ⅰ辑,工程科技Ⅱ辑

    专业: 安全科学与灾害防治,铁路运输

    单位: 西南交通大学交通运输与物流学院,西南交通大学唐山研究生院,西南交通大学信息科学与技术学院

    基金: 国家自然科学基金(71502146,61673320),中央高校基本科研业务费项目(2682017ZT12)

    分类号: U298.55

    页码: 65-72

    总页数: 8

    文件大小: 2919K

    下载量: 64

    相关论文文献

    本文来源: https://www.lunwen66.cn/article/c3c294c591e1f90e67a7c70b.html