• Journal of the Korea Society for Simulation
• /
• v.32 no.3
• /
• pp.55-66
• /
• 2023

In recent years, naval vessels have been developed to fulfill a variety of missions by being equipped with various cutting-edge equipment and ICT technologies. One of the main missions of Korean naval vessels is anti-ballistic missile warfare to defend key units and areas against the growing threat of ballistic missiles. Because the process of detection and interception is too complex and the cost of failure is much high, a lot of preparation is required to effectively conduct anti-ballistic missile warfare. This paper describes the development of a simulation model of anti-ballistic missile warfare with combat systems and equipment to be installed on future naval vessels. In particular, the DEVS formalism providing a modular and hierarchical modeling manner was applied to the simulation model, which can be utilized to efficiently represent various anti-ballistic missile warfare situations. In the simulation results presented, experiments were conducted to analyze the effectiveness of the model for effective detection resource management in anti-ballistic missile warfare. This study is expected to be utilized as a variety of analysis tools necessary to determine the optimal deployment and configuration of combat resources and operational tactics required for effective anti-ballistic missile warfare of ships in the future.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.125-130
• /
• 2002

본 연구는 DEVS를 기반으로 개발된 교통류 시뮬레이션 시스템인 $\ulcorner$I$^3$D$^2$ 교통류 시뮬레이션 시스템$\lrcorner$(이하 I$^3$D$^2$)의 검증을 그 목적으로 한다. I$^3$D$^2$는 본 연구진이 DEVS를 기반으로 개발한 범용 시뮬레이션 도구로써, 이미 서울시 강남 신호교차로와 내부순환로를 대상으로 하여 개발된 내용을 발표한 바 있다. I$^3$D$^2$는 헌재 단속류에서의 최적신호 생성 및 대기행렬 예측 문제, 그리고 연속류 시설의 용량 산정 문제등을 시뮬레이션 할 수 있다. 하지만 아직 문헌자료나 현장 데이터를 토대로 한 충분한 검증이 수행되지 못한 문제가 있다. 따라서 본 연구에서는 문헌자료를 토대로, I$^3$D$^2$를 검증한다. 이를 위하여 고속도로 또는 도시고속도로와 같은 연속 교통류의 대표적인 효과척도인 $\ulcorner$교통량 - 밀도 - 평균주행속도 (시간)$\lrcorner$ 간의 상관관계를 이용하여 미국 HCM과 우리나라의 도로용량편람에 정의되어 있는 기준을 토대로 I$^3$D$^2$ 검증을 수행하였다. 모델링은 서울시 올림픽대로의 양화대교 - 성산대교 - 가양대교 구간을 대상으로 했으며, 검증은 교통량에 따라 크게 3가지 교통류 상태(random, intermediate, constant)를 기준으로 시뮬레이션이 각각의 교통상태에서 예측한 평균주행시간의 정확도를 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.12
• /
• pp.965-974
• /
• 2003

Today's network consists of a large number of routers and servers running a variety of applications. In this paper, we have designed and constructed the general simulation environment of network security model composed of multiple IDSs agent and a firewall agent which coordinate by CNP (Contract Net Protocol). The CNP, the methodology for efficient integration of computer systems on heterogeneous environment such as distributed systems, is essentially a collection of agents, which cooperate to resolve a problem. Command console in the CNP is a manager who controls the execution of agents or a contractee, who performs intrusion detection. In the knowledge-based network security model, each model of simulation environment is hierarchically designed by DEVS (Discrete Event system Specification) formalism. The purpose of this simulation is the application of rete pattern-matching algorithm speeding up the inference cycle phases of the intrusion detection expert system. we evaluate the characteristics and performance of CNP architecture with rete pattern-matching algorithm.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.11-21
• /
• 2015

If the cloud computing environment is not sufficiently provide the required resources due to the number of virtual server to process the request, may cause a problem that the load applied to the specific server. Migration administrator receive the resources of each physical server for improving the efficiency of the virtual server that exists in the physical servers, and determines the migration destination based on the simulation results. But, there is more overhead predicting the future resource consumption of all the physical server to decide the migration destination through the simulation process in large and complex cloud computing environments. To solve this problem, we propose an improved prediction method with the simulation-based approach. The proposed method is a fuzzy-logic based priority model for VM migration. We design a proposed model with the DEVS formalism. And we also measure and compare a performance and migration count with existing simulation-based migration method. FPLM shows high utilization.

• Journal of Computational Design and Engineering
• /
• v.1 no.3
• /
• pp.213-222
• /
• 2014

This paper reviews and identifies issues in the application of virtual commissioning technology for automated manufacturing systems. While the real commissioning of a manufacturing system involves a real plant system and a real controller, the virtual commissioning deals with a virtual plant model and a real controller. The expected benefits of virtual commissioning are the reduction of debugging and correction efforts during the subsequent real commissioning stage. However, it requires a virtual plant model and hence still requires significant amount time and efforts. Two main issues are identified, the physical model construction of a virtual device, and the logical model construction of a virtual device. This paper reviews the current literature related to the two issues and proposes future research directions to achieve the full utilization of virtual commissioning technology.

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

Research and development of grid computing ware mainly focused on high performance computing field such as large-scale computing operation. Many companies and organizations concentrated on existing computational grid. However, service grid focusing on enterprise environments has been noticed gradually. Grid service providers of service grid construct diverse and specialized services and provide service resources that have economic feasibility to grid users. But, service resources are geographically dispersed and divided into many classes and have individual owners and management policies. In order to utilize and allocate resources effectively, service grid needs a resource management model that handles and manages heterogeneous resources of service grid. Therefore, this paper presents the third party grid service marketplace model using virtualization to solve problems of grid service resource management. Also, this paper proposes resource dealing mechanism and pricing algorithms applicable for service grid. Empirical results show usefulness and efficiency of the third party grid service marketplace model in comparison with typical economic models for grid resource management such as single auction model and double auction model.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.2
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.4 no.3
• /
• pp.211-227
• /
• 2012

To implement a combined discrete event and discrete time simulation such as submarine diving simulation in a distributed environment, e.g., in the High Level Architecture (HLA)/Run-Time Infrastructure (RTI), a HLA interface, which can easily connect combined models with the HLA/RTI, was developed in this study. To verify the function and performance of the HLA interface, it was applied to the submarine dive scenario in a distributed environment, and the distributed simulation shows the same results as the stand-alone simulation. Finally, by adding a visualization model to the simulation and by editing this model, we can confirm that the HLA interface can provide user-friendly functions such as adding new model and editing a model.

• Journal of the Korea Society for Simulation
• /
• v.30 no.1
• /
• pp.113-126
• /
• 2021

The future energy consumption pattern will show a very different pattern from the present due to the increase of distributed power sources such as renewable energy and the birth of the concept of prosumers, etc. Accordingly, it can be predicted that the direction of establishment of an appropriate production and supply plan considering the stability and consumption efficiency of the entire power grid will also be different from now. This paper proposes a simulation model that can test a new operational strategy when faced with a number of possible future environments. Through the proposed model, it is possible to simulate and analyze power consumed and supplied in a future Smart Grid environment, in which a large amount of new concepts including energy storage service (ESS) and distributed energy resources (DER) will be added. In particular, it is possible to model complex systems structurally by using DEVS formalism among the ABM (Agent-Based Model) methodologies that can model decision-making for each agent existing in the grid, and several factors can be easily added to the grid. The simulation model was verified using given dataset in the current situation, and scenario analysis was performed by simply adding an ESS, one of the main elements of the smart grid, to the model.