• 터널과지하공간
• /
• 제26권2호
• /
• pp.87-99
• /
• 2016

본 연구에서는 지하광산 트럭-로더 운반시스템의 이산 사건 시뮬레이션을 수행할 수 있는 Windows용 프로그램을 개발하였다. 강원도 삼척시에 위치한 대성엠디아이 석회석 광산을 연구지역으로 선정하여 프로그램을 설계하였다. 개발된 프로그램은 Visual Basic.NET 2012로 구현된 그래픽 사용자 인터페이스와 GPSS/H 시뮬레이션 언어로 구현된 시뮬레이션 엔진으로 구성되어 있다. 사용자가 그래픽 사용자 인터페이스를 통해 시뮬레이션을 위한 입력 인자 값들을 설정하면, 프로그램은 시뮬레이션 엔진을 가동시키며, 시뮬레이션이 완료되면 그 결과는 다시 그래픽 사용자 인터페이스를 통해 화면에 출력된다. 본 논문에서는 프로그램 개발과 관련한 세부적인 사항과 함께 서로 다른 운영조건에서 각각의 적재 지점에 배차해야하는 최적의 트럭의 수를 결정하기 위해 프로그램을 연구지역에 적용한 결과를 제시한다.

• 한국시뮬레이션학회논문지
• /
• 제21권2호
• /
• pp.19-30
• /
• 2012

최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

• 국제학술발표논문집
• /
• The 3th International Conference on Construction Engineering and Project Management
• /
• pp.400-408
• /
• 2009

Simulation applications for analyzing the productivity of construction operations at operation level and project schedules at project level are crucial methods in project management. The application at two different levels should be very tightly linked to each other in practice. However, appropriate integration at the levels is not achieved in that existing systems do not support to integrate operation models into a schedule model. This paper presents a new approach named to Discrete Event Simulation-Nesting modeling approach, which supports not only productivity analysis at operation level but also schedule management at a project level. The system developed by the authors allows creating operation models at the operation level, maintaining them in operation model library, executing sensitivity analysis to find the behaviors of the operation models when different combination of resources are used as existing DES systems do. On top of the conventional functions, the new system facilitates to find the optimum solution of resource combinations which satisfy the user's interest by computing the hourly productivity and the hourly cost of the operation. By drag-and-dropping an operation model kept in the operation model library, the operation models are integrated into an activity of the schedule model. When a complete schedule model is established by nesting operation models into the schedule model, stochastic simulation based scheduling is executed. A case study is presented to demonstrate the new simulation system and verify the validity of the system.

• 제어로봇시스템학회논문지
• /
• 제12권7호
• /
• pp.719-727
• /
• 2006

This paper proposes a new method to obtain a maximum allowable delay bound for a scheduling of networked discrete control systems and event-based scheduling method. The proposed method is formulated in terms of linear matrix inequalities and can give a much less conservative delay bound than the existing methods. A network scheduling method is presented based on the delay obtained through the proposed method, and it can adjust the sampling period to allocate same utilization to each control loop. The presented method can handle three types of data (sporadic, emergency data, periodic data and non real-time message) and guarantees real-time transmission of periodic and sporadic emergency data using modified EDF scheduling method.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.474-477
• /
• 2002

Safety is very important to operate nuclear power plant. To guarantee the safety, nuclear power plant should be run without trouble. This paper presents the application of a failure diagnosis approach based on discrete event system theory to the pressurizer pressure control system for Pressurized Water Reactor. Also, this paper shows a scheme of failure diagnosis by distributed diagnoser.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1993년도 추계학술대회발표논문집; 서강대학교, 서울; 25 Sep. 1993
• /
• pp.118-118
• /
• 1993

We consider a discrete event dynamic system called periodic job shop, where an identical mixture of items called minimal part set(MPS) is repetitively produced in the same processing order and the primary performance measure is the cycle time. The precedence relationships among events(starts of operations) are represented by a directed graph with rocurront otructure. When each operation starts as soon as all its preceding operations complete(called earliest starting), the occurrences of events are modeled in a linear system using a special algebra called minimax algebra. By investigating the eigenvalues and the eigenvectors, we develop conditions on the directed graph for which a stable steady state or a finite eigenvector exists. We demonstrate that each finite eigenvector, characterized as a finite linear combination of a class of eigenvalue, is the minimum among all the feasible schedules and an identical schedule pattern repeats every MPS. We develop an efficient algorithm to find a schedule among such schedules that minimizes a secondary performance measure related to work-in-process inventory. As a by-product of the linear system approach, we also propose a way of characterizing stable steady states of a class of discrete event dynamic systems.

• 한국멀티미디어학회논문지
• /
• 제19권12호
• /
• pp.2000-2013
• /
• 2016

The purpose of this study is to validate the validity of the methodology for analyzing the space with complex characteristics and to evaluate the existing spatial structure analysis theory. Seven example models are designed and analyzed data of spatial syntax analysis and visibility graph analysis. And analyzed the agent-based model using two analytical methods: the adjacent space and the whole spatial connection. The results of this study are as follows. Based on the analysis of the agent - based model for perfectly freewalking, the validity of the method is verified in terms of predictive ability and effectiveness. Agent-based models can be simulated considering various variables, so realistic predictions will be possible and a new biography of complex systems can be met.

• 한국시뮬레이션학회논문지
• /
• 제5권2호
• /
• pp.41-58
• /
• 1996

The Discrete Event Systems Specification(DEVS) formalism specifies a discrete event system in a hierarchical, modular form. This paper presents a distributed simulation environment D-DEVSim++ for models specified by the DEVS formalism. D-DEVSim++ employs a new simulation scheme which is a hybrid algorithm of the hierarchical simulation and Time Warp mechanisms. The scheme can utilize both the hierarchical scheduling parallelism and the inherent parallelism of DEVS models. This hierarchical scheduling parallelism is investigated through analysis. Performance of the proposed methodology is evaluated through benchmark simulation on a 5-dimensional hypercube parallel machine. The performance results indicate that the methodology can achieve significant speedup. Also, it is shown that the analyzed speedup for the hierarchical scheduling time corresponds the experiment.

• Journal of Information Processing Systems
• /
• 제17권1호
• /
• pp.28-36
• /
• 2021

This paper proposes two novel methods to model and simulate a mobile Internet of Things (IoT) system using the discrete event system specification (DEVS) formalism. In traditional simulation methods, it is advantageous to partition the simulation area hierarchically to reduce simulation time; however, in this case, the structure of the model may change as the IoT nodes to be modeled move. The proposed methods reduce the simulation time while maintaining the model structure, even when the IoT nodes move. To evaluate the performance of the proposed methods, a prototype mobile IoT system was modeled and simulated. The simulation results show that the proposed methods achieve good performance, even if the number of IoT nodes or the movement of IoT nodes increases.