• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.256-256
• /
• 2021

Saint-Venant 방정식은 수평규모가 수심규모보다 큰 천수흐름을 기술하는 수리동역학 모형으로 지난 수십년간 공학적 분야에서 널리 이용되어 왔다. 최근에도 기후변화에 따른 도시 홍수의 위기 증대로 홍수위기관리의 관심이 높아짐에 따라 홍수파(flood wave), 도시침수(urban inundation), 돌발홍수(flash flood) 등의 신속한 예측을 위한 Saint-Venant 방정식의 연구가 활발히 진행되고 있다. 그러나 도시와 같은 인공구조물이 즐비한 상황에서 천수흐름을 해석하는 고전적인 수치해법들은 다양한 불연속 지형들의 존재로 인하여 불안정하며 지배방정식의 정해로 수치해가 잘 수렴하지 않는 문제가 있다. 지난 수년간 이를 해결하기 위해 불연속한 지형을 안정적으로 해결할 수 있는 수치기법의 연구가 진행되어 왔으나, 정해로의 수렴성, 정확성에 관하여 연구가 부족한 실정이다. 본 연구는 수치해법의 주요 구조를 구성하는 Saint-Venant 방정식의 불연속한 지형조건에 대한 리만 문제의 정해를 연구하였다. 쌍곡선형 시스템의 특징을 고려하여 요소파들(elementary waves)의 공식을 유도하였는데, 질량과 에너지의 보존법칙에 위배되지 않으며 운동량이송부의 비선형성과 지형의 불연속에 의한 비엄격성을 고려할 수 있는 조건을 제시하였다. 또한, 유도된 요소파들을 바탕으로 L-M & R-M 커브이론(Han et al. 2014)을 사용할 수 있는 조건과 당위성을 증명하였고, 이를 바탕으로 Saint-Venant 방정식의 정해법을 구성하였다. 리만문제의 다양한 초기조건들을 바탕으로 모든 경우의 정해 구조를 조사하였고, 이를 통해 불연속 지형에 대한 Saint-Venant 지배방정식의 정해가 다수해를 갖을 수 있음을 보였으며, 이를 근사할 수 있는 수치기법의 전략을 소개하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.1
• /
• pp.1-11
• /
• 2010

The definition of the speed of sound is reexamined since it is crucial in the numerical analysis of compressible real gas flows. The thermodynamic speed of sound (TSS), $a_{th}$, and the characteristic speed of sound (CSS), $a_{ch}$, are derived using generalized equation of state (EOS). It is found that the real gas EOS, for which pressure is not linearly dependent on density and temperature, results in slightly different TSS and CSS. in this formalism, Roe's approximate Riemann solver was derived again with corrections for real gases. The results show a little difference when the speeds of sound are applied to the Roe's scheme and Advection Upstream Splitting Method (AUSM) scheme, but a numerical instability is observed for a special case using AUSM scheme. It is considered reasonable to use of CSS for the mathematical consistency of the numerical schemes. The approach is applicable to multi-dimensional problems consistently.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.71-84
• /
• 2007

J. Bernoulli first discovered the method which one can produce those formulae for the sum $S_n(k)=\sum_{{\iota}=1}^n\;{\iota}^k$ for any natural numbers k. After then, there has been increasing interest in Bernoulli and Euler numbers associated with Riemann zeta functions. Recently, Kim have been studied extended q-Bernoulli numbers and q-Euler numbers associated with p-adic q-integral on $\mathbb{Z}_p$, and sums of powers of consecutive q-integers, etc. In this paper, we investigate for the historical background and evolution process of the sums of powers of consecutive q-integers and discuss for Euler zeta functions subjects which are studying related to these areas in the recent.

• Communications of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.195-207
• /
• 2005

리만 기하학에서 중요한 문제중의 하나는 주어진 곡률부호를 가지는 다양체를 분류하는 것이다. 그렇게 하기 위해서는 곡률과 위상과의 상호 관계를 밝히는 것이 중요하다. 특히 양의 곡률을 가지는 공간을 분류하는 것은 어려운 문제로 알려져 있으며 위상적 성질에 대해서도 알려진 것은 매우 적다. 본 논문에서는 지금까지 알려진 양의 곡률을 가지는 공간들을 살펴 보고 그들 공간들에 대한 일반적인 정리들과 호프의 문제를 소개하고자 한다.

• Journal of computational fluids engineering
• /
• v.2 no.2
• /
• pp.51-58
• /
• 1997

A reliable computational solver has been developed for the analysis of three-dimensional inviscid compressible flows around a nacelle of a high bypass ratio turbofan engine, The numerical algorithm is based on the modified Godunov scheme to allow the second order accuracy for space variables, while keeping the monotone features. Two step time integration is used not only to remove time step limitation but also to provide the second order accuracy in a time variable. The multi-block approach is employed to calculate the complex flow field, using an algebraic, conformal, and elliptic method. The exact solution of Riemann problem is used to define boundary conditions. The accuracy of the developed solver is validated by comparing its results around the isolated nacelle in the cruise flight regime with the solution obtained using a commercial code "RAMPANT. "

• Journal of computational fluids engineering
• /
• v.15 no.3
• /
• pp.73-80
• /
• 2010

In this paper, we present the exact Riemann solver for the compressible liquid-gas two-phase shock tube problems. We hereby consider both isentropic and non-isentropic two-phase flows. The shock tube has a diaphragm in the mid-section which separates the liquid medium on the left and the gas medium on the right. By rupturing the diaphragm, various waves are observed on the phasic field variables such as pressure, density, temperature and void fraction in the form of rarefaction wave, shock wave and material interface (contact discontinuity). Both phases are treated as compressible fluids using the linearized equation of state or the stiffened-gas equation of state. We solve several shock tube problems made of a high/low pressure in the liquid and a low/high pressure in the gas. The wave propagations are well resolved by the exact Riemann solutions.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.100-100
• /
• 2022

일반적으로 유체와 구조물간 상호작용의 수리동역학적 모의에서는 벽경계조건을 통하여 유동에 대한 구조물의 영향이 반영된다. 하지만 도심지에서 발생한 홍수를 예측하려는 경우 이러한 방법으로는 밀집한 구조물들 사이에 형성된 좁은 길들로 인하여 세밀한 격자망을 요하여 큰 계산량을 유발하고 빠른 예측 속도를 기대할 수 없게 한다. 최근 이러한 문제를 극복하기 위해 성긴 격자망에서도 구조물의 유체에 대한 영향을 반영할 수 있도록 하는 방법들이 큰 관심을 받고 있다. 그 중에서도 다공성 천수방정식은 벽경계조건 대신 다공도(posority)의 개념을 이용한 모형으로 도시범람모의에 있어 계산량과 정확도를 가장 적절하게 타협한 모형으로 보고되고 있다. 이러한 흐름에 맞추어 본 연구는 다공도 천수방정식을 해석하는 수치 기법을 개발하였고, 여기에 최근 쌍곡선계 방정식의 수치적 연구들에서 소개된 주요 특징들이 반영되도록 설계하였다. 우선, WENO 기법과 Runge-Kutaa 기법을 통하여 공간과 시간에 대한 고차 정확도를 만족시켰다. 이 때, 재구성 변수와 알고리즘를 새롭게 제시하여 정상흐름조건에 대한 플럭스항과 생성·소멸항간 절단오차에 의한 비물리적인 흐름생성을 억제하였다. 또한, 수치모의 중 음수심의 발생으로 인하여 수치모형이 불안정해지는 현상을 막기 위해, 양-보존성 제한자를 구축하였다. 마지막으로 도심지에서 즐비한 인위적인 구조물에 의해 나타나는 지형적인 불연속의 효과를 적절하게 반영할수 있도록 정상파 재구축의 단계를 구축하여 수치 기법에 반영하였다. 이렇게 구성된 수치기법은 리만문제의 해석해에 기반하여 기존의 주요 연구들의 결과와 비교되었고, 그 결과 본 연구의 방법이 정확성, 수렴성, 안전성의 측면에서 가장 우수함을 수치적으로 증명하였다.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2000.04a
• /
• pp.16-16
• /
• 2000

충격파를 포함하는 초음속 유동을 해석하는 수치해법 중에서 많이 사용되어진 것은 엄밀 및 근사 리만 해법과 플럭스 분할 기법들로서 이들은 Euler 방정식에 기반을 두고 선형 또는 비선형파의 상호작용을 풍상 차분법으로 기술하는 방법들이다. 이러한 수치기법들은 과거 광범위하게 사용되어 왔으나 최근 여러 가지 단점이 발견되었다. 이와 같은 문제점을 극복하고자 입자의 통계적인 운동을 기술하는 기체 운동론에 근거하여 BGK 수치기법이 제시되었다. 이는 비충돌 볼츠만 방정식으로부터 입자의 수준에서 플럭스 분할 기법 형태의 풍상차분법을 구현하는 것으로 볼츠만 방정식의 충돌항을 BGK 모델로 대치하고 이것의 적분해로부터 수치 플럭스를 구한다. 이 수치기법은 기존의 리만해법에 비하여 수치적으로나 물리적으로 매우 타당한 성질인 강건성, 정확성, 엔트로피 조건, 양수보존성 등을 가지고 있음이 밝혀졌다. 이와 같은 수치기법을 사용하여 로켓 노즐 내의 아음속, 천이음속, 초음속에서의 유동장 해석을 위한 프로그램을 작성하였다. 시간 적분에 대하여는 정상 상태의 계산을 위하여 내재적 시간 적분 방법을 사용하였으며, 공간 이산화 방법으로는 임의의 제어체적에 대하여 적분형 보존 방정식을 적용하는 유한 체적법을 사용하였다. 초음속 입구 유동과 출구에서 초음속과 저음속 유동의 두가지 경우를 고려하여 얻은 결과를 기존의 연구 결과와 비교하여 본 결과 잘 일치하였다. 입구 유동이 저음속이고 출구 유동이 초음속인 경우에 대하여도 해석결과가 실험결과와 잘 일치하였다. 상대적으로 낮은 온도, 압력 조건과 높은 온도, 압력 조건을 가지는 고체 로켓 모터 노즐 내의 유동을 해석하였다. 이들 해석 결과를 전압, 전온도로 표준화시킨 결과 서로 일치하였으며, 파라서 저온, 저압에서 얻은 결과도 표준화시킬 경우, 고온, 고압에서도 사용될 수 있음을 알 수 있었다.의 영향에 초점을 맞추었다.다고 판단되며 배기 가스 자체에 대기 공기중에 함유되어 있던 습기가 얼어붙는(Icing화) 문제가 발생하기 때문에 배기가스의 Icing을 방지하기 위하여 압축기 끝단에서 공기를 추출하여 배기부분에 송출할 필요성이 있는 것으로 판단되었다. 출구가스의 기체 유동속도가 매우 빠르므로 (100-l10m.sec) 이를 완화하기 위한 디퓨저의 설계가 요구된다고 판단된다. 또 연소기 후방에 물을 주입하는 경우 열교환기 및 기타 부분품에 발생할 수 있는 부식 및 열교환 효율 저하도 간과할 수 없는 문제로 파악되었다. 이러한 기술적 문제가 적절히 해결되는 경우 비활성 가스 제너레이터는 민수용으로는 대형 빌딩, 산림, 유조선 등의 화재에 매우 적절히 사용되어 질 수 있을 뿐 아니라 군사적으로도 군사작전 중 및 공군 기지의 화재 그리고 지하벙커에 설치되어 있는 고급 첨단 군사 장비 등의 화재 뿐 아니라 대간첩작전 등에 효과적으로 활용될 수 있을 것으로 판단된다.가 작으며, 본 연소관에 충전된 RDX/AP계 추진제의 경우 추진제의 습기투과에 의한 추진제 물성 변화는 미미한 것으로 나타났다.의 향상으로, 음성개선에 효과적이라고 사료되었으며, 이 방법이 편측 성대마비 환자의 효과적인 음성개선의 치료방법의 하나로 응용될 수 있으리라 생각된다..7%), 혈액투석, 식도부분절제술 및 위루술·위회장문합술을 시행한 경우가 각 1례(2.9%)씩이었다. 13) 심각한 합병증은 9례(26.5%)에서 보였는데 그중 식도협착증이 6례(17.6%), 급성신부전증 1례(2.9%), 종격동기흉과 폐염이 병발한 경우와 폐염이 각 1례(2.9%)였다. 14) 식도경 시행회수는 1회가 17례(54.8%), 2회가 9례(29.0%), 3회 이상이 5례(16.1%)였다.EX>$IC_{50}$/ 값이 210 $\mu\textrm{g}$<

• Journal for History of Mathematics
• /
• v.18 no.2
• /
• pp.1-8
• /
• 2005

In this paper, we describe H. Hopf's life and works from the historical point of view. We have a very brief mention of history and results prior to Hopf. He raised the question of the topological implications of the sign of curvature. We discuss his contributions in the field of Riemannian geometry.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.23-35
• /
• 2011

The sphere theorem is one of the main streams in modern Riemannian geometry. In this article, we survey developments of pinching theorems from the classical one to the recent differentiable pinching theorem. Also we include sphere theorems of metric invariants such as diameter and radius with historical view point.