• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.108-113
• /
• 1999

본 논문은 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS : Discrete Event System Specification)을 기반으로 미시적 교통류 시뮬레이션 시스템의 교통 흐름 분석에 대한 연구를 주목적으로 한다. 도로교통망 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류하는데, 미시적 모형은 개별차량의 행태를 바탕을 둔 모형으로 거시적 모형에 비해 설명력이 뛰어나다는 장점을 가지고 있지만 실제 교통상황에서 관측하고 검증하기가 어렵다는 단점을 갖고 있다. 따라서 본 논문에서는 신뢰성 있는 미시적 교통류 모형의 설계를 위해 DEVS 형식론을 기반으로 개별 차량에 대한 차량 추종 및 차로 변경 모형을 모델링하고 이를 근거로 교통류 시뮬레이션 시스템의 교통흐름 분석을 한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.6
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• Journal of the Korea Society for Simulation
• /
• v.19 no.4
• /
• pp.31-41
• /
• 2010

So far, many simulation researches associated with naval ships have been concentrated on the tactical systems and naval ship development. However, studies on the improvement of living conditions for naval ship crews were limited. This study targets a crew mess room which is a typical welfare facility in naval ships and existing modeling and simulation methodologies for naval tactical and strategic systems cannot be applied to the crew room simulations. This paper suggests a simulation modeling framework based on 3-dimensional discrete event simulation methodology for crew mess room congestion assessment and operation scenarios. The simulation modeling framework is verified through practical case simulations. The purpose of simulation modeling framework consists of process and system architecture for operation feasibility tests of welfare facilities in naval ships and is to guide an assessment of the operability performance of a crew mess room.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.9
• /
• pp.1038-1048
• /
• 2019

Recently, various systems have been developed to support ship navigation safety. In order to verify the usefulness of such a system, it is most ideal to try it on a real vessel, but there are many difficulties. As an alternative, usability verification methods applied with modelling and simulation (M&S) techniques are required such as FMSS, which is closest to reality, is very expansive to construct, and there needs the specialized operator. For this reason, this paper proposes a method to verify the navigation safety support system by modeling and simulation techniques based on the Discrete Event System Specification (DEVS) formalism. As a first step, we designed the navigation simulation architecture based on the SES/MB framework, and details on modelling ship core equipment and navigator agents based on the DEVS. Through this, we are able to implement the navigation simulation system for vessels, and evaluate the effectiveness of navigation safety support elements such as collision avoidance, etc. using developed scenarios.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.10
• /
• pp.2330-2336
• /
• 2013

Since many man-made systems consist of autonomous and interactive components, it is intrinsically difficult to analyze their abnormal behavior. The logical analysis of such a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method using two algebraic operations, named composition and minimization. Repetitive composition and minimization of component models with respect to a set of important events produces a new analysis model that has the same input output responses to an environment. An analysis example of the alternating bit protocol demonstrates the effectiveness of the proposed method showing that each message generated at the sender side eventually arrives to a receiver.

• Journal of the Korea Society for Simulation
• /
• v.32 no.3
• /
• pp.75-91
• /
• 2023

As the business-to-customer (B2C) online market expands after the COVID-19 pandemic, the logistics industry has been constructing automated warehouses to handle multi-product, low-volume logistics. When constructing a logistics automation warehouse, it is crucial to validate that the facility's performance and operational logic are designed to meet the required throughput of the automated warehouse from the system design phase. This study proposes simulation-based validation and optimal alternatives for an H logistics automation warehouse in Iksan, Jeollabuk-do. Firstly, we focused on the box supply and packing processes, which are related to the release process, among the entire logistic processes. Then, we analyzed the potential bottlenecks in the target process and designed and implemented a discrete-event simulation model based on the analysis results. The simulation experiments showed that the facility parameters and operational logic identified in the system design phase did not satisfy the performance requirements of the entire automated warehouse. Additional experiments were conducted to suggest alternatives to meet the system performance requirements by changing the facility parameters and operational logic. We expect that the proposed study will be utilized in the future, not only in the system design phase but also in the system construction phase, for verification purposes to ensure that the construction proceeds according to the design.

• Journal of the Korean Society for Railway
• /
• v.12 no.2
• /
• pp.267-275
• /
• 2009

Max-plus algebra is a nonlinear system comprised of two operations, maximization (max) and addition (Plus), which are corresponding to the addition and the multiplication in conventional algebra, respectively. This methodology is applicable to many discrete event systems containing the state transition with the maximization and addition operation. Timetable with connection is one of such systems. We present the method based on max-plus algebra, which can make up timetable considering transfer and analyse its stability and robustness. In this study, it will be shown how to make up the timetable of the urban train and analyse its stability using Max-Plus algebra.

• Journal of the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.109-118
• /
• 2013

This paper adopts the system configuration to assess the reliability instead of making a fault tree (FT), which is a traditional method to analyze reliability of a certain system; this is the reliability block diagram (RBD) method. The RBD method is a graphical presentation of a system diagram connecting the subsystems of components according to their functions or reliability relationships. The equipment model for the reliability simulation is modeled based on the discrete event system specification (DEVS) formalism. In order to make various alternatives of target system, this paper also adopts the system entity structure (SES), an ontological framework that hierarchically represents the elements of a system and their relationships. To enhance the calculation time of reliability analysis, GPU-based accelerations are adopted to the reliability simulation.

• Tunnel and Underground Space
• /
• v.26 no.2
• /
• pp.87-99
• /
• 2016

We developed a Windows-based program for discrete event simulation of truck-loader haulage systems in an underground mine. The Daesung MDI limestone mine located in Samcheok City, Gangwon Province, Korea was selected as the study area to design the program. The developed program is composed of the graphic user interface (GUI) and simulation engine implemented by Visual Basic.NET 2012 and the GPSS/H simulation language, respectively. When a user sets up input parameters for the discrete event simulation through GUI, the program activates the simulation engine, and then simulation results are displayed on GUI. This paper describes the details of the program development as well as its applications to the study area to determine the optimal number of trucks dispatched at each loading point under different operating conditions.