• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• pp.22-31
• /
• 1990

본 논문에서는 컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 이론적 인 연구를 하였다. 먼저 통신 프로토콜의 정의와 기능을 설명하였고 통신 프 로토콜을 위한 모델을 분류하였다. 또한, 통신 프로토콜의 모델 중에 Timed Petri Net(TPN) 모델에 시간함수 .tau.를 부여함으로써 TPN을 구조적으로 정의하였으며 TPN Based 모델의 문제점을 보완하기 위하여 시스템 시뮬레 이션 분야의 이산사건 시스템 명세(DEVS:Discrete Event Simulation) 개념 을 도입하였다. 중요한 연구 결과로서 TPN모델이 DEVS모델이라는 정리를 제시하고 증명하였다. 이 정리에 따르면, TPN모델을 시뮬레이션 할 때 시뮬 레이션을 위해 모델을 설계할 필요없이 DEVS모델로 변환하여 사용함으로써 시뮬레이션을 수행할수 있다.

• International Journal of Contents
• /
• 제14권3호
• /
• pp.7-16
• /
• 2018

The extent and depth of the event plan determines the scope of pedagogical experience in situations and consequently the quality of immersive learning based on our simulated world. In contrast to planning in conventional narrative-based systems mainly pursuing dramatic interests, planning in virtual world-based pedagogical systems strive to provide realistic experiences in immersed situations. Instead of story plot comprising predetermined situations, our inter-event planning method aims at simulating diverse situations that each involve multiple events coupled via their associated agents' conditions and meaningful associations between events occurring in a background world. The specific techniques to realize our planning method include, two-phase planning based on inter-event search and intra-event decomposition (down to the animated action level); autonomous and independent agents to behave proactively with their own belief and planning capability; full-blown background world to be used as the comprehensive stage for all events to occur in; coupling events via realistic association types including deontic associations as well as conventional causality; separation of agents from event roles; temporal scheduling; and parallel and concurrent event progression mechanism. Combining all these techniques, diverse exogenous events can be derived and seamlessly (i.e., semantically meaningfully) integrated with the original event to form a wide scope of situations providing chances of abundant pedagogical experiences. For effective implementation of plan execution, we devise an execution scheme based on multiple priority queues, particularly to realize concurrent progression of many simultaneous events to simulate its corresponding reality. Specific execution mechanisms include modeling an action in terms of its component motions, adjustability of priority for agent across different events, and concurrent and parallel execution method for multiple actions and its expansion for multiple events.

• 한국건설관리학회논문집
• /
• 제7권1호
• /
• pp.73-79
• /
• 2006

그래픽 시뮬레이션은 건설공사의 시공계획을 위해서 매우 유용하게 쓰일 수 있으나, 토공과 같이 비정형의 물체를 다루는 경우에는 그래픽 시뮬레이션의 적용에 한계를 갖게 된다. 이러한 경우에는 사용 장비의 작업시간, 대기시간, 작업용량 등의 수치적 데이터에 근거하여 공정 전체의 생산성에 대한 분석을 수행하게 되는 수학/통계적 시뮬레이션이 그 장점을 보이지만, 프로세스 모델 구축의 어려움, 수치적 시뮬레이션 결과의 신뢰성 확보 문제 등으로 건설 분야에서의 활용이 매우 제한되어 있는 실정이다. 본 연구에서는 비정형 물체를 다루는 공사인 토공작업에 대한 시각화를 건설공사에 주로 사용되는 수학/통계적 시뮬레이션인 불연속사건 시뮬레이션(Discrete Event Simulation) 프로그램들의 출력을 분석하여 작업시간, 대기시간, 운반물량 등에 대한 수치적 결과를 건설작업의 그래픽 시각화로 표현하였다. 이를 통하여 건설공사의 시공계획 시에 시뮬레이션을 활용하면 사전에 시공과정을 수행하여 봄으로써 최적의 건설장비 및 공법을 선택하여 효율적으로 운용하게 함이 가능함을 입증하고자 하였다.

• 대한조선학회논문집
• /
• 제61권4호
• /
• pp.208-215
• /
• 2024

The Sortie Generation Rate (SGR), which measures the number of sorties that an airbase can produce per unit of time, is crucial for assessing operational capacity. However, the unique spatial and environmental constraints on aircraft carriers complicate the direct application of land-based SGR studies to maritime settings. This study introduces a framework for analyzing the Sortie Generation Process (SGP) on aircraft carriers, using discrete event simulation adapted to these constraints. This approach conceptualizes the SGP similar to a logistics and production system, wherein sorties are systematically generated through the operations of the aircraft. The proposed framework defines and implements the necessary simulation functions with the discrete event simulation method for the purpose of SGP analysis. Through a series of experiments, this study demonstrates the framework's effectiveness and its practical applicability to aircraft carrier operations, potentially enhancing sortie generation capabilities in naval aviation.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• 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.

• 한국통신학회논문지
• /
• 제41권8호
• /
• pp.914-916
• /
• 2016

The noise in a power signal degrades the detection rate of the power quality (PQ) event signals. We present a new wavelet de-noising technique for PQ event detection that employs the correlation-based thresholding instead of the wavelet-scale-based thresholding of existing schemes. The simulation results show that the proposed scheme is more robust to Gaussian and impulsive noisy conditions and has further improved detection ratio than existing schemes.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.1288-1290
• /
• 2007

Congestion in WSN increases energy dissipation rates of sensor nodes as well as loss of packets and thereby hinders fair and reliable event detections. We find that one of the key reasons of congestion in WSN is allowing sensing nodes to transfer as many packets as possible. This is due to the use of CSMA/CA that gives opportunistic media access control. In this paper, we propose an energy efficient congestion avoidance protocol that includes source count based hierarchical and load adaptive medium access control. Our proposed mechanism ensures load adaptive media access to the nodes and thus achieves fairness in event detection. The results of simulation show our scheme exhibits more than 90% delivery ratio with retry limit 1, even under bursty traffic condition which is good enough for reliable event perception.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.1-11
• /
• 2018

이산 사건 시스템 명세 (DEVS)를 이용한 하이브리드 시스템 시뮬레이션은 IoT 기반 Smart factory의 최적 동작을 위한 파라미터 추출 등 멀티 레벨 모델 계층을 포함한 복잡계 시스템의 해석에서 중요한 도구로 사용되고 있다. 하이브리드 시스템은 연속 시간 시스템과 이산 사건 시스템의 특성을 모두 포함하고 있어 그 복잡성으로 인해 결과를 얻기 위해 많은 시간을 필요로 한다. 본 연구에서는 멀티 코어와 GPU가 결합된 이기종 컴퓨터 구조를 이용한 DEVS 기반 대규모 하이브리드 시스템 시뮬레이션의 가속화를 제안한다. 제안하는 멀티 코어-GPU 상호 결합 시뮬레이션 실행 플랫폼을 사용하여 상대적으로 많은 순간 전력을 소모하지만 실행 시간 측면에서 빠른 시뮬레이션이 오히려 전체 에너지 소모 측면에서 장점을 가지는 것을 보여주고자 한다. 이를 위해 대규모 모델의 수평적/수직적 상호 결합된 DEVS 기반 하이브리드 시스템을 시뮬레이션 하였고 효과적인 시뮬레이션을 위한 하드웨어의 조합, 동작 파라미터 변경에 따른 성능 향상을 전력 소모 관점에서 분석하였다.

• 한국컴퓨터정보학회논문지
• /
• 제26권1호
• /
• pp.171-178
• /
• 2021

본 논문에서는 C/C++ 기반 이산 사건 시스템 명세(DEVS) 시뮬레이션에서 전송 메시지 변경을 탐지하는 기법을 제안한다. 모델 인스턴스가 생성한 메시지가 다른 모델 인스턴스로 전달될 때, 메시지가 수신자 중 일부가 이를 수정할 수도 있다. 이러한 변경은 시뮬레이션 결과를 오염시킬 수 있으며, 오염된 시뮬레이션 결과는 잘못된 의사결정으로 이어질 수 있다. 제안 기법에서는 모든 모델 인스턴스가 전송 메시지의 사본을 저장한다. 전송 메시지가 삭제되기 전, 인스턴스는 저장된 메시지와 전송 메시지를 비교한다. 변경이 탐지되면 현재 시뮬레이션 실행을 중단시킨다. 모든 절차는 시뮬레이터 인스턴스에 의해 자동으로 수행된다. 그러므로 제안 기법은 개발자에게 시큐어 코딩을 준수하거나 특정 코드를 추가하도록 강요하지 않는다. 제안 기법의 성능을 기존 DEVS 시뮬레이터와 비교한다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권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.