• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.22-31
• /
• 1990

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2006.05a
• /
• pp.858-861
• /
• 2006

In this paper, a study on the noise reduction in a mobile fuel cell system is presented. Among various fuel cell systems around 20W capacities designed for mobile electronic devices, the active direct methanol fuel cell (DMFC) systems have been recently developed. In such systems, the primary noise source is the air pump which provides sufficient air flow ($5{\sim}6$ liter/min) for electrochemical reaction with methanol fuel while the noise contributions from other auxiliary parts are relatively small. Especially, the discrete noise tones generated by the air pump are dominant and those frequency peaks related to the rotor harmonics are needed to be suppressed by a silencer. Therefore. the Herschel/Quinke (HQ) tubes, which use the out-of-phase cancellation of acoustic waves propagating through direct and indirect pathways, are applied to the inlet of the air pump. Performance of noise reduction with HQ silencer is analytically estimated by calculating the transmission. The length and number of thin HQ tubes are optimized to decrease the radiated noise. As a result, the sound pressure level could be successfully reduced by about 10 dB after applying three serially connected HQ tubes.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.7C
• /
• pp.627-634
• /
• 2007

When a higher-order modulation scheme (16QAM or 64QAM) is applied to the communications system using the nonlinear high power amplifier (HPA), the performance can be degraded by the nonlinear distortion of the HPA. The nonlinear distortion can be compensated by the adaptive nonlinear Volterra equalizer using the low-complexity LMS algorithm at the receiver. However, the LMS algorithm shows very slow convergence performance. So, in this paper, the parallel M-band discrete wavelet transformed LMS algorithm is proposed in order to improve the convergence speed. Throughout the computer simulations, it is shown that the convergence performance of the proposed method is superior to that of the conventional time-domain and transform-domain LMS algorithms.

• Journal of Communications and Networks
• /
• v.16 no.2
• /
• pp.193-201
• /
• 2014

In cognitive radio networks, the packet transmissions of the secondary users (SUs) can be interrupted randomly by the primary users (PUs). That is to say, the PU packets have preemptive priority over the SU packets. In order to enhance the quality of service (QoS) for the SUs, we propose a spectrum access strategy with an ${\alpha}$-Retry policy. A buffer is deployed for the SU packets. An interrupted SU packet will return to the buffer with probability ${\alpha}$ for later retrial, or leave the system with probability (1-${\alpha}$). For mathematical analysis, we build a preemptive priority queue and model the spectrum access strategy with an ${\alpha}$-Retry policy as a two-dimensional discrete-time Markov chain (DTMC).We give the transition probability matrix of the Markov chain and obtain the steady-state distribution. Accordingly, we derive the formulas for the blocked rate, the forced dropping rate, the throughput and the average delay of the SU packets. With numerical results, we show the influence of the retrial probability for the strategy proposed in this paper on different performance measures. Finally, based on the trade-off between different performance measures, we construct a cost function and optimize the retrial probabilities with respect to different system parameters by employing an iterative algorithm.

• Journal of the Korea Society for Simulation
• /
• v.14 no.2
• /
• pp.57-71
• /
• 2005

A simulation for the analysis of the evasive capability of a conventional costal submarine against a light Anti-Submarine Warfare (ASW) torpedo has been studied. The Torpedo, Submarine Controller, Devoy, and Jammer models of this simulation are analysised and designed using Unified Modeling Language (UML) and in addition they are modeled Discrete Event System Specification (DEVS). We examine maximum speed, acceleration, countermeasure systems capabilities of a submarine, and sonar range of a torpedo as the factors which affect the evasive capability of the submarine. This paper shows the relationships between those various factors and the submarine's evasive capability as the outcome of the simulation. The simulation models can be applied for simulation based acquisition (SBA) of a submarine system.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.3 no.1
• /
• pp.61-69
• /
• 1998

In this paper, discrete current control of voltage source inverters is proposed. As a current control scheme, the constant switching frequency predictive current control is adopted and implemented with DSP microprocessor system. In particular, the proposed method is for the compensation of the control lagging due to calculation delays in the microprocessor controller. In controlling the current, the inverter output voltage saturation problem is inevitable and usually affects the current control performance. So, the saturation boundary condition of the inverter output voltage and its effects on the current controal performance of the proposed current control scheme are investigated with experiment. Finally, the proposed scheme is applied to the active power filter system and some results are described for validation.

• Advances in aircraft and spacecraft science
• /
• v.1 no.4
• /
• pp.409-425
• /
• 2014

Converging flows of a gas and a liquid at a microchannel cross junction, under proper conditions, can result in the formation of periodic, dispersed microslugs. This microslug formation phenomenon has been proposed as the basis for a fuel injection system in a novel, 'discrete' monopropellant microthruster designed for use in next-generation miniaturized satellites. Previous experimental studies demonstrated the ability to generate fuel slugs with characteristics commensurate with the intended application during steady-state operation. In this work, numerical and experimental techniques are used to study the effect of valve actuation on slug characteristics, and the results are used to compare with equivalent steady-state slugs. Computational simulations of a valve with a 1 ms valve-actuation cycle show that as the ratio of the response time of the valve to the fully open time is increased, transient effects can increase slug length by up to 17%. The simulations also demonstrate that the effect of the valve is largely independent of surface tension coefficient, which is the thermophysical parameter most responsible for slug formation characteristics. Flow visualization experiments performed using a miniature valve with a 20 ms response time showed less than a 1% change in the length of slugs formed during the actuation cycle. The results of this study indicate that impulse bit and thrust calculations can discount transient effects for slower valves, but as valve technology improves transient effects may become more significant.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• Journal of Power Electronics
• /
• v.15 no.1
• /
• pp.202-215
• /
• 2015

This paper investigates the stability and performance of model predictive controlled active-front-end (AFE) rectifiers for energy storage systems, which has been increasingly applied in power distribution sectors and in renewable energy sources to ensure an uninterruptable power supply. The model predictive control (MPC) algorithm utilizes the discrete behavior of power converters to determine appropriate switching states by defining a cost function. The stability of the MPC algorithm is analyzed with the discrete z-domain response and the nonlinear simulation model. The results confirms that the control method of the active-front-end (AFE) rectifier is stable, and that is operates with an infinite gain margin and a very fast dynamic response. Moreover, the performance of the MPC controlled AFE rectifier is verified with a 3.0 kW experimental system. This shows that the MPC controlled AFE rectifier operates with a unity power factor, an acceptable THD (4.0 %) level for the input current and a very low DC voltage ripple. Finally, an efficiency comparison is performed between the MPC and the VOC-based PWM controllers for AFE rectifiers. This comparison demonstrates the effectiveness of the MPC controller.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.2 no.2
• /
• pp.37-43
• /
• 2009

In this study, multi-channel digital hearing aid algorithm for low power system is proposed. First, MDCT(Modified Discrete Cosine Transform) method converts time domain of input speech signal into frequency domain of it. Output signal from MDCT makes a group about each channel, and then each channel signal adjusts a gain using LCF(Loudness Compensation Function) table depending on hearing loss of an auditory person. Finally, compensation signal is composed by TDAC and IMDCT. Its all of process make progress 16-bit fixed-point operation. We use fast-MDCT instead of MDCT for reducing system complexity and previously computed tables instead of log computation for estimating a gain. This algorithm evaluate through computer simulation.