• Journal of Mechanical Science and Technology
• /
• v.17 no.9
• /
• pp.1349-1357
• /
• 2003

This paper deals with verification of the theoretical model for dynamic behavior of Pipeline Inspection Gauge (PIG) traveling through high pressure natural gas pipeline. The dynamic behavior of the PIG depends on the differential pressure across its body. This differential pressure is generated by injected gas flow behind the tail of the PIG and expelled gas flow in front of its nose. To analyze the dynamic behavior characteristics such as gas flow in pipeline, and the PIG position and velocity, not only the mathematical models are derived, but also the theoretical models must be certified by actual pigging experiment. But there is not any found results of research on the experimental certification for dynamic behavior of the PIG. The reason is why the fabrication of the PIG as well as, a field application are very difficult. In this research, the effectiveness of the introduced solution using the method of characteristics (MOC) was certified through field application. In-line inspection tool, 30" geometry PIG, was fabricated and actual pigging was carried out at the pipeline segment in Korea Gas Corporation (KOGAS) high pressure system, Incheon LT (LNG Terminal) -Namdong GS (Governor Station) line. Pigging is fulfilled successfully. Comparison of simulation results with experimental results show that the derived mathematical models and the proposed computational schemes are effective for predicting the position and velocity of the PIG with a given operational conditions of pipeline.

• Journal of Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.79-87
• /
• 2023

To design a control law of an aircraft, an accurate aircraft dynamic model is required. To obtain an aerodynamic database (DB) to build a dynamic model, a large number of wind tunnel tests are typically required. However, when flight test data of target aircraft exist such as in the process of unmanned conversion of a manned aircraft, an aircraft dynamic model can be obtained through a parameter estimation method and a DB tuning procedure. This paper describes a nonlinear model construction process and a verification method for KC-100 OPV aircraft. Flight data compatibility analysis was performed to determine suitability of the estimation method application. Linear model estimation was performed using the maximum likelihood estimation method. Results of aerodynamic DB tuning process and verification applying the FFS standard to the nonlinear model constructed are presented.

• Journal of Electrical Engineering and Technology
• /
• v.10 no.6
• /
• pp.2288-2296
• /
• 2015

This paper proposes a novel systematic modeling approach for an integrated single-stage power converter in order to predict its dynamic characteristics. The basic strategy of the proposed modeling is substituting the internal converters with an equivalent current source, and then deriving the dynamic equations under a standalone operation using the state-space averaging technique. The proposed approach provides an intuitive modeling solution and simplified mathematical process with accurate dynamic prediction. The simulation and experimental results by using an integrated boost-flyback converter prototype provide verification consistent with theoretical expectations.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.6
• /
• pp.1365-1373
• /
• 1994

Elasto-dynamic deformation of flexible linkage mechanism was analyzed using the finite element method. A computer program was constructed and applied to analyze a specific crank-level 4-bar mechanism, in which the elasto-dynamic deformation of the mechanism system was obtained using mode superposition method in the case of constant input speed and the effect of geometric stiffness on the mechanism is included. Experimental verification of numerical results was conducted by measuring the elasto-dynamic deformation of mid-points of coupler and lever for the 4-bar lingkage mechanism using high speed camera and image data processing systeem. For the elasto-dynamic deformation at the lever mid-point, the numerical results including geometric stiffness almost agree with the experimental ones. However, the numerical results excluding geometric stiffness good agree with the experimental ones at the couper mid-point.

• Journal of Educational Research in Mathematics
• /
• v.12 no.4
• /
• pp.543-556
• /
• 2002

The purpose of this study is to find a method to improve geometry instruction. For this purpose, I have investigated aims and problems of geometry education. I also reviewed related literature about discovery methods as well as verification. Through this review, “Mathematising teaching and learning methods” by Freudenthal is Presented as an alternative to geometry instruction. I investigated the capability of dynamic software for realization of this method. The result of this investigation is that dynamic software is a powerful tool in realizing this method. At last, I present one example of mathematic activity using dynamic software that can be used by school teachers.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11a
• /
• pp.569-572
• /
• 2005

In many machines handling lightweight and flexible media, such as automated teller machines(ATM) and printers etc., the media must transit an open space. In the paper feeding mechanism, it is important to feed the sheet without jamming under any conditions. To avoid sheet jamming, first we need to predict the behavior of the sheet exactly. The nonlinear theory of the dynamic elastica has often been used to a nonlinear dynamic deflection model. In this paper, the governing equation is derived and simulated by the finite difference method. The analysis has to include aerodynamic effect for more exact behavior analysis. For verification of the numerical simulation, the experiments were performed using high-speed camera and feeding mechanism. The experimental results show good agreement with the numerical simulations.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2000.11a
• /
• pp.540-545
• /
• 2000

This paper presents the exact dynamic element for composite Timoshenko beam, which is inherently subject both to bending and torsional vibration. The coupling effect between bending and torsional vibrations is rigorouly considered in the derivation of the exact dynamic element. Two examples are provided to validate and illustrate the proposed exact dynamic element matrix for composite Timoshenko beam.

• Proceedings of the Earthquake Engineering Society of Korea Conference
• /
• 2003.09a
• /
• pp.107-114
• /
• 2003

There are many problems in the prediction of dynamic behaviors of saturated soils because undrained excess pore water pressure builds up and then the strain softening behavior is occurred simultaneously. A few analytical constitutive models based on the effective stress concept have been proposed but most models hardly predict the excess pore water pressure and strain softening behaviors correctly In this study, the disturbed state concept (DSC) model proposed by Dr, Desai was modified to predict the saturated soil behaviors under the dynamic loads. Also, back-prediction program was developed for verification of modified DSC model. Cyclic triaxial tests were carried out to determine DSC parameters and test result was compared with the result of back-prediction. Through this research, it is proved that the proposed model based on the modified disturbed state concept can predict the realistic soil dynamic characteristics such as stress degradation and strain softening behavior according to dynamic process of excess pore water pressure.

• Proceedings of the IEEK Conference
• /
• 2000.11c
• /
• pp.37-40
• /
• 2000

A fast method of Hangul address word verification is presented in this Paper. Pre-segmentation and recognition by DP matching is adopted in this paper. An address line image is over-segmented by analyzing the topology of connected components and the projection profile. A fast individual Hangul character verifier was developed by applying SVM (Support Vector Machine). The segmentation hypothesis was represented by lattice structure, and a best path search by dynamic programming generates the most probable segmentation path and the final verification score. The word verifier was tested on 310 address image DB, and it show the possibility of improvements of this method.

• Speech Sciences
• /
• v.9 no.4
• /
• pp.253-263
• /
• 2002

In this paper, we propose new algorithm of speaker recognition which identifies the speaker using the information obtained by the intensive speech feature analysis such as pitch, intensity, duration, and formant, which are crucial parameters of individual voice, for candidates of high percentage of wrong recognition in the existing speaker recognition algorithm. For testing the power of discrimination of individual parameter, DTW (Dynamic Time Warping) is used. We newly set the range of threshold which affects the power of discrimination in speech verification such that the candidates in the new range of threshold are finally discriminated in the next stage of sound parameter analysis. In the speaker verification test by using voice DB which consists of secret words of 25 males and 25 females of 8 kHz 16 bit, the algorithm we propose shows about 1% of performance improvement to the existing algorithm.