站间微机化自动闭塞系统双机冗余系统设计

摘要：

根据站间自动闭塞系统的高可靠性要求,设计了闭塞机热备冗余方案;针对可能出现的双主机状态,研究了安全控制锁的原理与机制.为了解系统的转换性能,用Petri网对系统进行了建模与分析.分析结果表明,设计的结构与切换机制合理,系统中各状态转换安全、完整,不存在死锁状态.

关键词：站间闭塞系统、冗余、安全锁、Petri网

所属期刊栏目：40

分类号：U284(铁路通信、信号)

在线出版日期：2005-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：484-487