• Proceedings of the KIEE Conference
• /
• summer
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.646-648
• /
• 2004

네트워크 기반 컴퓨터 시스템이 각종 악의적 공격에 의해 손상되더라도, 지속적인 서비스를 제공할 수 있게 해주는 침입 감내시스템(Intrusion Tolerance Systems) 설계기법의 중요한 요소 기술 중의 하나는 컴퓨터 시스템의 정량적 신인도(Dependability) 분석이라 할 수 있다. 본 논문에서는 침입 감내시스템의 신인도를 분석하기 위해 자율컴퓨팅(Autonomous Computing)의 핵심 기술인 자가 치유(Self-healing) 메커니즘을 적용하였다. 즉, 주 서버와 보조서버로 구성된 이중계 침입 감내시스템의 상태천이(State Transition)를 자가치유 메커니즘의 두 가지 요소(결함모델 및 시스템반응)를 활용하여 분석하였으며, 시뮬레이션 실험을 통해 침입 감내시스템의 가용도(Availability)를 정량적으로 정의하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.36 no.2B
• /
• pp.111-119
• /
• 2011

As Green-IT has attracted a lot of attention in recent years, many researches have been interested in reducing the energy consumption of network equipments. In this paper, we analyze the energy saving ratio and delay performance according to various traffic patterns and burst assemble algorithms in OBS network with sleeping mode. To do this, we design the traffic generators, which are based on exponential distribution and Pareto distribution, and the router model, which has the time based and length based burst assemble algorithms by using OPNET modeler. Through OPNET simulator, we evaluate the energy saving performance in terms of the sleeping time, the number of transitions and packet delay.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.31 no.8A
• /
• pp.790-797
• /
• 2006

IEEE 802.16e specifies two different power saving modes(PSM). One is sleep mode and the other is idle mode. These modes are different in that whether a mobile node maintains its state information with the serving base station or not. This difference results in different efficiency in consuming battery power of a mobile terminal. Therefore, it becomes important to analyze the performance of each power saving mode considering the parameters affecting the power consumption. In this paper, we propose a performance modeling framework of sleep mode and idle mode in terms of power saving efficiency. The analytical results are verified by computer simulations that idle mode is superior to sleep mode in power consumption of mobile node.

• Nuclear Engineering and Technology
• /
• v.28 no.2
• /
• pp.103-117
• /
• 1996

A mathematical model of vapor explosion propagation is presented. The model predict two-dimensional, transient flow fields and energies of the four fluid phases of melt drop, fragmented debris, liquid coolant and vapor coolant by solving a set of governing equations with the relevant constitutive relations. These relations include melt fragmentation, coolant-phase-change, and heat and momentum exchange models. To allow thermodynamic non-equilibrium between the coolant liquid and vapor, an equation of state for oater is uniquely formulated. A multiphase code, TRACER, has been developed based on this mathematical formulation. A set of base calculations for tin/water explosions show that the model predicts the explosion propagation speed and peak pressure in a reasonable degree although the quantitative agreement relies strongly on the parameters in the constitutive relations. A set of calculations for sensitivity studies on these parameters have identified the important initial conditions and relations. These are melt fragmentation rate, momentum exchange function, heat transfer function and coolant phase change model as well as local vapor fractions and fuel fractions.

• Journal of Korea Multimedia Society
• /
• v.6 no.2
• /
• pp.216-223
• /
• 2003

In this paper, we present SCCRS(Speech and Character Combined Recognition System) for speaker /writer independent. on-line multimodal interfaces. In general, it has been known that the CHMM(Continuous Hidden Markov Mode] ) is very useful method for speech recognition and on-line character recognition, respectively. In the proposed method, the same CHMM is applied to both speech and character recognition, so as to construct a combined system. For such a purpose, 115 CHMM having 3 states and 9 transitions are constructed using MLE(Maximum Likelihood Estimation) algorithm. Different features are extracted for speech and character recognition: MFCC(Mel Frequency Cepstrum Coefficient) Is used for speech in the preprocessing, while position parameter is utilized for cursive character At recognition step, the proposed SCCRS employs OPDP (One Pass Dynamic Programming), so as to be a practical combined recognition system. Experimental results show that the recognition rates for voice phoneme, voice word, cursive character grapheme, and cursive character word are 51.65%, 88.6%, 85.3%, and 85.6%, respectively, when not using any language models. It demonstrates the efficiency of the proposed system.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.4
• /
• pp.325-332
• /
• 2017

In this paper, a survey of test sequence generation methods for testing the conformance of a protocol implementation to its specification is presented. The best known methods proposed in the literature are called transition tour, distinguishing sequence, characterizing sequence, and unique input/output sequence. Also, several variants of the above methods are introduced. Applications of these methods to the finite state machine model are discussed. Then, comparative analysis of the methods is made in terms of test sequence length. Finally, conclusions are given as follows. The T-method produces the shortest test sequence, but it has the worst fault coverage. The W-method tends to produce excessively long test sequences even though its fault coverage is complete. The problem with the DS-method is that a distinguishing sequence may not exist. The UIO-method is more widely applicable, but it does not provide the same fault coverage as the DS-method.

• 한국해양학회지
• /
• v.17 no.2
• /
• pp.41-50
• /
• 1982

We present theoretical models for the unstedy transports driven by the time-varying wind stress in horizontally unbounded shallow seas of an uniform depth. We derive linearized transport equations that inchude the acceleration, the Coriolis firce, the wind stress and the bottom friction. The steady transport in a shallow sea is different from the classical Ekman transport because of a presence of non-negligible bottom fricttttion. The transient reansport and an inertial oscillation of which frequency of rotation is the same as the frequency of the wind stress forcing. The transprt associated with a wind stress of which direction changes linearlywith time is decribed by a superpoeition so a free inertial oscillation with a pweiod of one inertial day, The theoretical models of the transports are useful in understanding the time-varying currents and the transports of nutrients in shallow seas.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.45 no.2
• /
• pp.111-118
• /
• 2008

In this paper a novel medium access control mechanism is investigated as a means to support real-time services. The primary goal is to provide constant-bit-rate voice call services to pairs of autonomous mobile nodes operating in ad hoc networks. Here, a time-slot reservation based MAC is considered to provide real-time voice calls and a new MAC called the time-slot reservation coordination function(TRCF) is presented. In addition to this isochronous type MAC protocol development, the proposed protocol is modeled using a Markov chain in order to predict its behavior. The performance of TRCF is analytically derived and the performance measures such as average wait time taken for a call connection and throughput are obtained.

• Tunnel and Underground Space
• /
• v.11 no.4
• /
• pp.319-327
• /
• 2001

Introduction of new design tools has been required to optimally design and operate the ventilation system of long vehicle tunnels.. The demand has led to wide spread use of the simulation technique throughout the would to analysis the dynamic relationship among the variables associated with vehicle tunnel ventilation. This paper aims at performing on-site study at local tunnels to test the applicability of NETVEN, a simulation model vehicle tunnel ventilation. The study was carried out at four urban as well as highway tunnels model of vehicle tunnel ventilation. The study was carried out at four urban as well as highway tunnels employing different ventilation systems as well as traffic methods. There were some discrepancies sound between the simulation output and measurements and the following four factors are considered to mainly cause those disagreement. (1) The real situation shows distinctive transient and retarding characteristics with respect to air flow and contaminant dispersion, while ventilation forces are not steady-state and in particular those traffic and climatic variables show significant instantaneous variation. (3) Near the exit portal, the CO levels show bigger differences. The general trend is that data with higher CO concentrations carry bigger discrepancies. Turbulent diffusion is though to be the main reason for it and also contribute to the fact hat the highest CO concentrations are found at the locations somewhat inward, not at the exit portals. (4) Higher traffic rate results in higher discrepancies of ventilation velocity. Along with the exhaust characteristics, the vehicle aerodynamic characteristics need to be studied continuously in order to reduce the velocity disagreement.