• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.17 no.4
• /
• pp.389-403
• /
• 2019

Large amounts of concrete waste are likely to arise from the decommissioning of a Kori-1 nuclear power plant. Several studies have been conducted on decommissioning concrete waste in recent decades, however, they have been limited to contaminated concrete issues or were small pilot-scale experiments. This study constructed two industrial-scale models of on-site concrete waste management for clean as well as contaminated concrete. To evaluate the performance of both the models, simulations were conducted using the Flexsim software. The concrete particle size distribution of Kori-1 and concrete processor properties based on widely used construction equipment were used as sources of input data for the simulations. It was observed that it may take over two years to complete the on-site concrete management processes owing to the performance of existing processors. In addition, it was demonstrated that it is essential to identify bottlenecks in the system and enhance the performance of the relevant processors to avoid delays of the decommissioning schedule. Our results suggest that this novel approach can contribute to developing schedules or expediting delayed activities in the Kori-1 decommissioning project.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• Journal of Ocean Engineering and Technology
• /
• v.27 no.1
• /
• pp.24-30
• /
• 2013

The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.

• Journal of the Korea Society for Simulation
• /
• v.16 no.3
• /
• pp.65-74
• /
• 2007

A tactic manager which can change the behavior of a simulation model according to the tactic definition file has been studied and implemented. Based on the DEVS(discrete event system specification) formalism, we generated a simulation model which is equipped with the inter ace to the tactic manager. To demonstrate the effectiveness of the tactic manager, a target motion analysis simulation of the warfare between a submarine and a surface ship is simulated.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.513-518
• /
• 2007

시뮬레이션 방법론에 있어서 모델기반 시뮬레이션과 프로세스기반 시뮬레이션으로 나눌 수 있는데, 재사용성, 확장성, 시뮬레이터 기술 용이성 등의 장점으로 모델기반 시뮬레이션이 많이 사용되고 있다. 이러한 이유로 근래에는 컴퓨터 시스템, 항공, 자동차 등에서 모델 기반 시뮬레이션 방법이 사용되고 있다. 모델기반 시뮬레이션 방법으로 수학적 이론을 기반으로 모델을 정의하는 DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술한다. 대규모의 복잡한 시뮬레이션 모델을 검증 할 목적으로 분산 시뮬레이션 방법론이 있는데, 이들은 크게 동기적인 방법과 비동기적인 방법이 있다. 동기적 방식보다 빠른 수행을 위해 비동기적 방법은 전체 Time-order 순이 아닌 로컬 Time-order를 가진다. 그러나 비동기적 방식에는 분산된 시뮬레이터들 간의 전체 Time-order를 유지하기 위해 전 처리된 시뮬레이터 결과들을 저장하는데, Time-order 상으로 현재의 시뮬레이션 시간보다 과거의 사건이 왔을 때 그 이벤트를 처리해주어야 되기 때문이다. 이러한 비동기적 분산 시뮬레이션 방법론에서는 전체 Time-order를 유지하기 위해 과거의 Time-order를 가지는 이벤트가 왔을 때 rollback operation을 수행한다. 그러나 rollback operation은 분산 시뮬레이션 방법론에서 성능 장애요소 중 하나이다. 본 논문에서는 rollback operation을 최소할 할 수 있는 DEVS 모델 분배 방법을 제안한다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.11
• /
• pp.1578-1586
• /
• 2015

Personal rapid transit (PRT) is getting attention as a new form of transportation. It is energy efficient and provides the high level of passenger service. In this study, the dynamic PRT dispatching and routing problem is dealt with. Passengers request transportation service on a complex network, and an operating system monitors passenger arrivals and coordinates vehicles in real time. A new online dispatching and routing algorithm is proposed, which minimizes the total travel distance of vehicles and the waiting time of passengers. The algorithm dispatches vehicles by considering multiple vehicles' state and multiple passengers at the same time. In particular, finding the shortest-time path is attempted by taking into account the future congestion on lanes. Discrete-event simulation is employed to validate the performance of the proposed algorithm. The results show the algorithm in this study outperforms others.

• Journal of Digital Convergence
• /
• v.10 no.10
• /
• pp.539-544
• /
• 2012

Most of the man-made systems can be modeled as a hybrid system which consists of both the high-level and the low-level component model. High level model is responsible for decision-making and the low-level one takes control of the mechanical component parts. Since the two models requires different interpretation method according to their type, analysis of a hybrid system becomes a difficult job. For the Analysis of the high-level model, methods for discrete event system models such as FSM can be used. On the contrary, numerical analysis techniques are required for the low-level continuous-time system model. Since it becomes a difficult thing for a modeller specifies and develops both the two-level models altogether, we propose an efficient hybrid simulation method which employs a game physics engine that has been widely and successfully used in the area of game industry.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.9
• /
• pp.1854-1864
• /
• 2011

Production planning is one of the most important activities in shipbuilding enterprises. Shop-floor supervisors and planners still do not have enough information to effectively analyze shop operations because of the difference between production planning and shop-floor scheduling. In this paper, process analysis was conducted between production planning and shop-floor control to clarify the difference, and the necessity of the manufacturing execution system(MES) was derived in a shipyard. Therefore, the simulation-based ship production execution system(SPEXS) was defined by analyzing characteristics of MES. The architectural functions of the system were deducted from the process of requirement analysis. The SPEXS' framework was constructed on the basis of the architectural functions. This framework will provide more reliable production schedules and allow engineers to plan and control shop operations in real-time.

• Journal of Advanced Navigation Technology
• /
• v.12 no.6
• /
• pp.666-672
• /
• 2008

This paper explains late comer and error recovery process for home network environment with session management. This system consists of an ED, ES, and ER. ED is an agent that detects an error by hooking techniques for multimedia distance education based on home network environment with session management. ES is an agent that is an error sharing system for multimedia distance education based on home network environment with session management. ER is a system that is suitable for recovering software error for multimedia distance education based on home network environment with session management. This paper explains a performance analysis of an error recovery system running on distributed multimedia environment using the rule-based DEVS modeling and simulation techniques. The proposed method is more efficient than the other method in comparison with error ration and processing time.

• Journal of the Korea Society for Simulation
• /
• v.22 no.1
• /
• pp.21-30
• /
• 2013

A hybrid system is a combination of sub systems which have different types of state and time: a typical example is a combination of discrete event and continuous systems. A HDEVS(Hybrid DEVS) formalism was proposed for modeling and analyzing a hybrid system. The HDEVS formalism allows modelers to construct a hierarchical and modular model based on the mathematical set theory. Because the HDEVS formalism was applied to the distributed and interoperated simulators, modelers should make several heterogenous models dividing a target system. Hence, this paper proposes an extended hybrid coupled model of HDEVS formalism and an integrated hybrid modeling methodology in contrast to the existing simulation framework on interoperable simulators. By applying the proposed modeling method, a target system can be translated to a hybrid model in a similar form as the target system. This paper also contains a simulation engine design for the proposed modeling methodlogy and a case study which simulates water tank control systems.