• Journal of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1039-1046
• /
• 1996

In the theory of partial differential equations with given initial values and boundary values one usually investigates to examine the well-posedness, that is, the unique existence of the solution as well as its continuous dependence on the data. This theory is strong enough for us to determine the situation anywhere and anytime provided that the initial data are actually given. However, in many cases the data are not completely known for us. Then in those situations arise the new problem to determine the unknown initial data by taking other conditions for the solutions.

• Journal of the Korean Mathematical Society
• /
• v.57 no.1
• /
• pp.215-247
• /
• 2020

In this paper, we deal with a two-species chemotaxis-Stokes system with Lotka-Volterra competitive kinetics under homogeneous Neumann boundary conditions in a general three-dimensional bounded domain with smooth boundary. Under appropriate regularity assumptions on the initial data, by some L^p-estimate techniques, we show that the system possesses at least one global and bounded weak solution, in addition to discussing the asymptotic behavior of the solutions. Our results generalizes and improves partial previously known ones.

• Korean Journal of Computational Design and Engineering
• /
• v.6 no.3
• /
• pp.184-192
• /
• 2001

In this paper we present a remeshing algorithm for irregular meshes with boundaries. The irregular meshes are approximated by regular meshes where the topological regularity is essential for the multiresolutional analysis of the given meshes. Normal meshes are utilized to reduce the necessary data size at each resolution level of the regularized meshes. The normal mesh uses one scalar value, i.e., normal offset value which is based on the regular rule of a uniform subdivision, while other remeshing schemes use one 3D vector at each vertex. Since the normal offset cannot be properly used for the boundaries of meshes, we use a combined subdivision scheme which resolves a problem of the proposed normal offset method at the boundaries. Finally, we show an example to see the effectiveness of the proposed scheme to reduce the data size of a mesh model.

• Korean Institute of Interior Design Journal
• /
• v.25 no.6
• /
• pp.3-14
• /
• 2016

According to Plato's ontology, we lead our lives by establishing a relationship with others in the society. However in rapidly changing era, our lives was gradually moving towards personal tendency. Even for the relationship with family, not with others. Thus, awareness about owning properties has changed due to the sociocultural factors and increase number of single-person households. So in this study, the considerations for single-person housing were perceived through preceding research, and the elements making spatial boundary of shared housing were drawn to make rational space sharing based on the boundary with others and of the living environment. With overall analysis based on the spatial boundary features of planned shared housing, the plan characteristics according to the spatial boundary of the current shared housing is to be drawn and analyzed. Third, The expressive and structural features of spatial boundary as above appear with mutual flexible connectivity, And the result shows that the modularity was the highest. Among them variable coupling modularity of shows how it is possible to combine efficiently and variously the private and public spaces with regularity of 'space of optimal unit'. This study drew plan characteristics from more detailed space border of shared housing. Therefore, The basic framework of the characteristics spin for the cases that newly emerge later on.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.12 no.3
• /
• pp.87-94
• /
• 2002

This study presents an MSB(Most Significant Bit) Int multiplier using cellular automata, along with a new MSB first multiplication algorithm over GF($2^m$). The proposed architecture has the advantage of high regularity and a reduced latency based on combining the characteristics of a PBCA(Periodic Boundary Cellular Automata) and with the property of irreducible AOP(All One Polynomial). The proposed multiplier can be used in the effectual hardware design of exponentiation architecture for public-key cryptosystem.

• Communications of the Korean Mathematical Society
• /
• v.20 no.3
• /
• pp.563-578
• /
• 2005

In [Z. Cai and B. C. Shin, SIAM J. Numer. Anal. 40 (2002), 307-318], we developed the discrete first-order system least squares method for the second-order elliptic boundary value problem by directly approximating $H(div){\cap}H(curl)-type$ space based on the Helmholtz decomposition. Under general assumptions, error estimates were established in the $L^2\;and\;H^1$ norms for the vector and scalar variables, respectively. Such error estimates are optimal with respect to the required regularity of the solution. In this paper, we study solution methods for solving the system of linear equations arising from the discretization of variational formulation which possesses discrete biharmonic term and focus on numerical results including the performances of multigrid preconditioners and the finite element accuracy.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.753-760
• /
• 2013

We consider the global existence of strong solutions of the 3D incompressible Navier-Stokes equations in a bounded Lipschitz do-main under Dirichlet boundary condition. We present by a very simple argument that a strong solution exists globally when the product of $L^2$ norms of the initial velocity and the gradient of the initial velocity and $L^{p,2}$, $p{\geq}4$ norm of the forcing function are small enough. Our condition is scale invariant and implies many typical known global existence results for small initial data including the sharp dependence of the bound on the volumn of the domain and viscosity. We also present a similar result in the whole domain with slightly stronger condition for the forcing.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.419-433
• /
• 2007

Medial axis transform (MAT) is very sensitive to noise, in the sense that, even if a shape is perturbed only slightly, the Hausdorff distance between the MATs of the original shape and the perturbed one may be large. Recently, Choi et al.(2002) showed that MAT is stable for a class of 2D domains called weakly injective, if we view this phenomenon with the one-sided Hausdorff distance, rather than with the two-sided Hausdorff distance. In this paper, we extend this result to general 2D domains with natural boundary regularity. We also present explicit bounds for this general one-sided stability of the 2D MAT.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11a
• /
• pp.604-607
• /
• 2005

The free vibration of solid circular plates has been studied using the differential transformation method(DTM). The effects such as mass at edge and elastic restraints have been considered. In order to avoid the singularity problem at the solid circular center two regularity conditions were applied with respect to the number of circumferential nodal line. The non-dimensional natural frequencies of the general circular plates were obtained for various boundary conditions. The results obtained by this method were compared with previous works. DTM showed fast convergency, accuracy, efficiency and validity in solving vibration problem of general circular plates.

• Journal of Biomedical Engineering Research
• /
• v.19 no.6
• /
• pp.585-593
• /
• 1998

In Fourier magnetic resonance imaging (MRI), the number of phase encoded signals is often reduced to minimize the duration of the studies and maintain adequate signal-to-noise ratio. However, this results in the well-known truncation artifact, whose effect manifests itself as blurring and ringing in the image domain. In this paper, we propose a new regularization method in the context of a Bayesian framework to reduce truncation artifact. Since the truncation artifact appears in t도 phase direction only, the use of conventional piecewise-smoothness constraints with symmetric neighbors may result in the loss of small details and soft edge structures in the read direction. Here, we propose more elaborate forms of constraints than the conventional piecewise-smoothness constraints, which can capture actual spatial information about the MR images. Our experimental results indicate that the proposed method not only reduces the truncation artifact, but also improves tissue regularity and boundary definition without oversmoothing soft edge regions.