• Spatial Information Research
• /
• v.22 no.4
• /
• pp.59-65
• /
• 2014

Recently, increasing demand for 'Digital Elevation Model(DEM)' to climate change research and various development by global warming in the Arctic region. So we need to verify the accuracy to utilize DEM. In this research, we verified 'ASTER GDEM' and 'GIMP DEM' in several DEM which constructed in the Greenland that most of the area is covered ice sheet. We divided greenland into two part, ice sheet area and non ice sheet area by using the ESA globcover. Then, comparing a difference between 'ASTER DEM', 'GIMP DEM' and ICESat elevation data to verify the accuracy. As a result, GIMP DEM has higher accuracy in ice sheet area and ASTER GDEM has higher accuracy in non-ice sheet area.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.45-45
• /
• 2018

오염물의 혼합거동을 해석하기 위해 물리기반 모델을 이용하는 경우 모델을 구축하고 운용하는데 많은 시간과 재정이 소요되며 현장검증을 통한 검증이 반드시 필요하다. 하지만 데이터 기반 모델의 경우 축적된 데이터만으로도 예측을 수행할 수 있으며 물리기반모델에 비해 결정해야할 입력인자가 적어 모델운용이 용이하다는 장점이 있다. 다양한 데이터 모델 중 인공신경망(ANN) 모델은 데이터가 가지는 불확실성 및 비정상성, 복잡한 상호관련성에 효과적으로 대응할 수 있는 모델로 수자원 및 환경 분야에서 자주 사용되고 있다. 본 연구에서는 인공신경망 모델을 이용하여 지천유입이 있는 대하천의 수질인자 (pH, 전기전도도, DO, chl-a)를 예측하였다. 다른 데이터기반 모델과 같이 인공신경망 모델 또한 수집된 데이터 질에 크게 영향을 받으며, 내부 입력인자의 선택이 모델의 예측 결과에 큰 영향을 미친다. 이러한 인공신경망 모델의 특성을 바탕으로 예측모형의 정확도를 향상하기 위해서는 크게 데이터 처리부분과 모델구축 부분에서의 접근이 필요하다. 본 연구에서는 데이터 처리 과정에서 연구대상지점의 각각의 수질인자가 가지는 분포 특성을 유지하기 위해 층화표츨추출법을 이용하여 데이터를 구성하였다. 모델의 구축 과정에서는 초기가중치 값의 영향을 줄이기 위해 앙상블기법을 사용하였으며, 좀 더 견고하고 정확한 결과를 예측하기 위해 탄력적 역전파알고리즘을 추가하였다. 추가적으로 합류 후 본류의 미 계측지역 수질 예측 정확도 향상을 위해 본류의 수질인자뿐만 아니라 지류의 수질인자를 입력자료로 사용하여 모의를 수행하였다. 또한 동일 구간에서 수행한 현장추적자실험 자료를 이용하여 수질인자의 분포특성을 비교, 검증하였다. 개발된 모델을 이용하여 낙동강과 금호강 합류부 하류의 수질인자를 예측한 결과 지류의 수질인자를 입력자료로 추가한 경우 예측의 정확도가 증가하였으며, 현장실험 자료를 통해 밝혀진 오염물의 거동현상을 인공신경망 모델로도 동일하게 재현하는 것으로 나타났다. 본 연구에서 제안한 인공신경모델을 이용한다면 물리기반 수치모델을 대체하여 지천으로 유입된 오염물의 거동을 정확하고 효율적으로 파악할 수 있을 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.535-538
• /
• 2022

근감소증은 영양부족, 운동량 감소 그리고 노화 등으로 정상적인 근육의 양과 근력 및 근 기능이 감소하는 질환을 말한다. 근감소증은 보편적으로 유럽 근감소증 실무그룹분석(EWGSOP)에서 정의한 측정 방법을 따른다. 본 논문에서는 근감소증 진단을 위한 영상 분할 모델을 개발하고 외부검증하는 방법에 대해서 제안한다. 우리는 CT 영상에서 L3 영역을 선별하여 자동으로 근육, 피하지방, 내장지방을 분할할 수 있는 인공지능 모델을 U-Net을 사용하여 개발하였다. 또한 모델의 성능을 평가하기 위해서 분할영역의 IOU(Intersection over Union)를 계산하여 내부검증을 진행하였으며, 타 병원의 데이터를 이용하여 같은 방법으로 외부검증을 진행한 결과를 보인다. 검증 결과를 토대로 문제점과 해결방안에 대해서 고찰하고 보완하고자 했다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.745-747
• /
• 2014

본 논문에서는 OFDM 기반 무선 백홀 시스템에 적용 할 수 있는 채널 추정 및 $2{\times}2$ MIMO 알고리즘을 VHDL로 구현하여, 무선 백홀 시스템용으로 제작한 보드의 FPGA에서 신호 검출 성능을 검증한다. 이를 위해, 먼저 매틀랩(Matlab) simulink를 이용하여 채널 추정 및 $2{\times}2$ MIMO 알고리즘을 floating-point와 fixed-point 모델로 설계하여 성능을 검증하고, 그 다음 Modelsim을 이용하여 VHDL로 구현한다. 구현된 알고리즘의 성능 검증을 위해 설계한 simulink 모델, Modelsim 시뮬레이션, ISE Chipscope, 그리고 오실로스코프로 측정한 결과들을 비교한다. 비교결과, Modelsim 시뮬레이션, ISE Chipscope, 그리고 오실로스코프로 측정한 결과들이 서로 동일함을 확인하였으며, simulink 모델의 결과와는 약간의 오차를 보임을 확인하였다.

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

유해 남조 대발생(Harmful Algal blooms, HABs)이 담수호에 발생하면 마이크로시스틴과 같은 독성물질과 맛·냄새 물질을 생성하여 상수원이용과 친수활동을 방해한다. 그래서 유해 남조 대발생 전 유해남조 세포수를 예측하여 선제적 대응하는 것은 중요하다. 따라서 본 연구는 머신러닝기반 Random Forest(RF)를 활용하여 팔당댐 앞의 유해남조 세포수를 예측하는 모델을 개발하고 성능을 평가하고자 한다. 모델 구축을 위해 2012년 4월부터 2021년 12월까지의 팔당호(삼봉리, 경안천) 및 남북한강(의암댐~이포보)권역의 조류, 수질, 수리/수문, 기상 자료를 수집하여 입력 및 출력 자료로 이용하였다. 수집된 데이터에는 다양한 입력변수들이 있어 남조 세포수 예측 성능 비교를 위한 전체 26개 변수 적용과 통계학적으로 상관관계가 높은 12개 변수 적용을 통해 모델을 구축하였다. 입력, 출력 자료로 이용한 유해남조 세포수는 로그변환된 값으로 사용하였으며 일반적인 조류 시료 채취기간이 7일이므로 7일 후를 예측하기 위한 모델을 구축하였다. 구축한 모델의 성능은 실측데이터와 예측데이터의 R²로 산출하여 평가하였다. 전체 26개 입력변수로 모델 구축 후 학습 및 검증 수행 결과 R²의 학습 0.803, 검증 0.729로 나타났고, 유해남조 세포수와 유의미한 상관관계를 보이는 12개 입력변수로 모델 구축 후 학습 및 검증 수행 R²은 학습 0.784, 검증 0.731로 나타났다. 두 모델의 성능을 살펴본 결과 입력변수 개수의 변화에 따른 성능차이는 크지 않은 것으로 나타났으며, 남조세포수 예측을 위한 모델로서 활용가능함을 알 수 있었다. 향후 연구에서는 Random Forest 외 다른 기계학습 모델들과 딥러닝 모델을 통해 남조세포수 예측 성능이 높은 모델을 구축해볼 필요성이 있다.

• Journal of the Korean GEO-environmental Society
• /
• v.11 no.11
• /
• pp.5-18
• /
• 2010

In this paper, a 3-dimensional stiffened plate model for soil-metal box structures is proposed. 3-dimensional stiffened plate model is enable to model corrugated steel plates of soil metal box culverts considering section modulus and section properties of longitudinal and horizontal direction from a corrugated steel plate. Loading conditions which causes maximum displacement and maximum moment according to the step construction stages(a back filling to the top of the plate, a back filling to the maximum depth of cover, and loading of live loads) was applied and the behaviors of the soil metal box culverts was analyzed. Analysis results of 3-dimensional stiffened model were compared with those of 2-dimensional model, 3-dimensional equivalent plate model and 3-dimensional corrugated plate model. As results, the behaviors of 2-dimensional model and 3 dimensional equivalent model are different from 3-dimensional corrugated plate model but the result of 3-dimensional stiffened model has good agreement with that of 3-dimensional corrugated plate model.

• Journal of Korea Water Resources Association
• /
• v.52 no.12
• /
• pp.1047-1055
• /
• 2019

Various types of numerical modeling techniques are used to predict the behavior of pollutants under various water environmental conditions in the event of a water pollutant accident. Among them, a hydraulic model that can consider water flow characteristics is the most basic and very important. The process of evaluating whether the hydraulic model accurately predicts the applied river characteristics is very important. In the verification of the modeling result, the measuring data are often used in the river. Currently, ADCP and FlowTrackers are widely used to measure the flow velocity of rivers. However, ADCP is not accurate when the depth is less than 0.6 m and also when the ratio of irreversibility near the surface is more than 40%. Futhermore, FlowTracker has a limitation in measuring at high depth and high velocity due to the direct measurement method in rivers. Simuation results, which are validated by these methods, are not reliable for low depth conditions of low flowrate and high velocity conditions of high flowrate. In this study, Lagrangian GPS floaters which measures physical quantity of water according to particle movement is used without the conventional method measured by Eulerian technique. The verification method of the model results was studied by comparing the simulation results of the hydraulic model with the velocities measured using the GPS floaters. When comparing the traveling distance of the GPS floaters with the traveling distance of the LPT simulations, the average error rate was 13.6% on distances, and the average error rate was 3.2% on velocities except for the stagnant section. Therefore, GPS floaters can be used for a correction and verification method of hydraulic model simulations.

• Journal of the Korean Home Economics Association
• /
• v.30 no.2
• /
• pp.139-158
• /
• 1992

본 연구는 가족스트레스 이론적 모델인 Double ABCX Model과 일과 가정생활의 역할 긴장에 관한 선행연구를 기초로하여 제안된 이론적 모델을 검증하는데 목적이 있다. 이론적 모델의 검증을 통하여 일과 가정생활의 역할 stressor나 두 가지 역할의 누적으로 쌓이는 역할 긴장이 가족스트레스 이론으로 설명될 수 있는가\ulcorner 또한 매개 변수인 가족자원과 대처방안에 의해 어떻게 중재되어 삶의 질에 영향을 미치는 가를 규명하고자 한다. 미국 로스앤젤레스 지역의 한국교민 중 맞벌이 부부인 가족을 연구대상으로 선정하고 설문지법으로 남편과 부인의 자료를 분리하여 표집하였는데 본 연구에서는 153명의 부인으로부터 얻은 자료만을 분석하고자 한다. 자료는 이론적 검증에 유용한 LISREL VII 프로그램을 사용하여 분석한다. 자료의 분석결과가 처음 제안된 모델은 검증하지 못했지만 가족자원 변인과 대처방안 변인간의 상호 관계 효과를 고려하여 수정된 모델은 가족스트레스 이론으로 일과 가정생활을 병립하는데서 오는 stressor나 누적된 역할 긴장을 이해할 수 있음이 검증되었다. 모델의 검증을 통하여 맞벌이 부부가족의 부인에게는 일과 가정생활의 stressor가 누적되어 역할긴장을 증가시켰으며 이 역할긴장은 주로 가정생활의 역할 stressor에서 기인하는 것으로 나타났다. 또한 가족자원은 일과 가정 생활의 두 역할 stressor에 의해 강도를 더하는 역할 긴장을 감소시키고 삶의 질을 증가시키는 중요한 매개변수로 나타났다.

• 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 KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.380-392
• /
• 1999

객체지향 분석과정중에 오류를 검출하고 일관성을 점검하여 무결성을 유지하는 것은 중요한 일이다. 그러나, 현재의 객체지향 개발 방법론은 객체지향 분석모델들에 대하여 오류 검출과 일관성 점검을 위한 정형화된 방법을 제시하지 못하고 있다. 본 논문은 지식베이스를 이용하여 , 객체지향 분석모델들에 대한 오류와 일관성 검증방법을 제안한다. 제안한 방법은 모형화 단계, 정형화 단계, 검증 단계의 세단계로 이루어져 있다. 모형화 단계에서는 시스템을 분석하여 OMT(Object Modeling Technique)방법론의 세 가지 모델인 객체모델, 동적 모델, 기능모델을 생성한다. 이 단계는 OMT의 분석단계에 해당한다. 정형화 단계에서는 이 세가지 모델들을 Atomic Formula 형태로 정형 명세하여 응용 지식베이스에 저장한다. 검증 단계에서는 오류 검출 규칙과 일관성 점검 규칙을 이용하여 오류를 점검하고 일관성을 유지한다. 그리고 본 논문에서 제안한 점검 방법을 적용하여 ATM(Automated Teller Machine)예제의 분석결과를 검증했다. 제안한 방법을 이용하면 보다 더 신뢰할 수 있는 분석모델을 얻을 수 있을 것으로 기대된다.