• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.153-158
• /
• 2008

SDR(Software Defined Radio)은 서로 다른 무선 전달 프로토콜간의 유동적 연동을 제공할 수 있는 솔루션이다. u-health 서비스 네트워크와 같은 여러가지 전달 프로토콜을 지원하는 센서노드들로 구성될 수 있는 다종 유비쿼터스 네트워크 환경에서, 특정 노드의 전달 프로토콜을 지원하는 AP(Access Point)로의 트래픽 집중이나, 특정 노드의 전달 프로토콜을 지원하는 AP에서의 장애 발생 또는 미설치로 인한 전달불능 등이 발생할 수 있다. 본 논문에서는 SDR 기능을 가진 노드와 혼잡 제어 기능을 가진 AP를 포함하는 다종 유비쿼터스 네트워크에서의 전달성능을 분석하기 위한 모델링 및 시뮬레이션에 대한 연구결과를 제시한다. 본 연구에서는 전달 프로토콜들의 구체적인 동작과정보다는 다종 전달 프로토콜로 구성된 네트워크에서의 유동적 연동성의 제공에 따른 전체 네트워크의 전달성능의 변화특성(dynamics)을 분석하기 위하여 DEVS(Discrete Event Systems Specification)방법론을 활용하였으며, DEVS형식론에 근거한 모델링과 DEVSim++시뮬레이션환경을 통한 분석결과를 제시하였다.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1996년도 추계학술대회
• /
• pp.74-79
• /
• 1996

This paper describes a methodology for the development of models of discrete event system(DES). The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

• 한국시뮬레이션학회논문지
• /
• 제22권4호
• /
• pp.49-55
• /
• 2013

최근 M&S 및 DM&S (Defense M&S) 환경의 복잡성이 높아짐에 따라 인간 등의 자율세력을 표현하기 위한 기술로 CGF/SAF (Computer Generated Force/Semi-Automated Force)가 주목 받고 있다. 그러나 기존의 OneSAF 과 같은 선진국의 CGF/SAF 기반 DM&S 환경은 DEVS 프레임워크 중심의 국내 DM&S 시스템과 유기적 연동이 어렵다. 따라서 본 논문에서는 DEVS M&S환경을 지원하는 에이전트 기반의 SAF 설계 방법론 및 모델링 도구를 제안하였다. 제안한 SAF 모델링 도구는 에이전트 모델링 GUI와 SAF 모델링 GUI로 나누어진다. 에이전트 모델링 환경은 간단한 UI를 활용한 규칙 입력만으로 에이전트를 생성할 수 있다. 또한 에이전트 단위테스트 환경을 추가하여 UI 기반의 에이전트 모델의 검증이 가능하다. SAF 모델을 생성하기 위한 환경으로 개개의 에이전트 모델들의 구조적 결합을 정의할 수 있도록 하였다. 본 연구의 모델링 도구 및 방법론을 통해 DM&S 연구자 및 개발자들이 DEVS 기반의 DM&S 및 SAF 시스템을 구축하는데 유용하게 활용될 수 있을 것으로 기대된다.

• 한국멀티미디어학회논문지
• /
• 제23권9호
• /
• pp.1191-1200
• /
• 2020

In this paper, we proposed DEVS based programming education model that based on the cognitive information processing theory, not a grammatical programming education, and studied effectiveness analysis using computer thinking patterns. By creating a small range of patterns in the grammar which underlies the programming language and solving various examples through combinations, this paper shows an education method to develop problem-solving skills based on algorithmic thinking. The purpose of this study is to facilitate non-majors learn programming languages and understand patterned program structures when writing programs by patterning of control statements which the most important in learning programming.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.484-484
• /
• 2001

The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

• 한국군사과학기술학회지
• /
• 제9권4호
• /
• pp.61-70
• /
• 2006

This paper is to describe LYNX-ESM Simulation System to simulate for EW operating environment analysis and system performance verification of LYNX-ESM system using Discrete Event Simulation(DEVS) Methodology. This system consists of 3 PC with TCP/IP network. Each PC is loaded with Modeling & Simulation program based DEVS. Each connected program conducts EW simulation. As a result, we analyze the operating environment of the maritime EW threat, simulate the EW threat discrimination and geolocation capability, and estimate the LYNX-ESM system effectiveness before real LYNX-ESM system development.

• 한국멀티미디어학회논문지
• /
• 제25권2호
• /
• pp.311-324
• /
• 2022

In this paper, we adjusted the feedback and learning materials for each learning based on ARCS motivation which applied DEVS methodology. We designed the ARCS professor-student model that expresses the continuous change in the student's attitude toward the class according to the student's attention, relevance, confidence, and satisfaction. It was applied to computational thinking and data analysis classes Based on the designed model. Before and after class, the students were asked the same question and then analyzed for each part of the ARCS. It was observed that students' perceptions of Attention, Relevance, and Satisfaction were improved except for Confidence. we observed that the students themselves felt that they lacked a lot of confidence compared to other ARS through the analysis. Although, Confidence showed a 13.5% improvement after class but it was about 33% lower than the average of other ARS. However, when it was observed that students' self-confidence was 30% lower than other motivational factors it was confirmed that the part that leads C to a similar level in other ARS is necessary.

• 한국시뮬레이션학회논문지
• /
• 제16권3호
• /
• pp.75-87
• /
• 2007

VoIP 서비스 품질이 개선되고 많은 문제점들이 극복되면서 이에 대한 사용자들의 관심이 높아지고 있다. VoIP는 인스턴트 메시징 서비스 등 사용자들의 편익을 위한 서비스를 제공하고 있지만 비용 및 보안 문제는 사용자들의 이러한 서비스 사용을 주저하게 만들고 있다. 본 논문은 이와 같은 문제 중 하나인 VoIP 스팸 문제를 다루고자 한다. 스팸 콜에서의 음성 메시지 신호 패턴을 고려하여 정상 콜과 Noise가 포함된 정상 콜, 스팸 콜 이 세 가지 음성 모델을 설계하고, 논문에서 제시하는 음성 신호 정보량 기반의 스팸 탐지 알고리즘에 적용해 보았다. 각 모델의 모델링 및 시뮬레이션은 DEVS-$Java^{TM}$를 이용하였다. 본 연구는 스팸 콜 음성 신호를 탐지하기 위한 방법을 제시하고 이를 모델링 및 시뮬레이션 방법론을 통해 검증하는 것에 기여점을 둘 수 있다.

• 한국군사과학기술학회지
• /
• 제17권2호
• /
• pp.235-247
• /
• 2014

Based on two dimensional model partition method proposed in Part 1, Part 2 provides detailed model specification and implementation. To mathematically delineate a model's behaviors and interactions among them, we extend the DEVS (Discrete Event Systems Specification) formalism and newly propose CE-DEVS (Combat Entity-DEVS) for an upper abstraction sub-model of a combat entity model. The proposed CE-DEVS additionally define two sets and one function to reflect essential semantics for the model's behaviors explicitly. These definitions enable us to understand and represent the model's behaviors easily since they eliminate differences of meaning between real-world expressions and model specifications. For model implementation, upper abstraction sub-models are implemented with DEVSim++, while the lower sub-models are realized using the C++ language. With the use of overall modeling techniques proposed in Part 1 and 2, we can conduct constructive simulation and assess factors about combat logics as well as battle field functions of the next-generation combat entity, minimizing additional modeling efforts. From the anti-torpedo warfare experiment, we can gain interesting experimental results regarding engagement situations employing developing weapons and their tactics. Finally, we expect that this work will serve an immediate application for various engagement warfare.

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