• 한국시뮬레이션학회논문지
• /
• 제18권4호
• /
• pp.185-195
• /
• 2009

최근 시스템들이 복잡해지면서 시뮬레이션을 통한 시스템의 분석이 주목을 받고 있다. 시뮬레이션 분석에서 가장 핵심적인 부분 중의 하나가 시뮬레이션 모델의 검증이며, 이 과정을 통하여 시뮬레이션 모델이 얼마나 실제 시스템을 대변할 수 있는지를 판단한다. 모델의 검증에서 시뮬레이션 모델과 실제시스템의 데이터를 비교할 때 발생하는 차이는 입력 데이터의 차이에 의한 영향도 있으며, 이를 통한 모델의 검증 결과는 높은 신뢰성을 보장하지 못한다. 따라서 이 논문에서는 실제와 동일한 입력 데이터를 바탕으로 하는 Trace-Driven 시뮬레이션을 기반으로 모델을 설계하였다. 한편, 출력데이터들을 하나의 통계량을 통한 검증이 아닌 클래스 별 검증을 하기 위해 데이터마이닝 분야에서 분류기의 성능을 판단하는 F 척도를 응용하여 시뮬레이션 모델의 검증을 수행하였다. 그 결과, 제안된 검증 방법은 정밀한 모델의 검증을 가능하게 하고, 검증 시에 피드백을 제공함으로써 용이한 수정 작업을 가능하게 한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.1-4
• /
• 2019

드론은 여러 센서를 사용할 수 있고 자율적으로 비행 가능하다는 이점 때문에 다양한 분야에 활용할 수 있다. 그러나 단일 드론으로는 수행할 수 있는 작업이나 미션이 제한적이기 때문에 최근에는 다중 드론을 활용한 군집 비행 기술 연구가 활발하게 이루어지고 있다. 드론은 테스트를 통해 동작 검증이 이루어지는데 테스트 비용이 크고 파손의 위험이 있기 때문에 시뮬레이션을 이용한 사전 검증이 먼저 이루어진다. 그런데 다중 드론을 이용한 군집 비행 시뮬레이션의 경우 드론들이 밀집해 있기 때문에 시뮬레이션 중 드론의 충돌사고가 발생할 수 있다. 동기화가 제대로 이루어지지 않은 시뮬레이션은 각 드론 소프트웨어의 정확한 동작을 보장할 수 없기 때문이다. 이러한 문제를 해결하기 위해서 본 논문에서는 순서 기반의 동기화 기법을 제안한다. 제안하는 기법은 기존 동기화 기법과는 달리 순서 기반의 동기화로 시뮬레이션 오버헤드를 줄이며 다중 드론의 군집 비행 시뮬레이션에서 예상하지 못한 드론의 동작을 최소화 할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.513-518
• /
• 2007

시뮬레이션 방법론에 있어서 모델기반 시뮬레이션과 프로세스기반 시뮬레이션으로 나눌 수 있는데, 재사용성, 확장성, 시뮬레이터 기술 용이성 등의 장점으로 모델기반 시뮬레이션이 많이 사용되고 있다. 이러한 이유로 근래에는 컴퓨터 시스템, 항공, 자동차 등에서 모델 기반 시뮬레이션 방법이 사용되고 있다. 모델기반 시뮬레이션 방법으로 수학적 이론을 기반으로 모델을 정의하는 DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술한다. 대규모의 복잡한 시뮬레이션 모델을 검증 할 목적으로 분산 시뮬레이션 방법론이 있는데, 이들은 크게 동기적인 방법과 비동기적인 방법이 있다. 동기적 방식보다 빠른 수행을 위해 비동기적 방법은 전체 Time-order 순이 아닌 로컬 Time-order를 가진다. 그러나 비동기적 방식에는 분산된 시뮬레이터들 간의 전체 Time-order를 유지하기 위해 전 처리된 시뮬레이터 결과들을 저장하는데, Time-order 상으로 현재의 시뮬레이션 시간보다 과거의 사건이 왔을 때 그 이벤트를 처리해주어야 되기 때문이다. 이러한 비동기적 분산 시뮬레이션 방법론에서는 전체 Time-order를 유지하기 위해 과거의 Time-order를 가지는 이벤트가 왔을 때 rollback operation을 수행한다. 그러나 rollback operation은 분산 시뮬레이션 방법론에서 성능 장애요소 중 하나이다. 본 논문에서는 rollback operation을 최소할 할 수 있는 DEVS 모델 분배 방법을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.622-624
• /
• 2005

발전소 시뮬레이터는 발전소 설계의 검증, 제어 시스템의 성능 시험, 제어 시스템 상수 최적화, 새로운 제어 기법의 사전 검증 및 운전요원 훈련과 같은 다양한 목적으로 사용되어진다. 본 논문에서는 발전소 운전요원들의 운영 능력 향상을 위하여 사용자의 이벤트들을 저장하여 사용자 요구 시에 일정 시간 주기로 도면에 설계하는 스크립트 기능과 그래픽 기반의 시뮬레이션을 위한 두 종류의 결과 모니터링 윈도우 그리고 사용자의 다양한 시뮬레이션을 위한 시뮬레이션 속도 변경 기능을 기존의 발전소 시뮬레이터에 설계, 구현한다. 또한 시뮬레이션 속도 변경 기능 확장에 따른 시뮬레이션의 정확성을 판단하기 위하여 수행 결과 데이터를 추출하여 시뮬레이션의 정확성을 검증한다.

• 정보처리학회논문지A
• /
• 제14A권3호
• /
• pp.141-146
• /
• 2007

본 논문에서는 FPCA 기반의 시뮬레이션가속을 통한 함수적 검증에서 매 설계오류의 수정 과정에서 필수적으로 진행되어야 하였던 긴 FPGA 컴파일 시간에 의한 오랜 디버깅턴어라운드시간을 단축할 수 있는 FPGA 컴파일 회피를 통한 효과적인 시뮬레이션가속 방법을 제시하였다. 마이크로컨트롤러 설계의 함수적 검증에 제안된 방법을 적용한 결과, 본 논문에서 제안된 방법이 시뮬레이션가속의 높은 시뮬레이션 수행 속도를 유지하는 동시에 디버깅턴어라운드시간도 크게 단축할 수 있음을 확인할 수 있었다.

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

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

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

Workflow 관리 시스템은 비즈니스 프로세스의 자동화를 지원하는 것으로서, 비즈니스 프로세스의 각 업무 단계에 관련된 인적 자원 및 IT자원을 적절히 활용하도록 구현되어야 한다. 이러한 Workflow 관리 시스템은 Workflow 프로세스에 대한 명세로부터 실행 모델이 구성되어 Workflow 엔진을 통해 수행되는 과정을 거친다. 한편, 명세된 프로세스의 논리적 검증과 성능 예측을 위하여는 Workflow 의 수행 전에 시뮬레이션을 통한 분석이 선행되어야 한다. 본 연구에서는 기술된 Workflow 프로세스 명세로부터 이산사건 시스템 형식론인 DEVS를 기반으로 통일된 실행모델을 생성하고, 이를 바탕으로 시뮬레이션 분석과 실시간 수행을 하는 시뮬레이션 엔진과 실시간 분산수행 엔진을 각각 개발하였다. 간단한 업무 프로세스의 예를 통하여 분산환경에서 실행함으로써 제안된 방법의 유용성을 검증할 수 있었다.

• 한국정보통신학회논문지
• /
• 제12권5호
• /
• pp.893-899
• /
• 2008

본 논문에서는 C++기반 동작 레벨 회로 시뮬레이션 프로그램인 CPPSIM을 이용하여 전압 조절기와 PLL을 구현하고 시뮬레이션 하였다. 아날로그 회로를 C++코드로 모델링 후 시뮬레이션을 통해 시뮬레이션 툴의 유효성을 살펴보았으며, 아날로그 회로의 단계별 설계와 가능성을 타진하였다. 시뮬레이션 결과 회로의 동작 레벨에서의 설계가능성을 검증할 수 있었다. 또한 PLL을 디지털 신호기반으로 구현하여 아날로그 회로의 디지털화를 시도하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2017년도 추계학술대회
• /
• pp.155-156
• /
• 2017

본 논문에서는 단일 셀과 배터리 팩의 전기적 특성 실험 기반 내부 파라미터를 추출하고 등가회로 모델에 적용하여 시뮬레이션 및 검증을 진행하였다. 본 논문에서는 임의로 선정한 단일 셀에 대한 파라미터를 추출하여 스크리닝이 이상적으로 되었다는 가정 하에 팩 단위로 확장한다. 단일 셀에서 확장된 파라미터와 배터리 팩 자체의 파라미터를 구하여 시뮬레이션 결과를 실제 전압과 비교하여 검증한다.

• 정보와 통신
• /
• 제29권2호
• /
• pp.39-45
• /
• 2012

V2X 차량 안전 시스템은 ITS 환경에서 주행하는 모든 차량들이 V2V 혹은 V2I 기반의 협력통신을 통해 안전 서비스를 제공하는 기술이다. 이는 실제 도로환경에서의 실험, 즉 Field Operational Tests(FOTs)를 통한 검증과 평가 수행이 요구된다. 그러나, 일반적으로 실 도로환경에서 시스템 및 서비스에 대한 검증과 평가는 많은 시간과 비용을 필요로 한다. 따라서 실제 도로 주행 테스트 전에 V2X 안전 서비스의 기본적인 성능을 검증할 V2X 시뮬레이션 방안이 필요하다. 본 논문에서는 국외의 V2X 시뮬레이터 기술 개발 동향과 함께 차량 간 통신 시뮬레이션 분야에서 연구되고 있는 주요 이슈들을 알아보고 이를 극복하기 위한 연구 방호별 제시한다.