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

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

    论文摘要铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实...