• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.453-458
• /
• 2001

A mobile agent is an autonomous software agent capable of moving from one computer to another while performing its tasks. We view the agent as a discrete event system in the view of its computation and communication. This paper presents a methodology far modeling and simulation of such a mobile agent system as a discrete event system. The methodology is based on the Mobile Discrete Event System Specification (MDEVS) formalism and the associated simulation environment AgentSim which are previously developed by the authors. Within the methodology an atomic model represents dynamics of a mobile agent; a coupled model is modeled as mobile agent servers for representation of structural changes between atomic agents. Being based on the object-oriented environment the modeling methodology exploits inheritance of basic classes AtomicModel and CoupledModel provided by AgentSim.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1997.10a
• /
• pp.90-93
• /
• 1997

This paper presents a new methodology for business process simulation modeling and analysis based on role-oriented modeling concept. The proposed methodology allows for tracking people and their roles affected by reengineering the business process. It enables one to analyze and evaluate not only work flow, but roles that are part of the flow. A simulator based on this methodology is developed to systematically construct simulation models and conduct simulations easily and efficiently.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.2
• /
• pp.204-214
• /
• 2016

Shipbuilding process takes a long time for producing final products, and needs many different resources. Because of these characteristics, it has been studied about shipyard simulation and virtual manufacturing that is able to implement the virtual manufacturing process. However, among the previous researches, it requires considerable time and effort to construct simulation model since the systematic methodology has not been used for simulation modeling. Also, reusability of constructed simulation model was low. Therefore, this research defines the method to construct shipyard simulation system using the process-centric simulation modeling methodology and shipyard simulation framework. This paper also validates the utility of this methodology through applying to construct simulation model for the shipyard master plan validation.

• ETRI Journal
• /
• v.37 no.1
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• Journal of the military operations research society of Korea
• /
• v.32 no.2
• /
• pp.56-77
• /
• 2006

This paper suggests more improved war-game modeling methodology for close combat attrition modeling. Military operation analysts have been using equation-based modeling techniques such as Lanchester-type differential equation modeling, for combat attrition evaluation. This modeling methodology is easy to analyze and evaluate the war-game simulation results but has several limitations to simulate the dynamic combat environment. To overcome these shortcomings, we propose the agent-based modeling methodology. This methodology is modeling close combat based in attrition behaviors instead of attrition coefficients. The simulation analysis & evaluation is executed for these two kinds of modeling methodology on the similar close combat situation.

• International Journal of Quality Innovation
• /
• v.6 no.1
• /
• pp.74-97
• /
• 2005

IDEF0 is the IEEE standard for functional enterprise modeling and has been used for business process modeling or process mapping in US and Europe. But it does not reflect the potential benefits of modeling and simulation of the dynamic aspects of an enterprise or a system. On the other hand, simulation tools concentrate mostly on the simulation of material flows and are difficult to include information flows and control flows. Additionally, the simulation models that include elements such as queues, event generators and process nodes is a visual interactive representation for the model builder, but is inconvenient for the domain expert. In an attempt to fill that void, we provide an integration of business process and simulation models in this paper. An enhancement of the IDEF0, called parameterized IDEF0, is proposed and its conversion mechanism to network simulation model is developed. Using this methodology, business process models for alternative systems can be evaluated and compared through simulation on time, cost, and quality metrics. As an application of the proposed methodology, economic evaluation of EDI (Electronic Data Interchange) for time-based BPR (Business Process Redesign) is demonstrated. In addition to BPR, the developed methodology may be further integrated with ABC (Activity Based Costing), TQM (Total Quality Management), and economic evaluation of information systems.

• International conference on construction engineering and project management
• /
• 2011.02a
• /
• pp.74-83
• /
• 2011

This paper recognized a need in the architecture, engineering, and construction industry for new programs and methods of producing reliable energy simulations using BIM (Building Information Modeling) technology. Current methods and programs for running energy simulations are not very timely, difficult to understand, and lack high interoperability between the BIM software and energy simulation software. It is necessary to improve on these drawbacks as design decision are often made without the aid of energy modeling leading to the design and construction of non-optimized buildings with respect to energy efficiency. The goal of this research project is to develop a new methodology to produce energy estimates from a BIM model in a more timely fashion and to improve interoperability between the simulation engine and BIM software. In the proposed methodology, the extracted information from a BIM model is compiled into an INP file and run in a popular energy simulation program, DOE-2, on an hourly basis for a desired time period. Case study showed that the application of this methodology could be used to expediently provide energy simulations while at the same time reproducing the BIM in a more readably three dimensional modeling program. With the aid of an easy to run and easily understood energy simulation methodology, designers will be able to make more energy conscious decisions during the design phase and as changes in design requirements arise.

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

The major objective of this research is to design and build the variable structure DEVS modeling & simulation framework. To do this, we have proposed the direct message passing mechanism between the model and its simulator to deal with the structural demand from the model during the simulation. In this approach, four types of basic messages are introduced for the vertical(creation/deletion of the child) and horizontal(creation/deletion of the brother) structural changes. Proposed methodology has been successfully applied to the multi-processor system and the forest fire information system.

• Journal of the Korea Society for Simulation
• /
• v.9 no.4
• /
• pp.41-50
• /
• 2000

We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.171-179
• /
• 2005

Computer virus modeling and simulation research has been conducted with focus on the network vulnerability analysis. However, computer virus generally shows the biological virus characters such as proliferation, reproduction and evolution. Therefore it is necessary to research the computer virus modeling and simulation using Artificial Life. The approach of computer modeling and simulation using the Artificial Life technology Provides the efficient analysis method for the effects on the network by computer virus and the behavioral mechanism of the computer virus. Hence this paper proposes the methodology of computer virus modeling and simulation using Artificial Life, which may be contribute the research on the computer virus vaccine.