利用理论及参考模型对列车运行动态过程进行的安全性论证

利用理论及参考模型对列车运行动态过程进行的安全性论证(中文10000字,英文PDF)
摘要：通过列车运行的理论和基于该理论的推理工具对列车运行情况进行分析，有效地解决列车运行的安全问题。列车运行理论是一种以规则为基础的列车运动参考模型。该模型用于推断列车运行时的模型和条件。因此，对列车运行安全的异常模型和条件进行了预先确定，以便采取应急措施，防止列车运行事故的发生。质量函数定义为从各种参考模型中获得的列车运行时间间隔内的列车运行时间区间的近似水平。D-S理论也应用于火车运动动态过程，以逐渐识别出火车运行时的情景，运用组合部分和过程质量函数。利用理论证据和参考模型（ETRM）定性，定量地评价了列车运行控制逻辑和变异倾向的合理性。针对我国7月23日铁路事故的发生，提出了一种利用ETRM进行推理的论证方法。运用该方法对列车运行情况的分析和推理，同时还可以诊断列车和地面控制系统的运行状态。