| 站间微机化自动闭塞系统双机冗余系统设计 |
| |
| 引用本文： | 郭进,陈红霞,杨扬.站间微机化自动闭塞系统双机冗余系统设计[J].西南交通大学学报,2005,40(4):484-487. |
| |
| 作者姓名： | 郭进 陈红霞 杨扬 |
| |
| 作者单位： | 西南交通大学信息科学与技术学院,四川,成都,610031 |
| |
| 摘 要： | 根据站间自动闭塞系统的高可靠性要求，设计了闭塞机热备冗余方案；针对可能出现的双主机状态，研究了安全控制锁的原理与机制．为了解系统的转换性能，用Petri网对系统进行了建模与分析．分析结果表明，设计的结构与切换机制合理，系统中各状态转换安全、完整，不存在死锁状态．
|
| 关 键 词： | 站问闭塞系统 冗余 安全锁 Pelxi网 |
| 文章编号： | 0258-2724（2005）04-0484-04 |
| 收稿时间： | 2004-09-24 |
| 修稿时间： | 2004-09-24 |
Design of Micro-computerized Dual-Computer Redundant Automatic Block System between Railway Stations |
| |
| GUO Jin,CHEN Hong-xia,YANG Yang.Design of Micro-computerized Dual-Computer Redundant Automatic Block System between Railway Stations[J].Journal of Southwest Jiaotong University,2005,40(4):484-487. |
| |
| Authors: | GUO Jin CHEN Hong-xia YANG Yang |
| |
| Institution: | School of Information Science and Technology, Southwest Jiaotong University, Chengdu 610031, China |
| |
| Abstract: | 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. |
| |
| Keywords: | block system between railway stations redundance safety control lock Petri net |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
