• Journal of the Korean Mathematical Society
• /
• v.31 no.3
• /
• pp.353-365
• /
• 1994

During the past century, one of the most active and continuing subjects in matrix theory has been the study of those linear operators on matrices that leave certain properties or subsets invariant. Such questions ar usually called "Linear Preserver Problems".

• Journal of the Korean Mathematical Society
• /
• v.37 no.2
• /
• pp.177-191
• /
• 2000

All scalar CR invariants of weight $\leq$ 6 are explicitly given for 3-dimensional strictly pseudoconvex CR structures, as an application of Fefferman's ambient metric construction and its generalization by he author.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.2
• /
• pp.215-224
• /
• 1994

In this paper, the rotation and size invariant fingerprint recognition using the neural network EART (Extended Adaptive Resonance Theory) is studied ($515{\times}512$) gray level fingerprint images are converted into the binary thinned images based on the adaptive threshold and a thinning algorithm. From these binary thinned images, we extract the ending points and the bifurcation points, which are the most useful critical feature points in the fingerprint images, using the $3{\times}3$ MASK. And we convert the number of these critical points and the interior angles of convex polygon composed of the bifurcation points into the 40*10 critical using the weighted code which is invariant of rotation and size as the input of EART. This system produces very good and efficient results for the rotation and size variations without the restoration of the binary thinned fingerprints.

• Journal of Mechanical Science and Technology
• /
• v.17 no.4
• /
• pp.484-491
• /
• 2003

For most of linear time-varying (LTV) systems, it is difficult to design time-varying controllers in analytic way. Accordingly, by approximating LTV systems as uncertain linear time-invariant, control design approaches such as robust control have been applied to the resulting uncertain LTI systems. In particular, a robust control method such as quantitative feedback theory (QFT) has an advantage of guaranteeing the frozen-time stability and the performance specification against plant parameter uncertainties. However, if these methods are applied to the approximated linear. time-invariant (LTI) plants with large uncertainty, the resulting control law becomes complicated and also may not become ineffective with faster dynamic behavior. In this paper, as a method to enhance the fast dynamic performance of LTV systems with bounded time-varying parameters, the approximated uncertainty of time-varying parameters are reduced by the proposed QFT parameter-scheduling control design based on radial basis function (RBF) networks.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.7B
• /
• pp.1361-1369
• /
• 1999

A hit-miss transform(HMT) using modified synthetic structuring elements(SEs) for distortion-invariant recognition of multiple objects is proposed. A fundamental problem in an HMT is the determination of the optimal SE needed to improve the false alarm rate, and detect distorted objects with various shapes. The proposed synthetic methods of SE provide good solutions against this problem. One is the multistage synthesis of each true class SE using only set theory, and the other is the multistage synthesis of each true class and false class SE using set theory and SDF(synthetic discriminant function) synthesis method. Simulation results show the proposed methods can be used for the recognition of distorted intraclass objects and the discrimination of similar interclass objects.

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.

• Bulletin of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.31-37
• /
• 1987

I want to focus on developments in the areas of general relativity and gauge theory. The topics to be considered are the singularity theorms of Hawking and Penrose, the positivity of mass, instantons on the four-dimensional sphere, and the string picture of quantum gravity. I should mention that I will not have time do discuss either classical mechanics or symplectic structures. This is especially unfortunate, because one of the roots of differential geometry is planted firmly in mechanics, Cf. [GS]. The French geometer Elie Cartan first formulated his invariant approach to geometry in a series of papers on affine connections and general relativity, Cf. [C]. Cartan was trying to recast the Newtonian theory of gravity in the same framework as Einstein's theory. From the historical perspective it is significant that Cartan found relativity a convenient framework for his ideas. As about the same time Hermann Weyl in troduced the idea of gauge theory into geometry for purposes much different than those for which it would ultimately prove successful, Cf. [W]. Weyl wanted to unify gravity with electromagnetism and though that a conformal structure would fulfill thel task but Einstein rebutted this approach.

• Honam Mathematical Journal
• /
• v.13 no.1
• /
• pp.53-63
• /
• 1991

In this paper we first present the elements of the theory of families of distributions and corresponding estimators having structual properties which are preserved under certain groups of transformations, called "Invariance Principle". The invariance principle is an intuitively appealing decision principle which is frequently used, even in classical statistics. It is interesting not only in its own right, but also because of its strong relationship with several other proposal approaches to statistics, including the fiducial inference of Fisher [3, 4], the structural inference of Fraser [5], and the use of noninformative priors of Jeffreys [6]. Unfortunately, a space precludes the discussion of fiducial inference and structural inference. Many of the key ideas in these approaches will, however, be brought out in the discussion of invarience and its relationship to the use of noninformatives priors. This principle is also applied to the problem of finding the best scale invariant estimator in the scale parameter problem. Finally, several examples are subsequently given.

• Wind and Structures
• /
• v.12 no.5
• /
• pp.457-474
• /
• 2009

Techniques for stabilising slender bridges under wind loads are presented in this article. A mathematically consistent description of the acting aerodynamic forces is essential when investigating these ideas. Against this background, motion-induced aerodynamic forces are characterised using a linear time-invariant transfer element in terms of rational functions. With the help of these functions, the aeroelastic system can be described in the form of a linear, time-invariant state-space model. It is shown that the divergence wind speed constitutes an upper bound for the application of the selected mechanical actuators. Even active control with full state feedback cannot overcome this limitation. The results are derived and explained with methods of control theory.

• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10b
• /
• pp.934-938
• /
• 1988

In this paper we present a method of determining the unknown degree of any 2D discrete linear shift-invariant system which is characterized only by the coefficients of the double power series of a transfer function, i.e. a 2D impulse response array. Our method is based on a 2D extension of Berlekamp-Massey algorithm for synthesis of linear feedback shift registers, and it gives a novel approach to identification and approximation of 2D linear systems, which can be distinguished in its simplicity and potential of applicability from the other 2D Levinson-type algorithms. Furthermore, we can solve problems of 2D Pade approximation and 2D system reduction on a reasonable assumption in the context of 2D linear systems theory.