• Bulletin of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.823-829
• /
• 2014

Ruled submanifolds in Euclidean space satisfying some algebraic equations concerning the Laplace operator related to the isometric immersion and Gauss map are studied. Cylinders over a finite type curve or generalized helicoids are characterized with such algebraic equations.

• Korean Journal of Mathematics
• /
• v.29 no.4
• /
• pp.741-747
• /
• 2021

The Cayley-Bacharach theorem says that every cubic curve on an algebraically closed field that passes through a given 8 points must contain a fixed ninth point, counting multiplicities. Ren et al. introduced a concrete formula for the ninth point in terms of the 8 points [4]. We would like to consider a different approach to find the ninth point via the theory of truncated moment problems. Various connections between algebraic geometry and truncated moment problems have been discussed recently; thus, the main result of this note aims to observe an interplay between linear algebra, operator theory, and real algebraic geometry.

• Journal of the Korean Mathematical Society
• /
• v.39 no.5
• /
• pp.665-680
• /
• 2002

For a smooth projective irreducible algebraic curve C of odd gonality, the maximal possible dimension of the variety of special linear systems ${W^r}_d$(C) is d－3r by a result of M. Coppens et at. [4]. This bound also holds if C does not admit an involution. Furthermore it is known that if dim ${W^r}_d(C)qeq$ d-3r-1 for a curve C of odd gonality, then C is of very special type of curves by a recent progress made by G. Martens [11] and Kato-Keem [9]. The purpose of this paper is to pursue similar results for curves of even gonality which does not admit an involution.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.1
• /
• pp.107-117
• /
• 2004

A new algorithm for planning a collision-free path based on an algebraic curve as well as the concept of path space is developed. Robot path planning has so far been concerned with generating a single collision-free path connecting two specified points in a given robot workspace with appropriate constraints. In this paper, a novel concept of path space (PS) is introduced. A PS is a set of points that represent a connection between two points in Euclidean metric space. A geometry mapping (GM) for the systematic construction of path space is also developed. A GM based on the 2$^{nd}$ order base curve, specifically Bezier curve of order two is investigated for the construction of PS and for collision-free path planning. The Bezier curve of order two consists of three vertices that are the start, S, the goal, G, and the middle vertex. The middle vertex is used to control the shape of the curve, and the origin of the local coordinate (p, $\theta$) is set at the centre of S and G. The extreme locus of the base curve should cover the entire area of actual workspace (AWS). The area defined by the extreme locus of the path is defined as quadratic workspace (QWS). The interference of the path with obstacles creates images in the PS. The clear areas of the PS that are not mapped by obstacle images identify collision-free paths. Hence, the PS approach converts path planning in Euclidean space into a point selection problem in path space. This also makes it possible to impose additional constraints such as determining the shortest path or the safest path in the search of the collision-free path. The QWS GM algorithm is implemented on various computer systems. Simulations are carried out to measure performance of the algorithm and show the execution time in the range of 0.0008 ~ 0.0014 sec.

• Journal of Information Processing Systems
• /
• v.8 no.1
• /
• pp.145-158
• /
• 2012

Hyperelliptic Curve Cryptosystem (HECC) is well suited for all kinds of embedded processor architectures, where resources such as storage, time, or power are constrained due to short operand sizes. We can construct genus 3 HECC on 54-bit finite fields in order to achieve the same security level as 160-bit ECC or 1024-bit RSA due to the algebraic structure of Hyperelliptic Curve. This paper explores various possible attacks to the discrete logarithm in the Jacobian of a Hyperelliptic Curve (HEC) and addition and doubling of the divisor using explicit formula to speed up the scalar multiplication. Our aim is to develop a cryptosystem that can sign and authenticate documents and encrypt / decrypt messages efficiently for constrained devices in wireless networks. The performance of our proposed cryptosystem is comparable with that of ECC and the security analysis shows that it can resist the major attacks in wireless networks.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.17 no.6
• /
• pp.1596-1608
• /
• 1993

Low Reynolds number second moment turbulence model which be applicable to the fine gird near the wall region was developed. In this model, turbulence model coefficients in the pressure strain model of the Reynolds stress equation was expressed as functions of turbulence Reynolds number $R_{t}\equivk^{2}/(\nu\varepsilon)).$ In the derivation procedure of the present low Reynolds number algebraic stress model, Laufer's near wall experimental data on Reynolds stresses were curve fitted as functions of R$_{t}$ and the resulting simultaneous equations of the model coefficients were solved by using the boundary conditions at wall and high Reynolds number limiting conditions. Predicted Reynolds stresses and dissipation rate of turbulent kinetic energy etc. in the 2 dimensional parallel, plane channel flow and pipe flow were compared with the preditions obtained by employing the Launder-Shima model, standard algebraic stress model and several experimental data. Results show that all the Reynolds stresses and dissipation rate of turbulent kinetic energy predicted by the present low Reynolds number algebraic stress model agree better with the experimental data than those predicted by other algebraic stress models.

• Journal of KIISE:Software and Applications
• /
• v.27 no.1
• /
• pp.50-61
• /
• 2000

Recently the stereo vision based on conics has received much attention by many authors. Conics have many features such as their matrix expression, efficient correspondence checking, abundance of conical shapes in real world. Extensions to higher algebraic curves met with limited success. Although irreducible algebraic curves are rather rare in the real world, lines and conics are abundant whose products provide good examples of higher algebraic curves. We consider plane algebraic curves of an arbitrary degree $n{\geq}2$ with a fully calibrated stereo system. We present closed form solutions to both correspondence and reconstruction problems. Let $f_1,\;f_2,\;{\pi}$ be image curves and plane and $VC_P(g)$ the cone with generator (plane) curve g and vertex P. Then the relation $VC_{O1}(f_1)\;=\;VC_{O1}(VC_{O2}(f_2)\;∩\;{\pi})$ gives polynomial equations in the coefficient $d_1,\;d_2,\;d_3$ of the plane ${\pi}$. After some manipulations, we get an extremely simple polynomial equation in a single variable whose unique real positive root plays the key role. It is then followed by evaluating $O(n^2)$ polynomials of a single variable at the root. It is in contrast to the past works which usually involve a simultaneous system of multivariate polynomial equations. We checked our algorithm using synthetic as well as real world images.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.187-191
• /
• 1996

Let C be a nonsingular complex projective algebraic curve (or a compact Riemann surface) of genus g. Let $M(C)$ denote the field of meromorphic functions on C and N the set of all non-negative integers.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1577-1596
• /
• 2017

We study contraction of points on ${\mathbb{P}}^1({\bar{\mathbb{Q}}})$ with certain control on local ramification indices, with application to the unramified curve correspondence problem initiated by Bogomolov and Tschinkel.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.69-86
• /
• 2017

The point $P{\in}{\mathbb{P}}^2$ is referred to as a Galois point for a nonsingular plane algebraic curve C if the projection ${\pi}_P:C{\rightarrow}{\mathbb{P}}^1$ from P is a Galois covering. In contrast, the point $P^{\prime}{\in}C^{\prime}$ is referred to as a weak Galois Weierstrass point of a nonsingular algebraic curve C' if P' is a Weierstrass point of C' and a total ramification point of some Galois covering $f:C^{\prime}{\rightarrow}{\mathbb{P}}^1$. In this paper, we discuss the following phenomena. For a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$, if there exists a common ramification point of ${\pi}_P$ and ${\varphi}$, then there exists a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with its Weierstrass semigroup such that H(P') = or , which is a semigroup generated by two positive integers r and 2r + 1 or 2r - 1, such that P' is a branch point of ${\varphi}$. Conversely, for a weak Galois Weierstrass point $P^{\prime}{\in}C^{\prime}$ with H(P') = or , there exists a nonsingular plane curve C with a Galois point P and a double covering ${\varphi}:C{\rightarrow}C^{\prime}$ such that P' is a branch point of ${\varphi}$.