• Journal of Korea Multimedia Society
• /
• v.11 no.12
• /
• pp.1688-1696
• /
• 2008

We propose a hierarchical service management method using Bloom filters for large MANETs. In this paper, a MANET is comprised of logical grid hierarchy, and each mobile node within the lowest service region multicasts the Attenuated Bloom Filter (ABF) for services itself to other nodes within the region. To advertise and discovery a service efficiently, the server node of the lowest server region sends the Summary Bloom Filter (SBF) for the ABFs to the server node of upper server region. Each upper server has the set of SBFs for lower vicinity service regions. The traffic load of the proposed method is evaluated by an analytical model, and is compared with that of two alternative advertisement solutions: complete advertisement and no advertisement. As a result, we identify that the traffic load of the proposed method is much lower than that of two alternative advertisement solutions.

• Korean Journal of Mathematics
• /
• v.4 no.1
• /
• pp.39-43
• /
• 1996

Large-time asymptotic behavior of the solutions of interacting population reaction-diffusion systems are considered. Polynomial stability was proved.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1997.10a
• /
• pp.60-64
• /
• 1997

In a fuzzy relation equation R=U=T, we find the bounde by U* and U* of the equation where U* is lower bound and U* is upper bound.

• Journal of applied mathematics & informatics
• /
• v.28 no.1_2
• /
• pp.49-58
• /
• 2010

In the present article we consider the diffusive Nicholson's blowflies equation with nonlocal delay incorporated into an integral convolution over all the past time and the whole infinite spatial domain $\mathbb{R}$. When the kernel function takes a special function, we construct a pair of lower and upper solutions of the corresponding travelling wave equation and obtain the existence of travelling fronts according to the existence result of travelling wave front solutions for reaction diffusion systems with nonlocal delays developed by Wang, Li and Ruan (J. Differential Equations, 222(2006), 185-232).

• Journal of the Korean Geotechnical Society
• /
• v.27 no.5
• /
• pp.45-59
• /
• 2011

This study introduces the diagrammatic Upper and Lower Bound (UB and LB) methods theoretically in order to derive the bearing capacity factor, $N_c$ in undrained clay and to compare with Prandtl's exact solution (1921). As a result of the theoretical study, an exact solution comes out when the UB and LB solutions are the same. In addition, the finite element analyses show that the failure loads approach to the bearing capacity factor of 5.14. Results of the FEA significantly depend on the finite element type, a number of elements, and a number of increments. From this study the exact solution defines that solutions from UB and LB are the same. However, this situation is very difficult to process, so we can confirm the exact solution as a range between UB and LB solutions.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.2
• /
• pp.458-466
• /
• 1993

Natural convection in trapezoidal sections of cavity was numerically investigated using a Finite Volume Method. Temperatures of the upper inclined and lower horizontal walls are constant, with vertical side walls being insulated. When the top wall is hotter than the bottom one, a single cell of stratified flow field is obtained and heat transfer occurs only by conduction. For the colder top wall, bifurcation solutions are obtained for the higher Rayleigh numbers, while unique solutions for lower values. Flow structure is strongly dependent on the configuration and the Rayleigh number.

• Journal of computational fluids engineering
• /
• v.21 no.1
• /
• pp.10-18
• /
• 2016

Numerical boundary conditions are as important as the governing equations when analyzing the fluid flows numerically. An explicit boundary condition method updates the solutions at the boundaries with extrapolation from the interior of the computational domain, while the implicit boundary condition method in conjunction with an implicit time integration method solves the solutions of the entire computational domain including the boundaries simultaneously. The implicit boundary condition method, therefore, is more robust than the explicit boundary condition method. In this paper, steady compressible 2-Dimensional Navier-Stokes solver is developed. We present the implicit boundary condition method coupled with LU-SGS(Lower Upper Symmetric Gauss Seidel) method. Also, the explicit boundary condition method is implemented for comparison. The preconditioning Navier-Stokes equations are solved on unstructured meshes. The numerical computations for a number of flows show that the implicit boundary condition method can give accurate solutions.

• Structural Engineering and Mechanics
• /
• v.53 no.1
• /
• pp.27-40
• /
• 2015

The rational analytical solutions are presented for functionally graded beams subjected to arbitrary tractions on the upper and lower surfaces. The Young's modulus is assumed to vary exponentially along the thickness direction while the Poisson's ratio keeps unaltered. Within the framework of symplectic elasticity, zero eigensolutions along with general eigensolutions are investigated to derive the homogeneous solutions of functionally graded beams with no body force and traction-free lateral surfaces. Zero eigensolutions are proved to compose the basic solutions of the Saint-Venant problem, while general eigensolutions which vary exponentially with the axial coordinate have a significant influence on the local behavior. The complete elasticity solutions presented here include homogeneous solutions and particular solutions which satisfy the loading conditions on the lateral surfaces. Numerical examples are considered and compared with established results, illustrating the effects of material inhomogeneity on the localized stress distributions.

• Journal of the Korean Mathematical Society
• /
• v.37 no.5
• /
• pp.823-833
• /
• 2000

In this paper, we develop the method of quasilinearization comvined with the methos of upper and lower solutions for singular second order boundary value problems in weighted spaces. The sequences constructed converge uniformly and monotonically to the unique of the second singular order boundary value problem. Further we prove the rate of convergence is quadratic.

• Journal of the Korean Mathematical Society
• /
• v.36 no.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.