• Korean Journal of Mathematics
• /
• v.17 no.2
• /
• pp.219-231
• /
• 2009

We show the existence of at least four solutions for the perturbed parabolic equation with Dirichlet boundary condition and periodic condition when the nonlinear part cross two eigenvalues of the eigenvalue problem of the Laplace operator with boundary condition. We obtain this result by using the Leray-Schauder degree theory, the finite dimensional reduction method and the geometry of the mapping. The main point is that we restrict ourselves to the real Hilbert space instead of the complex space.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.447-461
• /
• 2009

In this paper we give a non-existence theorem for Hopf real hypersurfaces in complex two-plane Grassmannians $G_2(\mathbb{C}^{m+2})$ satisfying the condition that the structure Jacobi operator $R_{\xi}$ commutes with the 3-structure tensors ${\phi}_i$, i = 1, 2, 3.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.2
• /
• pp.251-259
• /
• 2009

We investigate the multiple solutions for the nonlinear parabolic boundary value problem with jumping nonlinearity crossing two eigenvalues. We show the existence of at least four nontrivial periodic solutions for the parabolic boundary value problem. We restrict ourselves to the real Hilbert space and obtain this result by the geometry of the mapping.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.69-72
• /
• 2002

이 시스템은 JMF(Java Media Framework)의 RTP(Real - time Transfer Protocol)를 이용 실시간으로 동영상과 음성을 전송하고, 처음에 저장한 이미지와 실시간으로 전송되는 이미지를 비교해서 이상이 있을 경우에 사용자에게 PDA 나 PC 로 두 이미지를 전송함으로써 안전 사고 예방과 침입자 감시 효율을 극대화 시킬 수 있는 개인용 Monitoring System이다.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1001-1015
• /
• 2010

Let M be a $C^{\infty}$ real hypersurface in $\mathbb{C}^{n+1}$, $n\;{\geq}\;1$, locally given as the zero locus of a $C^{\infty}$ real valued function r that is defined on a neighborhood of the reference point $P\;{\in}\;M$. For each k = 1,..., n we present a necessary and sufficient condition for there to exist a complex manifold of dimension k through P that is contained in M, assuming the Levi form has rank n - k at P. The problem is to find an integral manifold of the real 1-form $i{\partial}r$ on M whose tangent bundle is invariant under the complex structure tensor J. We present generalized versions of the Frobenius theorem and make use of them to prove the existence of complex submanifolds.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.274-280
• /
• 2008

To investigate the flexural behavior of real size RC beams strengthened with glass fiber sheets, 9 strengthened beams of real size are experimented and the results are compared with those of existing experimental studies. Experiments are considered glass fiber sheets, the number of fiber sheets, and the existence of U-wrap. By the results of experiments, the failure behavior and crack types of real size RC beams are almost equal to those of the small size RC beams, and the debonding and not the concrete cover delamination are occurred. It can be found from the load-deflection curves that as the number of fiber sheets is increased, the ductility of real size RC beam is more decreased than that of the small size RC beam. For the strengthening method with glass fiber sheets of the real size RC beams, it can be confirmed that the finding a solution to the bonding problem is required

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.8 no.10
• /
• pp.3361-3377
• /
• 2014

Synchronous computing models provided by real-time synchrony protocols, such as TTA [1] and PALS [2], greatly simplify the design, implementation, and verification of real-time distributed systems. However, their application to real systems has been limited since their assumptions on underlying systems are hard to satisfy. In particular, most previous real-time synchrony protocols hypothesize the existence of underlying fault tolerant real-time networks. This, however, might not be true in most soft real-time applications. In this paper, we propose a practical approach to a synchrony protocol, called Quality-Aware PALS (qPALS), which provides the benefits of a synchronous computing model in environments where no fault-tolerant real-time network is available. qPALS supports two flexible global synchronization protocols: one tailored for the performance and the other for the correctness of synchronization. Hence, applications can make a negotiation flexibly between performance and correctness. In qPALS, the Quality-of-Service (QoS) on synchronization and consistency is specified in a probabilistic manner, and the specified QoS is supported under dynamic and unpredictable network environments via a control-theoretic approach. Our simulation results show that qPALS supports highly reliable synchronization for critical events while still supporting the efficiency and performance even when the underlying network is not stable.

• The Pure and Applied Mathematics
• /
• v.5 no.2
• /
• pp.143-147
• /
• 1998

We show that a real valued function $\phi$ defined by $\phi (\chi)$ = (equation omitted) is a Lyapunov function of compact asymptotically stable set M.

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.191-201
• /
• 2005

In this paper, the existence of periodic positive solution and the attractivity are investigated for the rational recursive sequence $x_{n+1} = (A + ax_{n_k})/(b + x{n-l})$, where A, a and b are real numbers, k and l are nonnegative integer numbers.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.99-112
• /
• 2015

In this paper we consider the periodic Cauchy problem for the generalized two-component Hunter-Saxton system with analytic initial data and we prove a Cauchy-Kowalevski type theorem for the generalized two-component Hunter-Saxton system, that establishes the existence and uniqueness of real analytic solutions.