http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정승기(Jeong Seungki),김명수(KIM Myungsoo) 한국철도학회 2008 한국철도학회 학술발표대회논문집 Vol.- No.-
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 o ut 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.