• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1452-1455
• /
• 2004

In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the developed verification tool.

• Proceedings of the KSR Conference
• /
• 2000.11a
• /
• pp.571-577
• /
• 2000

This paper is designed for the identification system of the train using RFID(radio Frequency Identification) in the 134.2㎑. The reader of transmitter transmits an interrogation signal to the tag, then the tag of receiver retransmits the defined data to the reader after receiving the interrogation signal from it. The system is also applied to the reflection communication as a backscatter modulation and selected the passive Pouter system which does not need an active electrical power device. It is useful that ore can effectively manage and control of the information of train such as materials loaded in the train. We make the reader of the identification system for the train which can communicate with the tag installed under the train.

• Proceedings of the KSR Conference
• /
• 2006.11a
• /
• pp.199-207
• /
• 2006

Because of many advantages of Maglev(magnetic levitation) trains, the study of Maglev technology has been accelerated rapidly throughout the world. As a results of that, German commercialized the super-speed magnetic train in Shanghai at the world-wide beginning. Japan started the first commercial service for the low speed Maglev train system in Nagoya in the world. For the commercial service of Maglev trains, signal system must be installed on the operation line and be controlled by operation control center In this paper, Maglev train operation systems of the inside and outside of the country are investigated and what is supplied for domestic Maglev train system is investigated.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1746-1751
• /
• 2007

The bullet train runs more than 200km/h so that it is invisible to the naked eye. For this reason, KTX solely dependent on the ATC operation system. Above all things, 'stability' and 'regular time' are essential to Train Control Operation system. But intermittently, there is a signal transmission problem between ATC operation facilities and ground equipments. which is caused by wheel sliding and friction coefficient between wheel and rail when the train starts. This paper analyzed train service data for one year for accurate survey. In addition, this thesis examines the main cause of a signal transmission problem through simulation and experiment. Further, the method to solve the conventional problem is presented.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.857-865
• /
• 2010

Recently the demand of the driverless rolling stock is increasing with advancement of the stable communication technique and control technique. The automatic train operating system has advantages which takes low operating cost and is able to dispose elastically in demand. Beside it provides high safety and effectiveness because it will be able to control power, signal and communication system from Operation Control Center and the safety and effectiveness are high. The establishment of PSD, Platform Screen Door, is advanced in the goal which is passenger safety, fire protection, noise and dust reduction etc. When but, two advanced systems also have risks of operation delay and accident when two systems are not controlled smoothly. Thus, I'll introduce control method between onboard controller, door control unit in rolling stock and PSD controller to help system design.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.546-548
• /
• 2010

This paper proposes a new baseline-free TR-based SHM method in which the time-reversal (TR) property of the guided Lamb waves is utilized. The new TR-based SHM method has two distinct features when compared with the other existing SHM techniques: (1) The measurement- based backward TR process is replaced by the computation-based process (2) In place of the comparison method most commonly used for SHM, the TOF information of the damage signal extracted from the reconstructed signal is utilized for the damage diagnosis. For the damage diagnosis, the imaging method is adopted to efficiently detect damage by representing the damage as an image. The proposed TR-based SHM technique is then validated through the damage diagnosis experiment for an aluminum plate with a damage at different locations.

• Proceedings of the KSR Conference
• /
• 2010.06a
• /
• pp.1861-1867
• /
• 2010

This paper described the positioning algorithm of partial discharge in insulation oil by acoustic method for the application of an on-line diagnosis in oil-immersed transformers. In the experiment, five AE sensors having the resonant frequency of 150 kHz were used, and a signal conditioner was fabricated. A needle-plane electrode system which is composed of a needle with a curvature radius of $10{\mu}m$ and a plane electrode with a diameter of 60 mm was installed to simulate partial discharges in insulation oil. From the time difference of arrival (TOA) of acoustic signal, we calculated the location of partial discharge in insulation oil. In the experiment, an algorithm of positioning of PD occurrence by the time difference of arrival was proposed. From the experimental results, the positioning error of PD calculated by three AE sensors was within 4%.

• Proceedings of the KSR Conference
• /
• 2007.11a
• /
• pp.1616-1625
• /
• 2007

Recently, embedded systems role as control systems instead of mechanical control systems in many parts of vehicles. In cases that embedded systems are used controling the electric signal, it is important to secure the reliability of a software within embedded systems. In this paper, the test platform for securing the reliability and real-time characteristic of the embedded system that controls electric signal of All Wheel Steering Control System in a Bi-modal tram is proposed. The platform is built on a HIL (Hardware In the Loop) architecture. Through the HIL platform, various vehicle conditions, driver activities and environment conditions can be successfully tested without actual driving, hence improving the reliability of the embedded system for the All Wheel Steering Control System.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.1431-1440
• /
• 2009

A subway in Seoul has had a major role of public transportation after the opening of Seoul Subway Line 1 on August 15, 1974 and it has reached 34.7% of the transportation of Seoul citizens. The extended length of the subway system suppled with DC power in Korea is about 500km. In this system, the devices which are proper for regenerative power system are being required because of changeover from old braking and ATS signal system to regenerative braking and ATO signal system. In this paper, we reviewed the safety standards for the insulated hangers in overhead contact line. These hangers which have depended on foreign imports are being developed in Korea considering ease of demand and supply and economic effects.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.1970-1976
• /
• 2009

This paper describes a series arc detection algorithm in a low-voltage wiring system. We designed and fabricated an arc detection circuit which consists of a high-pass filter with the low cut-off frequency of 170 kHz to attenuate power frequency. The series arcing phenomena was simulated by an arc generator specified in UL1699. In the experiment, various loads such as resistive loads, resistive loads controlled by a dimmer, and vacuum cleaners were used. Whether the signal is arc or noise is discriminated by pulse counts and periodicity of the detected signal.