摘要
根据站间自动闭塞系统的高可靠性要求,设计了闭塞机热备冗余方案;针对可能出现的双主机状态,研究了安全控制锁的原理与机制.为了解系统的转换性能,用Petri网对系统进行了建模与分析.分析结果表明,设计的结构与切换机制合理,系统中各状态转换安全、完整,不存在死锁状态.
A dual-computer parallel redundant structure of a micro-computerized automatic block system between railway stations was designed to meet the need for high reliability of railway signalling.The principle and behavior of safety control lock were discussed to avoid the state of dual-hostcomputer. The theory of Petri net was used to model and analyze the system to investigate its transforming performance. The analytical results show that the proposed structure and the transforming method are reasonable, the states in the system can be transformed safely and perfectly, and there is no a dead lock state.
出处
《西南交通大学学报》
EI
CSCD
北大核心
2005年第4期484-487,共4页
Journal of Southwest Jiaotong University
关键词
站问闭塞系统
冗余
安全锁
Pelxi网
block system between railway stations
redundance
safety control lock
Petri net
