• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.1359-1363
• /
• 2009

The object of this research is to develop a simulation system for earthmoving operations in consideration of the impact of congestion in-between equipment and existing traffic flow around the site. The congestion in-between equipment and traffic flow affect work productivity. The conventional discrete event simulation, however, has limitations in simulating the flow of construction equipment. To consider the impact of congestion in-between equipment and existing traffic flow, in this paper, a multi-agent based simulation model that can realize characteristics of truck behavior more accurately to consider the impact of congestion was proposed. In this simulation model, multiple agents can identify environmental changes and adapt themselves to the new environment. This modeling approach is a better choice for this problem since it describes behavioral characteristics of each agent by sensing changes in dynamic surroundings. This study suggests a detailed system design of the multi-agent based simulation system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.5-5
• /
• 1992

The DEVS(discrete event system specification) formalism describes a discrete event system in a hierarchical, modular form. DEVSIM++ is C++ based general purpose DEVS abstract simulator which can simulate systems to be modeled by the DEVS formalism in a sequential environment. We implement P-DEVSIM++ which is a parallel version of DEVSIM++. In P-DEVSIM++, the external and internal event of models can be processed in parallel. To process in parallel, we introduce a hierarchical distributed simulation technique and some optimistic distributed simulation techniques. But in our algorithm, the rollback of a model is localized itself in contrast to the Time Warp approach. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2003.11a
• /
• pp.185-192
• /
• 2003

Digital Manufacturing-based production could be very effective in shipbuilding in order to save costs and time, to increase safety for workers, and to prevent bottleneck processes in advance. Digital shipbuilding system, a simulation-based production tool, is being developed to achieve such aspects in Korea. To simulate material flow in a subassembly line at a shipyard, the product, process and resources was modeled for the subassembly process which consisted of several sub-processes such as tack welding, piece alignment, tack welding, and robot welding processes. The analysis and modeling were carried out by using the UML(Unified Modeling Language), an object-oriented modeling method as well as IDEF(Integration DEFinition), a functional modeling tool. Initially, the characteristics of the shop resources were analyzed using the shipyard data, and the layout of the subassembly line was designed with the resources. The production process modeling of the subassembly lines was performed using the discrete event simulation method. Using the constructed resource and process model, the productivity and efficiency of the line were investigated. The number of workers and the variations In the resource performance such as that of a new welding robot were examined to simulate the changes in productivity. The bottleneck process floated according to the performance of the new resources. The proposed model was viewed three-dimensionally in a digital environment so that interferences among objects and space allocations for the resources could be easily investigated

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.24-29
• /
• 1999

Proposed in this paper is a modeling and simulation methodology for a virtual manufacturing environment. Based on DEVS formalism[Zeigler 76], the proposed model, so called GKDEVS, is designed to descript the geometrical knematic structure as well as event-driven and continuous state dynamics. In terms of abstract simulation algorithm[Zeigler 84], the simulation method of GKDEVS is proposed for combined discrete-continuous simulation. Using the GKDEVS, and FMS model consisting of a turing machine, a 3-axis machine and a RGV-mounted robot is constructed and simulated.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.78-85
• /
• 2007

A gun is still one of the major weapons of a combat ship. To assess the ship's fire control capability which is influenced by tracking system, fire control algorithm, gun, the ship itself, target behavior, environment and engagement situation, simulation system for gun-oriented engagement for surface ship is needed. This paper proposes the process for designing and implementing a gun-oriented engagement simulation system using DEVS(Discrete Event Simulation Specification), which is a formalism based on the set theory. It consists of the following activities : 1) analyzing the characteristics of a gun-oriented engagement, 2) constructing the deterministic model of the combat ship of study with DEVS, 3) modeling properties of each entity showing as stochastic errors. With this process, the gun-oriented engagement simulation system is developed and applied for the combat system under development.

• Journal of the Korea Society for Simulation
• /
• v.18 no.4
• /
• pp.127-136
• /
• 2009

Modeling and Simulation, especially in mobile ad hoc network(MANET), are the most effective way to analyze performance or optimize system parameters without establishing real network environment. Focusing mainly on overall network behaviors in MANET concerns dynamics of network transport operations, which can efficiently be characterized with event based system states rather than execution details of protocols. We thus consider the network as a discrete event system to analyze dynamics of network transport performance. Zeigler's set-theoretic DEVS(Discrete Event Systems Specification) formalism can support specification of a discrete event system in hierarchical, modular manner. The DEVSim++ simulation environment can not only provide a rigorous modeling methodology based on the DEVS formalism but also support modelers to develop discrete event models using the hierarchical composition methodology in object-orientation. This environment however hardly supports to specify connection paths of network nodes, which are continuously altered due to mobility of nodes. This paper proposes a DEVS-based modeling and simulation methodology of enabling node mobility, and develops DEVS models for the mobile ad hoc network. We also simulate developed models with the DEVSim++ engine to verify the proposal.

• Journal of the Korea Society for Simulation
• /
• v.10 no.3
• /
• pp.15-30
• /
• 2001

Hybrid simulation may employ different types of simulation based on which models in different system types are developed. The simulation requires simulation time synchronization and data exchange between such simulators, which is called simulators interoperation. This paper develops such interoperable simulation environments for modeling and simulation of hybrid systems whose components consist of continuous and discrete event systems. The environments, one for centerized and the other for distribute, support interoperation between a discrete event simulator of DEVSim++ and a continuous simulator of MATLAB. The centerized environment, HDEVSim++, is developed by extending the sxisting DEVSim++ environment; the distributed environment, HDEVSimHLA, is developed using the HLA/RTl library. Verification of both environments is made and performance comparison between the two using a simple example is presented. .

• Korean Journal of Computational Design and Engineering
• /
• v.13 no.1
• /
• pp.67-75
• /
• 2008

In spite of rapidly increasing interests in digital manufacturing, there still lacks of a systematic approach in manufacturing line flow analysis via modeling and simulation; currently, the parameters for designing manufacturing line are defined by being solely based on engineers experiences. The paper proposes an application of the genetic algorithm to a discrete event line simulation finding optimal set of parameters for manufacturing line balancing problem. The proposed method has been applied to two example problems-one is a simple manufacturing model and the other for shipyard industry-in order to demonstrate its validity and usefulness.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.5
• /
• pp.2186-2203
• /
• 2020

Security administrators of companies and organizations need to come up with proper countermeasures against cyber-attacks considering infrastructures and security policies in their possession. In order to develop and verify such countermeasures, the administrators should be able to reenact both cyber-attacks and defenses. Simulations can be useful for the reenactment by overcoming its limitations including high risk and cost. If the administrators are able to design various scenarios of cyber-attacks and to develop simulation models from their viewpoints, they can simulate desired situations and observe the results more easily. It is challenging to simulate cyber-security issues, because there is lack of theoretical basis for modeling a wide range of the security field as well as pre-defined basic components used to model cyber-attacks. In this paper, we propose a modeling method for cyber-security simulations by developing a basic component and a composite model, called Abstracted Cyber-Security Unit Model (ACSUM) and Abstracted Cyber-security SIMulation model (ACSIM), respectively. The proposed models are based on DEVS(Discrete Event systems Specification) formalism, a modeling theory for discrete event simulations. We develop attack scenarios by sequencing attack behaviors using ACSUMs and then model ACSIMs by combining and abstracting the ACSUMs from a security perspective. The concepts of ACSUM and ACSIM enable the security administrators to simulate numerous cyber-security issues from their viewpoints. As a case study, we model a worm scenario using ACSUM and simulate three types of simulation models based on ACSIM from a different security perspective.

• Proceedings of the KOSOMBE Conference
• /
• v.1997 no.05
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.