• 대한수학회지
• /
• 제36권2호
• /
• pp.355-367
• /
• 1999

We prove the existence of 2N-1 distinct ordered positive solutions of a class of semilinear elliptic Dirichlet boundary value problems on Rn when the forcing term has N distinct positive stable zeros and the coefficient function decaying to the zero at infinity.

• 대한의용생체공학회:의공학회지
• /
• 제11권1호
• /
• pp.179-186
• /
• 1990

A numerical analysis of crutch walking cycle has been performed to determine the transmissibility of a single-degree-of-freedom crutch system when a non-harmonic periodic forcing function is acting on the spring-damping-mass system. The results indicate that the damping factor which can reduce the forces transmitted to the human body plays an important role. In crutch walking, the stride angle of dynamic crutches must be limited for the comfortable walking.

• 한국의상디자인학회지
• /
• 제14권1호
• /
• pp.151-160
• /
• 2012

The Purpose of this study is to examine the inner symbolic meaning of the revenge movies, forcing on , , by producer Chan-Wook Park. This study was analyzed with theoretical frames of Greimas's and Lacan's desire theory. The results of this study is as follows: Main characters of these films were tangled each their with love, desire, angry, hate and revenge. They also had desires and needs of revenge caused by deficiency. These films represented blue as sorrow, depression, frigidness, loneliness and deficiency, red as love, desire, angry, hate and revenge, black as strong will, till-eat, death, violence and bloody-mindedness and white as forgiveness, expiation and salvation. The function of colors in conveying meaning was very effected to analyzing the visual power implications and psychological effects on human feelings that colors have in the movie.

• 대한기계학회논문집B
• /
• 제28권6호
• /
• pp.619-627
• /
• 2004

In most industrial applications, the geometrical complexity is combined with the moving boundaries. These problems considerably increase the computational difficulties since they require, respectively, regeneration and deformation of the grid. As a result, engineering flow simulation is restricted. In order to solve this kind of problems the immersed boundary method was developed. In this study, the immersed boundary method is applied to the numerical simulation of stationary, rotating and oscillating cylinders in the 2-dimensional square cavity. No-slip velocity boundary conditions are given by imposing feedback forcing term to the momentum equation. Besides, this technique is used with a second-order accurate interpolation scheme in order to improve the accuracy of flow near the immersed boundaries. The governing equations for the mass and momentum using the immersed boundary method are discretized on the non-staggered grid by using the finite volume method. The results agree well with previous numerical and experimental results. This study presents the possibility of the immersed boundary method to apply to the complex flow experienced in the industrial applications. The usefulness of this method will be confirmed when we solve the complex geometries and moving bodies.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.916-921
• /
• 2003

In most industrial applications, the geometrical complexity is combined with the moving boundaries. These problems considerably increase the computational difficulties since they require, respectively, regeneration and deformation of the grid. As a result, engineering flow simulation is restricted. In order to solve this kind of problems the immersed boundary method was developed. In this study, the immersed boundary method is applied to the numerical simulation of stationary, rotating and oscillating cylinders in the 2-dimensional square cavity. No-slip velocity boundary conditions are given by imposing feedback forcing term to the momentum equation. Besides, this technique is used with a second-order accurate interpolation scheme in order to improve the accuracy of flow near the immersed boundaries. The governing equations for the mass and momentum using the immersed boundary method are discretized on the non-staggered grid by using the finite volume method(FVM). This study presents the possibility of the immersed boundary method to apply to the complex flow experienced in the industrial applications.

• Smart Structures and Systems
• /
• 제26권6호
• /
• pp.681-692
• /
• 2020

Conventional Piezoelectric Energy Harvesters (CPEH) have been extensively studied for maximizing their electrical output through material selection, geometric and structural optimization, and adoption of efficient interface circuits. In this paper, the performance of Stepped Piezoelectric Energy Harvester (SPEH) under harmonic base excitation is studied analytically, numerically and experimentally. The motivation is to compare the energy harvesting performance of CPEH and SPEHs with the same characteristics (resonant frequency). The results of this study challenge the notion of achieving higher voltage and power output through incorporation of geometric discontinuities such as step sections in the harvester beams. A CPEH consists of substrate material with a patch of piezoelectric material bonded over it and a tip mass at the free end to tune the resonant frequency. A SPEH is designed by introducing a step section near the root of substrate beam to induce higher dynamic strain for maximizing the electrical output. The incorporation of step section reduces the stiffness and consequently, a lower tip mass is used with SPEH to match the resonant frequency to that of CPEH. Moreover, the electromechanical coupling coefficient, forcing function and damping are significantly influenced because of the inclusion of step section, which consequently affects harvester's output. Three different configurations of SPEHs characterized by the same resonant frequency as that of CPEH are designed and analyzed using linear electromechanical model and their performances are compared. The variation of strain on the harvester beams is obtained using finite element analysis. The prototypes of CPEH and SPEHs are fabricated and experimentally tested. It is shown that the power output from SPEHs is lower than the CPEH. When the prototypes with resonant frequencies in the range of 56-56.5 Hz are tested at 1 m/s2, three SPEHs generate power output of 482 μW, 424 μW and 228 μW when compared with 674 μW from CPEH. It is concluded that the advantage of increasing dynamic strain using step section is negated by increase in damping and decrease in forcing function. However, SPEHs show slightly better performance in terms of specific power and thus making them suitable for practical scenarios where the ratio of power to system mass is critical.

• Korean Journal of Mathematics
• /
• 제28권2호
• /
• pp.223-240
• /
• 2020

The paper is concerned with periodic linear evolution equations of the form x"(t) = A(t)x(t)+f(t), where A(t) is a family of (unbounded) linear operators in a Banach space X, strongly and periodically depending on t, f is an almost (or asymptotic) almost periodic function. We study conditions for this equation to have almost periodic solutions on ℝ as well as to have asymptotic almost periodic solutions on ℝ⁺. We convert the second order equation under consideration into a first order equation to use the spectral theory of functions as well as recent methods of study. We obtain new conditions that are stated in terms of the spectrum of the monodromy operator associated with the first order equation and the frequencies of the forcing term f.

• Journal of Theoretical and Applied Mechanics
• /
• 제1권1호
• /
• pp.29-67
• /
• 1995

A procedure is formulated, in this paper, to compute the bifurcation modes born by the stability change of normal modes, and to compute the forced responses associated with bifurcation modes in inertially and elastically coupled nonlinear oscillators. It is assumed that a saddle-loop is formed in Poincare map at the stability chage of normal modes. In order to test the validity of procedure, it is applied to one-to-one internal resonant systems in which the solutions are guaranteed within the order of a small perturbation parameter. The procedure is also applied to the exact system in which normal modes are written in exact form and the stability of normal modes can be exactly determined. In this system the stability change of normal modes occurs several times so that various types of bifurcation modes are created. A method is described to identify a fixed point on Poincare map as one of bifurcation modes. The limitations and advantage of proposed procedure are discussed.

• 정보처리학회논문지A
• /
• 제13A권3호
• /
• pp.199-204
• /
• 2006

리눅스 운영체제에서 커널 개발자의 오류로 인하여 발생되는 시스템 정지 현상을 줄이기 위해서 커널 하드닝이 필요하다. 그러나 기존의 커널 하드닝 방식은 고장 감내 기능을 통하여 제공되고 있기 때문에 구현이 어려울 뿐만 아니라 많은 비용이 소요된다. 본 논문에서 제안하는 커널 하드닝 방식은 패닉이 발생한 커널 주소에 대한 커널 스택 내의 값들을 정상적인 값으로 복구하기 위해서 커널 내의 panic() 함수 등 커널의 일부분을 수정하므로, 적은 비용으로 시스템 가용성을 높일 수 있다. 제안한 방식의 실험을 위하여 네트워크 모듈에 강제적인 패닉 현상 유발시키고, 잘못된 스택 값을 정상적인 값으로 복구하는 동작을 확인하였다.

• 한국정보통신학회논문지
• /
• 제11권1호
• /
• pp.173-180
• /
• 2007

본 논문은 리눅스 커널 운영체제에서 커널 개발자의 실수나 의도하지 않은 오류 및 시스템 오류로 인하여 발생되는 시스템 정지 현상을 줄이기 위해서 커널 스택의 복구를 통한 커널 하드닝 기능을 구현한다. 본 논문에서 제안하는 커널 하드닝 기능은 panic이 발생한 커널 주소에 대해서 커널 스택 내의 값들을 정상적인 값으로 복구함으로써 정상적인 시스템 동작을 보장한다 본 논문에서 제안한 커널 하드닝 기능을 리눅스 커널 중에서 많이 사용하는 네트워크 모듈에 적용하였다. 커널 스택 복구를 통한 커널 하드닝 기능의 실험을 위하여 네트워크 모듈에 강제적인 panic 현상을 유발시키고, 잘못된 스택 값의 복구를 통해서 정상 동작을 실험하였다.