한국철도학회:학술대회논문집 (Proceedings of the KSR Conference)
- 한국철도학회 2008년도 추계학술대회 논문집
- /
- Pages.1220-1226
- /
- 2008
철도 진로 제어 연동 로직의 표준화를 위한 연구
A Study on the Standardization for Railway Route Control Locking Logic
- 발행 : 2008.11.13
초록
A route control in railway is one of the very important system to operate a train. An efficient train route control assures to increase train operation performance with a same railway system. The erroneous route control can accompany serious accidents which occur train collision or derailment which provokes death. A Route control carries out exactly lest the accident should take place. An interlocking table is widely used for the exact route control. The table has the problem of its exactness proving because it has been established by experts. In this paper, We tried to formalize a route control using mathematical logic. A route consists of symbolized tracks, signals, switch and crossing. It represents as a set, respectively. We proposed route setting control logic, converted the elements to set logics and construct route logics with the set logics of the elements. Finally we proposed a model which presents a prototype routes and we proved the proposed logics using the proposed method.
키워드