• Journal of the Korean Society for Railway
• /
• v.10 no.3 s.40
• /
• pp.365-371
• /
• 2007

The communication protocol for interface among railway signalling systems is designed and established as national standard in Korean from a few years ago. So the communication link for information transmission among railway signalling system can be a good example of application of this standard. Communication protocol which is standardized among Korean railway signalling is considered to apply information transmission. And we confirmed there is no the states of deadlock of livelock in std. protocol which is applied formal verification which is one of the analytic method for inspection of safety characteristics in the design course of protocol. But the safety of protocol has to necessarily accomplish this normal analysis approach about satisfying requirement matters with such this analytic approach. In this paper we analyzed the safety characteristics of standard protocol for Korean Railway signalling through the requirement matters for safety transmission of railway transmission system which is required in international standard. So through this study we confirm whether it satisfies safety requirement matters of the level which require in international standard and tried to confirm whether standard protocol has enough safety character in the real railway field.

• Proceedings of the KIEE Conference
• /
• 2002.07b
• /
• pp.1214-1219
• /
• 2002

Railway signalling system always is required high safety and reliability. The failure of the train control system can provoke a serious accident. In this paper, we show how to achieve the safety and reliability by dividing signalling system into vital and non functions, studying operational environment.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.163-166
• /
• 1997

In order to shorten head-way time on existing railway lines without any change of signal block length between stations, it is a realistic optional way to change the control method of train signal, i.e. to modernize the cab signal using transponder. A new signalling system of operation pattern control technique is suggested as new model to increase the railway traffic efficiency. Through the computer simulation of this model, the train head-way time by the fixed signalling system and the new pattern control system is analyzed.

• Korean Journal of Animal Reproduction
• /
• v.23 no.4
• /
• pp.353-358
• /
• 1999

Four important attributes for successful fertilization by a spermatozoon are (ⅰ) correct morphology, (ⅱ) correct presentation of egg recognition and fusion molecules, (ⅲ) progressive motility and (ⅳ), correct transfer of signalling molecules from sperm to egg for activation of development. In this presentation, these topics will be described and illustrated with emphasis on the endogenous control mechanisms that enable spermatozoa to respond to external signals. (omitted)

• Proceedings of the KIEE Conference
• /
• 2001.11c
• /
• pp.387-389
• /
• 2001

The railway signaling systems are computerized vital equipments for safety guarantee of train running. And also it is important to prepare the reliable communication link between signalling equipments. In this paper the review of network technology for railway signalling is presented and reliable network technology for network is represented. And also the direction for our further study on these is discussed.

• Proceedings of the KIEE Conference
• /
• 2001.04a
• /
• pp.381-383
• /
• 2001

A system engineering play a key role in new signalling system development. The signalling system development process consists several phases which are requirement analysis, functional analysis, system synthesis and system analysis. Each phase of the development are decomposed according to system engineering process. The key topics to be considered are shown in the each phase such as safety. This paper shows the application of system engineering process to a signalling system development.

• Proceedings of the KIEE Conference
• /
• 1999.07a
• /
• pp.477-479
• /
• 1999

This paper proposed train operation simulation algorithm, algorithm to determining operational mode and algorithm for train performance program, which play a important role in multi-train operation simulation. Using railway network modelling and signalling systems modelling already developed, these algorithms was presented.

• Proceedings of the KSR Conference
• /
• 2003.05a
• /
• pp.462-467
• /
• 2003

According to the computerization of railway signalling system, necessity of communication protocol for interface between these equipments is increasing. Therefore the research on communication protocol structure that is required according to computerization trend of these signalling goes. In our research the existed protocol currently used was analyzed, and the simulation modeling for performance analysis is deduced. Based on this simulation model the performance analysis and comparison is carried out, and also validation test is executed about new suggested protocol.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.376-381
• /
• 2000

Because of the presure of costs some public transport companies are forced to think new system that is more simple and more economic forms of operation. Radio-based operation and automatic driverless operation for city railways are possible to low the costs. To construct the automated driverless operation system, it is necessary to configure the new signalling. This paper focuses on the automated driverless operation system suitable for the LRT and the standard of signalling function and the R＆D project in the world.

• Proceedings of the KIEE Conference
• /
• 2003.07b
• /
• pp.1318-1320
• /
• 2003

According to the computerization of railway signalling system, necessity of communication protocol for interface between these equipments is increasing. Therefore the research on communication protocol structure that is required according to computerization trend of these signalling goes. In our research the existed protocol currently used was analyzed, and the simulation modeling for performance analysis is deduced. Based on this simulation model the performance analysis and comparison is carried out, and also validation test is executed about new designed protocol.