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

• 作者: 杨扬 郭进 陈红霞
• 来源期刊: 西南交通大学学报
• 学科: 交通运输
• 关键词: 站间闭塞系统 冗余 安全锁 Petri网
• 年，卷（期）: 2005,（4）
• 页码范围: 484-487
• 页数: 4页
• 分类号: U284
• 字数: 2410字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2005.04.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭进	西南交通大学信息科学与技术学院	122	918	16.0	23.0
2	杨扬	西南交通大学信息科学与技术学院	55	310	10.0	15.0
3	陈红霞	西南交通大学信息科学与技术学院	3	27	3.0	3.0