铁路信号连锁逻辑形式化建模分析

• 作者: 吕薇 郧莹楠
• 来源期刊: 中国航班
• 学科: 航空航天
• 关键词: 铁路信号 连锁逻辑 形式
• 年，卷（期）: 2019,（10）
• 页码范围: 0054-0054
• 页数: 1页
• 分类号: V

摘要

本文首先对铁路信号连锁逻辑进行简要概述,然后研究了铁路信号连锁逻辑的形式化建模方法,以期能够促进铁路运行效率的提升,为铁路相关工作人员提供参考。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郧莹楠		1	0	0.0	0.0
2	吕薇		1	0	0.0	0.0