• 제목/요약/키워드: 이산사건 기반 모델링 및 시뮬레이션

검색결과 34건 처리시간 0.02초

이산 사건 형식론을 이용한 거시적 및 미시적 교통류 시뮬레이션 (Macroscopic and Microscopic Traffic Simulation Using the Discrete Event system Formalism)

  • 이종근
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
    • /
    • pp.110-114
    • /
    • 1999
  • 본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

  • PDF

이산사건 시뮬레이션에 기반한 전자상거래 모델링/해석 소프트웨어 개발

  • 윤근수;안명수;이준원
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2000년도 추계학술대회 논문집
    • /
    • pp.208-212
    • /
    • 2000
  • 최근들어 B2C, B2B로 불리는 인터넷 기반의 전자상거래 시스템의 성공적인 구축이 기업의 비즈니스 성공의 열쇠로 간주될 만큼 그 중요성이 커지고 있다. 본 논문에서는 상거래 행위에 개입하는 다자간의 비즈니스 플로우를 효과적으로 모델링하여 분석할 수 있는 DEVS(Discrete Event Modeling System)이론에 기반한 새로운 비즈니스 모델링/해석 방법론을 제안한다 제안하는 방법은 비즈니스 플로우를 기술할 수 있는 언어를 정의하고, 정의된 언어를 이용하여 기술되는 전자상거래에 개입하는 개체간 거래 행위를 DEVS 모델로 자동 변환하는 방법을 제시한다. 변환된 모델은 이산사건 시뮬레이션 환경인 rDEVSim++ 시뮬레이션 소프트웨어를 이용하여 실행된 후에 그래픽 인터페이스 환경에서 비쥬얼화되어 시스템의 동작 및 성능을 분석 가능하도록 지원한다. 위의 전과정을 포함하도록 개발된 소프트웨어는 기업의 비즈니스 모델 구축용으로 활용이 가능할 뿐만 아니라 전자상거래 관련 인력 양성을 위한 교육용 소프트웨어로도 활용이 가능하다.

  • PDF

개선된 DEVS 모델을 이용한 전략 시뮬레이터 개발

  • 황도성;박성봉;안명수;김탁곤
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 2000년도 추계학술대회 논문집
    • /
    • pp.22-27
    • /
    • 2000
  • 이산사건 시뮬레이션 기법이 최근 들어 통신망, 각종 제조시스템 등 다양한 분야에 응용되고 있으며 군사용 시뮬레이터 개발을 위한 방법론으로도 활용이 증가하고 있다. 그러나, 군사용 전략 시뮬레이터는 모델간 대규모 상호 작용을 요구하는 속성을 가지고 있으므로 모델간의 사건 전달 방법을 적용한 시뮬레이터를 구현하는 경우에 시뮬레이션을 위한 계산량이 과도하게 요구되어 대규모의 시나리오를 시뮬레이션하는데 어려움이 있다. 본 논문에서는 이산사건 시뮬레이션을 위한 이론적 기반을 모두 갖춘 DEVS 형식론을 개선하여 군사용 전략 시뮬레이터를 개발하기 위한 Framework을 소개한다. 개발되는 시뮬레이션 환경을 DEVS 의미론에 기반한 모델링 환경을 제공하지만 시뮬레이션 속도 개선을 위해 여러가지 방법들을 고려한다. 또한, GIS 기반의 시뮬레이션 애니메이션을 위한 모델 관리 방법 및 데이터 전송 방법을 기술한다.

  • PDF

이산사건 시뮬레이션 시스템을 위한 웹 기반 분산 실험 틀 (Web-based Distributed Experimental Frame for Discrete Event Simulation System)

  • 정인호;최재웅;최창범
    • 한국시뮬레이션학회논문지
    • /
    • 제26권2호
    • /
    • pp.9-17
    • /
    • 2017
  • 현대사회의 다양한 분야에서는 복잡한 사회현상에 대하여 문제를 정의하고 문제해결책의 결과를 분석하는 과정으로 모델링 및 시뮬레이션을 활용하고 있다. 나날이 사회현상의 문제가 복잡해짐에 따라 요구되는 모델링 및 시뮬레이션 환경의 계산자원의 요구사항도 높아지고 있다. 이러한 요구사항을 수용하기 위해서 클라우드 서비스 등과 같이 컴퓨팅 자원을 유동적으로 사용할 수 있는 환경이 대두되었다. 본 연구에서는 이러한 컴퓨팅 자원 활용 시스템을 보다 효율적으로 활용할 수 있는 웹 기반 재구성이 가능한 시뮬레이션 실험 틀을 제안한다. 제안하는 시뮬레이션 실험 틀은 다양한 분산 컴퓨팅 환경을 지원할 수 있도록 프론트엔드(Front-end)에서 웹을 활용하여 시뮬레이션 모델의 재구성 시스템을 구축하고 백엔드(Back-end) 이산 사건 시뮬레이션의 실행을 담당하는 이산사건 시뮬레이션 실행단으로 구성된다. 본 연구는 사례연구를 통해 분산형 시뮬레이션 환경이 단일 시뮬레이션 환경보다 시간적 효율이 더 높음을 확인하였다.

이산 사건 모델링 및 시뮬레이션 기반의 다수 무인기 임무 할당 및 최적화 기법 (Multi-UAV Mission Allocation and Optimization Technique Based on Discrete-Event Modeling and Simulation)

  • 이동호;장환철;김상환;장우혁
    • 한국항공우주학회지
    • /
    • 제48권2호
    • /
    • pp.159-166
    • /
    • 2020
  • 본 연구는 복잡한 다수 무인기 시스템을 효율적으로 운용하기 위해 이산 사건 모델 기반의 다수 무인기 이종 임무 할당 기법을 제안한다. 이종 임무의 생성, 임무 할당, 무인기 출동, 임무 수행, 무인기 수리 및 정비에 이르는 무인기의 임무 시작에서 종료까지 일련의 과정을 이산 사건 모델링을 통해 수학적으로 정의하고, 이를 기반으로 주어진 임무 상황에서 필요한 최적 무인기 대수를 도출한다. 도출된 최적 무인기 대수를 적용하여 이산 사건 모델 기반의 반복 시뮬레이션을 통해 그 결과를 검증한다. 제안된 이종 임무 할당 기법으로 운용자는 제한된 무인기 자원을 효율적으로 활용하여 주어진 임무 상황에서 최적의 임무 계획을 수립할 수 있다.

이산사건 모델링 및 시뮬레이션 기반 LYNX-ESM 체계 시뮬레이션에 관한 연구 (A Research on the LYNX-ESM System Operating and Performance Prediction Simulation Based on DEVS)

  • 신동조;윤기천
    • 한국군사과학기술학회지
    • /
    • 제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.

노드 이동성을 고려한 애드 혹 네트워크의 이산 사건 시스템 기반 모델링 및 시뮬레이션 방법론 (A DEVS-based Modeling & Simulation Methodology of Enabling Node Mobility for Ad Hoc Network)

  • 송상복;이규호
    • 한국시뮬레이션학회논문지
    • /
    • 제18권4호
    • /
    • pp.127-136
    • /
    • 2009
  • MANET(Mobile Ad-hoc NETwork)에 있어 모델링 및 시뮬레이션은 실제 시스템 환경을 구축하기 어려운 여건에서 가상의 환경을 통한 분석연구를 위한 가장 효과적이고 유용한 방법이다. MANET의 연구에 있어서 네트워크 전체의 동작특성을 관찰하기 위해서는 노드간 전달과정과 관련한 상태 및 특성변화의 추적이 중요하며 이산 사건 시스템의 특징을 가진다. Zeigler's DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈라한 기법으로 이산사건 시스템을 명세할 수 있는 수학적 형식론이며, 이에 기반한 DEVSim++는 모델링의 무결성을 제공하며 객체지향형기법에 의한 계층적 최적화 모델링 및 시뮬레이션 환경을 제공한다. 그러나 네트워크를 구성하는 노드의 이동 특성으로 인해 네트워크의 연결 상태가 지속적으로 변하는 MANET을 모델링하기에는 어려운 부분이 있다. 본 논문에서는 DEVS방법론을 도입하여 MANET을 모델링하는 과정에서 노드의 이동 특성을 고려한, 네트워크의 변화특성에 따른 네트워크 상태의 변화를 관찰하기 위하여 네트워크 특성을 중심으로 MANET을 표현하는 방법을 제안하고 MANET DEVS 모델을 제시한다. 또한 제시한 모델을 DEVSim++시뮬레이션 엔진에 적용하여 시뮬레이션 함으로써 모델의 동작을 실증하였다.

DEVS 다이어그램 기반 이산사건 시뮬레이션 소프트웨어 구현 및 정적 검증기법: 실용적 접근방법 (Implementation and Static Verification Methodology of Discrete Event Simulation Software based on the DEVS Diagram: A Practical Approach)

  • 송해상
    • 한국시뮬레이션학회논문지
    • /
    • 제27권3호
    • /
    • pp.23-36
    • /
    • 2018
  • 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

미시적 교통류 시뮬레이션을 이용한 교통흐름분석 (Traffic Flow Analysis Using the Microscopic Traffic Simulation)

  • 임예찬
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 1999년도 추계학술대회 논문집
    • /
    • pp.108-113
    • /
    • 1999
  • 본 논문은 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS : Discrete Event System Specification)을 기반으로 미시적 교통류 시뮬레이션 시스템의 교통 흐름 분석에 대한 연구를 주목적으로 한다. 도로교통망 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류하는데, 미시적 모형은 개별차량의 행태를 바탕을 둔 모형으로 거시적 모형에 비해 설명력이 뛰어나다는 장점을 가지고 있지만 실제 교통상황에서 관측하고 검증하기가 어렵다는 단점을 갖고 있다. 따라서 본 논문에서는 신뢰성 있는 미시적 교통류 모형의 설계를 위해 DEVS 형식론을 기반으로 개별 차량에 대한 차량 추종 및 차로 변경 모형을 모델링하고 이를 근거로 교통류 시뮬레이션 시스템의 교통흐름 분석을 한다.

  • PDF

함정 Crew Mess Room 운용성 검증을 위한 혼잡도 평가 시뮬레이션 사례 연구 (A Simulation Case Study of Congestion Assessment for Validation of Naval Ship's Operability Performance in a Crew Mess Room)

  • 오대균;이동건
    • 한국시뮬레이션학회논문지
    • /
    • 제19권4호
    • /
    • pp.31-41
    • /
    • 2010
  • 지금까지의 함정과 관련된 연구들은 전술 체계 및 함정 개발 위주로 진행되어 왔으며 승조원의 거주 생활 환경 개선에 대한 연구는 부족했다. 본 연구 대상인 함정 crew mess room은 승조원 불특정 다수가 이용하는 함정 내 대표적인 복지 시설물로 기존의 전술 전략 중심의 모델링 및 시뮬레이션 방법론의 적용은 어려움이 있다. 이에 시설물의 혼잡도 평가 및 운용 시나리오 검증을 위한 3차원 이산 사건 시뮬레이션 기반의 시뮬레이션 모델링 프레임워크를 제안하고 구체적인 사례를 통해 대기시간 이동시간, 이동거리 등의 결과 분석을 통해 이를 검증하였다. 제안한 혼잡도 평가 시뮬레이션 프레임워크는 함정 crew mess room과 같은 복지성격의 시설물의 모델링 및 시뮬레이션을 적용하기 위한 절차 및 시스템 구성 요소를 포함하고 있으며 이는 향후 시뮬레이션 연구 수행에 가이드 역할을 수행할 수 있다.