• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• pp.108-113
• /
• 1999

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

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2023년도 제67차 동계학술대회논문집 31권1호
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.31-41
• /
• 2010

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

• 한국정보통신학회논문지
• /
• 제23권9호
• /
• pp.1038-1048
• /
• 2019

최근, 선박의 항해 안전을 지원하기 위한 다양한 시스템이 개발되고 있다. 이러한 시스템의 유용성을 검증하기 위해서는 실제 선박에 탑재하여 운용해보는 것이 가장 이상적이나 현실적으로는 많은 어려움이 존재한다. 그 대안으로 모델링 및 시뮬레이션(M&S) 기법을 적용한 유용성 검증 방법이 요구된다. 현실과 가장 가까운 선박 조종 시뮬레이터(FMSS)는 구축비용이 수억에서 수십억에 달하는 등 매우 고가이고, 운용을 위한 전문 인력이 필요하다는 한계가 존재한다. 이러한 이유로, 본 논문에서는 이산사건 시스템 명세(DEVS) 형식론 기반의 선박 항해 모델링 및 시뮬레이션을 통한 항해 안전 지원 시스템을 검증하기 위한 방법을 제안한다. 그 첫 단계로 SES/MB 프레임워크를 기반으로 항해 시뮬레이션 아키텍처를 설계하고, DEVS 형식론을 기반으로 선박 핵심 장비 및 항해사 에이전트를 모델링하는 것에 관한 내용을 기술한다. 이러한 내용을 바탕으로 선박 항해 시뮬레이션 시스템을 구현하고, 다양한 시나리오를 통해 충돌회피 시뮬레이션 등과 같은 항해 안전 지원 요소의 효과도 평가가 가능할 것으로 판단된다.

• 한국정보통신학회논문지
• /
• 제17권10호
• /
• pp.2330-2336
• /
• 2013

사람이 만든 시스템들은 서로 상호 작용하는 여러 개의 요소 시스템들로 이루어지기 때문에, 시스템 오류로 인한 비정상적인 현상이 발생하였을 경우 그 논리적 오류를 분석하는 것이 매우 어렵다. 또한 높은 품질과 안정적인 시스템 개발을 위해서는 논리적 해석 방법이 반드시 적용되어질 필요가 있다. 본 논문에서는 시스템의 합성과 축소화 두 연산을 정의하고 이것을 기반으로 시스템을 해석하는 방법을 제안한다. 제안한 방법에서는 시스템의 합성과 축소화 과정을 반복적으로 수행하되 내부 이벤트들을 간소화 시킴으로써 주요 입출력 이벤트들의 응답이 같음을 확인하는 방법이다. 제안한 방법의 효용성을 보이기 위해 기존의 간단한 통신 프로토콜에 대하여 적용하여 보았으며, 전송매체에 전달된 메시지는 수신측에 반드시 전달된다는 것을 확인할 수 있었다.

• 한국시뮬레이션학회논문지
• /
• 제32권3호
• /
• pp.75-91
• /
• 2023

코로나 팬데믹 이후 B2C(Business to Customer) 중심의 온라인 시장 규모가 확대됨에 따라 물류 산업계는 다품종 소량 중심의 물류 처리를 위한 물류 자동화 창고를 구축하고 있다. 물류 자동화 창고 구축 시 시스템 설계 단계에서부터 자동화 창고의 요구사항을 만족하도록 설비 성능과 운영 로직이 설계되었는지 공학적인 검증이 필요하다. 본 연구는 전북 익산의 H 물류 자동화 창고를 대상으로 시뮬레이션 모델 기반의 설계 검증 및 최적 대안을 제시한다. 먼저, 전체 물류 프로세스 중 설계 검증 대상을 출고 프로세스와 관련 있는 박스 공급과 포장 프로세스로 선정하였다. 그리고 대상 프로세스에 대하여 병목현상이 발생 가능한 부분을 분석하고 분석 결과를 바탕으로 이산사건 시뮬레이션 모델을 설계 및 구현하였다. 시뮬레이션 실험 결과, 시스템 설계 단계에서 식별한 설비 파라미터와 운영 로직은 전체 자동화 창고의 성능 요구사항을 일부 만족하지 않는 것으로 분석되었고, 추가 시뮬레이션 실험을 통해 설비 파라미터와 운영 로직을 변경하여 시스템 성능 요구사항을 만족하는 대안을 제시하였다. 해당 시뮬레이션 연구는 추후 시스템 설계 단계뿐 아니라 시스템 구축 단계에서도 설계에 맞게 구축이 진행되는지 확인하는 검증 목적으로도 활용되기를 기대한다.

• 한국철도학회논문집
• /
• 제12권2호
• /
• pp.267-275
• /
• 2009

Max-Plus 대수란, 선형 대수(linear algebra)에서의 더하기(addition) 연산과 곱하기(multiplication)연산을 최대값(maximization), 더하기(addition)로 각각 대체한 비선형 시스템을 말한다. Max-Plus 대수는 전통적인 의미의 선형 대수에서 다뤄지는 고유값(eigenvalue), 고유벡터(eigenvector), 안전성(stability) 등의 개념이 Max-Plus 대수에서도 그대로 적용되고, 그것의 의미 또한 실제 시스템의 다양한 해석을 가능케 하고 있어, 최대값 연산과 더하기 연산으로 이루어진 이산 사건 시스템(discrete event system)을 분석할 수 있는 유용한 도구가 된다. 이러한 이산 사건 시스템의 대표적인 예가 바로 환승을 고려한 열차 스케줄이다. 현재 수도권에는 1호선${\sim}$8호선, 인천 1호선, 분당선, 중앙선 등 11개 노선의 도시 철도가 운영되고 있다. 각 노선들은 서울 Metro, 서울도시철도공사, KORAIL 등 서로 다른 운영사에 의해 운영되고 있어서 각 노선의 스케줄 또한 노선간의 환승을 고려하지 않은 채 독립적으로 작성되고 있는 실정이다. 이러한 독립적인 열차 스케줄은 승객들의 긴 환승시간으로 이어진다. 본 연구에서는 Max-flus대수 방법론에 대한 자세한 설명을 기초로 1호선과 2호선, 4호선의 주요 환승역인 사당역과 신도림역, 시청역, 동대문역을 중심으로 Max-Plus 대수 방법론의 적용 가능성을 검토해 보았다.

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

전통적으로 신뢰도 분석에 사용되는 Fault Tree Analysis의 경우 관련 분야의 전문가가 필요하고 작성자의 판단에 따라 신뢰도 분석 결과가 달라진다. 반면, Reliability Block Diagram의 경우 시스템 구성도나 Process Flow Diagram (PFD), Piping and Instrument Diagram (P&ID)을 기반으로 하기에 작성에 필요한 비용과 시간이 절감되는 장점이 있다. 본 논문에서는 Dynamic Reliability Block Diagram과 이산 사건 시뮬레이션에 널리 사용되는 DEVS 형식론을 이용하는 신뢰도 분석 방법을 제안한다. 또한 시스템 모델링 방법론 중 하나인 System Entity Structure/Model Base의 개념을 도입함으로써 다양한 설계 대안에 대한 신뢰도 분석 모델을 자동으로 생성할 수 있도록 하였다. 그리고 Reliability Block Diagram을 이용한 신뢰도 분석 시 오래 소요되는 계산 시간을 단축시키기 위해 GPU 가속 기술을 신뢰도 분석 시뮬레이션에 접목하였다.

• 터널과지하공간
• /
• 제26권2호
• /
• pp.87-99
• /
• 2016

본 연구에서는 지하광산 트럭-로더 운반시스템의 이산 사건 시뮬레이션을 수행할 수 있는 Windows용 프로그램을 개발하였다. 강원도 삼척시에 위치한 대성엠디아이 석회석 광산을 연구지역으로 선정하여 프로그램을 설계하였다. 개발된 프로그램은 Visual Basic.NET 2012로 구현된 그래픽 사용자 인터페이스와 GPSS/H 시뮬레이션 언어로 구현된 시뮬레이션 엔진으로 구성되어 있다. 사용자가 그래픽 사용자 인터페이스를 통해 시뮬레이션을 위한 입력 인자 값들을 설정하면, 프로그램은 시뮬레이션 엔진을 가동시키며, 시뮬레이션이 완료되면 그 결과는 다시 그래픽 사용자 인터페이스를 통해 화면에 출력된다. 본 논문에서는 프로그램 개발과 관련한 세부적인 사항과 함께 서로 다른 운영조건에서 각각의 적재 지점에 배차해야하는 최적의 트럭의 수를 결정하기 위해 프로그램을 연구지역에 적용한 결과를 제시한다.