10.3969/j.issn.0258-2724.2005.04.011
站间微机化自动闭塞系统双机冗余系统设计
根据站间自动闭塞系统的高可靠性要求,设计了闭塞机热备冗余方案;针对可能出现的双主机状态,研究了安全控制锁的原理与机制.为了解系统的转换性能,用Petri网对系统进行了建模与分析.分析结果表明,设计的结构与切换机制合理,系统中各状态转换安全、完整,不存在死锁状态.
站间闭塞系统、冗余、安全锁、Petri网
40
U284(铁路通信、信号)
2005-08-11(万方平台首次上网日期,不代表论文的发表时间)
共4页
484-487