• Journal of Korean Society of Transportation
• /
• v.14 no.1
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

• Korean Journal of Computational Design and Engineering
• /
• v.19 no.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.

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

• Journal of the Korea Society for Simulation
• /
• v.32 no.1
• /
• pp.1-11
• /
• 2023

Smart factory environments and digital twin environments are established, and today's factories accumulate vast amounts of production data and are managed in real time as visualized results suitable for user convenience. Production simulation techniques are in the spotlight as a way to prevent delays in delivery and predict factory volatility in situations where production schedule planning becomes difficult due to the diversification of production products. With the development of the digital twin environment, new packages are developed and functions of existing packages are updated, making it difficult for users to make decisions on which packages to use to develop simulations. Therefore, in this study, the concept of Discrete Event Simulation (DES) performed based on discrete events is defined, and the characteristics of various simulation packages were compared and analyzed. To this end, studies that solved real problems using discrete event simulation software for 10 years were analyzed, and three types of software used by the majority were identified. In addition, each package was classified by simulation technique, type of industry, subject of simulation, country of use, etc., and analysis results on the characteristics and usage of DES software were provided. The results of this study provide a basis for selection to companies and users who have difficulty in selecting discrete event simulation package in the future, and it is judged that they will be used as basic data.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.169-169
• /
• 2001

With the aid of fast computing power, resampling techniques are being introduced for simulation output analysis (SOA). Autocorrelation among the output from discrete-event simulation prohibit the direct application of resampling schemes (Threshold bootstrap, Binary bootstrap, Stationary bootstrap, etc) extend its usage to time-series data such as simulation output. We present a new method for inference from a regenerative process, regenerative bootstrap, that equals or exceeds the performance of classical regenerative method and approximation regeneration techniques. Regenerative bootstrap saves computation time and overcomes the problem of scarce regeneration cycles. Computational results are provided using M/M/1 model.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.9 no.3
• /
• pp.25-32
• /
• 2006

Weapon systems composed of several subsystems execute various engagement missions in distributed combat environments in cooperation with a large number of subordinate/adjacent weapon systems as well as higher echelons through tactical data links. Such distributed weapon systems require distributed real-time simulation test beds to integrate and test their operational software, analyze their performance and effects of cooperated engagement, and validate their requirement specifications. These demands present significant challenges in terms of real-time constraints, time synchronization, complexity and development cost of an engagement simulation test bed, thus necessitate the use of high-performance distributed real-time simulation architectures, and modeling and simulation techniques. In this paper, in order to meet these demands, we presented a distributed real-time simulation system based on High Level Architecture(HLA) and Discrete Event System Specification(DEVS). We validated its performance by using it as a test bed for developing the Engagement Control System(ECS) of a surface-to-air missile system. The proposed technique can be employed to design a prototype or model of engagement-level distributed real-time simulation systems.

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

• Nuclear Engineering and Technology
• /
• v.49 no.2
• /
• pp.360-372
• /
• 2017

Many advanced reactor designs rely on passive systems to fulfill safety functions during accident sequences. These systems depend heavily on boundary conditions to induce a motive force, meaning the system can fail to operate as intended because of deviations in boundary conditions, rather than as the result of physical failures. Furthermore, passive systems may operate in intermediate or degraded modes. These factors make passive system operation difficult to characterize within a traditional probabilistic framework that only recognizes discrete operating modes and does not allow for the explicit consideration of time-dependent boundary conditions. Argonne National Laboratory has been examining various methodologies for assessing passive system reliability within a probabilistic risk assessment for a station blackout event at an advanced small modular reactor. This paper provides an overview of a passive system reliability demonstration analysis for an external event. Considering an earthquake with the possibility of site flooding, the analysis focuses on the behavior of the passive Reactor Cavity Cooling System following potential physical damage and system flooding. The assessment approach seeks to combine mechanistic and simulation-based methods to leverage the benefits of the simulation-based approach without the need to substantially deviate from conventional probabilistic risk assessment techniques. Although this study is presented as only an example analysis, the results appear to demonstrate a high level of reliability of the Reactor Cavity Cooling System (and the reactor system in general) for the postulated transient event.

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

In this paper we introduce a general framework for the modeling, analysis and costing of logistic networks including supply chains (SCs). The employed modeling notation, the so-called Process Chain paradigm, is specifically developed for the application field of logistic networks which includes SCs. We view SCs as discrete event dynamic systems (DEDS) and apply corresponding simulative techniques in order to derive performance measures of the Process Chain model under investigation. For this purpose Process Chain models are automatically transformed into the input language of the simulation tool HIT. Subsequently, a cost accounting model using the performance measures is applied to obtain costs which are actually subject of interest. The usefulness and applicability of the approach is illustrated by a typical supply chain example. We investigate the impact of an additional SC channel between a manufacturer and web-consumers on the overall supply chain costs.