• 충청수학회지
• /
• 제32권4호
• /
• pp.453-459
• /
• 2019

In this paper, we analyze the behaviour of flows near closed sets with compact boundary which contains no semi-orbits. Also, we give a condition that a closed invariant set is to be asymptotically stable.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2004년도 ICCAS
• /
• pp.1993-1998
• /
• 2004

This paper proposes a new framework for control system design, called the data-based control approach or data space approach, in which the input and output data of a dynamical system is directly and solely used to analyze or design a control system without the employment of any mathematical models like transfer functions, state space equations, and kernel representations. Since, in this approach, most of the analysis and design processes are carried out in the domain of the data space, we introduce some notions of geometrical objects, e.g., the openloop and closed-loop data spaces, which serve as the system representations in the data space. In addition, we establish a relationship between the open-loop and closed-loop data spaces that the closed-loop data space is contained in the open-loop data space as one of its subspaces. By using this relationship, we can derive the data-based stabilization condition for a linear time-invariant discrete-time system, which leads to a linear matrix inequality with a rank constraint.

• 대한수학회보
• /
• 제48권5호
• /
• pp.1015-1021
• /
• 2011

A point of a Riemann surface X is said to be its fixed point if it is a fixed point of one of its nontrivial holomorphic automorphisms. We start this note by proving that the set Fix(X) of fixed points of Riemann surface X of genus g${\geq}$2 has at most 82(g-1) elements and this bound is attained just for X having a Hurwitz group of automorphisms, i.e., a group of order 84(g-1). The set of such points is invariant under the group of holomorphic automorphisms of X and we study the corresponding symmetric representation. We show that its algebraic type is an essential invariant of the topological type of the holomorphic action and we study its kernel, to find in particular some sufficient condition for its faithfulness.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 G
• /
• pp.2237-2239
• /
• 1998

A limitation is assumed that In this paper, a generalized method is proposed to extract a period of a motion of on object. To detect a periodic motion, we put restrictions on a stationary camera and on a motion of an object. We ca derive the necessary and sufficient condition that an image sequence consists of the projection of the periodic motion by the affine transformation that is a reasonally good approach to the perspective projection. The difficulty of detecting its periodic motion is to select its have period in sequence and to define its width.

• East Asian mathematical journal
• /
• 제5권1호
• /
• pp.95-110
• /
• 1989

In a general variance component model, nonnegative quadratic estimators of the components of variance are considered which are invariant with respect to mean value translaion and have minimum bias (analogously to estimation theory of mean value parameters). Here the minimum is taken over an appropriate cone of positive semidefinite matrices, after having made a reduction by invariance. Among these estimators, which always exist the one of minimum norm is characterized. This characterization is achieved by systems of necessary and sufficient condition, and by a cone restricted pseudoinverse. In models where the decomposing covariance matrices span a commutative quadratic subspace, a representation of the considered estimator is derived that requires merely to solve an ordinary convex quadratic optimization problem. As an example, we present the two way nested classification random model. An unbiased estimator is derived for the mean squared error of any unbiased or biased estimator that is expressible as a linear combination of independent sums of squares. Further, it is shown that, for the classical balanced variance component models, this estimator is the best invariant unbiased estimator, for the variance of the ANOVA estimator and for the mean squared error of the nonnegative minimum biased estimator. As an example, the balanced two way nested classification model with ramdom effects if considered.

• 대한수학회보
• /
• 제56권1호
• /
• pp.201-217
• /
• 2019

Ricci curvature for locally finite graphs, as proposed by Lin, Lu and Yau, provides a useful isomorphism invariant. A Matching Condition was introduced as a key tool for computation of this Ricci curvature. The scope of the Matching Condition is quite broad, but it does not cover all cases. Thus the current paper introduces extended versions of the Matching Condition, and applies them to the computation of the Ricci curvature of a class of circulants determined by certain number-theoretic data. The classical Matching Condition is also applied to determine the Ricci curvature for other families of circulants, along with Cayley graphs of abelian groups that are generated by the complements of (unions of) subgroups.

• 대한수학회지
• /
• 제51권5호
• /
• pp.881-895
• /
• 2014

In a recent paper [10] we introduced the notion of Levi harmonic map f from an almost contact semi-Riemannian manifold (M, ${\varphi}$, ${\xi}$, ${\eta}$, g) into a semi-Riemannian manifold $M^{\prime}$. In particular, we compute the tension field ${\tau}_H(f)$ for a CR map f between two almost contact semi-Riemannian manifolds satisfying the so-called ${\varphi}$-condition, where $H=Ker({\eta})$ is the Levi distribution. In the present paper we show that the condition (A) of Rawnsley [17] is related to the ${\varphi}$-condition. Then, we compute the tension field ${\tau}_H(f)$ for a CR map between two arbitrary almost contact semi-Riemannian manifolds, and we study the concept of Levi pluriharmonicity. Moreover, we study the harmonicity on quasicosymplectic manifolds.

• 제어로봇시스템학회논문지
• /
• 제11권11호
• /
• pp.895-900
• /
• 2005

We derive a linear matrix inequality(LMI) condition guaranteeing that any invariant zeros of a triple (A, B, C) lie in the open left half plane of the complex plane, i.e. $C(sI-A)^{-1}B$ is minimum phase. The LMI condition is equivalent to a certain constrained Lyapunov matrix equation which can be found in many results relating to stability analysis or control design. We show that the LMI condition can be used to simplify various control engineering problems such as a dynamic output feedback control problem, a variable structure static output feedback control problem, and a nonlinear system observer design problem. Finally, we give some numerical examples.

• 제어로봇시스템학회논문지
• /
• 제9권11호
• /
• pp.861-867
• /
• 2003

We propose a sliding surface design method for linear systems with mismatched uncertainties in the state space model. In terms of LMIs, we derive a necessary and sufficient condition for the existence of a linear sliding surface such that the reduced-order equivalent sliding mode dynamics restricted to the linear sliding surface is not only stable but completely invariant to mismatched uncertainties. We give an explicit formula of all such linear switching surfaces in terms of solution matrices to the LMI existence condition. We also give a switching feedback control law, together with a design algorithm. Additionally, we give some hints for designing linear switching surfaces guaranteeing pole clustering constraints or linear quadratic performance bound constraints. Finally, we give a design example in order to show the effectiveness of the proposed methodology.

• 대한수학회보
• /
• 제50권3호
• /
• pp.753-760
• /
• 2013

We consider the global existence of strong solutions of the 3D incompressible Navier-Stokes equations in a bounded Lipschitz do-main under Dirichlet boundary condition. We present by a very simple argument that a strong solution exists globally when the product of $L^2$ norms of the initial velocity and the gradient of the initial velocity and $L^{p,2}$, $p{\geq}4$ norm of the forcing function are small enough. Our condition is scale invariant and implies many typical known global existence results for small initial data including the sharp dependence of the bound on the volumn of the domain and viscosity. We also present a similar result in the whole domain with slightly stronger condition for the forcing.