• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• 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.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.4 no.3
• /
• pp.211-227
• /
• 2012

To implement a combined discrete event and discrete time simulation such as submarine diving simulation in a distributed environment, e.g., in the High Level Architecture (HLA)/Run-Time Infrastructure (RTI), a HLA interface, which can easily connect combined models with the HLA/RTI, was developed in this study. To verify the function and performance of the HLA interface, it was applied to the submarine dive scenario in a distributed environment, and the distributed simulation shows the same results as the stand-alone simulation. Finally, by adding a visualization model to the simulation and by editing this model, we can confirm that the HLA interface can provide user-friendly functions such as adding new model and editing a model.

• 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.

• Journal of the Korea Society for Simulation
• /
• v.13 no.4
• /
• pp.1-16
• /
• 2004

The modelling and simulation of the activation process for the heart system is meaningful to understand special excitatory and conductive system in the heart and to study cardiac functions because the heart activation conducts through this system. This thesis proposes two dimensional cellular automaton(CA) model for the activation process of the myocardium and conducted simulation by means of discrete time and discrete event algorithm. In the model, cells are classified into anatomically similar characteristic parts of the heart and each of cells has a set of cells with preassigned properties. Each cell in this model has state variables to represent the state of the cell and has some state transition rules to change values of state variables executed by state transition function. The state transition rule is simple as follows. First, the myocardium cell at rest stay in passive state. Second, if any one of neighborhood cell in the myocardium cell is active state then the state is change from passive to active state. Third, if cell's state is an active then automatically go to the refractory state after activation phase. Four, if cell's state is refractory then automatically go to the passive state after refractory phase. These state transition is processed repeatedly in all cells through the termination of simulation.

• The Journal of the Korea Contents Association
• /
• v.6 no.11
• /
• pp.258-265
• /
• 2006

DEVS formalism is advantageous in modeling large-scale complex systems and it reveals good readability, because it can specify discrete event systems in a hierarchical manner. In contrast, it has drawback in that the simulation speed of DEVS models is comparably slow since it requires frequent message passing between the component models in run-time. This paper proposes a method, called model composition, for simulation speedup of DEVS models. The method is viewed as a compiled simulation technique which eliminates run-time interpretation of communication paths between component models. Experimental results show that the simulation speed of transformed DEVS models is about 18 times faster than original ones.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• Journal of Korean Institute of Industrial Engineers
• /
• v.41 no.2
• /
• pp.173-184
• /
• 2015

The application of radio frequency identification (RFID) sensor-tags in cold chain systems has recently received a great deal of attention. To design cold chain systems with RFID sensor-tags that minimize the initial investment and operational cost while fulfilling the functional and operational requirements, simulation study is one of the preferable and effective approaches. To simulate the possible design configurations, the individual components in a cold chain system can be extracted and implemented as a DEVS (Discrete Event System Specification) model. Based on the proposed DEVS model, a new cold chain simulation model can be efficiently created by simply connecting each DEVS model around the RFID sensor-tag of interest in sequence according to the structure of the cold chain system, and then executed (or simulated) on Java programming environments by the DEVSJAVA simulator. As a result of simulation, some key performance indexes such as reliability, accuracy or timeliness can be calculated and used to choose better components or to compare different system configurations of cold chain systems.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.9 no.4
• /
• pp.446-459
• /
• 2017

Naval ships are assigned many and varied missions. Their performance is critical for mission success, and depends on the specifications of the components. This is why performance analyses of naval ships are required at the initial design stage. Since the design and construction of naval ships take a very long time and incurs a huge cost, Modeling and Simulation (M & S) is an effective method for performance analyses. Thus in this study, a simulation core is proposed to analyze the performance of naval ships considering their specifications. This simulation core can perform the engineering level of simulations, considering the mathematical models for naval ships, such as maneuvering equations and passive sonar equations. Also, the simulation models of the simulation core follow Discrete EVent system Specification (DEVS) and Discrete Time System Specification (DTSS) formalisms, so that simulations can progress over discrete events and discrete times. In addition, applying DEVS and DTSS formalisms makes the structure of simulation models flexible and reusable. To verify the applicability of this simulation core, such a simulation core was applied to simulations for the performance analyses of a submarine in an Anti-SUrface Warfare (ASUW) mission. These simulations were composed of two scenarios. The first scenario of submarine diving carried out maneuvering performance analysis by analyzing the pitch angle variation and depth variation of the submarine over time. The second scenario of submarine detection carried out detection performance analysis by analyzing how well the sonar of the submarine resolves adjacent targets. The results of these simulations ensure that the simulation core of this study could be applied to the performance analyses of naval ships considering their specifications.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.49-59
• /
• 2018

The simulation-based weapon system effectiveness analysis is to support the decision making in the acquisition process of the defense domain. The effectiveness of the weapon system is a complexly influenced indicator from various factors such as environment, doctrine and so on. And the measurement of effectiveness can be defined differently in compliance with major issues in the weapon system. Because of this, the weapon system effectiveness analysis requires the comparative experiment of various alternatives based on the underlying assumption. This paper presents the efficient approach to reconfigure the simulation using the reflection technique. The proposed method contains the recoupling and resetting the simulation entity using DEVS(Discrete EVent System specification) formalism-based dynamic plug-in method. With the proposed method, this paper designs the effectiveness analysis environment that can efficiently handle the various alternatives of the weapon system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1994.10a
• /
• pp.7-8
• /
• 1994

최근 들어 원자재, 재공품 또는 완제품을 신속하고 정확하게 공급/배분하기 위해 저장과 인출을 담당하는 Material Handling System을 이용하여 작업자의 개입요소를 줄이며, 제고관리 Computer를 이용하여 입고/출고 명령을 유효적절하게 처리하는 ASRS(Atomated Storage and Retreival System : 자동창고 시스템)가 널리 공급되고 있다. 중앙은행의 현금창고, 병원의 약품창고, 식품/화장품 회사의 배송창고, 군수물자의 군납창고에 이르기까지 물품의 저장 또는 공급의 필용성을 갖는 곳에서는 어디든지 찾아볼 수 있는 ASRS는 가깝게는 관공소나 대형빌딩의 주차장에도 이의 개념이 도입되어 사용됨을 볼 수 있다. 최근의 인금인상, 구인난등의 이유로 ASRS설치는 계속 증가할 추세에 있으나 자동 창고 시스템을 설치하기 위해서는 막대한 초기 투자가 필요하며 시스템의 설계 및 설치후 운영에 대한 연구가 반드시 필요하다. ASRS의 운영 Rule 검증, 수행능력 분석등의 목적을 갖는 연구에는 여러 접근방법이 있을 수 있으나 구성 설비와 운영 Rule의 복잡한 관계로 컴퓨터 시뮬레이션의 거의 유일한 문제해결 방법이다. ASRS의 Modeling에 관한 기존의 연구로는 수리모델 수립. 이산사건 시스템의 관점에서 event-graphy, petri-net을 이용한 modeling이 있으며 ASRS에 대한 전용 Simulator 개발등이 진행되었다. 본 연구의 대상 시스템은 2개의 Rack과 하나의 Stacker Crane 으로 구성된 Aisle과 입출고의 물류를 처리하는 순환 RGVS(Rail Guided Vehicle System), 입/출고장을 구성하는 Conveyor Net등으로 이루어진 제조-물류시스템의 일반적인 ASRS이다. 또 이 ASRS의 입/출고 방식은 전수 입/출고만을 포함하며 Blocking 방지를 위한 Capaicty 예약, 다중설비 선택등의 문제등을 고려하고 있다. 본 연구의 접근방법으로는 ASRS의 개념적인 Reference Model을 수립하고 이 Reference Model에 대한 Formal Model로 DEVS(Discrete Event System Specification)을 이용하여 시스템을 Modeling하였다. 이의 Computer Simulation을 위하여 DEVS형식론 환경에서의 Simulation Language인 DEVSim ++ⓒ를 이용하여 시스템을 구현하였다.