• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2007년도 학술발표회 논문집
• /
• pp.1307-1311
• /
• 2007

유역의 자연 유출량이 줄어드는 갈수기 동안 낙동강 본류의 수질은 상류지역의 댐 방류량에 큰 영향을 받는다. 따라서 수질이 취약한 중 하류부지역의 수량과 수질을 종합적으로 고려한 낙동강 수계의 물 관리를 위해서는 댐 방류량과 하류 수질의 정량적인 관계에 근거한 다목적댐군의 연계운영이 필요하다. 본 연구의 목적은 정상상태 하천수질모델을 이용하여 낙동강수계 다목적댐군의 방류량과 하류 하천의 수질 관계를 정량적으로 분석하고, 갈수기 동안 낙동강 수질개선을 위해 필요한 적정 댐 용수공급 시나리오를 제시하는데 있다. 낙동강수계 댐 군의 하류 하천 수질을 고려한 저수지운영 계획 수립을 지원하기 위하여 1차원 정상상태 수질예측모델인 QUAL2E를 구축하고 실측 유량과 수질자료를 이용하여 모델을 보정하고 검증하였다. 검증된 모델은 낙동강수계 상류에 위치한 안동댐, 임하댐, 그리고 중 하류 지류에 위치한 합천댐과 남강댐의 용수공급 시나리오별 하천 수질개선 효과를 분석하는데 적용하였다. 연구결과 낙동강 수질이 악화되는 갈수기 동안 중 하류부에 위치한 상수원의 수질을 개선하기 위해서는 합천댐과 남강댐에서보다는 상류에 위치한 안동댐과 임하댐에서 용수를 추가 공급하는 것이 더욱 효과적인 것으로 평가되었다. 댐 방류량 증감에 따라 수질영향을 가장 크게 받는 하천구간은 수질오염도가 가장 크게 나타나는 금호강합류점${\sim}$고령교구간인 것으로 분석되었다. 본 연구결과는 낙동강과 같이 수량이 부족한 하천은 오염부하량 삭감 대책과 함께 갈수기 유량조절이 매우 중요한 요소임을 보여주며, 주기적인 수질악화를 겪는 낙동강 중 하류 지역의 수질개선을 위한 상류 다목적댐군의 연계운영 계획 수립에 활용될 수 있을 것으로 사료된다.치모의 결과와 현장에서 관측한 유속장을 비교함으로써 본 연구에서 제시한 실제 탁수배제능력을 검증하였다.를 구축하였다는데 의의가 있다.로와 접하는 건물의 경우 모서리부 광고 효과가 지배적이며 대부분 곡선돌출형이 사용되고 있었다. 그러므로 모서리 저층부를 필로티로 계획하여 보행흐름을 원활하게 하고 대신 입면을 투명하게 하여 간접광고(내부전시) 효과를 유도하는 것이 좋다. 특히 원형모서리는 건물 특화 성격이 강하므로 불가피할 경우 소형 액센트 광고 위치를 미리 벽면으로 할애하는 것이 경관 및 입면계획에 유리한 것으로 분석되었다. 불확실도 해석모형 등의 새로운 기능을 추가하여 제시하였다. 모든 입출력자료는 프로젝트 단위별로 운영되어 data의 관리가 손쉽도록 하였으며 결과를 DB에 저장하여 다른 모형에서도 적용할 수 있도록 하였다. 그리고 HyGIS-HMS 및 HyGIS-RAS 모형에서 강우-유출-하도 수리해석-범람해석 등이 일괄되게 하나의 시스템 내에서 구현될 수 있도록 하였다. 따라서 HyGIS와 통합된 수리, 수문모형은 국내 하천 및 유역에 적합한 시스템으로서 향후 HydroInformatics 구현을 염두에 둔 특화된 국내 수자원 분야 소프트웨어의 개발에 기본 토대를 제공할 것으로 판단된다.았다. 또한 저자들의 임상병리학적 연구결과가 다른 문헌에서 보고된 소아 신증후군의 연구결과와 큰 차이를 보이지 않음을 알 수 있었다. 자극에 차이가 있지 않나 추측되며 이에 관한 추후 연구가 요망된다. 총대장통과시간의 단축은 결장 분절 모두에서 줄어들어 나타났으나 좌측결장 통과시간의 감소 및 이로 인한 이 부위의 통과시간 비율의 저하가 가장 주요하였다. 이러한 결과는 차가운 생수 섭취가 주로 결장 근위부를 자극하는 효과를 발휘하는 것이

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2016년도 학술발표회
• /
• pp.226-226
• /
• 2016

최근 이상기상현상과 기후변화로 인하여 국지적인 집중호우의 빈도 및 규모가 증가하고 있으며, 이로 인한 돌발 홍수피해가 증가하고 있다. 이러한 홍수 피해를 줄이기 위해서는 정확도가 우수한 초단시간(1~2시간 이내) 예측 강우량 정보가 필요하다. 본 연구에서는 집중호우에 대한 초단시간예보 및 실황 예측을 위해 시공간적으로 고해상도 자료를 제공할 수 있는 기상레이더 강우자료와 위성영상 자료를 결합하여 초단기 강수 예측기법 개발 연구를 수행하였다. 또한 기상레이더 강우량은 지상강우관측에 비해 정확성이 낮고, 많은 불확실성을 포함하고 있으므로, 위성영상에서 산출되는 강우자료와 결합하여 강우추정의 정확도를 개선하고자 하였다. 레이더 볼륨자료에서 반사도 자료를 추출하여, 1.5km CAPPI(Constant Altitude Plan Position Indicator) 자료를 생성하고, 반사도 CAPPI 자료의 패턴 상관분석을 통하여 강우시스템의 최적 이동벡터를 산출하였다. 또한 이동벡터를 고려하여 시공간적으로 외삽하여 강우이동 예측 모델을 개발하고, 초기자료로 레이더와 천리안 위성(Communication, Ocean and Meteorological Satellite, COMS) 영상자료에서 생성되는 강우자료를 결합한 강수장 자료를 이용하여 강수 예측장을 생성하였다. 레이더-위성 결합 초단기 강우예측 모델의 정확성 검증을 위하여 2014년 8월 25일 부산 및 영남 지역에 발생한 집중호우 사례에 대하여 지상기상자동관측시스템(Automatic Weather System, AWS) 강우 측정 결과를 비교 분석 하였으며, 그 적용 가능성을 검증하였다. 초단기 강우예측 분석 결과 지상강우자료와의 오차가 발생하나, 추후 여러 통계적 후처리 과정을 통하여 그 성능이 개선될 것으로 보이며, 보다 정확한 강우량 예측을 위해서는 지속적인 알고리즘 개선 및 모형의 검 보정이 필요할 것으로 사료된다.

• 한국지구과학회지
• /
• 제33권2호
• /
• pp.113-125
• /
• 2012

열대강우관측(TRMM) 위성에 탑재된 두 독립적인 기기인 마이크로파 센서(TMI)와 강수레이더(PR)를 통해 추정된 지표에서의 강우강도와 강수 관련 변수들을 네 개의 주요 열대해양에서 비교하였다. 해수면의 온도가 가장 높은 서태평양에서 가장 많은 강수구름이 발생하며, 이는 동태평양과 대서양 보다 1.5배 많은 빈도수이다. 반면 대류형과 혼합형에서 동태평양이 가장 강한 강우강도를 나타냈으며, 전체 강수 화소에 대해서는 대서양이 가장 강한 강우강도를 보였다. 한편 PR의 강우강도를 참값으로 볼 때 TMI의 강우강도의 편향은 강수유형과 지역에 따라 그 크기가 매우 다르게 나타났다. 더욱이 강수유형별 편향은 서로 다른 부호를 보였다. 특히 이 연구에서 선정한 열대해양들은 비교적 유사한 지구물리적 환경을 가지고 있지만, 그 편향의 크기가 지역에 따라 2배 이상의 차이가 일어났다. 따라서 마이크로파로부터 추정된 강수량에 대한 검증은 강수유형별 및 지역적으로 수행되어야 하며, 또한 국지적 강수 특성을 고려한 보다 정교한 TMI 알고리즘의 개발 및 개선이 필요함을 의미한다.

• 한국수자원학회논문집
• /
• 제45권7호
• /
• pp.631-641
• /
• 2012

본 연구에서는 지상의 관측 자료와 광역의 정보를 제공하는 수치 예보 모형 자료 및 인공위성 자료를 이용하고 자료와 강수예측치의 물리적 상관 특성을 나타내기 위하여 자료 사이의 비선형 거동을 잘 나타내는 신경망 모형에 적용시켜 단시간 강수 예측을 수행하였다. 이를 위하여 서울지점에 대하여 현재로부터 3시간, 6시간, 9시간, 12시간의 선행시간을 가지는 인공위성자료(MTSAT-1R) 및 수치 예보 모형 자료(RDAPS, Regional Data Assimilation and Prediction System)와 실시간 전송되는 자동 기상 관측 시스템(AWS, Automatic Weather System)의 관측치를 신경망 모형의 입력 자료로 하여 3시간, 6시간, 9시간, 12시간의 선행시간을 가지는 자료로 강수를 예측 할 수 있는 강수 예측 모형을 개발하였다. 장마와 태풍과 같이 전선형강수와 선풍형강수 등 강수 양상의 차이를 고려하기 위하여 6월, 7월과 8월, 9월 자료를 구분하여 신경망을 구축하였으며, 자료가용성에 기초하여 2006년에서 2008년 기간 동안에 대하여 모형을 학습하고 2009년에 대하여 모형의 적용성을 검증한 결과, 단시간 강수예측에 대한 모형의 적용 가능성을 보여주었으나 다양한 광역 자료와 인공신경망을 사용함에도 불구하고 단시간 강수예측의 정량적 정도향상을 위한 여지가 많음을 보여준다.

• 대한토목학회논문집
• /
• 제34권4호
• /
• pp.1139-1150
• /
• 2014

본 연구에서는 M-PRISM 모형을 이용하여 $1km{\times}1km$ 공간해상도 일강수량 추정에 대한 적용성을 검토하였다. 또한 회귀모형을 이용하여 M-PRISM 모형 매개변수를 추정하였으며, 잭나이프 방법을 이용하여 모형을 검증하였다. 기상청 385개 강수 관측지점에 대하여 M-PRISM을 이용하여 일강수량을 추정하고 PRISM 모형과 비교하였다. 비교결과, 강수의 정량적 크기를 추정에서는 두 모형에서 뚜렷한 차이를 찾아볼 수 없었으나, 강수의 발생빈도 추정에 있어서는 M-PRISM 모형이 더 우수한 결과를 나타내었다. 따라서 본 연구에서 제안한 M-PRISM 모형은 고해상도의 일강수량을 추정함에 있어서 매우 유용하게 사용될 수 있을 것으로 판단된다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2011년도 학술발표회
• /
• pp.408-408
• /
• 2011

수자원관리와 수문모형에 있어 강수, 증발산, 침투, 침루 등의 물 순환과정에 대한 실질적인 이해와 분석연구의 중요도가 높아지고 있는 실정이며, 그중에서도 토양수분은 강수의 침투, 유출 등의 지표면과 대기사이의 질량 및 에너지이동에 관여하는 중요한 요소로서 수자원 및 수문현상에 직접적인 영향을 미친다. 이를 위해 강수, 증발산, 토양수분과 같은 수문변수에 대한 다양한 관측이 실시되어야 하지만 국내에서는 지속적이고 안정적으로 지상관측을 할 수 없는 실정이며 관련 기반기술도 매우 취약하다. 따라서 이를 극복하기 위해서는 위성영상자료를 이용함으로써 한반도 전체에 대한 광역적인 토양수분자료의 획득을 용이하게 한다. 본 연구의 연구유역은 수자원 연구를 위해서 지정된 용담댐 시험유역으로 하였으며, 토양수분 관측지점의 지상관측 수문자료인 각 지점별 강수량, 지면온도, 인공위성자료인 MODIS 정규식생지수 등의 가용자료를 수집하고 신경망모형을 활용한 토양수분자료 생산 모형을 개발하여, 개선된 시공간 분해능과 공간정보 대표성을 가진 광역 토양수분자료를 생산하고 적용타당성을 분석하였다. 산정된 토양수분모형의 적용가능성을 파악하고자 용담댐 유역의 각 지점별 토양수분 관측데이터와 추정데이터를 비교한 결과 추천, 부귀, 상정 지점의 경우 평균 약 0.9257의 상관계수와 약 1.2917의 평균제곱근오차를 보였고, 검증지점인 천천2의 경우 약 0.8982의 상관계수와 약 5.1361의 평균제곱근오차의 결과를 보여주었으며 토양수분 추정모형의 적용가능성이 높음을 확인할 수 있었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2011년도 학술발표회
• /
• pp.371-371
• /
• 2011

본 연구에서는 한강유역 내 관측기간이 충분한 기상청 지상관측소 10개소를 선정하고 CCCma(Canadian Century for Climate modeling and analysis)에서 제공하는 자료에 대한 인공신경망기법 상세화 적용을 실시하였다. 인공신경망의 학습을 위해 CGCM3.1/T63 20C3M시나리오(reference scenario)의 22개 2D변수 중 물리적으로 민감도가 높다고 판단되는 GCM_Prec, huss, ps를 입력변수로 선정하였으며 인공신경망 학습기간은 1991년~1995년, 검증기간은 1996년~2000년, 예측기간은 2011년~2100년으로 A1B, A2 B1 시나리오 등 다양한 기후변화 시나리오를 통해 예측band를 제시하고자 하였다. 하지만 공간상관을 고려하기 위하여 각 관측소에 대하여 인공신경망 학습을 하는 경우 관측소간 spatial correlation 및 spatial cluster구현이 어렵기 때문에 Spatial Rectangular Pulse모형을 이용하고자 하였으나, 강수면적에 대한 scale의 결정이 어렵다는 단점을 확인 하고 본 연구에서는 Random Cascade 모형을 이용하여 ${\beta}$를 통한 강수면적 scale(rainy area fraction)을 결정하고자 하였다. Random Cascade모형의 기법은 격자단위의 downscaling기법으로 강수대의 공간적 형상을 재현하며 스케일에 비종속적인(scale-invariant)프랙탈 특성을 이용하여 매개변수를 최소화 할 수 있는 장점을 가진 기법으로 한강유역 1Km내외 강우장을 만들어 topographic effect를 첨가하고자 한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.24-24
• /
• 2017

홍수와 가뭄 등 수문기상재해 분석 및 사전 예측하기 위해서는 강수뿐만 아니라 토양수분, 증발산, 유량, 등과 같이 지표?하의 수문기상정보를 고려하는 것이 필요하다. 본 연구에서는 National Center for Atmospheric Research (NCAR)에서 개발된 고해상도 수문기상정보 모의가 가능한 WRF-Hydro를 활용하여 남강댐 유역에서 발생되는 돌발홍수 예측 적용성 평가를 수행하였다. 모델의 시공간 해상도는 1 hr, 150 m 이며, 기상 관측자료(Automatic Weather System, Automated Synoptic Observing System)를 사용하여 매개변수 민감도 실험을 실시하여 최적 모델 설정을 제시하였다. 고려된 매개변수는 격자 침투량을 결정하는 변수, 초기 저류 깊이, 표면 저항계수, 조도계수와 초기 토양수분 정보이며, 검증에 사용된 정보는 국가수자원관리종합정보시스템에서 1시간 단위로 제공되는 유입량 정보를 사용하였다. 그 결과 유출량은 격자 침투량을 결정하는 변수와 조도계수에 따라 민감하게 반응하였으며, 초기 토양수분량의 변화에 따라 시간에 따른 유출량의 변화가 강수에 민감하게 반응하는 것을 확인 할 수 있었다. 보정된 매개변수를 적용하여 돌발홍수 신고 지점의 유출량 변화를 살펴본 결과 강수의 발생과 동시에 매우 빠르게 유출량이 발생한 것을 볼 수 있었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2023년도 학술발표회
• /
• pp.117-117
• /
• 2023

도시 홍수, 하천 범람, 산사태와 같은 폭우와 관련된 재해는 자주 동시에 발생하며, 각 재해는 서로 다른 범위의 시간 스케일에서 강우 변동성에 민감하게 반응한다. 따라서 재해 복합화 모델링에 적합한 확률 강우 모델은 모든 유형의 재해와 관련된 모든 시간 스케일에서 강우 변동성을 잘 재현할 수 있어야 한다. 본 연구에서는 5분에서 10년 사이의 시간 스케일에서 다양한 강우통계특성을 재현할 수 있는 추계학적 강우 생성기를 제안하였다. 이 모델은 우선 Randomized Bartlett-Lewis Rectangular Pulse (RBLRP) 모델을 사용하여 미세 규모의 강우량 시계열을 생성한 후, 연속된 폭풍 사이의 상관관계 구조가 유지되도록 폭풍우의 순서를 섞는다. 마지막으로, 별도의 월별 강우량 모델링 결과에 따라 월 단위로 시계열을 재배열한다. 독일 보훔에서 기록된 69년간의 5분 강우량 데이터를 사용하여 본 모형을 검증한 결과, 평균, 분산, 공분산, 왜곡도 및 강우 간헐성은 5분에서 10년에 이르는 시간 스케일에서 체계적인 편향 없이 잘 재현됨은 물론, 5분에서 3일 사이의 시간 스케일에서의 극한 강수량 값도 잘 재현음을 확인하였다. 아울러, 극한 강우 및 산사태에 큰 영향을 주는 극한 강우 발생 전 과거 7일간의 강수량도 정확히 재현되었다.

• 정보보호학회지
• /
• 제5권1호
• /
• pp.25-46
• /
• 1995

소프트웨어 개발에서, 사용자 요구 사항을 잘 표현하면 할수록 시스템은 오류가 적고, 사용자가 요구하는 시스템으로 만들어지며, 시스템 검증이 쉬워지는 것 같이, 정형적 사양(formal specification)은 시스템 개발 전반에 영향을 준다. 이 정형적 사양은 암호 프로토콜이 완전(completeness)하고 안전(soundness)한가를 검증하는 데에도 유용하게 사용될 수 있다. 암호 프로토콜을 사양하고 분석하는 방법은 크게 대수적, 논리적, 상태 변환적 접근 방법등과 통신 프로토콜의 검증에 쓰는 패트리넷을 이용한 방법등이 있다. 이들 방법중에는 프로그램으로 구현되어 자동 검증 tool로 개발된 사례도 있다. 본 고에서는 암호 프로토콜을 위한 사양 기법과 그에 따른 분석 기법을 알아보고 그것들을 비교, 분석하였다.