• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1997년도 춘계 학술대회 발표집
• /
• pp.39-42
• /
• 1997

시뮬레이션이 설계 검증에 사용될 때 검증의 척도를 효율적으로 제공하기 위해 설 계오류 모델과 통계적인 샘플링 기법을 사용한 시뮬레이션 시스템이 개발되었다. 이는 시뮬 레이션 검증율을 제공하고 샘플링 기법을 이용하여 검증율을 빨리 예측할 수 있다. 실험 결 과는 이 방법이 효과적임을 증명한다. 이 시스템은 전체 설계시간을 줄이는 효과적인 설계 검증 도구로 사용될 수 있다.

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

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

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

본 연구는 DEVS를 기반으로 개발된 교통류 시뮬레이션 시스템인 $\ulcorner$I$^3$D$^2$ 교통류 시뮬레이션 시스템$\lrcorner$(이하 I$^3$D$^2$)의 검증을 그 목적으로 한다. I$^3$D$^2$는 본 연구진이 DEVS를 기반으로 개발한 범용 시뮬레이션 도구로써, 이미 서울시 강남 신호교차로와 내부순환로를 대상으로 하여 개발된 내용을 발표한 바 있다. I$^3$D$^2$는 헌재 단속류에서의 최적신호 생성 및 대기행렬 예측 문제, 그리고 연속류 시설의 용량 산정 문제등을 시뮬레이션 할 수 있다. 하지만 아직 문헌자료나 현장 데이터를 토대로 한 충분한 검증이 수행되지 못한 문제가 있다. 따라서 본 연구에서는 문헌자료를 토대로, I$^3$D$^2$를 검증한다. 이를 위하여 고속도로 또는 도시고속도로와 같은 연속 교통류의 대표적인 효과척도인 $\ulcorner$교통량 - 밀도 - 평균주행속도 (시간)$\lrcorner$ 간의 상관관계를 이용하여 미국 HCM과 우리나라의 도로용량편람에 정의되어 있는 기준을 토대로 I$^3$D$^2$ 검증을 수행하였다. 모델링은 서울시 올림픽대로의 양화대교 - 성산대교 - 가양대교 구간을 대상으로 했으며, 검증은 교통량에 따라 크게 3가지 교통류 상태(random, intermediate, constant)를 기준으로 시뮬레이션이 각각의 교통상태에서 예측한 평균주행시간의 정확도를 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.

• 한국시뮬레이션학회논문지
• /
• 제19권2호
• /
• pp.127-135
• /
• 2010

시뮬레이션에서 모델의 검증 문제는 그 모델의 신뢰성을 의미하며, 그에 따라 모형의 정당성을 입증하는 가장 중요한 열쇠 중 하나이다. 하지만 지금까지 연구된 다양한 방법들 중 시계열형태의 자료를 이용한 검증 방법론은 개념적인 측면에서는 정립되었으나 구체적인 기법에 대한 연구는 부족한 상태이다. 그리하여 본 연구에서는 Wavelet 변환과 Power Spectrum을 이용한 시계열 데이터의 시뮬레이션 검증 방법을 제시하고자 한다. 이를 위해 첫 번째로 비주기적인 신호분리가 가능한 Wavelet 변환을 이용하여 스펙트럼을 추출하고, 두 번째로 스펙트럼 분석을 이용하여 실제 시스템에서 출력 데이터의 패턴이 시뮬레이션을 통해 나온 패턴과 일치하는지의 여부를 Coherence를 이용해 검정하였다. 실제 사례를 통하여 다른 검증방법들과 비교한 결과, 시뮬레이션 모델링의 완성도에 따른 모델의 일치도 여부를 보다 명확하게 검증하였다. 본 연구에서 제시한 방법을 통해, 하나의 통계량을 통한 검증이 아닌 한 구간별 검증을 통해 지금까지의 획일적인 타당성 검증 방법에서는 할 수 없었던 다양한 상황에서의 시뮬레이션 모형의 타당성 검증이 가능하게 하였다.

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

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

• 한국시뮬레이션학회논문지
• /
• 제28권1호
• /
• pp.41-47
• /
• 2019

국방 시뮬레이션은 여러 무기체계를 실험하고 그 효용성을 평가하기 위해 활발히 사용된다. AddSIM 환경의 경우 국방 시뮬레이션에서 다루는 무기체계들을 보다 통합적인 관점에서 지원하기 위해 고안된 시뮬레이션 프레임워크로 재사용성과 확장성을 고려하여 설계되었다. AddSIM에서 사용되는 모델의 경우 기본 모델 구조에 대한 정보와 실제 무기 체계의 설계를 위해 사용되는 사용자 코드 영역에서의 검증이 통합적이며 정확한 시뮬레이션을 위해 필요하다. 따라서 본 논문에서는 AddSIM에서 사용되는 모델들에 대한 완전성을 위해 사용된 동적 검증 방법에 대해 설명한다. 사용자 코드 동적 검증 방법에 대해서는 명세 기법과 검증을 위한 알고리즘에 대해 설명한다. 또한, 검증 명세 기법 및 알고리즘을 바탕으로 구현된 동적 검증기 프로토타입에 대해 소개하며, 사례 연구에서는 AddSIM 환경에서 구현된 시뮬레이션 예제를 바탕으로 수행한 검증 결과를 분석한다.

• 한국시뮬레이션학회논문지
• /
• 제20권2호
• /
• pp.41-48
• /
• 2011

함포 사격통제시스템은 수상함 전투체계에서 가장 사용빈도가 높은 무장 시스템으로 탄도 계산의 연산과정이 복잡할 뿐만 아니라 각종 레이더 및 센서등 자함에 탑재된 대부분의 장비로부터 정보를 수신하여 탄도계산을 수행하기 때문에 시뮬레이션을 통해 사전에 검증을 하는 것이 필요하다. 본 논문에서는 함포 사격통제시스템을 검증하기 위한 시뮬레이션 환경 구축 기법을 제안하였으며, 구축된 시뮬레이션 환경을 통해 무기체계의 개발진행단계별로 주어진 데이터를 최대한 활용하는 효율적이며 실용적인 시뮬레이션 방법을 제시하였다. 시뮬레이션을 통해 검증된 사격통제시스템은 실제 수상함 전투체계에 탑재되어 함포사격에서 우수한 결과를 얻었으며, 이를 통해 제안된 시뮬레이션 방법의 정확성 또한 입증되었다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송∙미디어공학회 2022년도 하계학술대회
• /
• pp.574-576
• /
• 2022

메타버스는 다수 사용자의 협업이 가능한 3 차원 가상현실 환경을 제공한다. 메타버스 공간에서의 현실과 연결된 혹은 현실이 모사된 실시간/비실시간 시뮬레이션은 비용-효율적인 이점을 가진다. 연동-시뮬레이션은 서브시스템들의 통합 시뮬레이션으로, 메타버스 공간에서의 연동-시뮬레이션을 위해 데이터-레벨, 시스템-레벨, 서비스레벨에서 기술 성능 검증 및 메타버스 윤리 검증이 필요하다. 개별 서브시스템이 윤리적으로 동작하는지 뿐만 아니라 연동된 시스템의 활용도 윤리적인가를 살펴보아야 한다. 알고리즘 및 시스템 정책이 반영되어 검증된 모델은 메타버스의 더 적은 위험성을 가지고 자동화된 디지털 사회 체계나 현실세계의 시스템에 적용되어 활용될 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.43-49
• /
• 1998

본 논문에서는 이산사건 시스템의 무시간 DEVS/DEVS 명세에 대한 계층적인 설계/검증 방법을 제안하고자 한다. 제안된 방법의 가장 큰 장점은 DEVS 상위모델과 DEVS 하위 모델간의 반복적인 설계/검증 시 계층적 인 방식을 채택하여 검증 시 일반적으로 문제가 되는 상태폭발 문제를 크게 완화시켰다는 점이다. 간단한 예제를 통하여 제안된 방법론을 자세히 보여주고자 한다.

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

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