• Proceedings of the KIEE Conference
• /
• 1995.11a
• /
• pp.195-198
• /
• 1995

Most of the theorems of nonlinear stability is based on the Lyapunov stability theory. The Lyapunov function method is the most well-known and provides precise and rigorous theoretical backgrounds. However, tile conventional approach to direct stability analysis has been performed without taking account of damping effects. For accurate stability analysis of nonlinear systems, it is required to consider the damping effects. This paper presents a new method to derive a group of Lyapunov functions to reflect the damping effects by considering the integral relationships of the system governing equations. This method tan be utilized as a powerful tool to determine the region of attraction.

• Geomechanics and Engineering
• /
• v.14 no.3
• /
• pp.293-299
• /
• 2018

This paper has the aim of estimating the applicability of a numerical approach to the Hyperstatic Reaction Method (HRM) for the analysis of segmental tunnel linings. For this purpose, a simplified three-dimensional (3D) numerical model, using the $FLAC^{3D}$ finite difference software, has been developed, which allows analysing in a rigorous way the effect of the lining segmentation on the overall behaviour of the lining. Comparisons between the results obtained with the HRM and those determined by means of the simplified 3D numerical model show that the proposed HRM method can be used to investigate the behaviour of a segmental tunnel lining.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.12
• /
• pp.1333-1342
• /
• 1992

This paper deals with a robot manipulator having actuator which is described by equation $D(q)\ddot{q}=u-P(q\;\dot{q},\;\ddot{q})$ where u(t) is a control input. We employ two steps of controller design procedures. First, a global linearization is performed to yield a decoupled controllable linear system. Then a controller is designed for this linear system. We provide a rigorous analysis of the effect of uncertainty of the dynamics, which we study using robustness results in time domain based on a Lyapunov equation and the total stability theorem. Using this approach we simulate the performance of controller of a robot manipulator.

• Research in Mathematical Education
• /
• v.18 no.1
• /
• pp.1-29
• /
• 2014

When taught the precise definition of ${\pi}$, students may be simply asked to memorize its approximate value without developing a rigorous understanding of the underlying reason of why it is a constant. Measuring the circumferences and diameters of various circles and calculating their ratios might just represent an attempt to verify that ${\pi}$ has an approximate value of 3.14, and will not necessarily result in an adequate understanding about the constant nor formally proves that it is a constant. In this study, we aim to investigate prospective teachers' conceptual understanding of ${\pi}$, and as a constant and whether they can provide a proof of its constant property. The findings show that prospective teachers lack a holistic understanding of the constant nature of ${\pi}$, and reveal how they teach students about this property in an inappropriate approach through a proving activity. We conclude our findings with a suggestion on how to improve the situation.

• Korean Journal of Geomatics
• /
• v.5 no.1
• /
• pp.1-6
• /
• 2005

When merging various datasets the perennial problem of relative weighting arises. In case of two datasets an iterative algorithm has been developed recently that allows the rigorous determination of optimal variance components of type repro-BIQUUE even for large amounts of data, along with the estimation of the joint parameters. Here we shall present this new algorithm, and show its versatility in an example that will entail the merging of two regional geoid estimates (derived from EGM 96 and CHAMP) in terms of certain series expansions which have been proven previously to belong to the most efficient ones (e.g., wavelets, Hardy's multi-quadrics, etc.). Future attempts will be devoted to the sequential merging of altimeter and tide gauge data.

• KIEE International Transactions on Electrophysics and Applications
• /
• v.3C no.5
• /
• pp.199-206
• /
• 2003

Numerical solutions to complex characteristic equations are quite often required to solve electromagnetic wave problems. In general, two traditional complex root search algorithms, the Newton-Raphson method and the Muller method, are used to produce such solutions. However, when utilizing these two methods, the choice of the initial iteration value is very sensitive, otherwise, the iteration can fail to converge into a solution. Thus, as an alternative approach, where the selection of the initial iteration value is more relaxed and the computation speed is high, Davidenko's method is used to determine accurate complex propagation constants for leaky circular symmetric modes in circular dielectric rod waveguides. Based on a precise determination of the complex propagation constants, the leaky mode characteristics of several lower-order circular symmetric modes are then numerically analyzed. In addition, no modification of the characteristic equation is required for the application of Davidenko's method.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.2 no.1
• /
• pp.1-6
• /
• 2002

A new closed-form expressions to calculate frequency-dependent distributed inductance and the associated distributed series resistance of single interconnect on a lossy silicon substrate (CMOS technology) are presented. The proposed analytic model for series impedance is based on a self-consistent field method and the vector magnetic potential equation. It is shown that the calculated frequency-dependent distributed inductance and the associated resistance are in good agreement with the results obtained from rigorous full wave solutions and CAD-oriented equivalent-circuit modeling approach.

• IE interfaces
• /
• v.10 no.3
• /
• pp.167-177
• /
• 1997

This paper deals with an application of process value analysis method for a manufacturing process in order to redesign facility layout in a paper company. We have used the value analysis method which permits an overall and rigorous study of process by a functional approach. Firstly, customer's expectations for the future process are clearly and precisely expressed with specifications of the Functional Extern Analysis. The existing process is analyzed using various tool of the Functional Internal Analysis in the second part. From the results of these analysis, we find out that the main problems of current facility are due to scheduling and facility layout. This paper is devoted to resolve the second problem. We suggest an ideal solution in order to have a reference solution. Nextly, We give realistic choices and the final solution for the facility layout.

• KIEE International Transaction on Systems and Control
• /
• v.2D no.2
• /
• pp.108-114
• /
• 2002

This paper describes the design of a robust adaptive controller for a nonlinear dynamical system with unknown nonlinearities. These unknown nonlinearities are approximated by multilayered neural networks (MNNs) whose parameters are adjusted on-line, according to some adaptive laws far controlling the output of the nonlinear system, to track a given trajectory. The main contribution of this paper is a method for considering input constraint with a rigorous stability proof. The Lyapunov synthesis approach is used to develop a state-feedback adaptive control algorithm based on the adaptive MNN model. An overall control system guarantees that the tracking error converges at about zero and that all signals involved are uniformly bounded even in the presence of input saturation. Theoretical results are illustrated through a simulation example.

• Journal of the Optical Society of Korea
• /
• v.11 no.3
• /
• pp.108-112
• /
• 2007

Spectroscopic ellipsometry (SE) has become an important tool in scatterometry based nano-structure 3D profiling. In this paper, we propose a novel 3D nano object recognition method by use of phase sensitive scatterometry. We claims that only phase sensitive scatterometry can provide a reasonable 3D nano-object recognition capability since phase data gives much higher sensitive 3D information than amplitude data. To show the validity of this approach, first we generate various $0^{th}$ order SE spectrum data ($\psi$ and ${\Delta}$) which can be calculated through rigorous coupled-wave analysis (RCWA) algorithm and then we calculate correlation values between a reference spectrum and an object spectrum which is varied for several different object 3D shape.