• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.6 no.2
• /
• pp.25-30
• /
• 2002

Let $E/{\mathbb{Q}$ be an elliptic curve defined over rationals, P is a non-torsion rational point of E and $$S=\{[n]P{\mid}n{\in}{\mathbb{Z}}\}$$. then S is dense in the component of $E({\mathbb{R}})$ which contains the infinity in the usual Euclidean topology or in the topology defined by the invariant Haar measure and it is uniformly distributed.

• East Asian mathematical journal
• /
• v.38 no.3
• /
• pp.347-355
• /
• 2022

For a nondegenerate projective variety, it is a classical problem to study its defining equations with respect to a given embedding. In this paper, we precisely determine minimal sets of generators of the defining ideals of some curves of maximal regularity in ℙ⁵.

• International Journal of CAD/CAM
• /
• v.6 no.1
• /
• pp.59-64
• /
• 2006

A new method to obtain explicit re-parameterization that preserves the curve degree and parametric domain is presented in this paper. The re-parameterization brings a curve very close to the arc length parameterization under $L_2$ norm but with less segmentation. The re-parameterization functions we used are $C^1$ continuous piecewise rational linear functions, which provide more flexibility and can be easily identified by solving a quadratic equation. Based on the outstanding performance of Mobius transformation on modifying pieces with monotonic parametric speed, we first create a partition of the original curve, in which the parametric speed of each segment is of monotonic variation. The values of new parameters corresponding to the subdivision points are specified a priori as the ratio of its cumulative arc length and its total arc length. $C^1$ continuity conditions are imposed to each segment, thus, with respect to the new parameters, the objective function is linear and admits a closed-form optimization. Illustrative examples are also given to assess the performance of our new method.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.6_2
• /
• pp.577-583
• /
• 2013

Recently, massive archives of ground information imagery from new sensors have become available. To establish a functional relationship between the image and the ground space, sensor models are required. The rational functional model (RFM), which is used as an alternative to the rigorous sensor model, is an attractive option owing to its generality and simplicity. To determine the rational polynomial coefficients (RPC) in RFM, however, we encounter the problem of obtaining a stable solution. The design matrix for solutions is usually ill-conditioned in the experiments. To solve this unstable solution problem, regularization techniques are generally used. In this paper, we describe the effective determination of the optimal regularization parameter in the regularization technique during RPC derivation. A brief mathematical background of RFM is presented, followed by numerical approaches for effective determination of the optimal regularization parameter using the Euler Method. Experiments are performed assuming that a tilted aerial image is taken with a known rigorous sensor. To show the effectiveness, calculation time and RMSE between L-curve method and proposed method is compared.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.10 no.3
• /
• pp.109-118
• /
• 2010

This study quantified the flood reduction effect of small stormwater detention facilities by the NRCS curve number. The modified rational equation was used to calculate the inflow volume into the detention facilities. The NRCS curve number in the cases w/ and w/o storage facility was calculated with respect to the rainfall characteristics(rainfall frequency, duration) and the size of storage facilities. Finally, diagrams showing the curve number reduction rate versus the size of storage facility were developed. The diagrams can be used to evaluate the flood reduction effect of storage facility reasonably and efficiently when estimating the optimal location and size of storage facility. The results based on the methodology propsed in this study were also compared with those of previous study for their validation.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.18 no.6
• /
• pp.576-584
• /
• 2009

Up to now, it has been said that no satisfactory computer solution has been found for synthesizing four-bar linkage based on the prescribed coupler link curve. In our study, an algorithm has been developed to improve the design synthesis of four bar linkage based on the 5 precision points method. The suggested algorithm generates the desired coupler curve by using NURBS, and then the generated curve approximates as closely as possible to the desired curve representing coupler link trajectory. Also, when comparing each generated curve by constructing the control polygon, rapid comparison is easily achieved by applying convex hull of the control polygon. Finally, an optimization process using ADS is incorporated into the algorithm based on the 5 precision point method to reduce the total optimization process time. As for examples, two four bar linkages were tested and the result well demonstrated the effectiveness of the algorithm.

• Proceedings of the IEEK Conference
• /
• 2002.06c
• /
• pp.17-20
• /
• 2002

This paper proposes a new 75 fuzzy model approximation method which reduces error in nonlinear fuzzy model approximation over the V-type decision rules. Employing rational Bezier curves used in computer graphics to represent curves or surfaces, the proposed method approximates the decision rule by constructing a tractable linear equation in the highly non-linear fuzzy rule interval. This algorithm is applied to the self-adjusting air cushion for spinal cord injury patients to automatically distribute the patient's weight evenly and balanced to prevent decubitus. The simulation results indicate that the performance of the proposed method is bettor than that of the conventional TS Fuzzy model in terms of error and stability.

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.4
• /
• pp.595-601
• /
• 1997

Let $C_d$ be the rational curve of degree d in $P_k ^3$ given parametrically by $x_0 = u^d, X_1 = u^{d - 1}t, X_2 = ut^{d - 1}, X_3 = t^d (d \geq 4)$. Then the defining ideal of $C_d$ can be minimally generated by d polynomials $F_1, F_2, \ldots, F_d$ such that $degF_1 = 2, degF_2 = \cdots = degF_d = d - 1$ and $C_d$ is a set-theoretically complete intersection on $F_2 = X_1^{d-1} - X_2X_0^{d-2}$ for every field k of characteristic p > 0. For the proofs we will use the notion of Grobner basis.

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

Visualization of 2D and 3D data, which arises from some scientific phenomena, physical model or mathematical formula, in the form of curve or surface view is one of the important topics in Computer Graphics. The problem gets critically important when data possesses some inherent shape feature. For example, it may have positive feature in one instance and monotone in the other. This paper is concerned with the solution of similar problems when data has convex shape and its visualization is required to have similar inherent features to that of data. A rational cubic function [5] has been used for the review of visualization of 2D data. After that it has been generalized for the visualization of 3D data. Moreover, simple sufficient constraints are made on the free parameters in the description of rational bicubic functions to visualize the 3D convex data in the view of convex surfaces.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2003.11a
• /
• pp.219-222
• /
• 2003

Substantial experimental and theoretical work exists on the bond characteristics of FRP-concrete adhesive joints. Experimental studies show that the bond strength cannot always increase with an increase in the bond length, and that the ultimate strength is strongly influenced by the concrete strength. To solve this feature, analytic solutions based on fracture mechanics are widely used, and the local shear stress-slip curve with a softening branch is known as more rational model. The analytic solution, however, cannot describe various shapes of model curve. In this study, numerical method using interface element is introduced to express various shapes of model curve. Characteristics of adhesive joint is investigated for the shapes of the model curve and their parameters. And the numerical solutions are compared with the test results of CFRP sheet adhesive joints.