• Bulletin of the Korean Mathematical Society
• /
• v.46 no.3
• /
• pp.477-487
• /
• 2009

We define a quarter symmetric metric connection in an almost r-paracontact Riemannian manifold and we consider invariant, noninvariant and anti-invariant hypersurfaces of an almost r-paracontact Riemannian manifold endowed with a quarter symmetric metric connection.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.571-574
• /
• 2005

This paper gives some sufficient conditions for a given polyhedral set which is represented as a set of linear inequalities to be positive D-invariant for uncertain linear discrete-time systems in the case such that the systems matrices depend linearly on uncertain parameters whose ranges are given intervals. Further, the results will be applied to uncertain linear continuous systems in the sense of the above by using Euler approximation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.6 no.5
• /
• pp.339-344
• /
• 2000

This paper is concerned with the simplification of complex linear time-invariant systems. A simple technique is suggested using the well-known least squares method in the frequency domain. Given a high-order transfer function in the s- or z-domain, the squared-gain function corresponding to a low-order model is computed by the least squares method. Then, the low-order transfer function is obtained through the factorization. Three examples are given to illustrate the efficiency of the proposed method.

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

In this paper, we study the developing maps of the Lie groups with left-invariant affinely flat structures. We make some bacis observations on the nature of the developing images and show that the developing map for an incomplete affine structure splits as a product of a covering map of codimension 1 and a diffeomorphism of dimension 1.

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

For a complex smooth projective surface M with an action of a finite cyclic group G we give a uniform proof of the isomorphism between the invariant $H^1(G,\;H^2(M,\;{\mathbb{Z}}))$ and the first cohomology of the divisors fixed by the action, using G-equivariant cohomology. This generalizes the main result of Bogomolov and Prokhorov [4].

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.2
• /
• pp.245-256
• /
• 1992

In this article, we study the behavior of half integral weight thetaseries under theta operators. Theta operators are very important in the study of theta-series in connection with Hecke operators. Andrianov[A1] proved that the space of integral weight theta-series is invariant under the action of theta operators. We prove that his statement can be extened for half integral weight theta-series with a slight modification. By using this result one can prove that the space of theta-series is invariant under the action of Hecke operators as Andrianov did for intrgral weight theta-series [A1].

• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.619-637
• /
• 2004

In this paper, a left module over an associative ring with identity is defined to be openly semiprimitive (strongly semiprimitive, respectively) by the zero intersection of all maximal open fully invariant submodules (all maximal open submodules which are fully invariant, respectively) of it. For any projective module, the openly semiprimitivity of the projective module is an equivalent condition of the semiprimitivity of endomorphism ring of the projective module and the strongly semiprimitivity of the projective module is an equivalent condition of the endomorphism ring of the projective module being a sub direct product of a set of subdivisions of division rings.

• Honam Mathematical Journal
• /
• v.46 no.2
• /
• pp.198-208
• /
• 2024

In this paper, we find the conditions for a homogeneous Finsler space with an invariant infinite series (α, β)-metric to be of Berwald type. Also, we derive the necessary and sufficient condition for such a metric to be a Douglas metric.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.4
• /
• pp.173-180
• /
• 2006

A key component of autonomous navigation of intelligent home robot is localization and map building with recognized features from the environment. To validate this, accurate measurement of relative location between robot and features is essential. In this paper, we proposed relative localization algorithm based on 3D reconstruction of scale invariant features of two images which are captured from two parallel cameras. We captured two images from parallel cameras which are attached in front of robot and detect scale invariant features in each image using SIFT(scale invariant feature transform). Then, we performed matching for the two image's feature points and got the relative location using 3D reconstruction for the matched points. Stereo camera needs high precision of two camera's extrinsic and matching pixels in two camera image. Because we used two cameras which are different from stereo camera and scale invariant feature point and it's easy to setup the extrinsic parameter. Furthermore, 3D reconstruction does not need any other sensor. And the results can be simultaneously used by obstacle avoidance, map building and localization. We set 20cm the distance between two camera and capture the 3frames per second. The experimental results show :t6cm maximum error in the range of less than 2m and ${\pm}15cm$ maximum error in the range of between 2m and 4m.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.8
• /
• pp.692-698
• /
• 2015

This paper represents a trajectory design and analysis technique which uses invariant manifolds of the circular restricted three body problem. Instead of the classical patched conic method based on 2-body problem, the equation of motion and dynamical behavior of spacecraft in the circular restricted 3-body problem are introduced, and the characteristics of Lyapunov orbits near libration points and their invariant manifolds are covered in this paper. The trajectories from/to Lyapunov orbits are numerically generated with invariant manifolds in the Earth-moon system. The trajectories in the Sun-Jupiter system are also analyzed with various initial conditions in the boundary surface. These methods can be effectively applied to interplanetary trajectory designs.