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

Proposed in the paper is an agent based and object-oriented methodology to create a virtual logistics support system model. The proposed virtual logistics support system model consists of three types of objects: the logistics force agent model(static model), the military supplies transport manager model(function model), the military supplies state manager model(dynamic model). A logistic force agent model consists of two agent: main function agent and function agent. To improve the reusability and composability of a logistics force agent model, the function agent is designed to adapt to different logistics force agent configuration. A military supplies transport manager is agent that get information about supply route, make decisions based on decision variables, which are maintained by the military supplies state manager, and transport military supplies. A military supplies state manager is requested military supplies from logistics force agent, provide decision variables such as the capacity, order of priority. For the implementation of the proposed virtual logistics force agent model, this paper employs Discrete Event Systems Specification(DEVS) formalism.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.236-246
• /
• 2003

This paper is implemented a control algorithm in order to be stable and minimized to entire train traffic system at delayed case. Signal ing system is described wi th algebraic equations given for train headway, Discrete-event simulation principles are reviewed and a demonstration block signaling model using the technique is implemented. Train congestion at station entrance for short headway operation is demonstrated and the propagation of delays along a platform of trains from any imposed delay to the leading train is also shown. A rail way signaling system is by nature a distributed operation with event triggered at discrete intervals. Although the train kinematic variables of position, velocity, and acceleration are continually changing, the changes are triggered when the trains pass over section boundaries and arrive at signals and route switches. This paper deals with linear-mode1ing, stability and optimal control for the traffic on such metro line of the model is reconstructed in order to adapt the circuits. This paper propose optimal control laws wi th state feedback ensuring the stability of the modeled system for circuits. Simulation results show the benefit to be expected from an efficient traffic control. The main results are summarized as follows: 1. In this paper we develop a linear model describing the traffic for both loop lines, two state space equations have been analyzed. The first one is adapted to the situation where a complete nominal time schedule is available while second one is adapted when only the nominal time interval between trains is known, in both cases we show the unstability of the traffic when the proceeding train is delayed following properties, - They are easily implemented at law cost on existing lines. - They ensure the exponetial stability of loop system. 2. These control laws have been tested on a traffic simulation software taking into the non-linearites and the physical constraints on a metro line. By means of simulation, the efficiency of the proposed optimal control laws are shown.

• Journal of the Korea Society for Simulation
• /
• v.8 no.2
• /
• pp.57-72
• /
• 1999

With the rapidly increasing complexity of decision-marking or system development in the fields of industry, management, etc., modelling techniques using simulation has become more highlighted. Particularly, the advent of parallel computer systems not only has opened a new horizon of parallel simulation, but also has greatly contributed to the speed-up of the execution of simulation. The implementation of parallel simulation, however, is not a easy job for those who accustomed to the existing computer systems. And it is also necessarily confronted with the problem of synchronization conflict in the process. Thus, how to allow a wider community of users to gain access to parallel simulation while solving synchronization conflicts has become an important issue in simulation study. As a method to solve these problems, this paper is primarily concerned with the implementation of GPSS which is a generally used simulation language for discrete event simulation, onto a parallel computer using C-LINDA. For that, this paper, is to suggest a model and algorithm and to experiment it using a case.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 1999.10a
• /
• pp.73-81
• /
• 1999

Inchon Port is the second largest import-export port of Korea, and has the point ant issue such as the excessive logistics cost because of the limits of handing capacity and the chronic demurrage. There is few research activities on the analysis and improvement of the whole port operation, because Inchon Port not only has the dual dock system and various facilities but also handles a various kind of cargo. The purpose of this paper is to develop the simulation program as a long-term strategic support tool, considering the dual dock system and the TOC(terminal operation company) system executed from March, 1997 in Inchon Port. The basic input parameters such as arrival intervals, cargo tons, service rates are analyzed and the probability density function for this parameters are estimated. The main mechanism of simulation model is the discrete event-driven simulation and the next-event time advancing. The program is executed based on the knowledge base and database, and is constructed using VISUAL BASIC and ACCESS database. From the simulation model, it is possible to estimate the demurrage status through analyzing scenarios such as the variation of cargo ton and cargo handing level, the increase of service rate, and so on, and to establish the long-term port strategic plan.

• International Journal of CAD/CAM
• /
• v.2 no.1
• /
• pp.39-44
• /
• 2002

This paper presents a structure and architecture of an integrated simulation method (ISM) to meet the requirements of virtual factory engineering (VFE). Combining CAD, VR and discrete event simulation techniques, the ISM provides static and dynamic simulation functions for implementation of VFE throughout the lifecycle. The static simulation can be used to evaluate the factory layout. The dynamic simulation enables us to evaluate ergonomics of factory, process performance of production system, feasibility of production plan and operation of factory, and to train operators safely, which cover the whole VFE lifecycle. The principles of the key techniques of VFE, including virtual factory data management system (VFDMS), static and dynamic simulation, are also discussed. To demonstrate and validate the ISM, a case study has been carried out in an assembly factory.

• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.9-24
• /
• 1999

We describe a heterogeneous simulation framework, so called DEVS-HLA, in which conventional simulation models and the DEVS (Discrete Event System Specification) models are interoperable. DEVS-HLA conceptually consists of three layers: model layer, DEVS BUS layer, and HLA (High Level Architecture) layer. The model layer has a collection of heterogeneous simulation models, such as DEVS, CSIM, SLAM, and so on, to represent various aspects of a complex system. The DEVS BUS layer provides a virtual software bus, DEVS BUS, so that such simulation models can communicate with each other. Finally, the HLA layer is employed as a communication infrastructure, which supports several good features for distributed simulation. The DEVS BUS has been implemented on the HLA/RTI (Run-Time Infrastructure) and a simple example of a flexible manufacturing system has been developed to validate the DEVS-HLA.

• Journal of the Korea Society for Simulation
• /
• v.7 no.2
• /
• pp.137-152
• /
• 1998

One of the components that constitute the simulation models is the state variables whose values are determined by the time related simulation process. Embedding rule-based expert systems into the simulation models should provide a systematic way of handling these time-dependent variables without distracting the essential problem solving capabilities of the expert systems which are well suited for expressing the decision making function of complex cases. The expert system, however, is inefficient in dealing with the time elapsing characteristics of target system compare to the simulation models. To solve the problem, this paper provides an interruptible inference engine whose inferencing process can be interrupted when the variables' value, which are used as the parameters of the rules, are not yet determined due to the time dependent nature of the state variables. The process is resumed when the variables are ready. The elapse of time is calculated by time-advance function of the simulation model to which the expert system has been embedded. The example modeling shown exploits the embedded interruptible inferencing capability for the controlling and monitoring of metal grating process.

• Korean Journal of Construction Engineering and Management
• /
• v.6 no.1 s.23
• /
• pp.73-79
• /
• 2005

This paper, introduces a Stochastic Project Scheduling Simulation system (SPSS III) developed by the author to predict a project completion probability in a certain time. The system integrates deterministic CPM, probabilistic PERT, and stochastic Discrete Event Simulation (DES) scheduling methods into one system. It implements automated statistical analysis methods for computing the minimum number of simulation runs, the significance of the difference between independent simulations, and the confidence interval for the mean project duration as well as sensitivity analysis method in What-if analyzer component. The SPSS 111 gives the several benefits to researchers in that it (1) complements PERT and Monte Carlo simulation by using stochastic activity durations via a web based JAVA simulation over the Internet, (2) provides a way to model a project network having different probability distribution functions, (3) implements statistical analyses method which enable to produce a reliable prediction of the probability of completing a project in a specified time, and (4) allows researchers to compare the outcome of CPM, PERT and DES under different variability or skewness in the activity duration data.

• Journal of the Korea Society for Simulation
• /
• v.8 no.1
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 1999.10a
• /
• pp.35-42
• /
• 1999

In order to cope with the changes of container terminal situation in these days, many simulation studies for container terminal have been accomplished. But established simulation studies using simulation language have restrictions in model representation and difficulties in modeling of large scaled container terminal system. To make these problems better, in this paper addresses object-oriented simulation of container terminal system using a DEVS formalism. In a step of system modeling, using a DEVS formalism aim 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 was developed and verified through the simulation of some alternatives.