• Communications of the Korean Mathematical Society
• /
• v.13 no.1
• /
• pp.85-94
• /
• 1998

The purpose of this paper is to give sample characterizations of n-dimensional CR-submanifolds of (n-1) CR-semifolds of (n-1) CR-dimension immersed in a complex projective space $CP^{(n+p)/2}$ with Fubini-Study metric and we study an n-dimensional compact, orientable, minimal CR-submanifold of (n-1) CR-dimension in $CP^{(n+p)/2}$.

• Journal of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1113-1129
• /
• 2019

We define a class of semi-symmetric metric connection on a Riemannian manifold for which the conformal, the projective, the concircular, the quasi conformal and the m-projective curvature tensors are invariant. We also study the properties of semisymmetric, Ricci semisymmetric and Eisenhart problems for solving second order parallel symmetric and skew-symmetric tensors on the Riemannian manifolds equipped with a semi-symmetric metric P-connection.

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

We present a method to detect on-road vehicle using geometric invariant of feature points on side planes of the vehicle. The vehicles are assumed into a set of planes and the invariant from motion information of features on the plane segments the plane from the theory that a geometric invariant value defined by five points on a plane is preserved under a projective transform. Harris corners as a salient image point are used to give motion information with the normalized correlation centered at these points. We define a probabilistic criterion to test the similarity of invariant values between sequential frames. Experimental results using images of real road scenes are presented.

• Proceedings of the Korea Society of Information Technology Applications Conference
• /
• 2005.11a
• /
• pp.229-232
• /
• 2005

In this paper, an image-based "approach-align -grasp" visual servo control design is proposed for the problem of object grasping, which is based on the binocular stand-alone system. The basic idea consists of considering a vision system as a specific sensor dedicated a task and included in a control servo loop, and we perform automatic grasping follows the classical approach of splitting the task into preparation and execution stages. During the execution stage, once the image-based control modeling is established, the control task can be performed automatically. The proposed visual servoing control scheme ensures the convergence of the image-features to desired trajectories by using the Jacobian matrix, which is proved by the Lyapunov stability theory. And we also stress the importance of projective invariant object/gripper alignment. The alignment between two solids in 3-D projective space can be represented with view-invariant, more precisely; it can be easily mapped into an image set-point without any knowledge about the camera parameters. The main feature of this method is that the accuracy associated with the task to be performed is not affected by discrepancies between the Euclidean setups at preparation and at task execution stages. Then according to the projective alignment, the set point can be computed. The robot gripper will move to the desired position with the image-based control law. In this paper we adopt a constant Jacobian online. Such method describe herein integrate vision system, robotics and automatic control to achieve its goal, it overcomes disadvantages of discrepancies between the different Euclidean setups and proposes control law in binocular-stand vision case. The experimental simulation shows that such image-based approach is effective in performing the precise alignment between the robot end-effector and the object.

• 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].

• Kyungpook Mathematical Journal
• /
• v.59 no.3
• /
• pp.391-401
• /
• 2019

A module is said to be ${\pi}$-extending provided that every projection invariant submodule is essential in a direct summand of the module. In this article, we focus on the class of modules having the ${\pi}$-extending property by looking at the singularity of quotient submodules. By doing so, we provide counterexamples, using hypersurfaces in projective spaces over complex numbers, to show that being generalized ${\pi}$-extending is not inherited by direct summands. Moreover, it is shown that the direct sums of generalized ${\pi}$-extending modules are generalized ${\pi}$-extending.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.3
• /
• pp.23-34
• /
• 2001

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.1090-1093
• /
• 2004

In this paper, a problem of geometrically distorted images is considered. In particular, the paper discusses the detection of a watermark from a photographed image of the watermarked picture. The image is possibly obtained by using a digital camera. This watermark detection problem is made difficult by various geometric distortions added to the original picture through the printing and photographing processes. In particular, the paper focuses on the geometric distortion due to a projective transformation, as part of a camera 3D-to-2D imaging process. It is well-known that a cross ratio of collinear points is invariant under a perspective projection. By exploiting this fact, a projective-invariant digital watermarking technique is developed. By detecting the picture's corners, and the image center point at the intersection of two main diagonal lines, predefined cross ratios are used to compute the watermark embedded locations. From those identified embedding pixel locations, a watermark can be detected by performing a correlation between a watermark pattern and the image over those pixels. The proposed method does not require an inverse transformation on the distorted image, thus simplifying the detection process. Performance of the proposed method has been analyzed through computer experiments

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.920-923
• /
• 1996

This paper presents a new algorithm for the self-localization of a mobile robot using perspective invariant(Cross Ratio). Most of conventional model-based self-localization methods have some problems that data structure building, map updating and matching processes are very complex. Use of the simple cross ratio can be effective to the above problems. The algorithm is based on two basic assumptions that the ground plane is flat and two parallel walls are available. Also it is assumed that an environmental map is available for matching between the scene and the model. To extract an accurate steering angle for a mobile robot, we take advantage of geometric features such as vanishing points(V.P). Point features for computing cross ratios are extracted robustly using a vanishing point and the intersection points between floor and the vertical lines of door frames. The robustness and feasibility of our algorithms have been demonstrated through experiments in indoor environments using an indoor mobile robot, KASIRI-II(KAist SImple Roving Intelligence).

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.649-668
• /
• 2000

In this paper we prove the following : Let M be a real (2n-1)-dimensional compact minimal semi-invariant submanifold in a complex projective space P(sub)n+1C. If the scalar curvature $\geq$2(n-1)(2n+1), then m is a homogeneous type $A_1$ or $A_2$. Next suppose that the third fundamental form n satisfies dn = 2$\theta\omega$ for a certain scalar $\theta$$\neq$c/2 and $\theta$$\neq$c/4 (4n-1)/(2n-1), where $\omega$(X,Y) = g(X,øY) for any vectors X and Y on a semi-invariant submanifold of codimension 3 in a complex space form M(sub)n+1 (c). Then we prove that M has constant principal curvatures corresponding the shape operator in the direction of the distingusihed normal and the structure vector ξ is an eigenvector of A if and only if M is locally congruent to a homogeneous minimal real hypersurface of M(sub)n (c).