作者:郧莹楠; 吕薇铁路信号连锁逻辑形式
摘要:本文首先对铁路信号连锁逻辑进行简要概述,然后研究了铁路信号连锁逻辑的形式化建模方法,以期能够促进铁路运行效率的提升,为铁路相关工作人员提供参考。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《中国航班》(CN:11-5817/Z)是一本有较高学术价值的大型旬刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《中国航班》立足民航、服务社会、面向世界,传播民航新闻和信息,报道国内外政治、经济、社会、文化热点话题,普及民航科普知识,发挥行业喉舌作用。