• 한국항만학회지
• /
• 제14권1호
• /
• pp.47-55
• /
• 2000

In order to cope with the changes of container terminal situation in these days, many simulation studies for container terminal have been accomplished. But previous simulation studies using simulation language have limitations in model representation and difficulties in modeling of large scaled container terminal system. To make these problems better, this paper addresses an object-oriented simulation of container terminal system using a DEVS formalism. The DEVS(Discrete Event System Specification) formalism, developed by Zeigler, supports specification of discrete event system in a hierarchical and modular manner. The formalism provides a mathematical basis for studying discrete event systems with better understood and sounder semantics. In a step of system modeling, a DEVS formalism aims at the exact system modeling that has a basis of semantics and utilizing the object-oriented manner can flexibly cope with the changes of system environment. In this study a model is developed and verified through the simulation of some alternatives.

• 한국CDE학회논문집
• /
• 제19권1호
• /
• pp.29-40
• /
• 2014

Conceptual Modeling is the process of abstracting a model from a real or proposed system. It is probably the most important aspect of a simulation study. Relate works show that the elementary developers devoted little time to understanding how the systems actually worked, namely they didn't build appropriate conceptual model. Thus, the result of simulation is inconsistent because it depends on developer's competence. Although many researchers suggested various techniques enabling developer to build conceptual model, there were several limitations. In this study, to overcome the limitations of existing techniques, we proposed COMBINE-DES (COnceptual Model BuildINg framEwork using ontology for Discrete Event Simulation). The COM-BINE-DES supports expediting the conceptual modeling with Solution ontology generated by Domain ontology and Simulation ontology. Moreover, it provides consistent simulation result regardless of repeated modeling.

• 한국시뮬레이션학회논문지
• /
• 제13권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.

• 대한조선학회논문집
• /
• 제45권6호
• /
• pp.656-668
• /
• 2008

When it comes to design and acquire underwater vehicles such as a submarine and a torpedo according to the process of SBA(Simulation Based Acquisition)/SBD(Simulation Based Design), it is necessary to predict the performance of interest precisely and to perform the test over and over again using the M&S(Modeling and Simulation) of the engineering and the engagement level. In this paper, we research the DEVS(Discrete Event System Specification) and DTSS(Discrete Time System Specification) formalism based standard model architecture for the underwater vehicle which can support both the heterogeneous level of the M&S(Engineering/Engagement) and the different system of the M&S(Discrete Event System and Discrete Time System). To validate this standard modeling architecture, we apply it to the submarine normal diving simulation.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제49권1호
• /
• pp.33-40
• /
• 2000

In this paper, an integrated method for the path planning and motion control of wheeled mobile robots using a hybrid system model and control is presented. The hybrid model including the continuous dynamics and discrete dynamics with the continuous and discrete state vector is derived for a two wheel driven mobile robot. The architecture of the hybrid control system for real time path planning and following is designed which has the 3-layered hierarchical structure : the discrete event system using the digital automata as the higher process, the continuous state system for the wheel velocity controls as the lower process, and the interface system as the interaction process between the continuous system as the low level and the discrete event system as the high level. The reference motion commands for autonomous navigation are generated by the abstracted motion in the discrete event system. The motion control tasks including the feasible path planning and autonomous motion control with various initial conditions are investigated as the applications by the simulation studies.

• 대한산업공학회지
• /
• 제32권1호
• /
• pp.9-17
• /
• 2006

This paper deals with a discrete simulation optimization method for designing a complex probabilistic discrete event simulation. The developed algorithm uses the configuration algorithm that can change decision variables and the stopping algorithm that can end simulation in order to satisfy the given objective value during single run. It tries to estimate an auto-regressive model for evaluating correctly the objective function obtained by a small amount of output data. We apply the proposed algorithm to M/M/s model, (s, S) inventory model, and known-function problem. The proposed algorithm can't always guarantee the optimal solution but the method gives an approximate feasible solution in a relatively short time period. We, therefore, show the proposed algorithm can be used as an initial feasible solution of existing optimization methods that need multiple simulation run to search an optimal solution.

• Industrial Engineering and Management Systems
• /
• 제8권3호
• /
• pp.155-161
• /
• 2009

We focus on discrete event systems with a structure of parallel processing, synchronization, and no-concurrency. We use max-plus algebra, which is an effective approach for controller design for this type of system, for modeling and formulation. Since a typical feature of this type of system is that the initial schedule is frequently changed due to unpredictable disturbances, we use a simple model and numerical examples to examine the possibility of applying the concepts of the feeding buffer and the project buffer of critical chain project management (CCPM) on max-plus linear discrete event systems in order to control the occurrence of an undesirable state change. The application of a CCPM-based framework on a max-plus linear discrete event system was proven to be effective.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.212-217
• /
• 1992

In this paper, a two ports machine(TPM) model for discrete event dynamic systems(DEDS) is proposed. The proposed model is a finite state machine which has two inputs and two outputs. Inputs and outputs have two components, events and informations. TPM is different from other state machine models, since TPM has symmetric input and output. This symmetry enables the block diagram representation of the DEDS with TPM blocks, summing points, multiplying points, branch points, and connections. The graphical representation of DEDS is analogous to that of control system theory. TPM has a matrix representation of its transition and information map. This matrix representation simplifies the analysis of the DEDS.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.405-424
• /
• 2001

Many simulation models have been built to facilitate simulation technique in designing, evaluating, and optimizing supply chains. Simulation is preferred to deal with stochastic natures existing in the supply chain. Moreover simulation has a capability to find local optimum value within each component through entire supply chain. Most of supply chain simulation models have been developed on the basis of discrete-event simulation. Since supply chain systems are neither completely discrete nor continuous, the need of constructing a model with aspects of both discrete-event and continuous simulation is provoked, resulting in a combined discrete-continuous simulation. In this paper, an architecture of combined modeling for supply chain simulation is proposed, which includes the equation of continuous portion in supply chain and how these equations are used in the supply chain simulation models. A simple example of supply chain model dealing with the strategic level of supply chain presented in this paper shows the possibility and the prospect of this approach.

• 한국시뮬레이션학회논문지
• /
• 제10권2호
• /
• pp.75-89
• /
• 2001

Many simulation models have been built to facilitate simulation technique in designing, evaluating, and optimizing supply chains. Simulation is preferred to deal with stochastic natures existing in the supply chain. Moreover simulation has a capability to find local optimum value within each component through entire supply chain. Most of supply chain simulation models have been developed on the basis of discrete-event simulation. Since supply chain systems are neither completely discrete nor continuous, the need of constructing a model with aspects of both discrete-event and continuous simulation is provoked, resulting in a combined discrete-continuous simulation. In this paper, an architecture of combined modeling for supply chain simulation is proposed, which includes the equation of continuous portion in supply chain and how these equations are used in the supply chain simulation models. A simple example of supply chain model dealing with the strategic level of supply chain presented in this paper shows the possibility and the prospect of this approach.