• Theoretical Mathematics and Pedagogical Mathematics
• /
• v.18 no.3
• /
• pp.245-253
• /
• 2011

Some new results on the intersection property of all nonzero solutions of a class of planar systems of Li$\acute{e}$nard type with vertical isoclines are obtained. The results of this paper generalize some previous results on this field.

• Journal of the Korean Statistical Society
• /
• v.33 no.3
• /
• pp.283-298
• /
• 2004

We present a trial solution approach to GI/M/l queues with generalized vacations. Specific types of generalized vacations we consider are N -policy and a combination of N-policy and exponential multiple vacations. Discussions about how to find trial solutions are given.

• Korean Journal of English Language and Linguistics
• /
• v.3 no.4
• /
• pp.499-526
• /
• 2003

This paper, based on Krifka (2001), is about the interpretation of quantifiers in questions. I have argued that quantification into question acts is possible for universal quantifiers, as these quantifiers are based on conjunction, an operation that is defined for speech acts. This explains the restriction to universal quantifiers, which are generalized conjunctions. I have developed a type system in which quantification into question acts can be described. I have argued that expressions that scope out of speech acts must be topic, which explains a number of additional observations. I have also discussed embedded questions, which, depending on the embedding verb, may allow for quantification into questions.

• Proceedings of the KIEE Conference
• /
• 1998.07b
• /
• pp.629-631
• /
• 1998

An adaptive joint-process IIR filter with generalized lattice structure is implemented by modifying the conventional lattice filter and making an adaptive algorithm in a system identification problem.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2007.04a
• /
• pp.501-506
• /
• 2007

A generalized finite difference method for solving solid mechanics problems such as elasticity and crack problems is presented. The method is constructed in framework of Taylor polynomial based on the Moving Least Squares method and collocation scheme based on the diffuse derivative approximation. The governing equations are discretized into the difference equations and the nodal solutions are obtained by solving the system of equations. Numerical examples successfully demonstrate the robustness and efficiency of the proposed method.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.25 no.12
• /
• pp.1618-1624
• /
• 1988

In this paper, a robust discrete model reference adaptive controller is proposed using a generalized model reference adaptive algorithm for single-input single-output discrete systems. A signal dependent time-varying dead-zone is employed in a generalized adaptive control structure. This adaptive controller is shown to assure the boundedness of the signals of the system even in the presence of bounded external disturbance.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.43
• /
• pp.145-152
• /
• 1997

We present a continuous resource allocation problem with maximin objective functions under the generalized lower bound(GLB) and generalized upper bound(GUB) constraints. This problem is an extension for the problems of previous studies. An efficient algorithm is developed by exploiting extended structural properties, where n is the total number of variables. The worst computational complexity of the proposed algorithm is O(nlogn).

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.37-52
• /
• 2000

This paper is concerned with the impulsive Cauchy problem (equation omitted) where u is a possibly discontinuous vector-valued function and f, $g_{i}$ : $IR^{n}$ -> $IR^{n}$ are suitably smooth functions. We show that the input-output map is Lipschitz continuous and investigate compactness of reachable sets.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.21-25
• /
• 1986

An intelligent robot system can be regarded as the most generalized machine system that can perform a variety of tasks under unpredictable and unstructured environment with some intelligence. Robotics research topics related to four functions of the intelligent robot system are discussed. Also current research activities in Japan and Korea are discussed briefly.

• Journal of Mechanical Science and Technology
• /
• v.18 no.3
• /
• pp.379-387
• /
• 2004

A novel flatness sensing system which is called the Flatness Sensing Inter-stand Looper(FlatSIL) system is suggested and a self-tuning PI control system using the FlatSIL is designed for improving the flatness of hot strip in finishing mill processes. The FlatSIL system measures the tension along the direction of the strip width by using segmented rolls, and the tension profile is approximated through the tension of each segmented roll. The flatness control system is operated by using the tension profile. The proposed flatness control system as far as the tension profile-measuring device works for the full strip length during the strip rolling in finishing mills. The generalized minimum variance self-tuning (GMV S-T) PI control method is applied to control the flatness of hot strip which has a design parameter as weighting factor for updating the PI gains. Optimizing the design parameter in the GMV S-T PI controller, the Robbins-Monro algorithm is used. It is shown by the computer simulation and experiment that the proposed GMV S-T PI flatness control system has better performance than the fixed PI flatness control system.