• 한국CDE학회논문집
• /
• 제3권4호
• /
• pp.243-250
• /
• 1998

In parametric surface interpolation, the choice of the parameter values to the set of scattered points makes a great deal of difference in the resulting surface. A new method is developed and tested for the parametrization in NURBS surface global interpolation. This method uses the parameter value at the maximal value of relevant rational basis function, to assign the parameter values to the arbitrary set of design data. This method gives us several important advantages in geometric modeling, the freedom of the selection of knot values, the feasible transformation of the data set to the matrix, the possibility of affinite transformation between the design data and generated surface, etc.

• 통합자연과학논문집
• /
• 제6권1호
• /
• pp.46-52
• /
• 2013

In this thesis, we consider isoparametric curves of quadratic F-B$\acute{e}$zier curves. F-B$\acute{e}$zier curves unify C-B$\acute{e}$zier curves whose basis is {sint, cos t, t, 1} and H-B$\acute{e}$zier curves whose basis is {sinht, cosh t, t,1}. Thus F-B$\acute{e}$zier curves are more useful in Geometric Modeling or CAGD(Computer Aided Geometric Design). We derive the relation between the quadratic F-B$\acute{e}$zier curves and the quadratic rational B$\acute{e}$zier curves. We also obtain the geometric properties of isoparametric curve of the quadratic F-B$\acute{e}$zier curves at both end points and prove the continuity of the isoparametric curve.

• 대한원격탐사학회지
• /
• 제30권5호
• /
• pp.617-625
• /
• 2014

가장 대표적인 범용센서모델인 다항식비례모형(Rational Function Model)은 물리적 센서모형의 정확도에 견줄 수 있는 특성으로 인하여 상업용 위성영상의 센서모델링 기법에서 가장 많이 쓰이고 있다. RPCs를 이용하여 인공위성 영상의 3차원 위치를 결정할 수 있지만, 대축척의 지형도 제작시 정확도 측면에서 한계를 가지고 있다. 본 연구에서는 QuickBird-2, 인공위성 영상을 이용하여 지상기준점의 수량, 분포 및 다항식비례모형의 차수에 따른 정확도 분석을 수행하였다. 그 결과 1:25,000 축척의 지형도 제작시 수평위치 및 표고 허용오차 범위에 포함 될 수 있는 가능성을 확인하였다.

• 충청수학회지
• /
• 제16권1호
• /
• pp.113-121
• /
• 2003

This paper is concerned with some properties of stable domains and limit functions. Using the relationship between cycles of periodic stable domains and orbits of critical points and using the Sullivan theorem [19], we prove that the value of a constant limit function in some stable domain for a rational function f of degree at least two lies in the closure of the set of critical orbits of f.

• 대한수학회보
• /
• 제41권3호
• /
• pp.451-456
• /
• 2004

Given a function on a scheme over a finite field, we can count the number of rational points of the scheme having the same values. We show that if the function, viewed as a morphism to the affine line, is proper and its higher direct image sheaves are tamely ramified at the infinity then the values are uniformly distributed up to some degree.

• 대한수학회보
• /
• 제57권4호
• /
• pp.865-872
• /
• 2020

Let X ⊂ ℙ^r be an integral and non-degenerate variety. Set n := dim(X). Let 𝜌(X)" be the maximal integer such that every zero-dimensional scheme Z ⊂ X smoothable in X is linearly independent. We prove that X is linearly normal if 𝜌(X)" ≥ 2⌈(r + 2)/2⌉ and that 𝜌(X)" < 2⌈(r + 1)/(n + 1)⌉, unless either n = r or X is a rational normal curve.

• 대한수학회지
• /
• 제47권1호
• /
• pp.101-112
• /
• 2010

In [3] we showed that a polynomial over a Noetherian ring is divisible by some other polynomial by looking at the matrix formed by the coefficients of the polynomials which we called the resultant matrix. In this paper, we consider the polynomials with coefficients in a field and divisibility of a polynomial by a polynomial with a certain degree is equivalent to the existence of common solution to a system of Diophantine equations. As an application we construct a family of irreducible quartics over $\mathbb{Q}$ which are not of Eisenstein type.

• Journal of Hydrospace Technology
• /
• 제2권1호
• /
• pp.55-64
• /
• 1996

Herein a review is made on the validation problem of numerical codes applied to floating offshore structures. Since the dynamic behaviour of offshore floating structures in water waves is in general complex and nonlinear, a numerical approach seems to be promising. However, numerical codes are likely involved with uncertainties and they at the present status show apparent scatterness in typical bechmark tests, particularly in second-order wave forces. Convergence test is the minimum requirement for the validation of numerical codes. Some other practical check points are introduced to clarify the potential error sources. It is concluded that a standard procedure for validation must be urgently established sothat numerical methods can safely be used as a rational design tool.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권2호
• /
• pp.141-155
• /
• 2011

We compute zeta functions of 1-solenoids. When our 1-solenoid is nonorientable, we compute Artin-Mazur zeta function and Lefschetz zeta function of the 1-solenoid and its orientable double cover explicitly in terms of adjacency matrices and branch points. And we show that Artin-Mazur zeta function of orientable double cover is a rational function and a quotient of Artin-Mazur zeta function and Lefschetz zeta function of the 1-solenoid.

• 전기의세계
• /
• 제15권5호
• /
• pp.6-12
• /
• 1966

As a power system gets complicated and the number of regulating points increases, the voltage reactive power control tends to be more complex and more difficult. In the past, we took only the voltage regulation into account for this voltage control problem. pay attention not only to the voltage regulation but also to the rational system operation which minimizes transmission losses. Considering the rehuirements mentioned above we aim developing a method of coordination of these regulating equipments and also present some preliminary discussions aboutcomputer control of power systems which is now frequently available with the progress of digital computer technique.