• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.4
• /
• pp.313-318
• /
• 2010

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 with complex poles. Although it has been known that the maximum number of local extrema is less than the number of zeros in the system with only real poles[8], some cases with complex poles are shown in this paper to have many local extrema. This paper proposes monotone nondecreasing conditions and describes the relationship between the transient response and the number of local extrema in step response with each region of zeros.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.963-966
• /
• 2002

This paper presents a new generic Petri net model for design and performance evaluation of a flexible assembly system with dual kanban. The architectural design of the model is derived from a generic bill of materials and the combination of FMS and FAS concepts. Two approaches for analysis and performance evaluation of the new model base on the theory of invariant analysis and linear programming are also introduced. Finally, the effect of different processing times between FMS-FAS on the number of kanban cards is investigated.

• The Pure and Applied Mathematics
• /
• v.7 no.1
• /
• pp.41-47
• /
• 2000

Johnson and Skoug [Pacific J. Math. 83(1979), 157-176] introduced the concept of scale-invariant measurability in Wiener space. And the applied their results in the theory of the Feynman integral. A converse measurability theorem for Wiener space due to the $K{\ddot{o}}ehler$ and Yeh-Wiener space due to Skoug[Proc. Amer. Math. Soc 57(1976), 304-310] is one of the key concept to their discussion. In this paper, we will extend the results on converse measurability in Wiener space which Chang and Ryu[Proc. Amer. Math, Soc. 104(1998), 835-839] obtained to abstract Wiener space.

• Journal of Institute of Control, Robotics and Systems
• /
• v.13 no.2
• /
• pp.147-153
• /
• 2007

The stability robustness problem of linear discrete-time systems with delayed time-varying perturbations is considered. Compared with continuous time system, little effort has been made for the discrete time system in this area. In the previous results, the bounds were derived for the case of non-delayed perturbations. There are few results for delayed perturbation. Although the results are for the delayed perturbation, they considered only the time-invariant perturbations. In this paper, the sufficient conditions for stability can be expressed as linear matrix inequalities(LMIs). The corresponding stability bounds are determined by LMI(Linear Matrix Inequality)-based algorithms. Numerical examples are given to compare with the previous results and show the effectiveness of the proposed results.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.12
• /
• pp.1270-1277
• /
• 2008

A Haar wavelet based numerical method for solving singularly perturbed linear time invariant system is presented in this paper. The reduced pure slow and pure fast subsystems are obtained by decoupling the singularly perturbed system and differential matrix equations are converted into algebraic Sylvester matrix equations via Haar wavelet technique. The operational matrix of integration and its inverse matrix are utilized to reduce the computational time to the solution of algebraic matrix equations. Finally a numerical example is given to demonstrate the validity and applicability of the proposed method.

• Journal of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1001-1015
• /
• 2010

Let M be a $C^{\infty}$ real hypersurface in $\mathbb{C}^{n+1}$, $n\;{\geq}\;1$, locally given as the zero locus of a $C^{\infty}$ real valued function r that is defined on a neighborhood of the reference point $P\;{\in}\;M$. For each k = 1,..., n we present a necessary and sufficient condition for there to exist a complex manifold of dimension k through P that is contained in M, assuming the Levi form has rank n - k at P. The problem is to find an integral manifold of the real 1-form $i{\partial}r$ on M whose tangent bundle is invariant under the complex structure tensor J. We present generalized versions of the Frobenius theorem and make use of them to prove the existence of complex submanifolds.

• 한국정보디스플레이학회:학술대회논문집
• /
• 2002.08a
• /
• pp.433-436
• /
• 2002

Retardation liquid crystal films with a profiled titled optic axis (splay films) of both nematic and discotic types are used as compensation films for twisted nematic displays (TN-LCD). A new method is developed to characterize retardation vs. inclination (retardation profile) of splay films by three parameters: "full retardation" $d^{\ast}{\triangle}n$, "inplane retardation" $R_0$ and "retardation difference" $R_d$ . Splay films with the same retardation profile but with different tilt profile (retardation invariants) are discovered. Splay films with different structure parameters but belong to the same retardation invariant have the same compensation opportunities for TN-LCD.

• Proceedings of the KOSOMBE Conference
• /
• v.1989 no.05
• /
• pp.55-59
• /
• 1989

A true three-dimensional cone-beam reconstruction (TTCR) algorithm for the complete sphere geometry is derived, which is applicable to the direct volume image reconstruction from 2-D cone-beam projections. The algorithm is based on the modified filtered backprojection technique which uses a set of 2-D space-invariant filters and is derived from the previously developed parallel-beam true three-dimensional reconstruction(TTR) algorithm. The proposed algorithm proved to be superior in spatial resolution compared with the parallel-beam TTR algorithm.

• The Pure and Applied Mathematics
• /
• v.25 no.2
• /
• pp.95-113
• /
• 2018

A mathematical knot is an embedded circle in ${\mathbb{R}}^3$. A fundamental problem in knot theory is classifying knots up to its numbers of crossing points. Knots are often distinguished by using a knot invariant, a quantity which is the same for equivalent knots. Knot polynomials are one of well known knot invariants. In 2006, J. Przytycki showed the effects of a n - move (a local change in a knot diagram) on several knot polynomials. In this paper, the authors review about knot polynomials, especially Jones polynomial, and give an alternative proof to a part of the Przytychi's result for the case n = 3 on the Jones polynomial.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.1
• /
• pp.44-49
• /
• 2003

This paper describes a method of estimating miniature train location by color vision for development of an intelligent railway system model. In the teal world, to control trains automatically, GPS(Global Positioning System) is indispensable to determine the location of trains. A color vision system was used for estimating the location of trains in an indoor experiment. Two different rectangular color bars were attached to the top of each train as a means of identifying them. Several trains were detected where they were located on the track by color feature, geometric features and moment invariant, and tracked simultaneously. In the experiment the identity, location and direction of each train were estimated and transferred to the control computer using serial communication. Processing speed of up to 8 frames/sec could be achieved, which was enough speed for the real-time train control.