• 한국시뮬레이션학회논문지
• /
• 제10권1호
• /
• pp.1-12
• /
• 2001

This article describes the application of discrete event simulation in a process industry (coffee manufacturing) as a daily production-scheduling tool. A large number of end products (around 300), sporadic demand, and limited shelf life of coffee (90 days) make it difficult to generate feasible production schedules manually. To solve this problem, an integrated system was developed incorporating discrete event simulation methodology into scheduling process. The integrated system is comprised of two components: a scheduling program and a simulation model. The scheduling program is used to generate daily schedules for roasting, grinding, and packing coffee. The simulation model uses the generated schedules to simulate the production of coffee and regenerates a modified production schedule. In this paper, each of the components will be described in detail, evaluated in terms of performance factors, and validated with a set of real production data. Although this article focuses on a specific system, we will share our experiences and Intuitions gained and encourage other process industries to develop simulation-based scheduling tools.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 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.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.348-352
• /
• 1993

A hybrid system contains both continuous variables and discrete event components. This paper presents the new control architecture for hybrid systems, which consists of a conventional controller for the continuous-time variable of the system, a supervisor for discrete event components of the system, and an interface for link between the controller and the plant. The presented controller is suitable for the system operating at the different operating conditions or for system being changing the plant model by enabling and disabling discrete events. This paper shows that the presented controller is better than the conventional controller.

• International Journal of Control, Automation, and Systems
• /
• 제5권4호
• /
• pp.463-470
• /
• 2007

Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.816-819
• /
• 1996

This paper focuses on development of simulation model for SAE J1850 and performance evaluation of a J1850 network. The simulation model has been developed by using discrete event simulation language. SAE J1850 is one of Class B network protocol for general data sharing applications. Through numerous simulation experiments, several important performance factors such as the probability of a successful transmission, average queue delay, and throughput have been evaluated.

• 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.

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

The DEVS(discrete event system specification) formalism describes a discrete event system in a hierarchical, modular form. DEVSIM++ is C++ based general purpose DEVS abstract simulator which can simulate systems to be modeled by the DEVS formalism in a sequential environment. We implement P-DEVSIM++ which is a parallel version of DEVSIM++. In P-DEVSIM++, the external and internal event of models can be processed in parallel. To process in parallel, we introduce a hierarchical distributed simulation technique and some optimistic distributed simulation techniques. But in our algorithm, the rollback of a model is localized itself in contrast to the Time Warp approach. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• 한국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.

• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.17-28
• /
• 2010

음향 탐지나 항적 탐지 등을 이용하여 표적을 추적하는 유도 어뢰는 개념 설계 단계에서부터 군 요구를 분석하고 군요구에 따른 어뢰의 개략 설계 사양 도출을 필요로 한다. 이를 위해 이산 사건/이산 시간 혼합형 시뮬레이션 모델 구조를 적용하여 어뢰가 목적하고 있는 탐지 임무의 정량적인 달성 정도를 나타내는 탐지 효과도를 분석하였다. 어뢰의 탐지효과도 분석을 위해 초기 개념 설계 단계에서 주어지는 어뢰의 개략적인 설계 변수를 바탕으로 어뢰와 표적의 수학 모델을 설정하였으며, 이와 함께 이산 사건/이산 시간 혼합형 시뮬레이션 모델 구조를 적용하여 아 잠수함 모델, 어뢰 모델, 표적 모델을 구성하였다. 특히 어뢰 모델에는 유도 어뢰의 특성을 고려하여 탐색 운동 방법, 음향 탐지 방법 등을 적용하였으며. 각 모델을 구성하는 설계 변수에는 오차 모형을 반영하였다. 이를 바탕으로 어뢰가 표적을 탐지하는 과정에 대해 반복 시뮬레이션을 수행하여 설계 변수 변화에 따른 어뢰의 탐지 효과도를 분석하였다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.61-69
• /
• 2008

이산사건 시뮬레이션에서의 미래사건 리스트 관리에 요구되는 우선순위 큐의 성능을 평가하기 위하여 사건의 삽입과 삭제패턴을 묘사한 성능 모델이 필요하다. 성능 모델을 이용하여 다양한 우선순위 큐 구조를 시간 복잡성 측면에서 비교 평가할 수 있다. 본 연구는 대상이 되는 시뮬레이션 모델이 반복적으로 운용되고, 실행 시간이 유한적인 경우에 보다 정확한 성능모델을 작성하는 방안을 제시한다. 제안된 성능모델은 다단계 마코브 프로세스 모델에 기반을 두어 확정적인 순서에 의한 삽입과 삭제를 하기 보다는 확률적인 패턴에 의해 연산 순서를 결정한다. 대한민국 육군의 전쟁 연습 모델인 창조 모델을 운영한 결과를 바탕으로 다단계 마코브 프로세스 모델을 작성한 사례연구를 포함하였다.