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

낙동강상류에 위치한 제1지류인 반변천 유역에는 대규모 홍수조절을 위한 임하다목적댐이 위치해있다. 임하댐의 발전 또는 수문방류시 방류수의 원활한 흐름을 위해서 본댐하류에 조정지댐이 존재하게 되는 데 본댐 및 조정지댐에서는 운영자의 원활한 운영을 위해서 수위에 대한 조견표가 작성되어 있다. 대규모 홍수가 발생하는 경우 조정지댐에서는 수문을 완전개도하기 때문에 본댐의 방류량과 조정지댐의 방류량은 실시간으로 유사한 값을 나타내지만, 평수기의 경우는 발전방류가 특정시간에 이루어지는 관계로 이를 조절하면서 발생하는 조정지댐의 방류량은 본댐의 방류량과 다른 형태를 나타내게 된다. 따라서 조정지댐의 시간대별 방류량의 정확한 산정법은 하류 하천의 흐름분석에 중요한 인자가 될 수 있다. 본댐의 경우는 여수로를 통한 흐름이 대부분 자유흐름의 형태로 유하하기 때문에 상류수위의 영향에 따른 문비개도별 조견표가 작성되어 있지만, 조정지댐의 흐름은 특성에 따라서 자유흐름 또는 잠수흐름 그리고 완전개도의 흐름이 존재하게 된다. 따라서 잠수된 흐름이 발생하는 경우 합리적인 조정지댐의 방류량산정을 위해서 하류의 수위를 고려한 산정법을 고려할 필요가 있다. 임하조정지댐에서는 2004년 11월부터 댐하류 방수로의 계측이 시스템에 입력되고 있어서 현재 방수로의 수위를 실시간으로 취득할 수 있는 바, 이를 이용한 방류량의 산정방법을 검토하게 되었다.

• 디지털융복합연구
• /
• 제14권6호
• /
• pp.253-261
• /
• 2016

PC 와 모바일 기기에 있는 다양한 프로그램을 이용하여 인터넷을 이용하는 사람들이 늘어날수록 프로그램에서 개인정보 등이 유출될 가능성은 매우 높아지고 있다. 따라서 인터넷을 사용하는 프로그램에서 정보흐름의 안전성 분석을 한 후에 개인정보의 유출이 없는 안전한 프로그램을 사용해야 한다. 정보흐름의 안전성 분석은 프로그램 내에서 정보의 흐름이 안전한지 분석하는 방법으로 정보흐름이 안전하면 개인정보 유출이 없고 안전하지 않으면 개인정보 유출이 발생할 수 있다. 본 논문에서는 SAT 해결기를 활용하여 정보흐름 분석을 수행하는 방법을 제시한다. 이 방법은 보안 수준이 설정된 변수를 포함하는 프로그램을 제어와 정보흐름을 나타내는 명제 논리식으로 변환하고, SAT 해결기를 이용해 명제 논리식으로부터 만족가능성 여부를 판단한다. 판단된 결과를 통해 프로그램에서 정보흐름이 안전한지 알 수 있으며, 안전하지 않은 경우 반례를 생성하여 어느 부분에서 안전하지 않은 지 알 수 있다.

• 공업화학
• /
• 제8권5호
• /
• pp.816-821
• /
• 1997

기체분산기로 단일노즐을 사용한 내부순환 공기리프트 반응기에서 수력학과 액체의 흐름특성을 해석하였다. 실험은 공기-물계에서 기체속도와 반응기의 높이를 변화시키면서 국부지역의 기체체류량과 추적자의 충격-응답곡선을 측정하였다. 실험결과, 약 8 cm/s이상의 기체속도에서 상승관은 기포가 강한 합체를 일으키는 난류흐름을 나타내었고 하강관에서는 균일한 크기의 큰 기포들이 분산된 지역까지의 축방향 높이가 기체속도의 증가에 따라 감소하였다. 그리고 국부지역과 반응기 전체의 평균 기체체류량은 기체속도가 증가할수록 증가하였고 반응기 상부지역의 높이가 증가할수록 감소하였다. 또한 혼합시간은 기체속도보다 반응기 상부지역의 높이에 크게 영향을 받으며 이들이 증가할수록 감소하였다. 상승관과 하강관에서 액체의 흐름은 플러그흐름에 근접하였고 환전혼합흐름으로 볼 수 있는 반응기 상부지역의 크기에 따라 반응기 전체의 액체흐름특성이 크게 변화하였다. 이때 액체의 순환속도는 기체속도가 증가할수록 증가하였고 다른 기체분산기에서 보다 상당히 큰 값을 나타내었다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2009년도 학술발표회 초록집
• /
• pp.924-928
• /
• 2009

국내의 다목적댐 저수지는 물이 흐르는 하천에 용수공급, 홍수조절 및 수력발전을 위해 만든 구조물로 형성된 저류상태를 의미한다. 이러한 수체의 유동에 영향을 미치는 가장 중요한 요소로는 유입수와 저수지에서 하천으로 방류되는 방류수이므로 본 연구에서는 유입수와 방류수에 의한 수체의 유동만을 고려하였다. 대상지는 용담댐 유역중 취수탑이 있는 지점으로 길이는 약 1,250m이고 폭은 평균 375m 정도의 크기를 갖고 있는 지형이다. 대상 지역에서 저수지 수체의 흐름특성을 평가하기 위해 SMS-RMA2 모형을 적용하였으며 용담댐 저수지 구역에 대한 1m 간격의 등고선을 가지고 대상지역에 대하여 격자를 구성하였다. 격자 크기는 평균 길이 방향으로 43m, 폭 방향으로 15m 크기로 구성하였으며 유속이 상대적으로 빠른 취수탑 부근은 좀더 세밀하게 구성하였다. 4년간 수문자료를 분석하여 이 지역의 흐름을 년중 크게 3가지로 구분하였다. 수체거동이 급변하는 여름 강우기 후에 저수지에 물이 풍부한 경우의 흐름, 봄철 저수지 물이 풍부하지 않은 상태에서 주자천으로 부터의 유입은 최하인 상태의 경우 그리고 강우기에 짧은 기간 나타나는 주자천 위주 흐름의 경우로 구분하여 모의하였다. 각각의 경우 전체적인 흐름장은 확연히 다르게 나타났으며 이런 결과로 볼 때 수체의 흐름은 상하류의 유입량 변화에 따라 항상 흐름은 변화하는 것으로 평가되었으나, 저수지 수체의 흐름 속도는 모두 0.05$^{\sim}$1.5cm/sec 정도로 모의된 것은 수체적 대비 방류량이 적어서 나타나는 현상으로 평가되었다.

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

국내외 발생하는 재난 중 70% 이상이 물과 관련된 재해로 분류되며, 집중호우와 태풍으로 인한 하천범람 및 내수침수 등으로 많은 피해를 발생시키고 있다. 특히 최근 발생하는 피해 양상은 과거에 발생하지 않았던 극한 강우로 인해 돌발적으로 발생하는 경우가 빈번하게 발생하고 있어 이에 따라 사전에 예측하여 미리 대비하는 선제적인 홍수 대비 시스템이 요구되고 있다. 선제적인 홍수 대비 시스템의 구축 여부는 정확한 하천 흐름 예측을 필요로 한다. 하지만 하천의 흐름은 댐붕괴, 제방붕괴, 하천 하상의 변동 등 다양한 상황에서 급격한 흐름의 변동이 발생하며, 이는 하천 흐름 예측에 장애물로 작용하여 정확도를 떨어뜨리는 요인이 된다. 특히 국내에는 산악지형과 수공구조물에 의한 불연속 단면이 다수 존재하고 있어 그 예측 결과에 대한 정확성에 대한 요구가 더욱 부각되고 있다. 그렇기 때문에 해당 문제를 해결하기 위한 다양한 기법들이 개발되어 실무에 적용되고 있으나 어떤 기법이 국내 하천특성에 적합한지 파악할 수 없으며, 그 정확성과 안정성에 측면에서 여전히 많은 문제점을 가지고 있는 실정이다. 본 연구에서는 불연속 흐름이 빈번하게 발생하는 국내 하천 특성에 적합한 수치 기법을 확인하고자 유량보존특성을 만족하는 유한체적기법 중 국내외적으로 다수 사용되었던 기법들을 비교 및 평가하였다. 불연속 흐름의 대표적인 예제로서 'Dam-break problem'과 충격파 해석 및 홍수기와 갈수기에 따른 하천 하상의 마름/젖음에 대한 평가를 할 수 있는 Toro's Riemann problems에 적용하여 비교하였으며 그 결과 값을 정량적인 수치로 나타내었다. 이를 통해 국내 하천 특성에 적합한 수치 기법을 선정하였으며. 향후 국내하천 환경을 만족할 뿐만 아니라 하천 종사자들의 요구에도 부합한 하천흐름해석 모형의 개발 시 많은 기여가 될 것이라 판단된다.

• 지구물리와물리탐사
• /
• 제21권4호
• /
• pp.231-243
• /
• 2018

흐름 전위는 지하 공극 내 유체의 흐름에 의해 발생하는 자연 전위로 이러한 흐름 전위를 이용한 자연 전위 탐사는 유체 흐름 뿐만 아니라 지층 유체에 대한 정보도 파악할 수 있는 탐사법이다. 지하 매질과 유체 사이에 존재하는 전기 이중층과 같이 입자가 대전하고 있을 때 여러 원인에 의해 유체가 유동하여 발생하는 계면 동전기 현상 중 하나인 흐름 전위는, 발생 기작이 복잡하고 측정 전위 값이 비교적 작아 잡음에 취약하다는 어려움도 있지만 이를 이용한 자연전위 탐사는 인공적인 송신원이 없어 탐사가 용이할 뿐만 아니라 반복성도 좋기 때문에 지층 유체 모니터링 탐사에 적용이 확대되고 있다. 이 논문에서는 지금까지 흐름 전위의 발생 기작에 대한 연구와 지배 방정식들을 정리하여 설명한 뒤, 매질의 물리적 특성 변화에 따른 흐름 전위 반응 특성 및 다양한 국내외 유체 흐름 자연 전위 탐사의 사례 분석을 수행하였다. 이 기술보고에서는 흐름 전위에 대한 이해도를 높임과 동시에 적용 가능한 다양한 분야를 소개함으로써, 국내에서의 흐름 전위를 이용한 자연전위 탐사의 현장 적용 방안을 제시하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(A)
• /
• pp.262-264
• /
• 2012

유비쿼터스 지능형 공간에서 사용자의 개입 없이도 자율 실행하는 서비스 플러그 앤 플레이 시스템(Service Plug and Play System)은 기능적인 모델로서 총체적인 시스템의 협력 프로토콜 부재로 그 동시성 및 병렬성을 반영한 실행관리를 하기 어렵다. 이는 시스템을 구성하는 모듈로, 컨텍스트 수집기, 서비스 실행기, 공간관리기, 모바일 제어기 등이 UML의 시퀀스 다이어그램으로 모델링하여 각 기기의 기능과 실행흐름을 독립적으로 표현할 뿐, 기기간의 상호작용, 특히 병렬 및 동시 실행 알고리즘을 설계하고 검증하는 절차의 부재 때문이다. 본 논문에서, 각 기기의 실행 흐름 및 상호작용을 Petri Net을 이용하여 모델링함으로써, 시스템을 구성하는 각 디바이스의 상호작용 및 실행 흐름을 정의 하고 검증한다.

• 한국산업정보학회논문지
• /
• 제17권3호
• /
• pp.43-49
• /
• 2012

현재 운용되고 있는 리가시 시스템에 대한 요구명세서는 대부분 자료흐름도를 사용하고 있어, 시스템의 유지 보수를 위해서는 자료흐름도로부터 획득한 정보에 의존하지 않을 수 없다. 본 논문에서는 자료흐름도로부터 데이터베이스 테이블 설계순서를 추출하는 추출기를 설계, 구현하였다. 추출기는 자료흐름도를 입력 받아 저장하고, 이를 방향그래프로 변환하여 데이터베이스 테이블 설계순서를 추출하여 제시한다. 구현된 추출기는 실제 운용 중인 소프트웨어 시스템에 적용함으로써 실제 적용가능성을 보였다.

• 한국음향학회지
• /
• 제15권5호
• /
• pp.44-52
• /
• 1996

열음향 냉동기의 설계시 요구되는 냉동기의 내부음장 특성을 예측하기 위해, 냉동기를 이루는 공명기 구조 및 선형화된 스피커의 모델에 대행 전달행렬기법을 이용하여 해석을 수행하였다. 여러 가지 기본 음향요소들의 전달행렬을 이용하여 공명기를 음향학적 요소들로 분해하고, 스피커의 선형화된 동특성 방정식과 함께 해석함으로써 음향요소들이 직렬로 배열되어 있는 공명기에 대한 음향특성을 얻어 내었다. 또한, 열음향 냉동기의 개발에 있어서 중요한 목표중 하나인 모세관 스택에서의 온도차이를 에너지 방정식을 이용하여 수치적으로 예측하였다. 한 개의 모세관 기공내에서의 음향일의 흐름, 열음향 흐름, 단위 길이당 에너지 손실 등을 단면변화함수를 이용해 표시한 후, 전체 스택에서의 에너지 흐름과 열평형을 고려하였다. 전체 스택에서의 에너지 흐름에 관한 식에 대하여, 내부음장 예측에 의해 구한 물리량을 이용하여, 수치적인 반복계산을 수행함으로써 온도비 및 성적계수를 예측할 수 있었다. 실제 설계된 공명기의 음향 특성의 해석결과가 실험과 잘 일치함을 관찰한 후, Hofler의 열음향냉동기에 대한 열음향 해석을 수행하여 실험결과와 잘 부합됨을 확인할 수 있었다.

• 정보처리학회논문지D
• /
• 제19D권2호
• /
• pp.127-132
• /
• 2012

서울 대도시권 버스 네트워크에서 승객이 전자 상거래로 구매한 소화물을 집이나 사무실로 가는 도중의 버스 정류장에서 수령할 필요가 있을 수 있다. 흐름-포착 위치-할당 모델을 응용하면 포착되는 승객 흐름을 최대화시키는 버스 정류장들을 선정하는 것이 가능하다. 승객 흐름은 승객 이동의 기-종점 쌍을 나타낸다. 본 논문에서는 기-종점 행렬을 이용하여 빠르게 픽업 위치를 선정하는 휴리스틱 알고리즘을 제안한다. 실험을 위한 대용량의 기-종점 행렬은 오백만 교통카드 트랜잭션들로부터 추출된다. 실험 결과에서 승객 흐름에 관한 특성과 포착률을 이용해 픽업 위치로 선정된 버스 정류장들을 설명하고 상위 20개 픽업 위치의 공간적인 분포를 지도로 표시하였다.