• Proceedings of the Korea Society for Simulation Conference
• /
• 1997.04a
• /
• pp.39-42
• /
• 1997

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

• Journal of the Korea Society for Simulation
• /
• v.18 no.4
• /
• pp.185-195
• /
• 2009

As most systems get more complicated, system analysis using simulation has been taken notice of. One of the core parts of simulation analysis is validation of a simulation model, and we can identify how well the simulation model represents the real system with this validation process. The difference between input data of two systems has an effect on the comparison between a simulation model and a real system at validation stage, and the result with such difference is not enough to ensure high credibility of the model. Accordingly, in this paper, we construct a model based on Trace-driven simulation which uses identical input data with the real system. On the other hand, to validate a model by each class, not by an unique statistic, we validate the model using a metric transformed from F-measure which estimates performance of a classifier in data mining field. Finally, this procedure enables precise validation process of a model, and it helps modification by offering feedback at the validation phase.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• 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 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.127-135
• /
• 2010

The validation of a simulation model is a key to demonstrate that the simulation model is reliable. However, among various validation methods have been introduced, it is very poor to research the specific techniques for the time series data. Therefore, this paper suggests the methodology to verify the simulation using the time series data by Wavelet Transform, Power Spectrum and Coherence. This method performs 2 steps as followed. Firstly, we get spectrum using the Wavelet transform available for non-periodic signal separation. Secondly, we compare 2 patterns of output data from simulation model and actual system by Coherence Analysis. As a result of comparing it with other validation techniques, the suggested way can judge simulation model accuracy more clearly. By this way, we can make it possible to perform the simulation validation test under various situations using detailed sectional validation method, which has been impossible using a single statistics for the whole model.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.7-12
• /
• 2004

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

• Journal of the Korea Society for Simulation
• /
• v.28 no.1
• /
• pp.41-47
• /
• 2019

Defense simulation is actively used to test various weapon systems and evaluate their effectiveness. The AddSIM environment is a simulation framework designed to support the weapon systems dealt with in defense simulation from an integrated point of view and is designed for reuse and scalability. Models used in AddSIM require base model structure fidelity and verification of user code area. Therefore, this paper describes the dynamic verification method used for completeness of models used in AddSIM. For the dynamic verification of user code, the specification method and the verification algorithm are described. Also, we introduce the prototype of the dynamic verifier implemented based on verification specification method and algorithm. The case study analyzes the verification results based on the simulation example implemented in AddSIM environment.

• Journal of the Korea Society for Simulation
• /
• v.20 no.2
• /
• pp.41-48
• /
• 2011

Naval Gun FCS(Fire Control System) is the most fundamental weapon system in Naval Combat System. Simulationbased verification of FCS is mandatory before sea trial since ballistic solution needs complicated process and uses almost all information produced by own ship sensors. The FCS simulation method is proposed for verification of naval gun FCS and applicable to the FCS design depending on combat system development phase based on available data in each design phase. Verified FCS through proposed simulation method is adapted in real naval combat system and the performance has been proven by sea trial.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2022.06a
• /
• pp.574-576
• /
• 2022

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

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.03a
• /
• pp.43-49
• /
• 1998

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.622-624
• /
• 2005

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