• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2002년도 봄 학술발표회 논문집
• /
• pp.229-236
• /
• 2002

In this paper, a new novel technique of seismic survey is introduced to estimate the continuity of inclined pits filled with water, It was assumed that the pits would be connected to an abandoned railway tunnel that might be constructed in the past. Thus, detection of pit end was needed for the design of a new highway tunnel(Yukshimreong tunnel) that was likely to be met with a pit. In the beginning of exploration, no reliable, cost effective method was available. Hence, focus of interest moved toward the high impedance contrast(reflection coefficient k∼0.8) between water and rock. In this special model of sequence rock-water-rock, total reflection occurs and the seismic energy, when it is generated in the pit water, is nearly confined to the pit so that seismic waves can propagate much further within the pit. As a matter of convenience, this is called“tunnel channel wave”. With these considerations in mind, seismic detonator(2g) was used as a source at the entrance of pit, whereas hydrophone chain(hydrophone interval=1m) was placed on the bottom of pit. With this appropriate source-receiver arrangement, desirable down-going and up-going waves could be observed that will help conform the continuity of pits. After about one year, it was ascertained that the inclined pit of interest was just nearby crossed with the newly excavated tunnel, as it was predicted.

• Journal of Computational Design and Engineering
• /
• 제2권4호
• /
• pp.218-232
• /
• 2015

Piecewise linear (G01-based) tool paths generated by CAM systems lack $G_1$ and $G_2$ continuity. The discontinuity causes vibration and unnecessary hesitation during machining. To ensure efficient high-speed machining, a method to improve the continuity of the tool paths is required, such as B-spline fitting that approximates G01 paths with B-spline curves. Conventional B-spline fitting approaches cannot be directly used for tool path B-spline fitting, because they have shortages such as numerical instability, lack of chord error constraint, and lack of assurance of a usable result. Progressive and Iterative Approximation for Least Squares (LSPIA) is an efficient method for data fitting that solves the numerical instability problem. However, it does not consider chord errors and needs more work to ensure ironclad results for commercial applications. In this paper, we use LSPIA method incorporating Energy term (ELSPIA) to avoid the numerical instability, and lower chord errors by using stretching energy term. We implement several algorithm improvements, including (1) an improved technique for initial control point determination over Dominant Point Method, (2) an algorithm that updates foot point parameters as needed, (3) analysis of the degrees of freedom of control points to insert new control points only when needed, (4) chord error refinement using a similar ELSPIA method with the above enhancements. The proposed approach can generate a shape-preserving B-spline curve. Experiments with data analysis and machining tests are presented for verification of quality and efficiency. Comparisons with other known solutions are included to evaluate the worthiness of the proposed solution.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제15권2호
• /
• pp.135-151
• /
• 2008

The purpose of this paper is to prove some common fixed point theorems for finite number of discontinuous, noncompatible mappings on non complete Menger spaces. Our results extend, improve and generalize several known results in Menger spaces. We give formulas for total number of commutativity conditions for finite number of mappings.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제26권3호
• /
• pp.111-131
• /
• 2019

We introduce (CLRg) property for hybrid pair $F:X{\times}X{\rightarrow}2^X$ and $g:X{\rightarrow}X$. We also introduce joint common limit range (JCLR) property for two hybrid pairs $F,G:X{\times}X{\rightarrow}2^X$ and $f,g:X{\rightarrow}X$. We also establish some common coupled fixed point theorems for hybrid pair of mappings under generalized (${\psi},{\theta},{\varphi}$)-contraction on a noncomplete metric space, which is not partially ordered. It is to be noted that to find coupled coincidence point, we do not employ the condition of continuity of any mapping involved therein. As an application, we study the existence and uniqueness of the solution to an integral equation. We also give an example to demonstrate the degree of validity of our hypothesis. The results we obtain generalize, extend and improve several recent results in the existing literature.

• 대한수학회논문집
• /
• 제33권3호
• /
• pp.985-999
• /
• 2018

This paper is devoted to the existence and uniqueness of $L^p$ (p > 1) solutions for general time interval multidimensional backward stochastic differential equations (BSDEs for short), where the generator g satisfies a ($p{\wedge}2$)-order weak monotonicity condition in y and a Lipschitz continuity condition in z, both non-uniformly in t. The corresponding stability theorem and comparison theorem are also proved.

• Nonlinear Functional Analysis and Applications
• /
• 제29권2호
• /
• pp.517-526
• /
• 2024

In this paper, some iterative methods are used to discuss the behavior of general mixed-harmonic variational inequalities. We employ the auxiliary principle technique and g-strongly harmonic monotonicity of the operator to obtain results on the existence of solutions to a generalized class of mixed harmonic variational inequality.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1995년도 추계 학술대회논문집
• /
• pp.55-63
• /
• 1995

The flow field around a high-speed train including cross-wind effects has been simulated. This study solves 3-D unsteady incompressible Navier-Stokes equations in the inertial frame using the iterative time marching scheme. The governing equations are differenced with 1st-order accurate backward difference scheme for the time derivatives, 3th-order accurate QUICK scheme for the convective terms and 2nd-order accurate central difference scheme for the viscous terms. The Marker-and-Cell concept was applied to efficiently solve continuity equation, which is differenced with 2nd-order accurate central difference scheme. The 4th-order artificial damping is added to the continuity equation for numerical stability. A C-H type of elliptic grid system is generated around a high-speed train including ground. The Baldwin-Lomax turbulent model was implemented to simulate the turbulent flows. To validate the present procedure, the flow around a high speed train at constant yaw angle of $45^{\circ}\;and\;90^{\circ}$ has been simulated. The simulation shows 3-D vortex generation in the lee corner. The flow separation is also observed around the rear of the train. It has concluded that the results of present study properly agree with physical flow phenomena.

• 대한수학회논문집
• /
• 제9권2호
• /
• pp.271-274
• /
• 1994

The concept of a continuous module is a generalization of that of an injective module, and conditions ($C_1$), (C$_2$) and ($C_3$) are given for this concept in [4]. In this paper, we study modules with properties that are dual to continuity. These will be called discrete and we discuss discrete abelian groups. Throughout R is a ring with identity, M is a module over R, G is an abelian group of finite rank, E is the ring of endomorphisms of G and S is the center of E. Dual to the notion of essential submodules, we define small submodules of a module M over R.(omitted)

• 인지과학
• /
• 제29권4호
• /
• pp.193-220
• /
• 2018

시각 단어 재인에 영향을 미치는 변인으로는 단어 빈도, 단어 길이, 이웃단어, 단어 형태 등이 밝혀진 바 있다. 단어 형태 변인은 한글이 영어와는 글자 체계가 다르기 때문에 형태 정보가 단어 처리에 다른 방식으로 영향을 미칠 수 있다. 본 연구는 게스탈트의 연속성 원리를 한글에 적용하여 한글 단어의 처리 단위를 알아보고, 음절 형태가 한글 단어 재인에 영향을 미치는지 검증하고자 하였다. 실험 1에서는 3음절 단어를 사용하여 음절 유형(평소 읽기방향이 연속성 원리에 부합하는 '가로집자'형(예: "가"), 부합하지 않는 '세로집자'형(예: "고")과 글자 제시 방향(가로, 세로)을 조작하였다. 어휘 판단 시간의 분석 결과, 제시 방향에 상관없이 '가로집자'형의 처리 속도가 '세로집자'형보다 빨랐다. 실험 2에서는 차폐 점화를 사용하여 음절유형('가로집자'와 '세로집자'형) 및 점화 자극과 목표 자극의 시각적 관계(동일, 유사, 상이)를 조작하였다. 점화자극과 목표자극의 음절집자 형태에 따라서 수행에 차이가 있었으며 이는 음절 형태가 단어 재인에 미친다는 것을 시사한다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 1996년도 춘계 학술대회논문집
• /
• pp.99-104
• /
• 1996

The jet pump is being used in many fields for several purposes because of its simple construction and easy operation. The characteristics of the geometrical variables, pressure gradient and velocity distribution of the jet pump are studied using the CFD technique. The flow calculations through a bended nozzle. a mixing chamber and a venturi are presented and phenomenological aspects are discussed. This study solve 3-D steady incompressible Navier-Stokes equations using the Iterative time marching scheme. The governing equations are differenced with 1st-order accurate backward difference scheme for the time derivatives and 3rd-order accurate QUICK scheme for the convective terms. The Mark-and-cell concept was applied efficiently to solve continuity equation, which is differenced 2nd-order accurate central differenced scheme. The 4th-order artificial damping is added to the continuity equation for numerical stability. A O-type of grid system is generated inside a nozzle and venturi of the jet pump. It has concluded that the results of present study properly agree with physical flow phenomena.