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

본 연구는 어도에서의 어류이동의 적합성을 검증하기 위해 어도 수리실험을 통해 흐름에 따른 어류이동을 조사하는 것으로 하였다. 이를 위해 실험은 모형이 아닌 거의 실물에 가까운 원형 수준의 어도를 제작하였다. 물고기는 피라미를 준비하였으며, 어도 내부에 넣고 흐름을 형성시켜 어류의 거동을 비디오로 촬영하였다. 어도 격벽은 두께를 t=0.1m, 어도 폭은 B=1.0m, 격벽간 거리는 L=$1.0{\sim}2.0m$, 격벽간 낙차는 ${\Delta}H=0.1m$로 하여 각 경우에 따른 실험을 실시하였다. 본 연구 결과에 따르면 어류 이동에 효율적인 흐름의 속도는 $1.0{\sim}1.5$(m/s)임을 나타내고 있는데, 이는 기존 피라미의 선호유속(0.8m/s)보다 높은 편으로서, 이는 어류의 상류이동을 위해서는 선호유속보다 약간 높은 유속을 형성시킴으로써 어류가 상류로 이동하려는 의욕을 가지게 하는 것이 중요함을 시사하였다. 상기 실험 결과를 바탕으로 어류(피라미)의 상류 이동에 적합한 계단식 어도는 경사가 1/20이고, 상하류 격벽 단차가 10cm 정도로서 순환류가 약하게 형성되며, 월류 흐름의 속도가 $1.0{\sim}1.5$(m/s)를 유지하는 형태임을 알 수 있었다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1996년도 추계학술대회논문집; 한국과학기술회관, 8 Nov. 1996
• /
• pp.71-76
• /
• 1996

스트레인 게이지 브리지와 한개의 진동변위 탐촉자를 이용하여 평판의 근접장에서 음향 인텐시티를 측정하는 방법에 대하여 설명하였다. 또한 구조감쇠의 모델링을 통하여 음향방사파워에 대한 내부손실파워의 비를 나타내는 계수를 정의하여 내부손실파워의 정도를 평가하는 척도로 사용할 수 있음을 설명하였다. 임의의 경계조건을 가지는 평판에서 2개의 마이크로폰과 1개의 가속계를 이용하여 근사적으로 측정된 음향 인텐시티와 본고에서 제시한 방법으로 측정한 음향 인텐시티가 거의 일치함을 보이므로써 제시된 측정방법의 타당성을 검증하였다. 실험에 사용된 계(system)는 일반적인 해석에서 유체부하를 무시할 수 있는 계로 평판내부의 에너지 흐름에 비하여 외부로 방사되는 소음의 에너지 흐름이 매우 작기 때문에 평판내부의 에너지 흐름으로부터 방사되는 소음의 에너지 흐름을 알아내는 것이 매우 어려울 것으로 예상되었으나 본고에 제시된 방법으로 좋은 결과를 얻을 수 있었다. 앞으로 본 방법의 측정 오차에 대한 면밀한 고찰이 있어야 할 것이다. 그리고 평판의 내부손실이 비교적 큰 경우에 본 방법의 실험적으로 검증이 필요할 것이다. 또한 실질적인 문제에 응용되어 얼마만큼 유용한 정보를 제공할 것인가를 살펴보아야 할 것이다.

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

천수방정식의 수치모형은 하천의 유량예측, 홍수범람해석, 해일 모의 등에 널리 사용되고 있고, 그 결과는 수자원 관리, 재난 대책 등 정책적인 의사결정에 있어 유용한 자료로 활용되고 있다. 이처럼 천수방정식의 수치모형은 연구목적뿐만 아니라 실생활에 있어서도 큰 영향을 미치고 있으며, 이에 보다 정확하고 효율적인 수치모형의 구축이 수리/수자원/방재분야에서 중요한 영역이 되고 있다. 본 연구는 정확하고 안정적인 수치모의를 위해 천수방정식의 수치모형에 MLP(Multi dimensional Limiting Process)기법을 적용한 후 다차원 모의 시 MLP의 수치 진동 제어 성능을 검증하고자 하였다. MLP기법은 다차원에서 수치진동을 억제할 수 있도록 개발된 기법으로, 기존 TVD 제어자(limiter)과 MLP의 차이점은 기존 제어자들이 흐름이 발생하는 셀 경계면에서 재구성된 값이 Maximum Principle을 만족시키도록 제어자를 유도하는데 반해, MLP는 셀 절점에서 Maximum Principle을 만족시키도록 제어자를 유도한다는데 있다. MLP기법은 압축성 유체를 표현하는 2, 3차원 오일러 방정식에 적용되어 기존의 제어자들에 비해 안정적이며 정확한 수치모의를 가능하게 하는 것이 검증되었다. 하지만 천수방정식에 적용된 예는 없으며, 이에 본 연구는 천수방정식에 MLP를 적용하고 천수방정식 수치모형 검증에 주로 사용되는 수치모의를 통해 MLP의 수치 진동 제어 성능을 검증하였다. 모의 결과, MLP는 2차원 천수방정식에 있어서도 기존의 제어자들과 비교하여 수치진동을 보다 잘 제어하는 것으로 판단된다. MLP의 사용으로 인해 불연속면 근처에서 정확도가 향상되었고 수치진동이 발생하지 않아 보다 안정적인 모의가 가능하였다.

• 한국컴퓨터정보학회논문지
• /
• 제17권8호
• /
• pp.61-69
• /
• 2012

BIRS는 자바 프로그램의 검증을 위해 사용되는 중간표현 언어이다. 바이트코드 형태의 자바 프로그램은 검증을 위해 BIRS 코드로 변환된다. 변환된 BIRS 형태의 프로그램을 검증하기 위해서는 BIRS 형태의 프로그램에 대한 검증조건을 생성해야 한다. 본 논문에서는 BIRS 코드에 대한 검증조건을 생성하는 방법을 제시한다. 검증조건 생성은 BIRS 코드에 대한 제어흐름그래프 구성, 제어흐름그래프에 대한 깊이우선 탐색을 통한 기본경로 추출, 기본경로에 대한 최약 전조건(weakest precondition) 계산법의 과정을 통해 이루어진다.

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

항공사진을 이용하여 하천의 경년변화를 조사하다 보면, 사주 변동에 따라 하천의 주 흐름이 다양하게 변화되고 있음을 알 수 있다. 이처럼 특정 하천의 지정된 구간에서의 흐름변동은 많은 시간에 걸쳐 이루어진다. 바꾸어 말하면, 짧은 시간 동안 자연하천에서의 주 흐름 변화를 관찰 하기는 일반적으로 매우 어렵다. 본 연구에서는 이틀이라는 짧은 시간 동안에, 하천에서의 주 흐름 변동에 따른 특성변화를 조사하였다. 이러한 조사는 "조정지 댐에서의 수문 조작"이라는 인위적인 방법을 동원함으로서 가능하였다. 모든 조정지 댐에서는 하천 유지를 위한 일정양의 물을 수문을 통하여 방류한다. 대청댐 하류에 있는 조정지 댐에는 폭이 약 10m에 이르는 10개의 수문이 있다. 평상시에는 우안으로부터 5번째에 있는 중앙의 수문을 개방하여 초당 약 18톤의 물을 방류한다. 그러므로 본 연구에서는 방류하고자 하는 지점의 수문높이를 조정하여 일정량을 유지한 채, 수문의 위치를 중앙에서 좌안 그리고 우안의 순으로 변경 하였다. 방류 수문 위치를 변경함에 따라 하천에서의 수리특성을 조사하기 위하여, 흐름이 안정 될 때까지 충분히 기다린 후, 각각의 경우에서의 하류지역을 대상으로 현지관측 및 수치실험을 실시하였다. 조사는, 첫째 지형측량, 유량측정 및 수위변동 등을 포함한 정밀현장조사, 둘째 일반적인 모델에 정밀조사 결과를 적용시킴으로서 얻을 수 있는 가시화 기법 개발 등의 순으로 진행하였다. 수치실험에 사용한 모델은 하천에서의 흐름거동을 2차원적으로 해석하는데 많이 사용되고 있는 상용프로그램인 SMS (Surface-Water Modeling System)의 RMA2 모형이다. 이모형은 RMA (Resource Management Associates, Inc.)에 의해 처음 개발된 2차원 유한요소 모델이며 지배방정식은 z방향을 수심 적분한 2차원 천수방정식으로, x와 y방향에 대한 Navier-Stokes 방정식과 연속 방정식으로 구성된다. 본 연구에서는 현장 조사 시 지배인자 파악의 중요성 및 수치계산을 위한 검증자료의 필요성을 강조하기 위하여, 일반적인 방법으로 수행한 계산 결과 및 다양한 현장 특성을 고려한 계산 결과를 비교 하였다. 그 결과 본 연구는 (1)최신 장비들의 도입 및 검증과 기존 장비의 활용 범위 확대, (2)기존의 상용 프로그램을 이용한 하천 흐름특성의 가시화 실현 등에 의의가 있다고 사료된다.

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

하천 및 수자원의 효율적인 관리와 더불어 다양한 수공구조물의 운영 및 관리를 위해서 구조물 주변에서 발생하는 불연속 흐름 및 급변류 등의 현상과 구조물 운영을 반영한 수치해석 기법을 이용한 모델 개발의 중요성이 커지고 있다. 본 연구에서는 하천의 불연속 흐름을 모의하기 위한 1차원 흐름해석 모형(K-River)을 개발하였다. 본 모형은 천이류와 급변류를 수치적으로 안정하게 처리하기 위하여 지배방정식을 보존형 Saint-Venant 방정식으로 선정하고, FVM과 Forward Euler 방법을 이용하여 이산화를 수행하였다. 수치흐름률을 계산하기 위해서 불규칙 단면과 하상의 급경사 등에 신뢰도가 높은 기법으로 판단되는 근사 Riemann해법 중 하나인 HLL flux를 이용하였다. 개발된 K-river 모형의 검증을 위해서 해석해가 존재하는 타원형의 하상융기가 있는 하도에 적용하였으며, 국내에서 하천 설계 및 관리를 위해서 광범위하게 이용되고 있는 1차원 흐름해석 모형인 FDM기반의 HEC-RAS 모의결과와 비교 검토를 수행하였다. 그 결과, FDM기법에서는 모의되지 않는 일부 급변류 패턴을 개발 모형을 통해 모의가능하였으며, 전체적으로 K-River가 기존 모형 보다 해석해에 근사한 결과를 나타내었다. 또한, 배수문을 비롯하여 합류부, 분류부, 펌프장, 암거 등이 설치되어 운영되고 있는 아라뱃길에 적용하여 K-River의 적용성을 평가하였다. K-River를 이용하여 아라뱃길의 흐름분석을 수행한 경우가 HEC-RAS를 이용한 경우보다 수위와 유량의 유동을 시간에 따라 세밀하게 모의하였으며, 이는 배수효과에 의한 파의 전달이 FDM기법 대비 정확히 모의되기 때문으로 판단된다. 추후 연구에서는 현재보다 시간간격을 상세화 하여 수집된 관측수위를 통해 추가적인 검증을 수행하고, 다양한 특성을 가진 타 하천 등에 적용하여 모형의 적용성을 확대하고자 한다.

• 한국지반공학회논문집
• /
• 제22권10호
• /
• pp.69-76
• /
• 2006

지하수흐름에 대한 신뢰성 해석을 실시하였으며, 흐름에 관여하는 매개변수들이 목표 값의 파괴확률을 초과하는데 미치는 영향을 알아보았다. 본 연구를 위하여 2차원 지하수흐름 프로그램을 3-D 프로그램 DGU-FLOW로 확장하여 제작하고, 이를 1계 및 2계 신뢰성 프로그램에 연계하였다. 3차원 흐름 프로그램의 검증은 지하굴착지반의 지하수 흐름 해석 문제를 풀고 이를 MODFLOW 프로그램과 비교하여 수행하였다. 신뢰성부분 또한 몬테칼로 해석을 수행하여 나타난 파괴확률을 비교함으로써 검증하였으며 지하수 흐름에 대한 1계 및 2계 신뢰성해석을 수행하여 산정된 파괴확률 값은 몬테칼로 해석을 통하여 나온 값과 매우 근접하였다. 토질층의 투수계수에 대한 매개변수 해석결과 투수계수의 평균과 분산의 증가는 목표 수량을 초과하는 파괴확률의 증가를 가져오는 것으로 나타났다. 또한 파괴확률의 민감도는 여러흐름 변수중에서 흐름영역 경계부의 일정 수두에 가장 민감한 것으로 나타났다.

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

관망내 흐름의 수치 모델링은 도시 침수 분석, 하수도 관의 손상 탐지 또는 하수도 시스템 설계와 같은 넓은 분야에 적용되는 매우 중요한 문제 중 하나이다. 관망내 흐름상태는 자유수표면이 존재하는 개수로 흐름과 자유수표면이 관내에 존재하지 않는 관수로 흐름, 그리고 개수로 흐름과 관수로 흐름의 경계지점에 혼합흐름상태가 존재한다. 개수로 흐름과 관수로 흐름의 해석을 위해서는 일반적으로 다른 지배방정식의 적용이 필요하며 이는 관망내 흐름해석을 어렵게 만드는 원인 중 하나가 된다. 이러한 어려움을 극복하기 위해서 관망의 흐름해석에는 일반적으로 Preissmann slot 모델이 널리 사용되고 있다. 그러나 그럼에도 불구하고, Preissmann slot 모델의 수치해석 시 수치진동으로 인한 수치적 불안정이 발생하기 쉬우며, 특히 개수로 흐름에서 관수로 흐름으로 넘어가는 혼합흐름상태에서 이러한 수치진동이 쉽게 발생하는 것으로 알려져 있다. 이러한 수치진동은 수치적 불안정성을 유발할 뿐만 아니라, 해의 정확성을 크게 저하시킬 수 있다. 본 연구에서는 이러한 문제를 극복하기 위해 Preissmann slot 모델의 새로운 수치기법을 제안하였다. Approximate Reimann flux solver와 Centred flux solver를 결합하여 하이브리드 해석기법을 개발하였다. 수지진동 발생하기 쉬운 실험들의 모의를 통하여 수치기법의 성능을 검증하였다.

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

한강 하류부의 잠실 및 신곡 수중보가 흐름에 미치는 영향을 적절히 모의할 수 있도록 FLDWAV 모형을 수정, 개선하였다. 고정좌 측에서 발생하는 월류형 흐름에 대해서는 월류 유량 관계식을, 가동보 측에서의 하도형 흐름에 대해서는 Manning 형의 유량관계식을 각각 적용함으로써 복합적인 형태의 수중보 흐름을 모의하도록 하였다. 월류 유량식으로는 수중 위어형 및 자유 월류형 흐름에 대한 식들이 적용 가능하며, 가동보 개방 시 또는 미개방 시의 흐름을 모두 모의할 수 있다. 모형의 적용성을 검증하기 위하여 수중보 지점에서의 다양한 조건에 대하여 계산을 수행한 결과, 각 경우에 대한 배수효과가 잘 모의되었다. 평수시 흐름에 대한 모의 기능을 검사한 결과, 수중보의 존재로 인한 수위의 불연속성이 잘 모의되었다.

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

본 연구에서는 비선형 k-$\varepsilon$ 모형을 이용하여 직사각형 개수로에서 평균흐름과 난류구조를 모의하였다. 표준 k-$\varepsilon$ 난류모형은 난류의 등방성을 가정하여 국부적 평형상태에서 계산하기 때문에 유선에 따른 레이놀즈 응력의 변형이 큰 경우나 이방성이 강한 경우 이를 계산하지 못한다. 이를 보완하기 위하여 제시된 것이 비선형 k-$\varepsilon$ 난류모형이다. 본 연구에서는 표준 k-$\varepsilon$ 모형과 비선형 k-$\varepsilon$ 모형에 의한 모의결과를 비교하였다. 난류모형을 검증하기 위하여 직사각형 개수로에 흐름을 완전 발달된 등류로 가정하여 해석하였다. 지배방정식을 해석하기 위해 Patankar와 Spalding (1972)이 제시한 SIMPLER 알고리즘을 사용하였고 유한체적법을 이용하여 이산화하고 엇갈린 격자체계를 사용하여 계산에서 발생하는 과도한 진동을 줄였다. 또한 차분기법은 Patankar (1980)가 제시한 Power-law 기법을 채택하였으며 경계조건으로 2층 벽법칙 모형과 Hossain과 Rodi (1993)의 모형을 이용하였다. 두 모형의 적용성을 검증하기 위하여 실측자료를 이용하여 비교하였고 그 결과 비선형 k-$\varepsilon$ 모형이 표준 k-$\varepsilon$ 모형에 비해 좀 더 실측지에 가깝게 모의하는 것을 볼 수 있었다.