• Korean Journal of Mathematics
• /
• 제4권1호
• /
• pp.51-64
• /
• 1996

In this paper we investigate the existence of weak solutions of a nonlinear beam equation under Dirichlet boundary condition on the interval $-\frac{\pi}{2}<x<\frac{\pi}{2}$ and periodic condition on the variable $t$, $u_{tt}+u_{xxxx}=p(x,t,u)$. We show that if $p$ satisfies condition $(p_1)-(p_3)$, then the nonlinear beam equation possesses at least one weak solution.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.1612-1617
• /
• 2011

Rolling stock needs many maintenance works because of its long service life. The maintenance of rolling stock has periodic preventive maintenance system. This periodic preventive maintenance system can't reflect the characteristics of every part. The condition-based maintenance system which reflects the functional condition of every part prevents breakdown and reduces maintenance cost. This study will analyze the records of every part by unreasonable examples of time-based preventive maintenance and reliability management activities, and discuss the necessity of maintenance system reflected the results.

• 대한수학회지
• /
• 제42권6호
• /
• pp.1121-1136
• /
• 2005

Nonstandard finite difference schemes are considered for a generalization of the Cahn-Hilliard equation with Neumann boundary conditions and the Kuramoto-Sivashinsky equation with periodic boundary conditions, which are of the type $$U_t\;+\;\frac{{\partial}^2}{{\partial}x^2} g(u,\;U_x,\;U_{xx})\;=\;\frac{{\partial}^{\alpha}}{{\partial}x^{\alpha}}f(u,\;u_x),\;{\alpha}\;=\;0,\;1,\;2$$. Stability and error estimate of approximate solutions for the corresponding schemes are obtained using the extended Lax-Richtmyer equivalence theorem. Three examples are provided to apply the nonstandard finite difference schemes.

• 대한수학회보
• /
• 제22권2호
• /
• pp.95-98
• /
• 1985

In [1], E.B. Lee and L. Markus described a sufficient condition for which the domain of null-controllability of a linear autonomous system is all of R$^{n}$ . The purpose of this note is to extend the result to a certain linear nonautonomous system. Thus we consider a linear control system dx/dt = A(t)x+B(t)u in the Eculidean n-space R$^{n}$ where A(t) and B(t) are n*n and n*m matrices, respectively, which are continuous on 0.leq.t<.inf. and A(t) is a periodic matrix of period .omega.. Admissible controls are bounded measurable functions defined on some finite subintervals of [0, .inf.) having values in a certain convex set .ohm. in R$^{m}$ with the origin in its interior. And we present a sufficient condition for which the domain of null-controllability is all of R$^{n}$ .

• Korean Journal of Mathematics
• /
• 제16권1호
• /
• pp.41-49
• /
• 2008

We show the existence of a negative solution for the system of the following nonlinear wave equations with critical growth, under Dirichlet boundary condition and periodic condition $$u_{tt}-u_{xx}=au+b{\upsilon}+\frac{2{\alpha}}{{\alpha}+{\beta}}u_+^{\alpha-1}{\upsilon}_+^{\beta}+s{\phi}_{00}+f,\\{\upsilon}_{tt}-{\upsilon}_{xx}=cu+d{\upsilon}+\frac{2{\alpha}}{{\alpha}+{\beta}}u_+^{\alpha}{\upsilon}_+^{{\beta}-1}+t{\phi}_{00}+g,$$ where ${\alpha},{\beta}>1$ are real constants, $u_+={\max}\{u,0\},\;s,\;t{\in}R,\;{\phi}_{00}$ is the eigenfunction corresponding to the positive eigenvalue ${\lambda}_{00}$ of the wave operator and f, g are ${\pi}$-periodic, even in x and t and bounded functions.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.1291-1293
• /
• 2007

Due to dense deployment and innumerable amount of traffic flow in wireless sensor networks (WSNs), congestion becomes more common phenomenon from simple periodic traffic to unpredictable bursts of messages triggered by external events. Even for simple network topology and periodic traffic, congestion is a likely event due to dynamically time varying wireless channel condition and contention caused due to interference by concurrent transmissions. In this paper, we have proposed three mechanisms: upstream source count and buffer based rate control and snoop based MAC level ACK scheme to avoid congestion. The simulation results show that our proposed mechanism achieves around 80% delivery ratio even under bursty traffic condition

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제15권2호
• /
• pp.143-150
• /
• 2011

We consider the global existence of strong solutions of the 3D incompressible Navier-Stokes equations in a thin periodic domain. We present a simple proof that a strong solution exists globally in time when the initial velocity in $H^1$ and the forcing function in $L^p$(0,${\infty}$;$L^2$), $2{\leq}p{\leq}{\infty}$ satisfy certain condition. This condition is basically similar to that by Iftimie and Raugel[7], which covers larger and larger initial data and forcing functions as the thickness of the domain ${\epsilon}$ tends to zero.

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

In a double-passage cascade apparatus, only two blades are installed in order to increase the accuracy of experimental result by applying bigger blade than the size of multi-blades on the same apparatus. However, this causes difficulties to make correct periodic condition. In this study, sidewalls are designed to meet periodic condition without removing the operating fluid or adjusting tail boards. Surface Mach number on the blade surface is applied to a responsible variable, and 12 design variables which are related with sidewall profile control are selected. A gradient based optimization is adopted for wall design and CFX-11 is used for the internal flow computation. The computed result shows that it could obtain the same flow structure by modifying only the sidewalls of the double-passage cascade apparatus.

• Journal of applied mathematics & informatics
• /
• 제27권3_4호
• /
• pp.779-793
• /
• 2009

This paper deals with a delayed SEIRS epidemic model with pulse vaccination and crowded incidence rate. Moreover, the case of vertical and horizontal transmission is considered. By using the discrete dynamical system determined by the stroboscopic map, the exact infection-free periodic solution of the SEIRS model is obtained. Further, by employing the comparison arguments, we prove that under the condition that $R_*$ < 1 the infection-free periodic solution is globally attractive, and that under the condition that $R^*$ > 1 the disease is uniformly persistent, which means that after some period of time the disease will become endemic.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.623-629
• /
• 2008

A periodic inspection for facilities in operation is an inspection that is carried out regularly, in which inspection cycles are drawn up, and it is a series of tests to determine if the condition of all the equipment is maintained, and to identify whether they are to be used or replaced. Reliability should be enhanced, without a breakdown, by preliminary inspection and regular checks for each equipment item installed for equipment maintenance. It was noticed that there was a slight difference for the same facility, and for each organization in terms of inspection cycles and methods while preparing procedures of periodic inspection checklist, inspection methods and cycles for a related organization. Therefore, this paper reviews the optimal methods of inspection procedures for Seoul Metro.