• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.595-612
• /
• 2006

선형보존자 문제들은 행렬들로 구성되는 벡터공간들 사이에서 어떤 함수, 부분집합, 관계 등을 불변하게 옮기는 선형연산자의 형태를 규명하고 그와 동치가 되는 조건들을 찾는 연구주제들을 말한다. 이 논문에서는 선형보존자 문제에 대한 전반적인 연구문제들과 연구의 동기와 원인들, 활발한 연구주제들, 연구방법들 및 앞으로의 연구방향에 대하여 요약한다.

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

본 연구에서는 2차원 비선형 천수모형과 수심평균된 스칼라 이송모형을 해석하는 수치모형에 대해 기술하였다. 수치모형의 정확성을 보장함과 동시에 안정성을 높이기 위해 유한체적법, 플럭스 재구성 및 minmod 제한자를 사용하였다. 비선형 천수방정식의 이송항과 바닥 경사항은 계산된 수심의 양수 보존과 흐름의 정상 상태를 보장하기 위한 second order well-balanced positivity preserving central-upwind method를 이용하여 수치적으로 이산화되었다. 마찬가지로, 이송-확산 방정식 내 이송항은 동일한 2차 풍상차분법을 통해 수치적으로 풀이하였다. 격자점 경계면에서의 불연속으로 인한 수치진동을 방지하기 위해 이송항의 계산에 포함된 보존항의 차이로 인해 발생하는 스칼라의 수치확산을 최소화하기 위해 무차원의 비소산함수를 도입하였다. 또한, 확산항은 유한차분법을 이용하여 이산화하였다. 제안된 수치모형은 시간미분항의 계산을 위해 오일러 기법을 적용하여 계산된 수심 및 스칼라의 양수 보존여부와 함께 정지된 흐름의 정상 상태의 보존여부를 확인하였다. 제안된 수치모형의 해석 정확성을 평가하기 위해 1, 2차원 공간 내 다양한 흐름 조건에서의 해석해를 이용한 3개의 벤치마크 테스트를 수행하였다. 평균 제곱근 오차(Root Mean Squared Error, RMSE)를 산정하여 수치모형의 성능을 정량적으로 평가하였으며, 비소산함수를 적용함에 따라 스칼라의 수치확산이 감소하게 되었음을 확인하였다. 또한, 세 차례의 벤치마크 테스트 결과는 공통적으로 수치모형에 의해 계산된 결과값이 비소산함수를 고려함에 따라 해석해와 잘 일치함을 확인하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2011.05a
• /
• pp.158-158
• /
• 2011

천수방정식과 같은 쌍곡선형 미분방정식의 불연속 해에 대한 Riemann 해법은, 1950년대 말 공기동역학 분야에서 S. K. Godunov의 선구적인 시도 이후, 다양한 영역에서 성공적으로 적용되고 있다. 당초 제안된 해법은 공간에 대해 1차 정도였으나, 2차의 정도를 얻을 수 있는 기법이 1970년대 말 B. van Leer에 의해 제안되었으며, MUSCL로 불린다. 서로 인접한 격자의 보존변수가 고려된 경사가 도입되어 두 격자에 의해 공유되는 변의 좌 우에서 선형으로 보존변수가 재구축되는 MUSCL은 제한자와 함께 이용될 때, 구조 격자 체계에서 비교적 단순하면서도 효과적인 적용성이 입증되었다. 그런데, 이 기법을 2차원의 비구조 격자 체계에 적용하는 경우, 인접한 모든 격자의 보존변수를 고려한 평면의 경사를 결정해야 하는 어려움이 따른다. 특히, 삼각형 비구조 격자에 적용할 경우 최적의 평면을 결정하기 위해 Green-Gauss 적분식이나 최소-자승법 등을 이용하게 된다. 이에 비해, 2010년 T. Buffard와 S. Clain이 제안한 다중경사 기법은 격자의 각 변에서 경사가 각각 결정되는 방법으로 계산량이 많은 Green-Gauss 적분식이나 최소자승법을 피할 수 있는 장점이 있는 것으로 알려져 있다. 정확해가 알려진 두 경우에 대해 몇 가지 제한자를 적용한 결과를 1차 정도의 해와 함께 비교하였으며, superbee 제한자에 의한 결과가 우수하였으나, 희유파와 충격파가 맞닿는 곳에서 수치 분산이 나타났다. minmod 제한자의 결과가 대체로 무난하였으며, 이를 2차원 댐 붕괴 문제에 적용하여 1차 정도의 해와 비교하였다. 마찰이 없고 초기 수심이 댐 상류에서 10 m, 하류에서 5 m로서 물이 차 있는 경우, 1차 정도의 해에서 나타나는 수치 소산이 2차 정도에서는 발생되지 않았다. 댐 하류에서 초기에 수심이 영으로 바닥이 드러난 경우에서 마찰의 영향을 검토하였다. 마찰이 있는 경우, 마찰 경사 항의 Manning 계수를 0.04로 두었으며, 마찰에 의한 영향이 잘 드러났다. 수심이 50 mm 보다 작은 경우에는 마찰을 적용하지 않았다. 이 연구는 환경부 '차세대 핵심환경기술개발 사업'의 지원에 의한 것이다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2006

We consider a privacy-preserving cooperative computation protocol evaluating a beneficial function of all participants' secret inputs, such that each party finally holds a share of the function output. We propose a practical privacy-preserving cooperative computation protocol for solving the linear system of equations problem md the linear least-squares problem. Solutions to these problems are widely used in many areas such as banking, manufacturing, and telecommunications. Our multi-party protocol is an efficiently extended version of the previous two-party model.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.16 no.1
• /
• pp.33-42
• /
• 2003

This paper deals with the FEM analysis of nonlinear sloshing of incompressible, invicid and irrotational flow in two dimensional rectangular tank. We use laplace equation based on potential theory as governing equation. For large amplitude sloshing motion, kinematic and dynamic free surface conditions derived from Bernoulli equation are applied. This problem is solved by FEM using 9-node elements. For the time integration and accurate velocity calculation, we introduce predictor-corrector time marching scheme and least square method. Also, numerical stability in tracking of free surface is obtained by direct calculation of free surface location to time variation. Numerical results of sloshing induced by harmonic excitations, while comparing with those of linear theory and references, prove the accuracy and stability. After verification of our program, we analyze sloshing response characteristics to the fluid height and the excitation amplitude.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.7
• /
• pp.957-963
• /
• 2007

In this paper, Nonlinear Autoregressive (NAR) method based on Least Square-Support Vector Regression (LS-SVR) is introduced and tested for nonlinear sustained vowel modeling. In the database of total 43 sustained vowel of Benign Vocal Fold Lesions having aperiodic waveform, this nonlinear synthesizer near perfectly reproduced chaotic sustained vowels, and also conserved the naturalness of sound such as jitter, compared to Linear Predictive Coding does not keep these naturalness. However, the results of some phonation are quite different from the original sounds. These results are assumed that single-band model can not afford to control and decompose the high frequency components. Therefore multi-band model with wavelet filterbank is adopted for substituting single band model. As a results, multi-band model results in improved stability. Finally, nonlinear sustained vowel modeling using NAR based on LS-SVR can successfully reconstruct synthesized sounds nearly similar to original voiced sounds.

• Proceedings of the KIEE Conference
• /
• 2000.07b
• /
• pp.798-800
• /
• 2000

전기기기의 구조 및 형상 최적화에 있어서 다양한 제한 사항과 설계방법들을 이용하기 위하여 전역 최대점과 함께 국소 최대점까지 고려할 수 있는 최적화 기법이 요구되고 있다. 다양한 제한사항들을 모두 목적 함수에 포함시킬 경우에 발생하는 여러 가지 문제점들을 해결하고 설계자의 주관적 평가도 활용할 수 있는 새로운 기법을 필요로 한다. 이처럼 다양한 해의 생성과 보존을 필요로 하는 분야에 니체(niche) 개념이 이용될 수 있다. 본 논문에서는 니체 개념을 포함하는 유전 알고리즘을 이용하여 토크의 선형성을 보장하는 토크 모터의 최적 설계를 수행하였다. 최적 설계 결과를 전역 최대점만을 찾는 최적화 기법과 비교하여 그 타당성을 입증하였다.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.32 no.6
• /
• pp.569-574
• /
• 2020

Though the discontinuous Galerkin (DG) method has been developed and applied to shallow water equations mainly in explicit schemes, they have been criticized for the limitation in treatment of bottom friction terms and severe CFL conditions. In this study, an implicit scheme is devised and applied to some representative benchmark problems. The linear triangular elements were employed and the Roe numerical fluxes were adopted for convective fluxes. To preserve TVD property, the slope limiter was employed. As the case studies, the model is applied to the flow around the cylinders and the dam-break flow. Then, the results are compared with the experimental and numerical data of previous studies and good agreements were observed.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.2
• /
• pp.57-61
• /
• 1999

In the field of image compression, Classified Vector Quantization(CVQ) reveals attractive characteristics for preserving perceptual features, such as edges. However, the classification scheme is not generalized to effectively reconstruct different kinds of edge patterns in the original CVQ that predefines several linear-type edge classes: vortical edge horizontal edge diagonal edge classes. In this paper, we propose a new classification scheme, especially for edge blocks based on the similarity measure for edge patterns. An edge block is transformed to a feature vector that describes the detailed shape of the edge pattern The classes for edges are formulated automatically from the training images to result in the generalization of various shapes of edge patterns. The experimental results show the generated linear/nonlinear types of edge classes. The integrity of all the edges is faithfully preserved in the reconstructed image based on the various type of edge codebooks generated at 0.6875bpp.

• Journal of Korea Water Resources Association
• /
• v.42 no.12
• /
• pp.1079-1089
• /
• 2009

The objective of this study is to develop the accurate, robust and high resolution two-dimensional numerical model that solves the computationally difficult hydraulic problems, including the wave front propagation over dry bed and abrupt change in bathymetry. The developed model in this study solves the conservative form of the two-dimensional shallow water equations using an unsplit finite volume scheme and HLLC approximate Riemann solvers to compute the interface fluxes. Bed-slope term is discretized by the divergence theorem in the framework of FVM for application of unsplit scheme. Accurate and stable SGM, in conjunction with the MUSCL which is second-order-accurate both in space and time, is adopted to balance with fluxes and source terms. The exact C-property is shown to be satisfied for balancing the fluxes and the source terms. Since the spurious oscillations in second-order schemes are inherent, an efficient slope limiting technique is used to supply TVD property. The accuracy, conservation property and application of developed model are verified by comparing numerical solution with analytical solution and experimental data through the simulations of one-dimensional dam break flow without bed slope, steady transcritical flow over a hump and two-dimensional dam break flow with a constriction.