• Korean Journal of Mathematics
• /
• v.17 no.3
• /
• pp.331-340
• /
• 2009

We show the existence of nonconstant periodic solution for the nonlinear Hamiltonian systems with some nonlinearity. We approach the variational method. We use the critical point theory and the variational linking theory for strongly indefinite functional.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.53-61
• /
• 2010

In this article, we discuss the reflective function which can be represented by three exponential matrixes and apply the results to studying the existence of periodic solutions of these systems. The obtained conclusions extend and improve the foregoing results.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.10 no.1
• /
• pp.77-84
• /
• 2017

Generally, a time-varying vibration signal is generated in a rotating machine system, and when there is a failure in the rotating machine, the signal contains noise. In this paper, we propose a system consisting of an adaptive predictor and a binary tree filter bank for analyzing time - varying vibration signals with noise. And the vibration signal analyzed results in this system is used for fault diagnosis of the rotating machine. The adaptive predictor of the proposed system predicts the periodic signal components, and the filter bank system decomposes the difference signal between the input signal and the predicted periodic signal into subband. Since each subband signal includes a noise signal component due to a failure, it is possible to diagnose the failure of the using rotary machine. The validity of the proposed vibration signal analysis method is shown in the simulations, where the periodic components cancelled vibrating signals are decomposed to 32 subband, and the signal characteristics related faults are analyzed.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.2
• /
• pp.117-123
• /
• 2003

Rotational machines such as optical disk drives, hard disk drives, and so on are subject to periodic disturbances caused by their mechanical characteristics. In the meanwhile, it is well known that repetitive control rejects periodic disturbance effectively. This paper presents a practical application of repetitive control to the track-following servo of an optical disk drive. The repetitive control system is composed of two repetitive controllers which compensate for periodic disturbances generated by track geometry and eccentric rotation of disk and a feedback controller stabilizing the feedback loop. A robust stability for all plant uncertainties is proved using linear matrix inequalities (LMIs). In the controller design, a weighting function is introduced for the feedback controller to ensure a minimum loop gain and a sufficient phase margin. The repetitive controllers and the feedback controller are designed by solving an optimization problem which can consider the robust stability condition and the system performance. The developed repetitive control system is implemented in the digital control system with a 16-bit fixed-point digital signal processor (DSP). Through simulation and experiment. The feasibility of the proposed repetitive control system is verified.

• Journal of Korea Multimedia Society
• /
• v.10 no.7
• /
• pp.882-892
• /
• 2007

In this paper, we propose a mechanism for both scheduling the hybrid-task set which consists of periodic and aperiodic tasks and recovering tasks with transient faults on the level of the operating system. Existing embedded operating systems would not provide the scheduling of both periodic and aperiodic tasks. Also because of not supporting the recovery of task failures, they can not prevent system failure from transient task faults. Proposed method, on the level of operating system, is able to not only meet the deadlines of all periodic tasks but also complete the execution of aperiodic tasks. In addition, it is able to prevent the system failure from transient task faults by recovering the task faults.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.747-752
• /
• 2004

Researches about scheduling of the distributed real-time systems have been proposed. However, they have some weak points, not scheduling both sporadic and periodic tasks and messages or being unable to guaranteeing the end-to-end constraints due to omitting precedence relations between sporadic tasks. So this paper proposes a new scheduling method for distributed real-time systems consisting of sporadic and periodic tasks with precedence relations and sporadic and periodic messages, guaranteeing end-to-end constraints. The proposed method is based on a binary search-based period assignment algorithm, an end-to-end laxity-based priority assignment algorithm, and three kinds of schedulability analysis, node, network, and end-to-end schedulability analysis. In addition, this paper describes the application model of sporadic tasks with precedence constraints in a distributed real-time system, shows that existing scheduling methods such as Rate Monotonic (RM) scheduling are not proper to be applied to the system having sporadic tasks with precedence constraints, and proposes an end-to-end laxity-based priority assignment algorithm.

• Journal of Korea Multimedia Society
• /
• v.14 no.7
• /
• pp.940-948
• /
• 2011

In this paper, we design and implement a task scheduler that considers real-time and fault tolerance in embedded system with a single processor. We propose a method how it can meet the deadlines of periodic tasks using RMS and complete the execution of aperiodic tasks by calculating surplus times from a periodic task set. And we describe a method how to recover of a transient fault task by managing backup time. We propose an important level of periodic tasks that can control the response time of periodic and aperiodic tasks. Finally, we analyse and evaluate the proposed methods by simulation.

• Journal of Magnetics
• /
• v.18 no.2
• /
• pp.130-134
• /
• 2013

Most electrical machines like motor, generator and transformer are symmetric in terms of magnetic field distribution and mechanical structure. In order to analyze these problems effectively, many coupling techniques have been introduced. This paper deals with a coupling scheme for open boundary problem of symmetric and periodic structure. It couples an analytical solution of Fourier series expansion with the standard finite element method. The analytical solution is derived for the magnetic field in the outside of the boundary, and the finite element method is for the magnetic field in the inside with source current and magnetic materials. The main advantage of the proposed method is that it retains sparsity and symmetry of system matrix like the standard FEM and it can also be easily applied to symmetric and periodic problems. Also, unknowns of finite elements at the boundary are coupled with Fourier series coefficients. The boundary conditions are used to derive a coupled system equation expressed in matrix form. The proposed algorithm is validated using a test model of a bush bar for the power supply. And the each result is compared with analytical solution respectively.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1770-1773
• /
• 1997

In this paper, a linear discrete time system subject to the input saturatioin is shown to be exponentially stabilizable on any compact subset of the constrained asymptotically stabilizable set by a linear periodic variable structure controller. We also establish tat any neutrally stable system subject to the input saturation can be globally asymptotically stabilizable via linear feedback.

• Journal of Korean Society for Quality Management
• /
• v.29 no.3
• /
• pp.39-48
• /
• 2001

Preventive maintenance(PM) is an action taken on a repairable system while it is still operating, which needs to be carried out in order to keep the system at the desired level of successful operation. In this paper, we consider a Bayesian approach to determine an optimal periodic preventive maintenance policy. When the failure time is Weibull distribution with uncertain parameters, a Bayesian approach is established. Some numerical examples are presented for illustrative purpose.