• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.268-273
• /
• 2000

A signaling system for a single-track railroad has been specified in CafeOBJ. In this paper, we describe the specification of arbitrary two adjacent stations connected by a single line that is called a two-station system. The system consists of two stations, a railroad line (between the stations) that is also divided into some contiguous sections, signals and trains. Each object has been specified in terms of their behavior, and by composing the specifications with projection operators the whole specification has been described. A safety property that more than one train never enters a same section simultaneously has also been verified with CafeOBJ.

• Journal of the Korean Society for Railway
• /
• v.10 no.6
• /
• pp.692-700
• /
• 2007

A trial run of locally-developed tilting train has been in process on Chungbuk line since the test vehicle was first produced. For the system stabilization, interface verification among the systems including track, structure, catenary and signaling system, not to mention the rolling stock, is very crucial. In the area of wayside structure, the stability of track structure and train run shall be evaluated through the review of impact by increased speed by developed train on track structure. The study thus was intended to evaluate the impact on track while a tilting train is running the curve section, which is vulnerable to accelerated train speed. The analysis of tilting train test running the part of Chungbuk line and Honam line was conducted to identify the impact on existing track performance by tilting train. To identify the movement behavior of each part of track while tilting train, high speed train and traditional train (Mugunghwa and freight train) were running the existing line, wheel load, lateral wheel load, rail bending stress, vertical and lateral displacement of rail and vertical displacement of sleeper were compared and analyzed so as to evaluate the expected impact by tilting train for improving the train speed.

• Proceedings of the KIEE Conference
• /
• 2004.10a
• /
• pp.221-223
• /
• 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
• /
• 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.

• Journal of international Conference on Electrical Machines and Systems
• /
• v.2 no.1
• /
• pp.65-68
• /
• 2013

A photovoltaic array exhibits several local and single global maximum power points under partial shading conditions. To track the global maximum power point precisely, a novel global maximum power point tracking scheme is proposed in this paper. In the proposed scheme, robustness of the tracking performance has been improved by enhancing searching profile. In addition, the paper addresses the tracking failure condition, and provides the experimental verification with several simulation and experimental results.

• Proceedings of the KSR Conference
• /
• 2005.05a
• /
• pp.915-921
• /
• 2005

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.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.30B no.8
• /
• pp.41-53
• /
• 1993

The tasks which detect and track moving objects, by analyzing dynamic images taken at a constant time interval, are essential in various applications. This paper suggests how to utilize domain-specific knowledge and motional knowledge for detecting and tracking moving objects. That is, The trajectory information of a moving object is to be used for generating hypotheses on expected motion and expected position of moving objects, and the domain-specific knowledge is to be used for verifying the generated hypotheses.

• Proceedings of the KSR Conference
• /
• 2004.10a
• /
• pp.157-161
• /
• 2004

Urban transit is system that offer target Performance and function because various lower part system such as vehicles, signaling, power supply, rail track is consisted as complex. It is important first of all that describe correctly system requirement until configuration of system, design, manufacture, installation and test verification so that the complicated urban transit system is to act safety and reliable and to display target Performance and function properly. The system requirement assist the system developer to comprehensive the performance and function of system in basic design. Therefore, In this paper wishes to study way to analyze system of system requirement and apply to Urban transit.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.12
• /
• pp.1186-1195
• /
• 2013

In modern warfare, the main factor of triumph is superior situation awareness which leads rapid command decision and precisely guided munition, and TDL(Tactical Data Link) is the main communicational enabler. ROK forces currently operate Link-16 with allied forces and are also developing Korean national data link, Link-K which is also planned to be cooperated with Link-16. Assigning participant and track numbers needs agreement between ROK and allied forces, but ROK forces have exclusive authority in assigning numbers in Link-K. This paper proposes the effective method of exchange participant and track numbers between Link-16 and Link-K, and applicability verification in operational test and evaluation will be also presented.

• Journal of the Korean Society for Railway
• /
• v.12 no.5
• /
• pp.678-686
• /
• 2009

A trial run of locally-developed tilting train has been in process on Chungbuk line since the test vehicle was first produced. For the system stabilization, interface verification among the systems including track, structure, catenary and signaling system, not to mention the rolling stock, is very crucial. Therefore, in this study, the dynamic rail force of the tilting (Hanvit 200), high-speed (KTX) and general (Mugunghwa) vehicle caused by driving in transition curve track was measured. And, it compared the tilting response with the other by using the measured rail force data in transition curve track, and then evaluated probability the range of load fluctuation for the variable dynamic vertical and lateral wheel load. As a result, a range of rail force by occurred a change of cant from the high-speed and general vehicle which had fixed bogie structure was distributed throughout small deviation. Otherwise, in case of the tilting train which was consisted of the pendulum bogie structure was distributed wide range about large deviation by changed of cant.