• The Journal of Information Technology and Database
• /
• v.6 no.2
• /
• pp.29-43
• /
• 1999

Object-oriented development methodologies require consistent and seamless object-oriented paradigm to be applied from analysis to testing. Testing must focuses on the state of aggregated objects. This paper suggests testing methods that satisfy such requirements. In order to confirm appropriate implementation of the user requirements, the methods apply extended use case[Jacobson et al., 1992] that are prepared form analysis stage. Testing must be performed based on the use cases because the user requirements are formally documented in the use cases. The notations of the original use case are modified for the state-based testings. The testing methods consist of a unit testing and four-level of integration testing. Particularly, the level 0 testing is based on FREE state machine [Binder, 1995, 1996]. The testing methods have been applied to 3 projects and proved their practicability.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.150-152
• /
• 2004

Conventional CDDA (Compact Disc Digital Audio) system has limitations come from sampling frequency and quantization bit, 44.1kHz and 16 bit respectively. So, new medium is developed for high-resolution audio recording, like as DVD-audio etc. But CDDA is a widely used medium for high fidelity audio yet, because new medium has complexity and difficulty in manufacturing system. In this paper, we design a new encoding system for high-resolution audio signal. The system is backward compatible with conventional CDDA. By evaluation for encoding and decoding process, we describe practicability of our proposal system.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.8 no.2
• /
• pp.27-34
• /
• 1999

The growth-strain method was used for shape optimization, which carries out the optimization by distributing uniformly the distributed parameter such as von Mises stress and shear strain energy density. Shape optimization is carried out by iteration of stress analysis and growth strain analysis. In this study, the effect of growth ratio in the method was investigated and then the range of the adequate value of the growth ratio was determined. Also the growth-strain method was improved by applying the linear PID control theory in order to control volume required by a designer. Finally, an automatic shape optimization system was built up by the improved growth-strain method with a commercial software using finite element method. The effectiveness and practicability of the developed shape optimization system was verified by some examples.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.11S
• /
• pp.3320-3331
• /
• 1999

In this paper, we explore two ways to improve the bandwidth assurance performance of Assured Service(AS). It is well known that AS fails to meet the bandwidth assurance target for large-profile TCP flows competing with many small-profile flows. This flows after the back-offs induced by packet drops. Thus currently proposed solution to this problem naturally focus on modifying TCP's behavior to counter the unfairness in the TCP dynamics. Unfortunately, these proposals lack practicability in terms of the required changes in the incumbent Internet infrastructure. Admitting this difficulty, we instead look to not yet deployed Diff-Serv mechanisms for practical solutions. In particular, we investigate the role of RIO, RED with IN(in-profile) and OUT(out-profile), queue management scheme in the assurance failure for As. Specifically, we identify the inadequacy of RIO that aggravates the bandwidth assurance failure. Then we alleviates the bandwidth assurance failure problem by separately controlling the out-of-profile packet queue length. Through extensive simulations we demonstrate that RI+O extends the regime where AS consistently provides the bandwidth assurance.

• Journal of Power System Engineering
• /
• v.11 no.2
• /
• pp.72-76
• /
• 2007

Since the magnetic bearing system has unstability inherently it is necessary to measure the displacement for stable operation. Normally the displacement measurement is implemented by using sensors. The sensor for the displacement measurement is selected by precision, installation space, effect of magnetic field and response speed. And the cost of displacement measurement sensor also is considered. At the cost the hall effect sensor has a large advantage comparing with the others. Therefore this study concern about the basis experimental test for the displacement measurement of the magnetic bearing system that uses the hall effect sensor coupled with a tiny permanent magnet. The experimental results confirm the validity and practicability for this displacement measurement sensor.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.9
• /
• pp.1673-1679
• /
• 2010

A photovoltaic (PV) generator is significantly regarded as one important alternative of renewable energy systems recently. Fault detection and diagnosis of engineering dynamic systems is a fundamental issue to timely prevent unexpected damages in industry fields. This paper presents an intelligent monitoring approach and fault detection technique for PV generator systems by means of artificial neural network and statistical signal detection theory. We devise a multi-Fourier neural network model for representing dynamics of PV systems and apply a general likelihood ratio test (GLRT) approach for investigating our decision making algorithm in fault detection and diagnosis. We make use of a test-bed of ubiquitous sensor network (USN) based PV monitoring systems for testing our proposed fault detection methodology. Lastly, a real-time experiment is accomplished for demonstrating its reliability and practicability.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.58 no.3
• /
• pp.241-248
• /
• 2009

This paper presents stochastic methodology based fault detection algorithm for induction motor systems. We measure current of healthy induction motors by means of hall sensor systems and then establish its probability distribution. We propose online probability density estimation which is effective in real-time implementation due to its simplicity and low computational burden. In addition, we accomplish theoretical analysis of the proposed estimation to demonstrate its convergence property by using statistical convergence and system stability theories. We apply our fault detection approach to three-phase induction motors and achieve real-time experiment for evaluating its reliability and practicability in industrial fields.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.57 no.10
• /
• pp.1847-1853
• /
• 2008

This paper presents stochastic methodology based fault detection algorithm for induction motor systems. We measure current of healthy induction motors by means of hall sensor systems and then establish its probability distribution. We propose online probability density estimation which is effective in real-time implementation due to its simplicity and low computational burden. In addition, we accomplish theoretical analysis to demonstrate convergence property of the proposed estimation by using statistical convergence and system stability theory. We apply our fault diagnosis approach to three-phase induction motors and achieve real-time experiment for evaluating its reliability and practicability in industrial fields.

• Proceedings of the KSME Conference
• /
• 2007.05a
• /
• pp.985-990
• /
• 2007

This paper presents a novel control algorithm for position control of pneumatic cylinder. Generally, it is difficult to control the pneumatic servo system, due to nonlinearities such as air compressibility, the opening area of the valve, and frictional force between the cylinder and the piston. Especially, it is of significant importance for the control consisten-cy to return the cylinder pressures at equilibrium point to the initial states, still with guaranteeing the continuity of the pressures. For this purpose, the proposed control algorithm makes pressures of both cylinder chambers identical in magnitude but different in direction. The effectiveness and practicability of the control algorithm for the precise position control of the pneumatic cylinder are verified through the simulation study.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.446-449
• /
• 1995

In this paper, the accurate end position control method of ultraprecision machine tool post using piezoelectric material as an micro positonong devics is presented. This method employs the classical PID feedback and uses an additional notch filter which eliminates the resonance characteristics of controlled plant. And the simple predictor is added to make use of the future value of desired input for better tracking performance. To show the feasibilty of proposed method, the PC-based experimental apparacy can be obtained. Using method, Al specimen of diameter 100mm was cut under practical machining condition to test the practicability of proposed method.