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

In this article, we discuss a Grobner basis algorithm related to the stability of algebraic varieties in the sense of Geometric Invariant Theory. We implement the algorithm with Macaulay 2 and use it to prove the stability of certain curves that play an important role in the log minimal model program for the moduli space of curves.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• 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.

• 대한수학회지
• /
• 제53권5호
• /
• pp.1077-1100
• /
• 2016

We develop an invariant local theory of Lorentz surfaces in pseudo-Euclidean 4-space by use of a linear map of Weingarten type. We find a geometrically determined moving frame field at each point of the surface and obtain a system of geometric functions. We prove a fundamental existence and uniqueness theorem in terms of these functions. On any Lorentz surface with parallel normalized mean curvature vector field we introduce special geometric (canonical) parameters and prove that any such surface is determined up to a rigid motion by three invariant functions satisfying three natural partial differential equations. In this way we minimize the number of functions and the number of partial differential equations determining the surface, which solves the Lund-Regge problem for this class of surfaces.

• 대한수학회보
• /
• 제55권4호
• /
• pp.1221-1230
• /
• 2018

We derive a sharp decomposition formula for the state polytope of the Hilbert point and the Hilbert-Mumford index of reducible varieties by using the decomposition of characters and basic convex geometry. This proof captures the essence of the decomposition of the state polytopes in general, and considerably simplifies an earlier proof by the authors which uses a careful analysis of initial ideals of reducible varieties.

• 대한전자공학회논문지
• /
• 제25권12호
• /
• pp.1625-1632
• /
• 1988

This paper aims not only to introduce the concept of linear singular systems, geometric structure, and feedback but also to provide applications of the multivariable linear singular system theories to electric circuits which may appear in some electronic equipments. The impulsive or discontinuous behavior which is not desirable can be removed by the set of admissible initial conditions. The output-nulling supremal (A,E,B) invariant subspace and the singular system structure algorithm are applied to this double-input double-output electric circuit. The Weierstrass form of the pencil (s E-A) is related to the output-nulling supremal (A,E,B) invariant subspace from which the time domain solutions of the finite and the infinite subsystems are found. The generalized Lyapunov equation for this application with feedback is studied and finally, the use of orthogonal functions in singular systems is discussed.

• Journal of applied mathematics & informatics
• /
• 제41권6호
• /
• pp.1181-1191
• /
• 2023

This paper investigates Young inequalities for matrices, a problem closely linked to operator theory, mathematical physics, and the arithmetic-geometric mean inequality. By obtaining new inequalities for unitarily invariant norms, we aim to derive a fresh Young inequality specifically designed for matrices.To lay the foundation for our study, we provide an overview of basic notation related to matrices. Additionally, we review previous advancements made by researchers in the field, focusing on Young improvements.Building upon this existing knowledge, we present several new enhancements of the classical Young inequality for nonnegative real numbers. Furthermore, we establish a matrix version of these improvements, tailored to the specific characteristics of matrices. Through our research, we contribute to a deeper understanding of Young inequalities in the context of matrices.

• 대한수학회지
• /
• 제31권4호
• /
• pp.659-667
• /
• 1994

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the ultraweak operator topology on $L(H)$. Note that the ultraweak operator topology coincides with the weak topology on $L(H) (cf. [6]). Several functional analysists have studied the problem of solving systems of simultaneous equations in the predual of a dual algebra (cf. [3]). This theory is applied to the study of invariant subspaces and dilation theory, which are deeply related to the classes $A_{m,n}$ (that will be defined below) (cf. [3]). An abstract geometric criterion for dual algebras with property $(A_{\aleph_0}, {\aleph_0})$ was first given in [1].

• 대한수학회지
• /
• 제31권4호
• /
• pp.569-608
• /
• 1994

The subject matter of this survey has to do with holomorphic maps from a compact Riemann surface to projective space, which are also called algebrac curves; the theory we survey lies at the crossroads of function theory, projective geometry, and commutative algebra (although we should mention that the present survey de-emphasizes the algebraic aspect). Algebraic curves have been vigorously and continuously investigated since the time of Riemann. The reasons for the preoccupation with algebraic curves amongst mathematicians perhaps have to do with-other than the usual usual reason, namely, the herd mentality prompting us to follow the leads of a few great pioneering methematicians in the field-the fact that algebraic curves possess a certain simple unity together with a rich and complex structure. From a differential-topological standpoint algebraic curves are quite simple as they are neatly parameterized by a single discrete invariant, the genus. Even the possible complex structures of a fixed genus curve afford a fairly complete description. Yet there are a multitude of diverse perspectives (algebraic, function theoretic, and geometric) often coalescing to yield a spectacular result.

• 한국음향학회지
• /
• 제28권4호
• /
• pp.318-327
• /
• 2009

본 논문에서는 천해환경에서 근거리 광대역 음원의 3차원 위치추정 알고리즘을 제안한다. 음향 도파관 불변 이론에 따라 센서 스펙트로그램에 나타나는 간섭패턴의 기울기는 음원의 거리에 비례한다. 두 개의 센서 스펙트로그램에 나타나는 간섭패턴의 정합을 통해 음원과 두 센서간의 상대적인 거리비를 추정 하였다. 이를 아폴로니오스의 원에 적용하여 두 센서로부터 일정한 거리비를 가지는 음원의 궤적을 나타낸다. 3개의 센서를 이용하면 두 개의 아폴로니오스 원이 음원의 수평거리와 방위를 나타내는 교점을 형성하며 이는 음원의 수심에 대하여 일정하다. 따라서 음원의 깊이는 두 센서로부터 거리차가 일정한 3차원 쌍곡면의 방정식을 적용하여 최종 추정하였다. 제안된 알고리즘의 성능평가를 위하여 음파 전달 모델을 이용한 모의실험을 통해 위치추정 오차를 분석하였다. 모의실험 결과 음원의 거리에 대한 추정오차는 50 m이내, 깊이에 대한 추정오차는 15 m 이내인 것으로 나타났다.