• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1095-1103
• /
• 2016

B. Y. Chen introduced a series of curvature invariants, known as Chen invariants, and proved sharp estimates for these intrinsic invariants in terms of the main extrinsic invariant, the squared mean curvature, for submanifolds in Riemannian space forms. Special classes of submanifolds in Sasakian manifolds play an important role in contact geometry. F. Defever, I. Mihai and L. Verstraelen [8] established Chen first inequality for C-totally real submanifolds in Sasakian space forms. Also, the differential geometry of slant submanifolds has shown an increasing development since B. Y. Chen defined slant submanifolds in complex manifolds as a generalization of both holomorphic and totally real submanifolds. The slant submanifolds of an almost contact metric manifolds were defined and studied by A. Lotta, J. L. Cabrerizo et al. A Chen first inequality for slant submanifolds in Sasakian space forms was established by A. Carriazo [4]. In this article, we improve this Chen first inequality for special contact slant submanifolds in Sasakian space forms.

• Bulletin of the Korean Mathematical Society
• /
• v.44 no.2
• /
• pp.379-383
• /
• 2007

We show that the modular equation ${\phi}^{T_n}_m$ (X, Y) for the Thompson series $T_n$ corresponding to ${\Gamma}_0$(n) gives an affine model of the modular curve $X_0$(mn) which has better properties than the one derived from the modular j invariant. Here, m and n are relative prime. As an application, we construct a ring class field over an imaginary quadratic field K by singular values of $T_n(z)\;and\;T_n$(mz).

• Journal of the Korean Mathematical Society
• /
• v.55 no.3
• /
• pp.593-604
• /
• 2018

Recently, a new version of expansiveness which is closely attached to some certain weak version of hyperbolicity was given for $C^1$ vector fields as following: a $C^1$ vector field X will be called rescaling expansive on a compact invariant set ${\Lambda}$ of X if for any ${\epsilon}$ > 0 there is ${\delta}$ > 0 such that, for any $x,\;y{\in}{\Lambda}$ and any time reparametrization ${\theta}:{\mathbb{R}}{\rightarrow}{\mathbb{R}}$, if $d({\varphi}_t(x),\,{\varphi}_{{\theta}(t)}(y)){\leq}{\delta}{\parallel}X({\varphi}_t(x)){\parallel}$ for all $t{\in}{\mathbb{R}}$, then ${\varphi}_{{\theta}(t)}(y){\in}{\varphi}_{(-{\epsilon},{\epsilon})}({\varphi}_t(x))$ for all $t{\in}{\mathbb{R}}$. In this paper, some equivalent definitions for rescaled expansiveness are given.

• Journal of Korean Vacuum Science & Technology
• /
• v.3 no.2
• /
• pp.101-106
• /
• 1999

The main consideration factor to design a magnetron of the sputtering system for TFT-LCD metallization is high sheet resistance (Rs) uniformity which is provided by the high target erosion and high current efficiency. The present study has developed a rectangular magnetron for TFT-LCD to bve considered full target erosion and high film uniformity. After an aluminum-2 at.% and alloy target was installed in a magnetron source and the film was deposited on the glass of 600${\times}$720 mm, the Rs uniformity of the deposited film was measured as functions of the magnet tilt and magnet scanning configuration. And the target erosion profile was observed with the target voltage. When sputtered at 4mtorr and 10kW, the magnet tilt for the high Rs uniformity of 8.38% was 7mm. The plasma voltage at the dwell home and end for full-face target erosion, when scanned the magnetron was 120% compared to the mean voltage of the other area.

• Transactions on Control, Automation and Systems Engineering
• /
• v.1 no.2
• /
• pp.113-120
• /
• 1999

One of the important challenges facing control engineers in developing automated machineryis to be able to monitor the machines using remote sensors. Observrs are often used to reconstruct the machine variables of interest. However, conventional observers are unalbe to observe the machine variables when the machine models, upon which the observers are based, have inputs that cannot be measured. Since this is often the case, the authors previsously developed a steady-state optimal state and input observer for time-invariant systems [1], this paper extends that work to time-variant systems. A recursive observer, similar to a Kalman-Bucy filter, is developed . This optimal observer minimizes the trace of the error variance for discrete , linear , time-variant, stochastic systems with unknown inputs.

• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.8
• /
• pp.804-811
• /
• 2009

This paper deals with the relationship between zeros and step response of the second and third order LTI(Linear Time Invariant) SISO(Single-Input and Single-Output) systems. As well known, if a system has a single unstable zero, it shows the step response with undershoot and, on the other hand, a stable zero slower than the dominant pole causes the system to have the step response with overshoot. Generally, in the case of a system with two unstable real zeros, it is known to have B type undershoot[7]. But there are many complex cases of the step response extrema corresponding to zeros location in third order systems. This paper investigates the whole cases depending on DC gains of the additive equivalence systems and they are to be classified by the region of zeros which are related to the shape of the step response. Moreover, monotone nondecreasing conditions are proposed in the case of complex conjugate zeros as well as the case of two stable zeros.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.12
• /
• pp.1197-1200
• /
• 2010

The problem of designing a nonlinear sliding surface for an uncertain system is considered. The proposed sliding surface comprises a linear time invariant term and an additional time varying nonlinear term. It is assumed that a linear sliding surface parameter matrix guaranteeing the asymptotic stability of the sliding mode dynamics is given. The linear sliding surface parameter matrix is used for the linear term of the proposed sliding surface. The additional nonlinear term is designed so that a Lyapunov function decreases more rapidly. By including the additional nonlinear term to the linear sliding surface parameter matrix we obtain a nonlinear sliding surface such that the speed of responses is improved. We also give a switching feedback control law inducing a stable sliding motion in finite time. Finally, we give an LMI-based design algorithm, together with a design example.

• Journal of Institute of Control, Robotics and Systems
• /
• v.20 no.8
• /
• pp.822-827
• /
• 2014

This paper presents a robust observer-based output feedback control for stabilization of linear time invariant systems with polytopic uncertainties. To this end, this paper not only finds a robust observer gain but also suggests how to determine the model used in the observer, which is not obvious due to model uncertainties in the conventional observer design method. The robust observer gain and the observer model are selected in a way that the whole closed-loop is stable by solving LMIs and BMIs (Linear Matrix Inequalities and Bilinear Matrix Inequalities). A simulation example shows that the proposed robust observer-based output feedback control successfully leads to closed-loop stability.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.7
• /
• pp.583-586
• /
• 2013

We consider discrete-time LTI (Linear Time-Invariant) systems with constant input delays. The input delay is modeled by a first-order PdE (Partial difference Equation) and a backstepping transformation is employed to design a predictor feedback controller. The backstepping approach results in the construction of an explicit Lyapunov function, with which we prove the exponential stability of the closed-loop system formed by the predictor feedback. The numerical example demonstrates the design of the predictor feedback controller, and illustrates the validity of the exponential stability.