• Journal of Korea Water Resources Association
• /
• v.49 no.6
• /
• pp.459-467
• /
• 2016

LISFLOOD-FP model in which channel flows are resolved separately from the floodplain flows using either a kinematic or diffusive wave approximation has been used to analyze flooding behavior on the lower Mankyung River influenced by backwater. A calibration and validation process was applied using the previous flood events to assess the model performance. Sensitivity analysis was conducted for main calibrated parameters, such as Manning roughness coefficient and downstream boundary condition. Also, we examined the effect of warm-up for the initial conditions. The results show that the computed hydrograph is in good agreement with measured data on the study reach, even though it was a hydrologic kinematic wave model. The sensitive analysis show that the difference between the computed results may be greater depending on the used calibrated parameters and that the sufficient calibration/validation process against various flood events is necessary. If the flood inundation simulation is performed using the validated model, it is expected to be able to contribute about river planning and policy decision-making for flood damage reduction.

• Korean Journal of Forensic Psychology
• /
• v.11 no.1
• /
• pp.21-36
• /
• 2020

In P300-based concealed information test (P300 CIT), it evaluates whether the P300 amplitude for the probe is significantly greater than that of the irrelevant to determine if the suspect is telling a lie. An independent sample t-test or a bootstrap method can be used as a statistical test to make that decision. Rosenfeld et al. (2004) used the bootstrap method, claiming that "t tests on single sweeps are too insensitive to use to compare mean probe and irrelevant P300s within individuals" and their method has been accepted to date. The purpose of the study is to evaluate whether the power of t-test is lower than that of the bootstrap method in the P300 CIT. The Monte Carlo study was conducted by using EEG collected from 39 participants. The results showed that the type I error rates of the t-test and the percentile bootstrap method were similar and the power of the percentile bootstrap method was slightly higher than that of the t-test. The type I error rates of the t-test and the percentile bootstrap method were slightly lower than the significance level and the powers of the two tests were also slightly lower than that of the theoretical t-test. On the other hand, the type I error rate and power of the standard error Bootstrap method were the same as those of the theoretical t-test and its power was .012 ~ .081 higher than that of t-test depending on experimental conditions.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2015.10a
• /
• pp.133-134
• /
• 2015

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 집합체해체 핵심장치의 유지보수를 쉽게 하고, 원격 제어 효율을 높이기 위한 모듈화와 그에 대한 사전 검증을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 집합체 해체핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 집합체해체 핵심장치에서는 5개의 주요 모듈로 구성되었으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 130초, 언볼팅, 드릴링 모듈이 140초 소요될 것으로 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.415-415
• /
• 2023

홍수는 일반적으로 많은 피해와 인명 손실을 초래하는 자연재해 중 하나로, 홍수위 예측은 이를 방지하고 대처하는 데 중요한 역할을 한다. 최근 기계학습 기술을 이용하여 홍수위 예측 모델을 개발하고자 하는 연구가 많이 진행되고 있다. 특히, LSTM(long short-term memory) 모형은 시계열 예측에 대해 검증된 모형으로 홍수위 예측 연구에도 활발하게 적용되고 있다. 하지만 기계학습 모델의 학습 성능은 하이퍼파라미터의 값에 영향을 크게 받을 수 있으며, 특히 집중호우로 인해 수위가 급변하는 경우에는 과거 시계열 자료에 영향을 받는 LSTM 모형의 예측 성능이 오히려 낮게 나타날 수 있다. 따라서 본 연구에서는 홍수위 예측시 LSTM 모형의 예측 성능을 향상시킬 수 있는 세부 하이퍼파라미터 값을 분석하여 최적의 하이퍼파라미터 조합을 제안하고자 한다. 이를 위해 하이퍼파라미터 조정을 위한 자동화 도구인 W&B(Weights&Bias)의 Sweep 기능을 적용하고자 한다. 본 연구를 통해 LSTM 모형을 적용한 홍수위 예측의 정확도를 향상시키는 데에 기여할 수 있을 것으로 기대된다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.9C
• /
• pp.908-922
• /
• 2003

The Public Key Infrastructure (PKI) trends to delegate the certificate path processing to the Delegated Path Discovery (DPD) Server and Delegated Path Validation (DPV) server recently. The most critical factor for the selection of the delegated server is to allow the server to be equipped with a high reliability through a low cost, and simple implementation. In this paper, we propose a new certificate path processing scheme employed the trusted CA as the DPD/DPV server by adding the capability of the Validation Authority (VA) to the trusted CA. Since our proposed scheme uses the existing trusted CA as validation server, we can achieve a high trust through a simple implementation for the processing. Besides, we propose an additional scheme for reducing an overhead on the trusted CA. it is obtained by delegating digital signature verification to CAs on the path and by skipping the repeated path processing. As the result, our proposed validation scheme can be performed efficiently with high speed and low computational overhead.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.10a
• /
• pp.133-136
• /
• 2019

차량에서 생성되는 데이터의 가치가 상승함에 따라 데이터 소스와 데이터 내용에 대한 보안 위협 또한 증가하고 있다. 데이터 소스인 차량의 경우에는 운행의 안정성을 보장하고자 블록체인을 결합하려는 시도가 있어왔지만, 무결한 차량 운행 데이터 관리 시스템에 대한 이해 부족으로 데이터 위·변조 등 차량 데이터에 대한 사이버 공격에 적절히 대응하지 못하고 있다. 이에 본 논문은 수집된 차량 데이터의 무결성을 보장하고 수집된 데이터에 대한 질의가 가능한 블록체인 기반 데이터 베이스 시스템을 제안한다. 본 시스템을 통하여 분산 합의 기반 데이터 무결성 검증, 블록을 구성하는 해시트리의 복제 저장 없이 위·변조된 차량 데이터 검출, 일정 수준의 장애를 허용한 상태 하에서의 질의문 처리 등이 가능해진다. 본 시스템은 높은 공간 효율성과 확장성을 가지며, 수소전기차 공유 업체의 차량 운행 정보를 바탕으로 한 성능 평가 결과 평균적으로 데이터 블록 저장에 4.0 초, 각 블록 검증에 2.4 초, 질의 처리를 위한 합의 과정에 1.3 초가 소요됨을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.208-210
• /
• 2004

인증서 상태 검증이란 해당 거래에서 사용되는 인증서에 대한 유효성을 결정하는 과정으로 인증서를 이용하는 거래에 90%이상이 실시간적이고 신속 정확한 처리를 필요로 하는 인터넷뱅킹과 증권 트레이닝에 사용된다. 하지만 기존의 CRL을 이용한 인증서 상태 검증 기법은 인증서 상태의 대한 실시간성을 반영할 수 없다는 문제점이 있다. 이와 같은 CRL 기반의 인증서 상태 검증 기법의 문제점을 해결하고자 OCSP를 이용한 인증서 상태 검증 기법이 제기되었다. 이 기법은 인중서 상태에 대한 실시간성 문제는 해결 한 수 있었지만 OCSP 서버에 대한 중앙 집중화 처리구조로 인해 네트워크 과부하라는 또 다른 문제가 발생한다. 따라서 본 논문에서는 서명자가 인증서 발급을 요청하고 이에 따른 결과로 인증서가 인증기관으로부터 발급되었을 때 서명자정보와 인증서 일련번호가 인증기관 데이터베이스에 매칭 되어 저장된다는 점에 기인하여 위에 문제점들을 해결할 수 있는 서명자의 정보를 이용한 인증서 상태 검증 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.1197-1200
• /
• 2003

위성의 개발 및 제작에는 많은 비용과 기간이 소요되며, 일반적으로 사용되는 장비들과는 전혀 다른 우주환경에서 임무를 수행하게된다. 위성의 성공적인 임무완수를 위해서는 철저한 사전검증 작업들이 필요하게 된다. 특히, 위성의 궤도, 자세를 제어하고 실제적인 임무수행을 관할하는 위성탑재소프트웨어에 대한 완벽한 검증이 필요하다. 2004년 발사를 목표로 하고있는 다목적실용위성 2호 FSW(Flight Software)의 개발단계에서 소프트웨어의 통합 및 시험, 검증시험을 위해 실제 위성시스템과 유사한 인터페이스를 제공하는 개발도구인 STB(Software Test Bed)가 제작되었으며, 제작된 STB를 통한 FSW의 검증시험 및 분석을 지원하기 위한 프로그램으로서 구문분석 프로그램을 이용한 VTSP(Verification Test Script Parser)의 개발이 이루어졌다. 본 논문에서는 이러한 STB와 VTSP에 대한 전반적인 소개와 함께 개발된 STB와 VTSP를 이용하여 실제 위성탑재소프트웨어를 검증하기 위한 시험환경에 대해 알아보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.829-831
• /
• 2003

개방형 네트워크인 인터넷에서의 오든 정보 교환은 항상 정보의 노출 및 정보의 위조 및 변조 등의 위협요소를 배후에 내포하고 있다. 이러한 인터넷에서의 중요 정보 보호를 위해서는 모든 정보 교환에 있어서 정보의 탈법노출을 방지하기 위한 기밀성, 정보의 위조 및 변조 여부를 판단하는 무결성. 정보의 송신자와 수신자 사이렌 송수신 사실을 부인하지 못 하도록 하는 부인방지, 전송된 정보의 송신자라 수신자를 확실하게 증명해주는 인증 등의 기능들이 제공되어야한다. PKI 기반의 인증서 상태 검증 시스템은 위와 같은 4가지의 기능을 제공해 준다. 하지만 실시간으로 인증서의 대한 상태 정보를 제공하지 못 한다는 단점과 인증서 상태 검증을 위해 많은 정보를 전송해야 하기 때문에 네트웍 과부하에 문제가 발생한다. 그로 인해 인증서 상태 검증에 소요되는 처리 속도가 느리다는 단점이 있다. 본 논문에서는 기존 방식의 문제점인 인증서 상태 정보의 실시간성 반영 문제 및 인증서 상태 겅증 시간의 향상을 위한 인증서 자체의 Serial과 UserDN만을 이용한 축약 서명 기반의 효율적인 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통하여 기존의 시스템과 제안하는 시스템의 인증서 상태 검증 속도를 비교해 보고자 한다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2016.10a
• /
• pp.177-178
• /
• 2016

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 사용후핵연료봉 인출 핵심장치의 유지보수를 쉽게 하고, 원격제어 효율을 높이기 위한 모듈화와 그에 대한 모듈화 방안분석을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 사용 후핵연료봉 인출 핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 사용후핵연료봉 인출 핵심장치에서는 5개의 주요 모듈로 구성하였으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 190초, 언볼팅, 푸셔 모듈이 140초, 인출 모듈이 160초, 연료봉 밀집 모듈이 80초 소요될 것 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.