• 제목/요약/키워드: DEVS modeling and simulation

검색결과 149건 처리시간 0.026초

조선 선체 생산설계 일정 계획을 위한 상세 이산사건 모델링기반 비즈니스 프로세스 시뮬레이션 (High-level Discrete-event Modeling-based Business Process Simulation for the Scheduling of the Ship Hull Production Design)

  • 손명조;김태완
    • 한국CDE학회논문집
    • /
    • 제18권3호
    • /
    • pp.224-233
    • /
    • 2013
  • For the scheduling and the job assignment of the ship hull production design which is a process-based work, we suggest the simulation-based scheduling using the discrete-event-based business process simulation. First, we analyze the ship hull production design process from the perspective of a job assignment to make it into the simulation model using DEVS (Discrete Event System Specification) which is the representative modeling method for a discrete-event simulation. Based on the APIs of the open-source discrete-event simulation engine, we implement the simulation using the Groovy script. We develop the scenario generator in which the user defines detail information of the construction drawing and its member blocks, and design engineers information, and the various setting for the simulation including the job assignment strategy. We use the XML files from this scenario generator as inputs of simulation so that we can get simulation result in forms of Gantt chart without changes of the simulation model.

함정의 복합전 효과도 분석을 위한 DEVS 기반 시뮬레이션 모델 개발 (DEVS-Based Simulation Model Development for Composite Warfare Analysis of Naval Warship)

  • 장미;박희문;서경민
    • 한국시뮬레이션학회논문지
    • /
    • 제32권4호
    • /
    • pp.41-58
    • /
    • 2023
  • 함정 교전이 수상, 수중, 공중의 적에 대한 동시다발적인 복합전 형태로 발전함에 따라 함정의 복합전 대응을 위한 체계성능 및 전술 분석의 중요성 또한 커지고 있다. 특히, 복합전을 효과적으로 분석하기 위해서는 함정에 탑재된 탐지체계의 제한된 성능자원을 적절히 활용할 수 있는 시뮬레이션 연구가 필요하다. 본 연구는 함정의 복합전 분석을 위해 DEVS(Discrete Event Systems Specifications) 형식론 기반의 시뮬레이션 모델을 제안한다. 제안 모델은 다양한 복합전 상황을 시뮬레이션 하기 위해 전투 플랫폼과 무장 객체를 일반화한 모델을 포함한다. 또한, 제한된 탐지자원을 활용하여 임무를 수행해야 하는 복합전의 특성을 고려하여 탐지성능 할당 알고리즘을 제안하고 함정의 탐지체계 모델에 적용한다. 시뮬레이션 실험으로 수상, 공중, 육지의 적 세력에 대한 복합전 상황을 가정하여 제안 모델을 적용하였다. 탐지체계의 탐지자원 할당 강도, 적군의 규모, 아군의 출항위치를 변경한 시나리오에 대하여 복합전의 효과도 분석을 수행하였고, 자원할당 기능이 교전 시간 및 성공에 미치는 영향을 결과로 제시하였다. 제안 모델의 연구 결과가 향후 다양한 복합전 상황에 대한 함정의 전술 분석에 공학적 근거로 활용되기를 기대한다.

Modeling and Simulation of Policy-based Network Security

  • Lee, Won-young;Cho, Tae-ho
    • 한국산학기술학회:학술대회논문집
    • /
    • 한국산학기술학회 2003년도 Proceeding
    • /
    • pp.155-162
    • /
    • 2003
  • Today's network consists of a large number of routers and servers running a variety of applications. Policy-based network provides a means by which the management process can be simplified and largely automated. In this paper we build a foundation of policy-based network modeling and simulation environment. The procedure and structure for the induction of policy rules from vulnerabilities stored in SVDB (Simulation based Vulnerability Data Base) are developed. The structure also transforms the policy rules into PCIM (Policy Core Information Model). The effect on a particular policy can be tested and analyzed through the simulation with the PCIMs and SVDB.

  • PDF

무선 센서 네트워크에서 메시지 라우팅을 위한 퍼지 기반 전달 영역 제한 기법의 모델링 및 시뮬레이션 (Modeling and Simulation of Fuzzy based Propagation Limiting Method for message routing in Wireless Sensor Networks)

  • 지상훈;이해영;조대호
    • 한국시뮬레이션학회논문지
    • /
    • 제15권4호
    • /
    • pp.29-39
    • /
    • 2006
  • 센서 네트워크는 감지, 처리 그리고 무선 통신 능력을 갖는 작은 노드들로 구성되어 있다. 최근에는 기지 노드와 센서 노드들 간의 데이터 전송을 위한 수많은 라우팅 프로토콜이 개발되었으며, 특히 Intanagonwiwat가 제안한 디렉티드 디퓨젼은 기지 노드에서 특정 지역에 요청 메시지를 전달하여 각 노드들로부터 데이터를 수집하기 위한 대표적인 라우팅 프로토콜이라고 할 수 있다. 그러나 디렉티드 디퓨젼은 네트워크 내에 배치된 모든 노드들을 향하여 요청 메시지를 전달하기 때문에 많은 에너지를 소비시킨다. 따라서 본 논문에서는 센서 네트워크의 에너지 소비를 줄이기 위하여 특정한 임계값을 이용하여 데이터 전달 영역을 제한할 수 있는 새로운 데이터 전송 기법을 제안한다. 여기서 임계값은 네트워크에 배치된 모든 노드들의 에너지와 밀도 정보를 고려하여 사전에 설계된 퍼지 로직에 의해서 결정된다. 시뮬레이션 모델은 이산 사건 시뮬레이션 모델을 이론적으로 표현해 놓은 DEVS 형식론을 기반으로 설계하고 구현하였다.

  • PDF

파라미터 행위 모델링 기법을 이용한 전쟁게임 시뮬레이션 (War Game Simulation Using Parametric Behavior Modeling Method)

  • 김재현;김탁곤;이완복
    • 한국콘텐츠학회논문지
    • /
    • 제6권11호
    • /
    • pp.126-134
    • /
    • 2006
  • 기존의 객체지향 통합 모델링 방법은 전쟁게임 모델을 두 계층으로 구분하여 개발할 수 있는데, 상위계층에서는 객체의 추상화된 행위를 모델링하며 하위계층에서는 모델의 세부적인 행위를 표현하게 된다. 이 방법에서는 시뮬레이션 전문가와 군 관련 전문가가 각각의 계층에서 별도로 작업을 할 수 있는 장점이 있다. 본 논문에서는 통합 모델링을 발전시킨 파라미터 행위 모델링 방법을 이용하여 전쟁 게임 시뮬레이터를 구축할 수 있는 방안을 제시한다. 제안한 방법에서는 군 관련 전문가 또는 사용자가 모델링 방법에 대하여 별도의 지식이 없이도 새로운 알고리즘이나 전략을 시뮬레이터에 추가하거나 수정할 수 있는 장점이 있다. 제안한 방법의 효용성을 보이기 위해 구현된 해군 군함의 전쟁게임 시뮬레이터를 구체적으로 소개한다.

  • PDF

시스템수준 시뮬레이션과 디스크 I/O수준 시뮬레이션 연동을 위한 DEVSim++과 DiskSim 사이의 인터페이스 설계 및 구현 (Design and Implementation of DEVSim++ and DiskSim Interface for Interoperation of System-level Simulation and Disk I/O-level Simulation)

  • 송해상;이순주
    • 한국컴퓨터정보학회논문지
    • /
    • 제18권4호
    • /
    • pp.131-140
    • /
    • 2013
  • 본 논문은 분산 스토리지 시스템과 같이 디스크를 내장하고 있는 다수의 컴퓨터 노드로 구성되어 있는 스토리지 시스템에서 개개의 디스크 스펙 변화에 따른 전체 성능을 분석하고자 할 때 잘 알려져 있는 블록 I/O 수준의 디스크 시뮬레이터인 DiskSim과 시스템수준의 시뮬레이터와의 연동을 위한 인터페이스의 설계 및 구현에 관한 기법을 제안하였다. 본 연구에서 시스템수준 시뮬레이션 엔진으로는 계층적이고 모듈러한 모델링 기법을 지원하는 DEVS 형식론을 지원하는 범용 이산사건시스템 시뮬레이션 엔진인 DEVSim++을 목표로 하였고 이식성을 위해 DiskSim과 DEVSim++ 시뮬레이션 엔진의 내부는 수정하지 않는 것을 가정하였다. 이를 만족하기 위해 I/O 수준의 DiskSim 시뮬레이터와 시스템 수준의 DEVSim++ 기반 시뮬레이터 사이의 연동 인터페이스 구조를 제안하였다. 이 구조에서는 여러 인스턴스의 DiskSim을 관리하는 DiskSimManager의 개념을 도입하여 I/O 수준 시뮬레이션과 시스템 수준 시뮬레이션 간의 시간과 사건(데이터) 동기화를 담당하도록 설계하였고, 시스템 수준의 DEVS 모델에서 간편하게DiskSim을 접근할 수있도록 감싸는 DEVS wrapper 모델을 제안하였다. 벤치마크 실험결과 설계 구현된 연동 인터페이스를 사용한 시뮬레이션 결과는 DiskSim만의 단독 시뮬레이션 결과와 정확히 일치함을 확인함으로써 설계 구현된 연동 인터페이스가 목적에 맞게 잘 동작함을 입증하였다.

공개키 기반 구조에서의 효율적인 인증서 상태 검증 방법의 모델링 및 시뮬레이션 (Modeling and Simulation of the Efficient Certificate Status Validation System on Public Key Infrastructure)

  • 서희석;김태경;김희완
    • 한국컴퓨터산업학회논문지
    • /
    • 제5권7호
    • /
    • pp.721-728
    • /
    • 2004
  • 공개키 기반 구조 (PKI; Public Key Infrastructure)에 필수적인 요소인 인증서의 상태 검증에 있어서 인증서 상태 검증 서버인 OCSP (Online Certificate Status Protocol) 서버는 실시간 상태 검증을 제공한다. 그러나 서버와 클라이언트의 메시지 인증을 위해 전자 서명을 수행해야 하며, 이때 사용되는 공개 암호 연산 과정의 복잡성은 동시에 많은 클라이언트의 요청이 발생할 경우에 응답 시간을 크게 지연시킨다는 단점을 가지고 있다. 본 논문에서는 이러한 문제를 해결하기 위한 인증서 상태 검증 서버의 시뮬레이션 모델을 DEVS (Disvrete EVent system Specification) 방법론을 이용하여 설계하였다. 이 모델은 인증서의 상태 검증을 요청하는 영역에 위치하여 해쉬함수를 적용한 인증을 수행하도록 구성되었으며, 시뮬레이션 결과는 제시한 방법이 인증서 상태 검증 속도를 증대시켜 결과적으로 사용자의 응답 시간이 감소되는 것을 보여준다.

  • PDF

POMDP-DEVS를 활용한 전투 개체 모델링 (Modeling Combat Entity with POMDP and DEVS)

  • 배장원;이강훈;김현은;이준석;고봉석;남보원;문일철;김기응;박재현
    • 대한산업공학회지
    • /
    • 제39권6호
    • /
    • pp.498-516
    • /
    • 2013
  • Combat Modeling and Simulation (M&S) is significant to decision makers who predict the next direction of wars. Classical methodologies for combat M&S aimed to describe the exact behaviors of combat entities from military doctrines, yet they had a limitation of describing reasonable behaviors of combat entities that did not appear in the doctrines. Hence, this paper proposed a synthesizing modeling methodology for combat entity models considering both 1) the exact behaviors using descriptive modeling and 2) the reasonable behaviors using prescriptive modeling. With the proposed methodology, combat entities can represent a reality for combat actions rather than the classical methodologies. Moreover, the experiment results using the proposed methodology were significantly different from the results using the classical methodologies. Through the analyses of the experiment results, we showed that the reasonable behaviors of combat entities, which are not specified in the doctrines, should be considered in combat M&S.

함정의 대탄도탄전 효과도 분석을 위한 모델링 및 시뮬레이션 (Modeling and Simulation for Effectiveness Analysis of Anti-Ballistic Warfare in Naval Vessels)

  • 배장원;이근호;나형호;문일철
    • 한국시뮬레이션학회논문지
    • /
    • 제32권3호
    • /
    • pp.55-66
    • /
    • 2023
  • 최근 해군 함정은 다양한 최첨단 장비와 ICT 기술이 탑재되어 다종의 임무를 수행할 수 있도록 개발되고 있다. 우리나라 해군 함정의 주요 임무 중 하나는 급증하고 있는 탄도탄의 위협으로부터 아군의 주요 유닛과 지역을 방어하는 대탄도탄전이다. 대탄도탄전의 경우 탐지에서 요격까지 이루어지는 과정이 복잡한 반면 실패에 대한 피해가 크기 때문에, 대탄도탄전을 효과적으로 수행하기 위한 많은 준비가 필요하다. 본 논문에서는 미래 해군 함정에 탑재될 전투체계 및 장비를 활용한 대탄도 탄전 시뮬레이션 모델을 제안한다. 특히, 대탄도탄전에 필요한 특성을 반영하여 향후 효과도 분석에 활용될 수 있는 시뮬레이션 모델을 제안하고자 한다. 이를 위하여, 시뮬레이션 모델 개발에 DEVS 형식론을 적용하여 모듈러하고 계층적인 모델을 개발하였으며, 다양한 대탄도탄전 상황을 효율적으로 표현할 수 있게 하였다. 제시된 사례 연구 결과에서는 함정의 탐지 체계의 성능 및 의사 결정으로 발생할 수 있는 대탄도탄전의 문제 상황을 시뮬레이션 내용과 그 의미를 설명하였다. 향후 본 연구의 결과가 함정의 대탄도탄전 효과도 분석은 물론 함정의 대탄도탄전의 효과적인 수행을 위한 최적의 전투자원 배치 및 제원 그리고 운용 전술 등을 개발하는데 활용되기를 기대한다.

Logical 모델을 활용한 자동차 차체 조립 라인의 시뮬레이션 적용을 위한 방안 연구 및 적용 (A Study and Application of Methodology for Applying Simulation to Car Body Assembly Line using Logical Model)

  • 구락조;박상철;왕지남
    • 한국CDE학회논문집
    • /
    • 제14권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.