• Computers and Concrete
• /
• v.5 no.3
• /
• pp.217-241
• /
• 2008

In this paper, a total strain-based hysteretic material model based on MCFT is proposed for non-linear finite element analysis of reinforced concrete structures. Although many concrete models have been proposed for simulating behavior of structures under cyclic loading conditions, accurate simulations remain challenging due to uncertainties in materials, pitfalls of crude assumptions of existing models, and limited understanding of failure mechanisms. The proposed model is equipped with a fully generalized hysteresis rule and is formulated for 2D plane stress non-linear finite element analysis. The proposed model has been formulated in a tangent stiffness-based finite element scheme so that it can be used for most general finite element analysis packages. Moreover, it eliminates the need to check that tensile stresses can be transmitted across a crack. The tension stiffening model is a function of the bar orientation and any orientation can be accommodated. The proposed model has been verified with a series of experimental results of 2D RC planar panels. This study also demonstrates how parameters of the proposed model associated with cyclic damage modeling influences the pinched cyclic shear behavior.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.1
• /
• pp.40-45
• /
• 2007

Modal analysis or modal test is a routine process to get the modal parameters of a dynamic system. The modal parameters include the natural frequencies, damping ratios and mode shapes. This paper presents a method that can derive the equations of motion for a dynamic system from the modal parameters obtained by the modal analysis or modal test. The present method based on the relation between the eigenvalues and eigenvectors of the state space equation derives the mass, damping and stiffness matrices of the system. The numerical verifications for the simple mass-spring-damper system and the cantilevered beam prove the efficiency and accuracy of the present method.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.16 no.9
• /
• pp.1654-1668
• /
• 1992

The acoustic field resulted by the radiation of sound from vibrating structure is predicted based on the sound pressure measurements. The sound pressures are measured at discreate point on the measurement plane ; Hologram. Based on these discreate measurements, the sound field away from the acoustic source is constructed based on the discreate form of Kirchhoff-Helmohltz integral equations The velocities, intensities, and pressures of arbitrary plane of interest in space are predicted and visualized The effects on the sound field reconstruction ; finite aperture effect, effect of finite sampling interval in space studied in terms of wraparound error and spatial aliasing. Numerical simulations and experimental verifications are performed to see these effects. To reduce the wraparound error, zero padding technique in space is used and the usefulness of the method is demonstrated by various examples.

• Journal of Internet Computing and Services
• /
• v.9 no.4
• /
• pp.133-142
• /
• 2008

This paper conceives and implements an activity analysis method as a tool to be used for workflow visual verification and mining. One of the recent issues in the workflow and business process literature is to refine and to improve the deployed workflows and business processes. The activity analysis method proposed in this paper provides a way to fine a set of activities being directly affected by the specific activity that a user tries to change its properties. I would strongly believe that the method can be a useful solution for the dynamic changes and visual verifications problems of workflow models as well as the workflow process mining problems. Finally, to prove the possibility of the proposed method and its applicability, we apply to a workflow model of the electronic approval system run by a real corporation.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.11 no.6
• /
• pp.929-938
• /
• 2000

A summary of the development and verifications of a computer code being developed at Pohang University of Science and Technology (POSTECH) for calculating the radar cross section(RCS) of complex targets is presented. The complex targets are modeled in terms of patches and wedges. This code utilizes physical optics, physical theory of diffraction and shooting and bouncing rays method to calculate the RCS of complex targets. For the verification of the RCS prediction code, a simple-shaped scale-model was manufactured and the RCS was measured at the POSTECH compact range. The obtained RCS was processed to give frequency-domain RCS patterns and ISAR images. The predicted RCS shows good agreement with measured one. The RCS prediction methods presented here are applicable to stealth design and target recognition.

• The Transactions of the Korean Institute of Electrical Engineers C
• /
• v.54 no.12
• /
• pp.553-557
• /
• 2005

This paper describes the application results of an ultrasonic detection system for the power transformer. The ultrasonic detection system with 6 sensors was applied to detect partial discharge in a 154kV transformer with a dangerous levels of $C_{2}H_{2},\;C_{2}H_4$ and $CH_{4}$ gases. The ultrasonic detection tests were carried out 2 times, respectively, to confirm the existence and location of the partial discharge in the transformer. As a result of internal inspection, the arc trace between the pressure ring and core due to the partial discharge was found at the estimated position based on the amplitude and arriving time of the ultrasonic signals. Therefore, it was verified that the ultrasonic detection system is effective as a preventive diagnosis method for the power transformer. Also, the reliability of the ultrasonic detection system in detecting partial discharges in the transformer was also confirmed. It is expected, therefore, that the ultrasonic detection system will have beneficial effects on applications and verifications in detecting partial discharges for the power transformer.

• Journal of Electrical Engineering and Technology
• /
• v.1 no.4
• /
• pp.513-519
• /
• 2006

As a very important part in development of the protocol, verifications for developed protocol specification are complementary techniques that are used to increase the level of confidence in the system functions by their specifications. Using the informal method for specifying the protocol, some ambiguity may be contained therein. This indwelling ambiguity in control systems can cause the occurrence of accidents, especially in the case of safety-critical systems. To clear the vagueness contained in the designed protocol, we use the LTS (Labeled Transition System) model to design the protocol for railway signaling. And then, we verify the safety and the liveness properties formally through the model checking method. The modal ${\mu}$-calculus, which is an expressive method of temporal logic, has been applied to the model checking method. We verify the safety and liveness properties of Korean standard protocol for railway signaling systems. To perform automatic verification of the safety and liveness properties of the designed protocol, a communication verification tool is implemented. The developed tools are implemented by C++ language under Windows XP. It is expected to increase the safety and reliability of communication protocol for signaling systems by using the developed communication verification tool.

• The KSFM Journal of Fluid Machinery
• /
• v.2 no.1 s.2
• /
• pp.96-102
• /
• 1999

Cross flow fans are used in various applications, especially in industrial ventilation applications and in room air conditioners, due to their superior performance characteristics. Unlike radial and/or axial fans, the design of cross flow fans have been mostly based on earlier experiences and experiments. In the present study, numerical computations of flow fields through a cross flow fan used in room air conditioner are performed to investigate the detailed flow fields and to study the effect of the blade shape on performance curves to aid better design of the fan. Despite some discrepancies between the two results, it is seen from the present study that the computational results agree quite well with the qualitative experimental results. It is also shown from the present study that by having a different shape of blade, it is possible to achieve about $15\%$ increase in flow rates. The stimulating results of the present study can be used in the design of high performance cross flow fans with the use of optimal design algorithm and experimental verifications.

• Journal of Korea Water Resources Association
• /
• v.30 no.4
• /
• pp.411-420
• /
• 1997

QUAL2E-AFOSM model is developed to forecast the water quality by reliability analysis in the Nakdong River. A varied-flow analysis is performed for the reach of Waegwan to Mulgeum to estimate hydraulic parameters. An optimization technique by BFGS method is applied to determine the optimum reaction parameters and calibrations and verifications are performed based on these parameters. A reliability analysis for the stochastic analysis in a river is studied using the AFOSM method. The variations of water quality and discharge in the headwater, tributaries, and reaction coefficients are considered. Risks of violating existing water quality standards at several loactions in the Nakdong River are computed by using the QUAL2E-AFOSM method. The computed results computed by QUAL2E-AFOSM model agree with those of the Monte-Carlo method in QUAL2EU model.

• Special Issue of the Society of Naval Architects of Korea
• /
• 2008.09a
• /
• pp.96-105
• /
• 2008

Turbulent flow-induced vibrations generate the structural fatigue and noise problems. In this paper, using Corcos, Smol' yakov-Tkachenko, Ffowcs Williams and Chase models, the input power generated by distributed fluid force is predicted for power flow analysis (PFA) of turbulent flow-induced vibration. Additionally, the Fast Fourier Transform (FFT) is used to raise the calculation efficiency PFA results obtained are compared with the classical modal solutions for verifications. Analytic results using the fluid models show good agreements with those of modal analysis, respectively.