• 대한수학회논문집
• /
• 제17권1호
• /
• pp.37-51
• /
• 2002

Let X be a reflexive Banach space with a uniformly Gateaux differentiable norm, C a nonempty bounded open subset of X, and T a continuous mapping from the closure of C into X which is locally pseudo-contractive mapping on C. We show that if the closed unit ball of X has the fixed point property for nonexpansive self-mappings and T satisfies the following condition: there exists z $\in$ C such that ∥z-T(z)∥<∥x-T(x)∥ for all x on the boundary of C, then the trajectory tlongrightarrowz$_{t}$$\in$C, t$\in$[0, 1) defined by the equation z$_{t}$ = tT(z$_{t}$)+(1-t)z is continuous and strongly converges to a fixed point of T as t longrightarrow 1￣.ow 1￣.

• 산업기술연구
• /
• 제16권
• /
• pp.5-11
• /
• 1996

While the enhanced biological phosphorus removal(EBPR), in anaerobic/aerobic condition, was known to remove phosphorus by means of metabolism of poly-P microorganisms, the phosphorus removed could be released in the form of ortho-P in the aerobic fixed biofilm reactor. This study was initiated to investigate the cause of ortho-P release in the aerobic fixed biofilm reactor. The resutls indicated that the phosphorus release was caused by autooxidation. The synthesis and release of phosphrous were related to the ORP and the boundary value for the phase change was about 170mV. In the synthesis phase, the phosphorus removal rate per COD removed was $0.023mgP_{syn}/mgCOD_{rem}$. The phosprous contents of the microorganism were 4.3 ~ 6.0% on a dry weight basis.

• Nonlinear Functional Analysis and Applications
• /
• 제26권1호
• /
• pp.197-223
• /
• 2021

In this paper, we investigate existence, uniqueness and four different types of Ulam's stability, that is, Ulam-Hyers stability, generalized Ulam-Hyers stability, Ulam-Hyers-Rassias stability and generalized Ulam-Hyers-Rassias stability of the solution for a class of nonlinear fractional Pantograph differential equation in term of a proportional Caputo fractional derivative with mixed nonlocal conditions. We construct sufficient conditions for the existence and uniqueness of solutions by utilizing well-known classical fixed point theorems such as Banach contraction principle, Leray-Schauder nonlinear alternative and $Krasnosel^{\prime}ski{\breve{i}}{^{\prime}}s$ fixed point theorem. Finally, two examples are also given to point out the applicability of our main results.

• 한국해안해양공학회지
• /
• 제15권1호
• /
• pp.59-65
• /
• 2003

자연 연안 사주와 고정된 인공 연안 사주가 있는 해안에서의 해양 물리 환경 변화에 따른 해빈 단면변화를 수치모델을 통하여 연구하였다. 수치 모델은 준3차원 파랑-흐름-퇴적물 이동모델에 인공 구조물 위에서의 퇴적물 이동에 대한 경계조건을 제안하여 적용하였다. 수치실험 결과 자연 사주의 경우 해수면이나 파고의 변화에 따라 위치를 이동하며 적을 하였으나 고정된 인공 사주의 경우 사주 후면에 새로운 자연 사주를 형성시키거나 혹은 사주 후면에서 세굴 현상이 발생하기도 하였다. 본 연구는 잠제 설치에 따른 해안 지형 변화를 연구하는데 응용될 수 있다.

• 대한기계학회논문집B
• /
• 제31권11호
• /
• pp.895-903
• /
• 2007

CMBT(Curved Moving Boundary Treatment) is a newly developed scheme for the treatment of a no slip condition on the curved solid wall of moving obstacle in a flow field. In our research CMBT was used to perform LBM simulation of a flow over a moving circular cylinder to determine the flow feature and aerodynamics characteristic of the cylinder. To ascertain the applicability of CMBT on the complex shape of the obstacle, it was first simulated for the case of the flow over a fixed circular cylinder in a channel and the results were compared against the solution of Navier-Stokes equation with deforming mesh technique. The simulations were performed in a moderate range of reynolds number at each moving cylinder to identify the flow feature and aerodynamic characteristics of circular cylinder in a channel. The drag coefficients of the cylinder were calculated from the simulation results. We have numerically confirmed that the critical reynolds number for vortex shedding is ar Re=250 and the result is the same as the case of fixed cylinder. As the cylinder approaching to one wall, the 2nd vortex is developed by interacting with the wall boundary-layer vorticity. As the velocity ratio increase the third vortex are generated by interacting with the 2nd vortexes developed on the upper and lower wall boundary layer. The resultant $C_d$ decrease as reynolds number increasing and the Cd approached to a value when Re>1000.

• 한국구조물진단유지관리공학회 논문집
• /
• 제7권2호
• /
• pp.169-176
• /
• 2003

플레이트거더의 전단내력을 평가하기 위해서는 탄성전단좌굴강도가 정확히 산정되어야 한다. 현행 설계식에서는 탄성전단좌굴강도를 계산하기 위한 웨브 플레이트의 경계조건을 4변 단순지지로 가정하고 있다. 그러나 웨브와 플랜지의 경계조건은 일반적으로 단순지지이상의 구속을 가지고 있으며, 플랜지의 두께가 웨브의 두께에 비해 두꺼울수록 고정에 가까워진다. 플레이트거더에서 웨브 플레이트의 경계조건은 플랜지와 웨브의 두께비, 스티프너의 보강간격 등에 따라 달라지게 된다. 본 연구에서는 실험과 유한요소법을 통해 플랜지와 웨브의 폭비, 스티프너의 보강간격, 특히 플랜지와 웨브의 두께비에 따른 웨브 플레이트의 경계조건을 평가하여 플레이트거더의 전단좌굴게수를 제안하고자 한다.

• 한국해양공학회지
• /
• 제36권6호
• /
• pp.353-363
• /
• 2022

The azimuth thruster is mainly installed on a vessel that requires a dynamic positioning (DP) function for special purposes. When the azimuth thruster on a vessel operates for DP, the thrust loss is induced by the thruster-hull interaction. This study examined the influence of boundary conditions in numerical simulations for predicting thrust loss. Wind turbine installation vessels (WTIV) and floating production storage and offloading (FPSO) were chosen as a target vessels. In this study, two types of boundaries were defined. The first consideration is that the boundary condition was assigned with consideration of the azimuth angle of the thruster, whereas it is fixed regardless azimuth angle of the thruster. The predicted thrust loss according to these boundary conditions showed a difference. This observation originated from the current load of the vessel. Therefore, the boundary conditions for which the current load is not induced need to be designated to obtain a realistic thrust loss in a numerical simulation.

• 한국안전학회지
• /
• 제30권2호
• /
• pp.41-47
• /
• 2015

Recently, a lot more disasters in the temporary structures happen because the stabilities of the temporary structures are disregarded by the reduction of the unit cost, using defective materials, the existing materials and so on. Pipe supports, which are one of the temporary structures, are basically used for the most constructing works such as buildings, bridges, plants and so on. In the most sites, adequate support installations of the pipe supports have not been performed although the presence of the guideline legally and institutionally. In this study, therefore, the collapse accidents of the pipe supports were investigated on the basis of theoretical analysis as well as the buckling tests by simulating the site support condition. Both the theocratical analysis and test results show that the buckling load in the fixed ends is at least 4 times larger than one in the pinned ends. This results will be utilized for safety assurance as well as accident prevention the in the field application.

• 대한기계학회논문집
• /
• 제18권2호
• /
• pp.359-371
• /
• 1994

A drop weight type impact test system is designed and set up to experimentally investigate impact responses of composite laminates subjected to the low-velocity impact. Using the test system, the impact velocity and the rebound velocity of the impactor as well as the impact force history are measured. An error of the measured data due to a difference in measuring position of the sensor is corrected and, for the estimation of real contact force history, a method of correcting an error due to friction forces is developed. Experimental methods to fix the boundary edgy of laminate specimens in impact testing are investigated and the impact tests on the specimens fixed by those methods are performed. Impact force histories and dynamic strains measured from the tests are compared with numerical results from the finite element analysis using the contact law. Consequently, the nonlinear numerical results considering the large deflection effects are agreed with the experimental results better than the linear ones.

• 대한수학회지
• /
• 제46권2호
• /
• pp.271-279
• /
• 2009

Using an index theory for countably condensing maps, we show the existence of eigenvalues for countably k-set contractive maps and countably condensing maps in an infinite dimensional Banach space X, under certain condition that depends on the quantitative haracteristic, that is, the infimum of all $k\;{\geq}\;1$ for which there is a countably k-set-contractive retraction of the closed unit ball of X onto its boundary.