• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1999.12a
• /
• pp.759-768
• /
• 1999

In this paper, we developed a simulation model of a car parts assembly line to improve the system performance such as worker's utilization balancing, productivity. This simulation model has been developed using QUEST, a true 3D discrete event simulation pakcage that is designed for modeling and analysis of manufacturing systems. We have suggested the results obtained to improve the system performances of an existing production line.

• IE interfaces
• /
• v.13 no.3
• /
• pp.521-527
• /
• 2000

A simulation model is developed for planning maintenance, and it can be used in the procedure of Reliability-Centered Maintenance. System availability and the total cost of system operation are predicted by discrete event simulation. These two kinds of output are useful to determine the interval of preventive maintenance. This paper describes simulation logic, and focuses on modeling the maintenance effects and the relations of maintenance works. An example is described for illustrating the simulation model.

• 제어로봇시스템학회:학술대회논문집
• /
• 1994.10a
• /
• pp.690-695
• /
• 1994

We propose a method to reduce the marking expression about the places when we model a discrete-event system using the Petri net. The net with reduced marking expression has the same dynamic behavior as the original model. The number of the places can be reduced by the number of the resource places of the Petri net, and consequently the net can be significantly simplified, still preserving the dynamic properties of the net.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.07a
• /
• pp.125-126
• /
• 2019

본 논문에서는 위험 관리 지역에 대한 시나리오 구축을 위한 분석 모델을 고려한다. 위험 요소에 대한 분석은 외부 상황에 대한 요소뿐만 아니라 내부 상황에 의한 요소도 제공된다. 대응 모델에 대한 반응은 요소분석을 통하여 도출될 수 있는 결과를 통하여 결정된다. 위험 관리 지역에 대한 시나리오 분석 모델을 위하여 DEVS 방안을 고려하며, 이에 대한 모델 설계를 고려한다.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.10
• /
• pp.75-80
• /
• 1999

Multimedia synchronization model for distributed, continuous or discrete media that was guaranteed high quality of service is requited in developing multimedia application software. In this paper we have specific object controller which is called dynamic key media that is changed by user event generation. This becomes media whose event occurrence and periods can't be predicted. For event occurrence not only audio but also text and image can be chosen for key media and performs its role. Object controller transfers information for next transition. The proposed model offers high qualify of services by permitting maximum allowed jitter and skew in playout time and verified its effectiveness by simulation.

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

The research trend of the simulation optimization has been focused on exploring continuous decision variables. Yet, the research in discrete decision variable area has not been fully studied. A new research trend for optimizing discrete decision variables ha just appeared recently. This study, therefore, deals with a discrete simulation method to get the system evaluation criteria required for designing a complex probabilistic discrete event system and to search the effective and reliable alternatives to satisfy the objective values of the given system through a on-line, single run with the short time period. Finding the alternative, we construct an algorithm which changes values of decision variables and a design alternative by using the stopping algorithm which ends the simulation in a steady state of system. To avoid the loss of data while analyzing the acquired design alternative in the steady state, we provide background for estimation of an auto-regressive model and mean and confidence interval for evaluating correctly the objective function obtained by small amount of output data through simulation with the short time period. In numerical experiment we applied the proposed algorithm to (s, S) inventory system problem with varying Δt value. In case of the (s, S) inventory system, we obtained good design alternative when Δt value is larger than 100.

• Journal of the Korea Society for Simulation
• /
• v.21 no.3
• /
• pp.1-9
• /
• 2012

This paper proposes automatic precision approach radar (PAR) control system using digital signal to increase the safety of aircraft, and discrete event systems specification (DEVS) methodology is utilized to verify the proposed system. Traditionally, a landing aircraft is controlled by the human voice of a final approach controller. However, the voice information can be missed during transmission, and pilots may also act improperly because of incorrectness of auditory signals. The proposed system enables the stable operation of the aircraft, regardless of the pilot's capability. Communicating DEVS (C-DEVS) is used to analyze and verify the behavior of the proposed system. A composed C-DEVS atomic model has overall composed discrete state sets of models, and the state sequence acquired through full state search is utilized to verify the safeness and the liveness of a system behavior. The C-DEVS model of the proposed system shows the same behavior with the traditional PAR control system.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.2
• /
• pp.111-124
• /
• 1996

The main purpose of this study is to develop an algorithm to solve the scheduling problems of FMS using Petri-net is well suited to model the dynamics of FMS and Petri-net is an ideal tool to formulate scheduling problems with routing flexibility and shared resources. By using the marking of Petri-net, We can model features of discrete even system, such as concurrency, asynchronous, conflict and non-determinism. The proposed algorithm in this paper can handle back-tracking using the marking of Petri-net. The results of the experiment show that marking is one of the best ways that describe exactly movement of the discrete event system. To show the effectiveness of the algorithm suggested here, we compare it with L1 algorithm using the Petri-net through the test on randomly generated test problems.

• Journal of Korea Multimedia Society
• /
• v.23 no.6
• /
• pp.772-783
• /
• 2020

Tsunami is a frightful natural disaster that causes severe damages worldwide. To minimize the damage, South Korea has built a tsunami warning system and designated evacuation sites in the east and south coasts. However, such countermeasures have not been verified whether they are adequate to minimize casualties since tsunami rarely occurs in South Korea. Recently, due to increasing earthquakes in the west coast of Japan, the likelihood of South Korea entering the damage area of tsunami rises; thus, in this paper, we develops a simulator based on Unity game engine to simulate the evacuation from tsunami. In order to increase the fidelity of the simulation results, the simulator applies a tsunami simulation model that analyzes coastal inundation based on cellular automata. In addition, the objects included in tsunami evacuation, such as humans, are modeled as an agent model that determines the situation and acts itself, based on the discrete-event system specification (DEVS), a mathematical formalism for describing a discrete event system. The tsunami simulation model and agent models are integrated and visualized in the simulator using Unity game engine. As an example of the use of this simulator, we verify the existing tsunami evacuation site in Gwangalli Beach in Busan and suggest the optimal alternative site minimizing casualties.

• KIISE Transactions on Computing Practices
• /
• v.21 no.7
• /
• pp.488-493
• /
• 2015

An AddSIM(Adaptive distributed and parallel Simulation environment for Interoperable and reusable Models) is an integrated engagement simulation environment with high-resolution weapon system models for estimation and analysis of their performance and effectiveness. AddSIM can simultaneously handle the continuous dynamical system models based on continuous time, and command, control(C2) and network system models based on a discrete event. To accommodate legacies based on DEVS(Discrete Event System Specification) modeling, DEVS legacies must first be converted into AddSIM models. This paper describes how to implement DEVS models on AddSIM. In this study a method of mapping from hierarchical DEVS models to AddSIM players was developed: The hierarchical DEVS model should be flattened into a one layered model and four DEVS functions of the model, external transition, internal transition, output and time advance, should be mapped into functions of the AddSIM player.