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

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.430-432
• /
• 2000

시뮬레이션을 구현할 때 대부분의 경우 eventlist 라는 자료구조를 사용하여 사건(event)를 처리하고 시간을 스케쥴링(scheduling)한다. 그러나 eventlist를 사용하는 것은 객체 스스로가 사건을 처리하고 시간 스케쥴링을 하지 않는다는 점에서 객체지향적이지는 못하다. 그래서 본 논문에서는 객체 스스로가 상태를 가지며 사건을 처리하고 시간을 스케쥴링하는 전차대 전차, 전차대 헬기 교전을 위한 시뮬레이션을 설계 및 구현하였다. 설계는 상태변화를 쉽게 하고 시간 전진 문제를 쉽게 처리할 수 있는 Fa$\square$ade Pattern방법을 사용하였으며, 시간전진 방법은 상태변화에는 논리시간(logical time)을 이용한 이산사건(discrete event) 전진방법을 사용하였고 Graphic Visualization에는 실시간(real time)을 이용한 이산(discrete) 전진방법을 사용하여 논리시간과 실시간을 병렬로 동기화시켜 처리하였다. 구현은 Visual C++의 MFC 라이브러리를 사용한 MDI구조로 구현하였다. 논문의 시뮬레이션은 교전모델을 응용하였고 객체지향(Objected-Oriented)으로 설계 및 구현되어 각 객체의 재사용과 확장 및 수정이 용이하다는 장점을 가진다.

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

본 연구에서는 조선 공정 계획의 수립 완성도 향상을 위한 다양한 시뮬레이션 시스템의 개발을 지원하는 시뮬레이션 프레임 워크(simulation framework)를 제안하였다. 그리고 제안된 시뮬레이션 프레임워크의 핵심 부분인 시뮬레이션 커널을 구현하였다. 구현된 시뮬레이션 커널은 이산 사건(discrete event)과 이산 시간(discrete time) 시뮬레이션뿐만 아니라 이들이 혼합된 형태의 시뮬레이션도 처리 가능하도록 하였다. 제안된 시뮬레이션 프레임워크의 효율성과 효용성을 평가하기 위해, 이를 조선 분야의 블록 탑재 공정(block erection process)에 적용하였다. 그 결과, 제안된 시뮬레이션 프레임워크가 조선 공정 계획을 위한 다양한 시뮬레이션 시스템을 개발하는데 효과적으로 사용될 수 있음을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.35-46
• /
• 2012

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 한국시뮬레이션학회논문지
• /
• 제26권2호
• /
• pp.9-17
• /
• 2017

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

• 한국항공우주학회지
• /
• 제48권2호
• /
• pp.159-166
• /
• 2020

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

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 1999년도 춘계공동학술대회:정보화시대의 지식경영
• /
• pp.285-285
• /
• 1999

• 한국전자파학회지:전자파기술
• /
• 제11권4호
• /
• pp.64-74
• /
• 2000

• 정보과학회지
• /
• 제13권4호
• /
• pp.6-19
• /
• 1995

• 정보과학회지
• /
• 제13권4호
• /
• pp.20-32
• /
• 1995