• Journal of the Korean Institute of Intelligent Systems
• /
• v.20 no.2
• /
• pp.214-219
• /
• 2010

This paper deals with a nonlinear fuzzy $H_{\infty}$ filter design for SOC(state of charge) estimation in Lithium polymer battery. The dynamic equation of the battery cell is modeled as a T-S fuzzy system and the filter is designed via solutions of linear matrix inequalities. In order to illustrate the performance of the designed filter, a computer simulation is performed using the experimental data with the UDDS(urban dynamometer driving schedule) current profile.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2003.11a
• /
• pp.452-458
• /
• 2003

This paper presents a robust vibration control methodology of smart structural systems. The governing equations and associated boundary conditions are derived by Hamilton's principle. A robust controller is designed using a linear matrix inequality (LMI) approach to the multiobjective synthesis. The design objectives are to achieve a mix of H$\sub$$\infty$/ performance and H$_2$ performance satisfying constraints on the closed-loop pole locations in the face of model uncertainties. Numerical examples are presented to demonstrate the effectiveness of LMI approach in damping out the multiple modes of vibration of the piezo/beam system.

• Journal for History of Mathematics
• /
• v.11 no.2
• /
• pp.35-42
• /
• 1998

It is an undecidable problem to determine whether a given equation logically follows from a given set of equations. However, it is possible to give the answer to many instances of the problem, even though impossible to answer all the instances, by using rewrite systems and completion procedures. Rewrite systems and completion procedures can be implemented as computer programs. The new equations such a computer program generates are theorems that hold in the given equational theory. For example, a completion procedure applied on the group axioms generates simple theorems about groups. Mathematics students' teaming to know the existence and mechanisms of computer programs that prove simple theorems can be a significant help to promote the interests in abstract algebra and logic, and the motivation for studying.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06d
• /
• pp.289-291
• /
• 2011

스마트폰의 보급 확산과 웹2.0의 확대로 개인들의 정보 생산과 소비활동이 쉽게 이뤄지면서 참여, 공개, 대화, 커뮤니티 연결의 특성을 기반으로 한 소셜미디어의 등장과 활용빈도가 크게 증가되고 있다. 이러한 정보 통신 기술의 발전으로 '물리적인 지점망 = 영업력'이라는 등식이 더 이상 유효하지 않는 시대가 도래됨에 따라 고객을 '기다리는 영업'에서 '찾아가는 영업'으로 영업방식에 대한 새로운 접근법이 필요한 시점이다. 이에 본 논문에서는 기존 단방향성의 독점적인 '전달'에서 벗어나 양방향적인 정보흐름이 가능한 '소통'을 지원하는 온라인 관계 마케팅의 필요성을 살펴보고, CRM시스템과 연계하여 고객과 영업점 직원 창구단말기간 1:1 소통할 수 있는 새로운 마케팅 채널로서 SNS을 활용한 스마트 채널의 구축방안을 제시하고자 한다.

• Journal of Power System Engineering
• /
• v.4 no.4
• /
• pp.84-91
• /
• 2000

This paper describes a state feedback controller design method of the integral type magnetic levitation servo system which satisfies the design objectives. The design objective is a $H_{\infty}$ performance, asymptotic disturbance rejection and a robust pole assignment in linear matrix inequality(LMI) region. To the end, we investigated the validity of the designed controller which considering a robust pole assignment region, through results of simulation.

• Journal of the Society of Naval Architects of Korea
• /
• v.51 no.5
• /
• pp.362-368
• /
• 2014

Container vessel sizes have constantly increased over the past two decades. With increasing ship sizes and higher container loading capacities, the adoption of lashing bridges has also increased. Today's lashing bridge designs range from 1st tier to 3rd tier lashing bridges. Container securing program of the past which is based on two lashing rods and 1st tier lashing bridge has to be improved to be suitable for the present time. The equilibrium equations in this study are established to cover the application of 3~4 lashing rods and 2nd~3rd tier lashing bridges. In addition developed program is improved to be able to calculate the reaction forces and optimum arrangement under the external lashing. An optimization algorithm which is suitable for the container securing problems involved the equality constraint has been also adopted in this study.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.12 no.1
• /
• pp.44-47
• /
• 1988

The present experiments of transient temperature variation and temperature fluctuation were conducted by bead type thermistors in pool boiling without a heat surface. The experimentally obtained conclusion were as follows. (1) The high transient temperature Variatian of 11.64.deg. C for a duration of 0.08 sec and a temperature freguency having a duration of 5.6*10$^{-2}$ sec in a flashing were measured. (2) The highest variation of transient temperature was shown at saturated temperature of 80.deg. C and superheat of 7.9.deg. C. (3) Temperature frequency was found to increase with superheat below 60.deg. C of saturated temperature, but above 60.deg. C it was relative to lower superheat and was found to decrease with higher superheat..

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.4
• /
• pp.1-6
• /
• 2010

In this paper, we present a new delay-dependent and parameter-dependent robust stability condition for uncertain singular systems with polytopic parameter uncertainties and time-varying delay. The robust stability criterions based on parameter-dependent Lyapunov function are expressed as LMI (linear matrix inequality). Moreover, the proposed robust stability condition is a general algorithm for both singular systems and non-singular systems. Finally, numerical examples are presented to illustrate the feasibility and less conservativeness of the proposed method.

• Proceedings of the KIEE Conference
• /
• 2000.07d
• /
• pp.2398-2400
• /
• 2000

In this paper, we consider multi-objective synthesis of fuzzy controllers for a widely used special class of the Takagi-Sugeno(TS) fuzzy systems. We propose a new fuzzy controller utilizing the strategy of rescaling and show that synthesis of the proposed controllers satisfying multiple design objectives can be reduced to a simple linear matrix inequality(LMI) problem. Finally, an application to an inverted pendulum on a cart is presented to illustrate the validity of the proposed method.

• Proceedings of the KSME Conference
• /
• 2004.04a
• /
• pp.828-833
• /
• 2004

The performance of a mixed $H_{\infty}/H_2$ design with pole placement constraints based on robust vibration control for a piezo/beam system is investigated. The governing equation of motion for the piezo/beam system is derived by Hamilton's principle. The assumed mode method is used to discretize the governing equation into a set of ordinary differential equation. A robust controller is designed by $H_{\infty}/H_2$ feedback control law that satisfies additional constraints on the closed-loop pole location in the face of model uncertainties, which are derived for a general class of convex regions of the complex plane. These constraints are expressed in terms of linear matrix inequalities (LMIs) approach for the multiobjective synthesis. The validity and applicability of this approach for vibration suppressions of SMART structural systems are discussed by damping out the multiple vibrational modes of the piezo/beam system.