• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1999년도 추계공동학술대회 논문집:21세기지식경영과 정보기술
• /
• 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.

• 산업공학
• /
• 제13권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년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
• /
• 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.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.125-126
• /
• 2019

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

• 전자공학회논문지C
• /
• 제36C권10호
• /
• pp.75-80
• /
• 1999

고품질의 서비스를 보장할 수 있는 멀티미디어 응용 소프트웨어를 효과적으로 개발하기 위해서는 연속 미디어의 동기화뿐만 아니라 비연속 미디어를 포함하는 동기화를 표현할 수 있는 멀티미디어 동기화 모델이 요구된다. 본 논문에서는 사용자의 이벤트 발생에 의해서 변화되는 동적 키 매체라는 특별한 객체 제어기를 갖게 된다. 이러한 이벤트는 발생시간과 주기를 예측할 수 없는 미디어가 된다. 이벤트 발생은 오디오뿐만 아니라 텍스트, 이미지도 키 매체로 선택하여 수행하는 역할을 한다 객체 제어기는 다음 전이에 정보를 전달하는 역할을 한다. 제안한 모델은 최대 허용 지터값과 최대 허용 스큐값을 재생시간에 포함하여 재생률을 향상시켰고, 시뮬레이션을 통해 제시한 방법의 타당성을 검증하였다.

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

• 한국시뮬레이션학회논문지
• /
• 제21권3호
• /
• pp.1-9
• /
• 2012

본 논문에서는 공항 정밀접근 항공기의 안전성을 증대시키기 위한 방법으로 S/W 패킷모뎀을 이용한 PAR 관제 자동화 방안을 제안하고, DEVS 형식론을 이용하여 제안하는 시스템의 기능을 검증하였다. 기존의 PAR 관제는 음성으로 항공기를 통제함으로써 조종사의 정보 획득 능력이 떨어질 수 있다. 이를 해결하기 위하여 디지털 신호에 의한 자동 관제 시스템을 제안하고, 공항의 PAR이 추적하고 있는 항공기의 비행경로, 강하각, 거리를 조종사에게 실시간으로 전송해 주고 일반화함으로서 관제사의 숙련도와 관제 특성에 기인하는 요소를 배제할 수 있다. 제안된 시스템의 동작을 검증하기 위하여 확장된 DEVS 형식론인 C-DEVS 형식론을 사용하고, 하나의 모델로 합성된 원자 모델을 통해 시스템의 전체 상태 시퀀스를 검색하여 시스템의 안전성(Safeness)과 필연성(Liveness)을 검증할 수 있다. 제안하는 시스템의 C-DEVS 모델을 기존의 음성 관제 시스템과 비교하여 두 시스템이 동일한 상태 시퀀스를 가짐을 확인하였으며, 모든 상태를 검증함으로써 실제 상황에 적용할 수 있을 것으로 생각된다.

• 한국경영과학회지
• /
• 제21권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.

• 한국멀티미디어학회논문지
• /
• 제23권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.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권7호
• /
• pp.488-493
• /
• 2015

컴포넌트기반 체계모의환경(AddSIM)은 고해상도 공학급 무기체계를 사용하여 체계의 성능 및 효과도를 예측 분석하기 위해 개발된 무기체계 통합 모의환경이다. AddSIM을 이용한 고해상도 교전 모의 분석을 위해서는 연속시스템으로 표현되는 무기체계 공학급 모델은 물론, 지휘 통제, 네트워크 제어 모델과 같이 DEVS 형식론으로 기술된 이산사건시스템 모델을 복합적으로 사용해야 한다. 본 논문에서는 DEVS 모델과 AddSIM 플레이어 모델의 함수 간 관계 매핑(mapping)을 통해 AddSIM에서 실행 가능한 DEVS 모델 변환방법을 제시한다. 제안한 방법은 우선, 계층적으로 구성된 DEVS 모델을 단일 계층으로 변환하고, DEVS의 네 가지 함수(외부천이, 내부천이, 출력, 시간진행함수)를 AddSIM 플레이어 함수로의 변환을 주요 내용으로 한다.