• 한국시뮬레이션학회논문지
• /
• 제32권1호
• /
• pp.1-11
• /
• 2023

스마트 팩토리 환경과 디지털 트윈 환경이 구축되며 요즘의 공장은 방대한 생산 데이터를 축적하고 공정 현황에 대해 실시간으로 사용자 편의에 맞는 시각화된 결과물로 관리되고 있다. 생산 제품의 다변화에 따른 공정의 복잡도가 증대되어 생산일정 계획이 어려워지고, 자동화 설비가 구축되는 상황에서 납기 지연을 예방하고, 공장의 변동성에 대한 사전 예측을 위한 방안으로 생산 시뮬레이션 기법이 각광받고 있다. 디지털 트윈 환경의 발전과 함께 신규 패키지가 개발되고 기존 패키지들의 기능 업데이트가 됨에 따라 상용 제품별 특성이나 장단점이 명확히 정의되지 않아 사용자들이 어떠한 패키지를 활용하여 시뮬레이션 개발을 진행하는 지에 대한 의사결정이 어려운 상황이다. 이에 본 연구에서는 이산적으로 발생되는 사건을 기반으로 수행하는 이산사건 시뮬레이션(DES, Discrete Event Simulation)의 개념을 정의하고, 다양한 시뮬레이션 패키지에 대한 특성을 비교 분석하고자 한다. 이를 위해 10년간 이산사건 시뮬레이션 패키지를 사용하여 실제 문제를 해결한 연구들을 분석하였고, 사용 빈도가 높은 패키지 세 가지를 도출하였다. 또한, 각 패키지들의 시뮬레이션 기법, 주요 업종, 시뮬레이션을 수행한 대상, 사용한 국가 등으로 분류하여 DES 소프트웨어의 특성과 사용 현황에 대한 분석을 진행하였다. 본 연구 결과는 추후 이산사건 시뮬레이션 패키지 선택에 어려움을 겪는 기업과 사용자에게 선택의 기반을 제공하며 기초자료로 사용될 것으로 판단한다.

• 한국생산제조학회지
• /
• 제23권1호
• /
• pp.38-47
• /
• 2014

This paper describes the application of discrete event systems theory to the design of an automated laboratory system. Current automated laboratory systems typically consist of several interacting processes that must be carefully sequenced to avoid any possible process conflicts. Discrete Event Systems (DES) theory and Supervisory Control Theory (SCT) can be applied together as effective methods of modeling the system dynamics and designing supervisory controllers to precisely sequence the many processes that such systems might involve. Classical approaches to supervisory controller design tend to result in complex controller structures that are difficult to implement, maintain, and upgrade. In this paper, a new approach to designing supervisory controllers for automated laboratory systems is introduced. This new approach uses a modular controller structure that is easier to implement, maintain, and upgrade, and deals with "state explosion" issues in a novel and efficient way.

• 한국CDE학회논문집
• /
• 제13권1호
• /
• pp.67-75
• /
• 2008

In spite of rapidly increasing interests in digital manufacturing, there still lacks of a systematic approach in manufacturing line flow analysis via modeling and simulation; currently, the parameters for designing manufacturing line are defined by being solely based on engineers experiences. The paper proposes an application of the genetic algorithm to a discrete event line simulation finding optimal set of parameters for manufacturing line balancing problem. The proposed method has been applied to two example problems-one is a simple manufacturing model and the other for shipyard industry-in order to demonstrate its validity and usefulness.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 B
• /
• pp.838-840
• /
• 1999

In this paper, modeling and analysis of discrete event systems by temporal logic frame works and petri net is considered. The reachability tree of the petri net can be used to solve the safeness, boundedness, conservation and coverability problems of discrete event systems. But the reachability tree of the petri net do not solve reachability and liveness problems in general. We proposed a method that synthesised the petri net and the temporal logic frameworks. This method slove some problems of petri net by logical representation of temporal logic frameworks.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2001년도 춘계학술대회 논문집
• /
• pp.594-597
• /
• 2001

As many industrial systems become more complex, they become extremely difficult to diagnose the cause of failures. The subject of this paper is ECCS(Emergency Core Cooling System) part of PWR(Pressurized Water Reactor). This paper presents modeling and diagnoser construction of ECCS based on discrete event system theory. Also, this paper presents that the ECCS system is diagnosible in our approach.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 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.

• 한국시뮬레이션학회논문지
• /
• 제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.

• 한국CDE학회논문집
• /
• 제19권1호
• /
• pp.29-40
• /
• 2014

Conceptual Modeling is the process of abstracting a model from a real or proposed system. It is probably the most important aspect of a simulation study. Relate works show that the elementary developers devoted little time to understanding how the systems actually worked, namely they didn't build appropriate conceptual model. Thus, the result of simulation is inconsistent because it depends on developer's competence. Although many researchers suggested various techniques enabling developer to build conceptual model, there were several limitations. In this study, to overcome the limitations of existing techniques, we proposed COMBINE-DES (COnceptual Model BuildINg framEwork using ontology for Discrete Event Simulation). The COM-BINE-DES supports expediting the conceptual modeling with Solution ontology generated by Domain ontology and Simulation ontology. Moreover, it provides consistent simulation result regardless of repeated modeling.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 하계학술대회 논문집 D
• /
• pp.2292-2294
• /
• 2003

본 논문은 crisp discrete event system(CDES)에서 다룰 수 없는 특성을 가지는 의료진단이나 교통제어와 같이 애매하거나 불확실한 판단 그리고 관련성이 모호한 판단의 근거들에 의해 결정되어지는 사건들로 이루어진 fuzzy discrete event system(FDES)의 모델링 방법에 대하여 연구하였다. CDES는 모델링 방법이 많이 연구되어져 왔으나, FDES는 발생되어지는 사건들의 정성적인 특성과 적용되어지는 경우가 드문 이유로 거의 연구되어져 있지 않다. 본 논문에서는 temporal logic에 fuzzy개념을 도입하여 fuzzy DES의 새로운 모델링 방법을 제시하고 의료진단 시스템에 적용하였다.

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