• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and 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 proposed verification methods.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1272-1277
• /
• 2004

GPS type portable-alarm-system is composed of satellite receiving equipment, signal transmission equipment, etc. Time errors occur because of the processing methods of the satellite receiving equipment and signal generator, the positional error of GPS itself, etc. With the recent rise of train speed, it becomes very important to secure the stability of portable-alarm-system from time errors, The present study estimated errors caused by the structure of portable-alarm-system, GPS errors. etc., and verified them. In addition, it examined the effects of such errors on portable-alarm-system according to train speed.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.1229-1234
• /
• 2004

Accurate and reliable tracking system is essential for the central train control system. There are two systems widely being used. one is the fixed block system which utilizes the track circuit for the detection of train position. the other is the moving block system which has the advantage over the former since it enables shorter radio signal for the train position detection. In this paper a new algorithm is proposed which uses signal's phase difference of arrival to detect the train position. Experimental verification of the algorithm is presented in the paper.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.170-175
• /
• 2003

In order to scheme the optimal assumption that satisfies the travel demand, it should be review the elements that affect on determining the headway, which are signal systems, line shape, vehicle(Light Rail Transit) performance, and so on. When applying the conventional signal systems, including Fixed Block System and Moving Block System, It was confirmed whether or not satisfy the requirements of target line with the way of a numerical formula reviewing and Train performance Simulation on the main line, station, depot, and so forth. Therefore, it should be used as references that decide target line and each sub-system after identifying the compliances for Minimum Headway to Moving Block System.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.261-268
• /
• 2000

The purpose of interlocking system was to prevent the route for a train being set up and its protecting signal cleared if there was already another, conflicting route set up and the protecting signal for that route cleared. Recently, the computer based control systems instead of conventional relays circuitry are widely used to industrial systems, therefore, interlocking system are rapidly changing from relay interlocking system to computer controlled interlocking system that control requirements of interlocking at junctions using electronic circuits. However, the reliability of interlocking logic for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems, In this paper, by examine checking technique of computer controlled interlocking system, we will to acquire interlocking inspection algorithm and method for computer controlled interlocking system

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• ETRI Journal
• /
• v.37 no.4
• /
• pp.677-684
• /
• 2015

Recently, orthogonal frequency-division multiplexing (OFDM) was applied to VLC systems owing to its high rate capability. On the other hand, a real-valued unipolar OFDM signal for VLC significantly reduces bandwidth efficiency. For practical implementation, channel estimation is required for data demodulation, which causes a further decrease in spectral efficiency. In addition, the large fluctuation of an OFDM signal results in poor illumination quality, such as chromaticity changes. This paper proposes a spectrally efficient method based on a hidden-pilot-aided precoding technology for VLC with less flickering than a conventional OFDM-based method. This approach can obtain channel information without any loss of bandwidth efficiency while ensuring illumination quality by reducing the flickering effect of an OFDM-based VLC. The simulation results show that the proposed method provides a 6.4% gain in bandwidth efficiency with a 4% reduction in flicker compared to a conventional OFDM-based method.

• Journal of KIEE
• /
• v.11 no.1
• /
• pp.62-68
• /
• 2001

In this paper it is proposed an advanced modified sliding mode control of a rotor field oriented control of induction motor. The application of this unconventional control has very good results, such as disturbance rejection and nice dynamic properties. Stability can be guaranteed even in the worst situation. A conventional "sliding mode" controller is characterised by fast switching control signal, which causes the chattering of the drive system. To overcome this problem, a modified law is used, by introducing a hysteresis band and a continuous control, which modifies the conventional law. The control is accomplished with dual TMS320C44 floating-point digital signal processor. The validity of the proposed method was verified by experiment on the propulsion system simulator, used for the development of Korean High-Speed Railway Train(KHSRT).in(KHSRT).

• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1425-1428
• /
• 2004

Internal traffic system becomes fast with high-speed railway. Therefore, skill development for speed elevation is consisting in general railroad. New skill that is car report lake system is examined in railroad signal field. Therefore, examined establishment way and problem of car report lake system equipment. Examine equipment performance and studied method of most suitable that use.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.87-95
• /
• 1998

This study proposes the analysis and evaluation method of time series ultrasonic signal using the attractor analysis. Features extracted from time series signal analyze quantitatively characteristics of welding defects. For this purpose, analysis objective in this study is fractal dimension and attractor Quadrant feature. Trajectory changes in the attractor indicated that even the same type of defects carried substantial difference in fractal characteristics resulting from distance shifts such as parts of head and flange. Such differences in characteristics of weld defects enables the evaluation of unique features of defects in the weld zone. In quantitative fractal feature extraction, feature values of 3.848 in the case of part of head(crack) and 4.102 in the case of part of web(side hale) and 3.711 in the case of part of flange(crack) were proposed on the basis of fractal dimensions. Proposed attractor feature extraction in this study can enhance the precision rate of ultrasonic evalaution for defect signals of rail weld zone such as side hole and crack.