• 한국통신학회논문지
• /
• 제25권12B호
• /
• pp.1996-2002
• /
• 2000

This paper investigates a priority scheme for IEEE 802.11 Carrier Sense Multiple Access/Collision Avoidance (CSMA/CA) protocol in order to provide short access times for priority frames (e.g. time-deadline traffic) even when the overall traffic on the wireless channel is heavy. Under the compatibility constraint for the IEEE 802.11 wireless LANs, two priority systems are simulated: no priority (current IEEE 802.11 standard) for time-deadline traffics and dynamic time-deadline priority. We evaluate algorithms to improve the time-deadline traffic performance using discrete event simulation (DES)

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1992년도 춘계공동학술대회 발표논문 및 초록집; 울산대학교, 울산; 01월 02일 May 1992
• /
• pp.105-116
• /
• 1992

이 논문에서는 discrete-event모의실험을 사용해서 대기행렬모형에서 대기시간이 길어지는 확률을 추정하는 문제를 연구했습니다. 단 한번의 모의실험에서 확률의 신뢰구간을 구할 수 있는 방법인, binary bootstrap을 개발했습니다. Bernoulli trial과 first-order Markov processes에 적용하여 본 결과 이론치에 별 차이없이 추정하였습니다. 또한 M/M/1 대기행렬모형에서 대기시간이 길 확률을 추정했을 때 batch means방법보다 binary bootstrap이 월등히 우수한 결과를 보였습니다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.406-410
• /
• 1990

This paper presents an approximate analysis of the serial production lines using decomposition technique. A serial production line consists of a series of unreliable machines separated by finite buffers. The serial production line is evaluated by approximation method, the results of which are compared with those examined by the discrete time event simulation, based on this approximation method, a gradient technique is proposed, which improves the efficiency of an operation of production line through the re-allocation of buffers.

• 제어로봇시스템학회논문지
• /
• 제16권10호
• /
• pp.1013-1017
• /
• 2010

This paper proposes a systematic approach to the rate-based feedback control based on the supervisory control framework for discrete event systems. We design the supervisor to achieve the desired behavior for TCP wireless networks. From the analysis and simulation results, it is shown that the controlled networks guarantee the fair sharing of the available bandwidth and avoid the packet loss caused by the buffer overflow of TCP wireless networks.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 1999년도 추계학술대회 논문집 - 한국공작기계학회
• /
• pp.16-21
• /
• 1999

본 연구에서는 컴퓨터 상에 제어기와 구동부 등으로 구성된 가상제조시스템(Virtual Manufacturing System)을 구축하고 시뮬레이션하는 방법론을 다룬다. 특히 설비들간의 이동시 발생할 수 있는 3차원 공간상의 충돌을 검출하는 이산사건 및 연속상태 혼합 시뮬레이션 방법론을 소개한다. 시뮬레이션 모델은 DEVS(discrete event system specification) 형식론(formalsim)에 기초한 형상기구학 정보를 갖는 이른바 GKDEVS(Geometrical Kinematic DEVS)을 이용하였고, 시뮬레이션 방법론은 DEVS의 추상화 시뮬레이션(abstract simulation)방법을 확장하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.406-408
• /
• 2003

DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화된 형태로 이산사건 시스템을 기술한다. 본 논문에서는 CORBA를 이용한 Multi-threaded 분산 시뮬레이션 방법을 제시한다. 본 논문에서 제시한 시뮬레이션 방법은 기존에 선행 연구된 DEVSCluster를 기반으로 한다. DEVSCluster는 계층적 DEVS 모델들을 비 계층적 모델로 구성하여 시뮬레이션한다. DEVSCluster는 전통적인 계층적인 시뮬레이션 시 발생하는 overhead를 제거한다. CORBA기반으로 DEVSCluster를 구성함으로써 산업 표준에 맞는 확정을 가지는 분산 시뮬레이션이 가능해졌다. 그리고 CORBA를 이용함으로써 기존에 분산 시뮬레이션 동기화를 위한 새로운 패러다임도 적용이 가능해 졌다. 제시한 시뮬레이션 방법의 효용성을 보이기 위해 Windows 시스템에서 분산 시뮬레이션 엔진을 구현하여 대규모 물류 시스템으로 성능을 측정하였다.

• 한국정밀공학회지
• /
• 제11권4호
• /
• pp.174-181
• /
• 1994

A FMS is a typical discrete event system exhibiting concurrency, asynchronicity and non-determinism. To represent a FMS with those characteristics, Colored and Timed Petri Nets is defined and the modeling procedure is provided in this paper. To analyze and evaluate the performance of a FMS, a simulation software is developed and applied to SNU FMS/CM Center. This software enables to detect the bottleneck machine and decide the optimal direction in case of the expansion of a FMS.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.1293-1295
• /
• 2011

DEVS(Discrete Event System Specification)형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술하는 수학적 이론이다. DEVS 형식론에 기반한 모델링과 시뮬레이션은 여러 시뮬레이션시스템에 적용되고 있으며, 보통 단일서버에 단일 프로세스로 구현되고 있다(3). 본 연구는 DEVS 모델을 네트워크기반의 여러 분산서버에 나누어서 모델링하며, 이를 시뮬레이션 하기 위한 처리 기법에 관한 것이다.

• 대한산업공학회지
• /
• 제33권2호
• /
• pp.191-200
• /
• 2007

We propose the QoS (Quality of Service) assurance model for AMR (Adaptive MultiRate) voice users considering the capacity and service quality jointly in downlink WCDMA system. For this purpose, we introduce a new system performance measure and the number-based AMR mode allocation scheme. The proposed number-based AMR mode allocation can be operated only with the information of total number of ongoing users. Therefore, it can be more simply implemented than the existing power-based allocation. The proposed system performance measure considers the stochastic variations of AMR modes of ongoing users and can be analytically obtained using CTMC (Continuous Time Markov Chain) modeling. In order to validate the proposed analytical model, a discrete event-based simulation model is also developed. The performance measure obtained from the analytical model is in agreement with the simulation results and is expected to be useful for parameter optimization.

• 한국CDE학회논문집
• /
• 제15권4호
• /
• pp.271-278
• /
• 2010

Weapon systems for future war require operating various war scenarios that are getting complex. Similarly, modeling and simulation technique is getting attention to acquire more effective weapon systems. Several S/W tools exist for simulating small scale engagements which depict a kind of war. However, it is very hard to model combat objects more systematic, and reuse them. To overcome these difficulties, this paper presents a modeling methodology for simulating small scale engagement using the DEVS-formalism. In this paper, we systematically classified and defined combat objects, likewise, explain a framework for a small scale combat simulation.