• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2003년도 추계학술대회 논문집(II)
• /
• pp.326-333
• /
• 2003

Railway system is consisted of resources such as rail-line, signalling system, and railcars. It is necessary to efficiently utilize these limited and expensive resources as much as possible up to given line capacity. So far, we treat the line capacity as the criteria for evaluating investment alternatives or for restricting train frequencies, and this criteria is calculated statical and experimental numerical formula. But, line capacity has special attribute that changes dynamically according to operational conditions, so there is a need of new line capacity estimation system. In this paper, we present systematic line capacity analysis model. The proposed model has three main components; TPS(tain performance simulator), PES(parameter evaluation simulator), LCS(line capacity simulator).

• 한국자동차공학회논문집
• /
• 제11권5호
• /
• pp.193-200
• /
• 2003

A computer simulation program to evaluate the performance of railway systems and train operation plans and the effects of new technologies is provided. The program has the functions of tracing the movements of trains on railway network following the indication of railway signalling system and obeying all kinds of operation rules. An object-oriented technique is applied to model railway system effectively, and it is expected that the program code can be reused easily for other railway simulation programs. Dedicated graphic user interface displaying the simulation outputs by animation during simulation process makes the program convenient to use. Simulation results on the train operations on Kyung-bu line show the proposed program is promising.

• 한국정보처리학회논문지
• /
• 제6권10호
• /
• pp.2740-2751
• /
• 1999

Critical to more widespread use of Internet telephony are the smooth interoperability with the existing telephone network and the improved quality of voice connections. Of these requirements, this interoperability comes through the use of Internet Telephony Gateway's which perform protocol translation between an IP network and the Public Switched Telephone Network. In this paper, we have focused on the necessity and possibility of interoperability, and furthermore derives the necessary requirements for interoperability between IP networks and PSTN. For this purpose, we have analyzed the signaling protocols for gateway system. Then, we have modelled the inter-working part using the Petri-Net model. Through reachability trees of the Petri-Net model, we have confirmed that interoperability is possible, and that characteristics of deadlock, liveness, and boundness are satisfied.

• 한국철도학회논문집
• /
• 제19권2호
• /
• pp.170-186
• /
• 2016

본 논문에서는 철도 시스템에서 안전무결성수준 평가를 위한 다단계 퍼지 리스크 그래프를 제안한다. 본 모델은 입력변수의 모호함과 주관적 전문가 판단의 단점을 보완하는 것을 목적으로 한다. 다단계 퍼지 리스크 그래프 모델은 2단계로 구성된다. 본 논문에서는 첫 번째 퍼지화를 위한 상세 입력 변수가 제안되고 첫 번째 단계에서 퍼지 이론을 적용하여 기존의 리스크 그래프 입력 변수인 심각도, 노출도, 회피도, 요구율을 산정한다. 퍼지 추론 및 역퍼지화 결과 2단계에서 적용할 입력변수가 도출된다. 두 번째 단계에서는 식별된 해당 해저드에 대하여 안전 무결성 수준과 허용 해저드율을 산정하여 안전 요구사항을 수립한다. 또한 다단계 퍼지 리스크 그래프 모델을 검증하기 위해 CENELEC SC 9XA WG A10 보고서에 소개된 건널목 시스템을 대상으로 한 안전성 평가 결과와 비교하여 모델을 검증하였으며, 철도 분야의 초기 개념 설계 단계 안전성 요구사항을 수립 시 적용할 수 있다.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.729-741
• /
• 1999

ATM networks are widely deployed as the network that is capable of supporting multimedia services efficiently now. To date, a large portion of ATM connections, particularly in the WAN environment, have been of a permanent virtual circuits-requiring management intervention for set-up and tear-down. However, switched virtual circuits are required to support a range of desired characteristics on demand, to a reachable end user. To establish, maintain and release on-demand call/connections, the user-network interface(UNI) and node-node interface(NNI) signalling capabilities are required. Two protocols have been specified for NNI signalling within a public network: the broadband integrated-services user part(B-ISUP) protocol specified by the ITU-T, and the private network-network interface(PNNI) protocol specified by the ATM Forum. PNNI offers different type of internetwork or internodal interface from the traditional B-ISUP approach favored to date public network operators. In spite of its name, PNNI may find its place in network service provide networks as well as in private networks. Thus many public network operators and ATM equipment manufacturers are still unable to choose the NNI interface architecture of their system. In this paper, we survey the characteristics of the B-ISUP and PNNI protocols, and investigate the applicability issue of these specifications to the ATM-based Information Infra-Network of Korea. Analyzing the characteristics of the two protocols and clarifying the NNi requirements of the ATM-based Information Infra-Network of Korea, we propose that the B-ISUP protocol is more suitable than PNNI.

• 재무관리연구
• /
• 제24권1호
• /
• pp.1-27
• /
• 2007

본 연구에서는 1998년부터 2002년 동안 주식분할을 실시한 과거 거래소 상장기업을 대상으로 장기성과를 분석하였다. 장기성과는 Event-time 포트폴리오 접근방식으로 측정되어지는 BHAR과 CAAR을 이용하였고 또한 Calendar-time 포트폴리오 접근방식으로 1요인 CAPM 모형과 3요인 모형을 이용하였다. 분석결과 주식분할의 공시월 부근에서 유의적인 양(+)의 초과수익률을 발견할 수 있었다. 이러한 결과는 기존 국내 연구들에서 밝혀진 바와 같이 주식분할의 공시효과가 존재한다는 것을 재확인 한 것이다. 하지만 이후 기간별 BHAR과 CAAR 모두 유의적인 음(-)의 초과수익률이 나타났으며, 이러한 결과는 Calendar-time 포트폴리오 접근방식인 1요인 CAPM 모형과 3요인 모형에서도 재확인 할 수 있었다. 분할비율에 따른 BHAR과 CAAR을 분석한 결과 분할비율이 높은 기업군도 주식분할 이후 여전히 음(-)의 초과수익률이 나타났으며 주식분할 이전 보다 이후에 영업성과가 더 악화되는 것으로 나타났다. 따라서 주식분할이 기업의 수익성이 개선된다는 신호로 보기에는 무리가 있었다. 배당성향의 증감에 따라 표본을 분류하여 장기성과를 분석한 결과에서 두 표본 간에 뚜렷한 차이를 발견할 수 없었다. 본 연구의 결과를 통하여 볼 때 주식분할은 한국 주식시장에서 단기적으로는 주가에 양(+)의 영향을 미치고 있지만 장기적으로는 주식분할이 주가에 미치는 영향은 없는 것으로 판단된다.

• 산업기술연구
• /
• 제25권B호
• /
• pp.221-229
• /
• 2005

We present a numerical analysis of the optimal group number for minimizing the average paging delay. In the analysis, we consider uniform distributions for location probability conditions and apply M/D/1 queueing model to paging message queues of cells. We also get the lower bounds of group numbers and investigate the minimum transmission capacity under average paging delay constraints. Minimizing the average paging delay is important because it means minimizing the amount of bandwidth used for locating mobile terminals. Therefore, the numerical results of this paper will be very useful in PCS system when designing its signalling capacity due to its simplicity and effectiveness.

• Nutritional Sciences
• /
• 제5권4호
• /
• pp.228-233
• /
• 2002

The low molecular weight zinc-binding protein metallothionein(MT) contains 32% cysteine and has been shown to efficiently scavenge hydroxyl radicals in vitro. MT expression is induced by oxidative stress and an antioxidant role for this protein has therefore been proposed. This review mainly focuses on the evidence for this role arising from studies using genetically modified animals and cells which either over- or under-express MT. Despite some considerable disparity of results in the literature, reported studies do generally support an antioxidant role. Nevertheless, oxidant stress at non-physiological treatment levels has been the preferred experimental model and there is little information about the role of MT in physiological oxidative stress. Although it is presumed that the mechanism by which MT has an antioxidant effect involves oxidation of cysteinal thiols, it is possible that zinc release from MT is in itself an important signalling factor.

• 한국철도학회논문집
• /
• 제7권2호
• /
• pp.114-119
• /
• 2004

According to the computerization of railway signalling systems. the communication protocol for interface between these systems are required. Therefore the new communication protocol for railway signaling system is required. Generally, there are two verification method for new designed protocol in the industrial and academic fields. One is the laboratory testing method which is very popular and general technique. In our research the comparison between existing and new designed protocol for signaling is described and the verification test results are also represented. From these laboratory test, we are verified the conformance of new designed protocol. Another method is verified by formal method. The format verification method is widely used at safety-critical system design but this approach is nor popular at verification communication protocol. However it is very important to verify the safety of new designed protocol for railway signaling system because signaling systems are very safety-critical systems. So, the methodology for formal verification of designed protocol is also reviews in this paper.

• 한국영양학회:학술대회논문집
• /
• 한국영양학회 2002년도 추계 심포지움초록
• /
• pp.1171-1177
• /
• 2002

The low molecular weight zinc-binding protein metallothionein (MT) contains 32% cysteine and has been shown to efficiently scavenge hydroxyl radicals in vitro. MT expression is induced by oxidative stress and an antioxidant role for this protein has therefore been proposed. This review mainly focuses on the evidence for this role arising from studies using genetically modified animals and cells which either over-or under-express MT. Despite some considerable disparity of results in the literature, reported studies do generally support an antioxidant role. Nevertheless, oxidant stress at non-physiological treatment levels has been the preferred experimental model and there is little information about the role of MT in physiological oxidative stress Although it is presumed that the mechanism by which MT has an antioxidant effect involves oxidation of cysteinal thiols, it is possible that zinc release from MT is in itself an important signalling factor.