• 대한산업공학회지
• /
• 제32권1호
• /
• pp.9-17
• /
• 2006

This paper deals with a discrete simulation optimization method for designing a complex probabilistic discrete event simulation. The developed algorithm uses the configuration algorithm that can change decision variables and the stopping algorithm that can end simulation in order to satisfy the given objective value during single run. It tries to estimate an auto-regressive model for evaluating correctly the objective function obtained by a small amount of output data. We apply the proposed algorithm to M/M/s model, (s, S) inventory model, and known-function problem. The proposed algorithm can't always guarantee the optimal solution but the method gives an approximate feasible solution in a relatively short time period. We, therefore, show the proposed algorithm can be used as an initial feasible solution of existing optimization methods that need multiple simulation run to search an optimal solution.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2006년도 전기학술대회논문집
• /
• pp.79-81
• /
• 2006

Simulation and physical implementation are both valuable tools in evaluating sensor network routing protocols, but neither alone is sufficient. In this paper, we present the implementation and analysis of sensor routing protocols on the discrete-event simulation system that allows existing nesC codes of sensor network routing protocols to be used to create a physical implementation of the same protocol. We have evaluated the Surge function of TinyOS through example implementations in the Ptolemy II of the unmodified codes and Direct-diffusion routing protocols using VIPTOS simulation models.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.7-7
• /
• 1992

Extending discrete event modelling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. This paper defines an extension to the DEVS formalism that facilitates symbolic expression of discrete event times by extending the time base from the real numbers to the field of linear polynomials over the reals. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying non-determinism. To efficiently manage linear polynomial constraints based on feasibility checking algorithm borrowed from linear programming. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with consideration on fault model analysis.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 제어로봇시스템학회논문지
• /
• 제6권6호
• /
• pp.478-485
• /
• 2000

A discrete event systems (DES) is a physical system that is discrete in time and state space, asynchronous (event rather than clock-driven), and in some sense generative(or nondeterministic). This paper presents the design of fifteen modular supervisors to control an experimental CIM testbed. These supervisors are nonblocking, controllable and nonconflicting. After verification of the supervisors by simulation, the supervisors for AGV system have been implemented to demonstrate their efficacy.

• International Journal of Naval Architecture and Ocean Engineering
• /
• 제4권3호
• /
• pp.211-227
• /
• 2012

To implement a combined discrete event and discrete time simulation such as submarine diving simulation in a distributed environment, e.g., in the High Level Architecture (HLA)/Run-Time Infrastructure (RTI), a HLA interface, which can easily connect combined models with the HLA/RTI, was developed in this study. To verify the function and performance of the HLA interface, it was applied to the submarine dive scenario in a distributed environment, and the distributed simulation shows the same results as the stand-alone simulation. Finally, by adding a visualization model to the simulation and by editing this model, we can confirm that the HLA interface can provide user-friendly functions such as adding new model and editing a model.

• 한국멀티미디어학회논문지
• /
• 제22권7호
• /
• pp.804-814
• /
• 2019

The patient's waiting time and length of stay have been reported as a factor decreasing their satisfaction in the hospital, especially in developing countries. This paper focuses on modeling hospital's outpatient department workflow in a developing country and optimizing the patient waiting time as well as total length of stay. By using discrete-event simulation, many alternative scenarios have raised, such as adding more working time, altering human resources, and adjusting the staff's responsibility, those scenarios will be examined to explore better settings for the hospital. The results show that possible to achieve a 9.6% reduction in patient total length of stay and it could be accomplished without adding more resources to the hospital.

• 한국시뮬레이션학회논문지
• /
• 제9권1호
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.

• 한국CDE학회논문집
• /
• 제17권1호
• /
• pp.45-53
• /
• 2012

In this paper, oil spreading simulation model is proposed for analyzing the oil spreading phenomenon rapidly when the ocean is polluted by the oil from a stranded ship. The space occupied by the ocean is converted into the latticed cell, and the each cell contains the information, such as the quantity of the oil, the temperature of the ocean, and the direction of current and wind. Two states, such as "clean" and "polluted" are defined in the each cell, and the oil in the cell spreads to the neighbor cells by the spreading rules. There are three spreading rules. First, the oil in the certain cell only spreads to the neighbor cells that contain larger oil than the certain cell. Second, the oil evaporates in proportion to the temperature of the ocean at the every time step. Third, the oil spreading property is affected by the direction and the speed of the current and the wind. The oil spreading simulation model of the each cell is defined by using the combined discrete event and discrete time simulation model architecture with the information and the spreading rules in the cell. The oil spreading simulation is performed when the oil of 10,000 kL is polluted in the ocean environment of 300 m by 300 m with various current and wind.

• 한국시뮬레이션학회논문지
• /
• 제3권1호
• /
• pp.75-88
• /
• 1994

Discrete event modeling is finding ever more application to anlysis and design of complex manufacturing, communication, computer systems, etc. This paper shows how packet network systems may be advantageously represented as DEVS (Discrete Event System Specification) models by employing System Entity structure / Model base (SES/MB) framework developed by Zeigler. DEVS models and network structure representations support a strong basis for performance analysis of packet network systems. This approach is illustated in a typical packet network example with several routing strategies.