• Journal of the Korean Society for Nondestructive Testing
• /
• v.32 no.3
• /
• pp.241-262
• /
• 2012

Some applications require structural health monitoring in inaccessible components. This paper presents a technique useful for Structural Health Monitoring of double wall structures, such as double wall steam pipes and double wall pressure vessels separated from an ultrasonic transducer by three layers. Detection has been demonstrated at distances in excess of one meter for a fixed transducer. The case presented here is for one of the layers, the middle layer, being a fluid. For certain transducer configurations the wave propagating in the fluid is a wave with low velocity and attenuation. The paper presents a model based on wave theory and finite element simulation; the experimental set-up and observations, and comparison between theory and experiment. The results provide a description of the technique, understanding of the phenomenon and its possible applications in Structural Health Monitoring.

• Smart Structures and Systems
• /
• v.1 no.3
• /
• pp.283-308
• /
• 2005

This paper features about the modeling and design of a fast output sampling feedback controller for a smart Timoshenko beam system for a SISO case by considering the first 3 vibratory modes. The beam structure is modeled in state space form using FEM technique and the Timoshenko beam theory by dividing the beam into 4 finite elements and placing the piezoelectric sensor/actuator at one location as a collocated pair, i.e., as surface mounted sensor/actuator, say, at FE position 2. State space models are developed for various aspect ratios by considering the shear effects and the axial displacements. The effects of changing the aspect ratio on the master structure is observed and the performance of the designed FOS controller on the beam system is evaluated for vibration control.

• Structural Engineering and Mechanics
• /
• v.6 no.1
• /
• pp.1-15
• /
• 1998

Experimental work undertaken to investigate the behaviour of lead-rubber bearings under compression and a combination of compression and shear or rotation has been reported on elsewhere. However, it is difficult to determine the state of stress within the bearings in terms of the applied forces and the interaction between the lead plug and the steel shims and elastomeric layers. In order to supply some of the missing information about the stress-strain state within the bearings, an analytical study using the finite element method was carried out. The available experimental results were used to validate the model and although agreement was not as good as expected (on account of difficulties in modelling the lead plug), the analyses did provide some information about the state of the stress within the bearing.

• Journal of Powder Materials
• /
• v.14 no.6
• /
• pp.362-366
• /
• 2007

Magnesium and magnesium alloys are promising materials for light weight and high strength applications. In order to obtain homogeneous and high quality products in powder compaction and powder forging processes, it is very important to control density and density distributions in powder compacts. In this study, a model for densification of metallic powder is proposed for pure magnesium. The mode] considers the effect of powder characteristics using a pressure-dependent critical density yield criterion. Also with the new model, it was possible to obtain reasonable physical properties of pure magnesium powder using cold iso-state pressing. The proposed densification model was implemented into the finite element method code. The finite element analysis was applied to simulating die compaction of pure magnesium powders in order to investigate the density and effective strain distributions at room temperature.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.12 no.1
• /
• pp.376-386
• /
• 2020

The aim of this study was to develop a new efficient strategy that uses the Vector form Intrinsic Finite-element (VFIFE) method to conduct the static and dynamic analyses of marine pipes. Nonlinear problems, such as large displacement, small strain, and contact and collision, can be analyzed using a unified calculation process in the VFIFE method according to the fundamental theories of point value description, path element, and reverse motion. This method enables analysis without the need to integrate the stiffness matrix of the structure, because only motion equations of particles established according to Newton's second law are required. These characteristics of the VFIFE facilitate the modeling and computation efficiencies in analyzing the nonlinear dynamic problem of flexible pipe with large deflections. In this study, a three-dimensional (3-D) dynamical model based on 3-D beam element was established according to the VFIFE method. The deep-sea flexible pipe was described by a set of spatial mass particles linked by 3-D beam element. The motion and configuration of the pipe are determined by these spatial particles. Based on this model, a simulation procedure to predict the 3-D dynamical behavior of flexible pipe was developed and verified. It was found that the spatial configuration and static internal force of the mining pipe can be obtained by calculating the stationary state of pipe motion. Using this simulation procedure, an analysis was conducted on the static and dynamic behaviors of the flexible mining pipe based on a 1000-m sea trial system. The results of the analysis proved that the VFIFE method can be efficiently applied to the static and dynamic analyses of marine pipes.

• Nuclear Engineering and Technology
• /
• v.48 no.4
• /
• pp.1047-1057
• /
• 2016

Design engineering process for field programmable gate array (FPGA)-based reactor trip functions are developed in this work. The process discussed in this work is based on the systems engineering approach. The overall design process is effectively implemented by combining with design and implementation processes. It transforms its overall development process from traditional V-model to Y-model. This approach gives the benefit of concurrent engineering of design work with software implementation. As a result, it reduces development time and effort. The design engineering process consisted of five activities, which are performed and discussed: needs/systems analysis; requirement analysis; functional analysis; design synthesis; and design verification and validation. Those activities are used to develop FPGA-based reactor bistable trip functions that trigger reactor trip when the process input value exceeds the setpoint. To implement design synthesis effectively, a model-based design technique is implied. The finite-state machine with data path structural modeling technique together with very high speed integrated circuit hardware description language and the Aldec Active-HDL tool are used to design, model, and verify the reactor bistable trip functions for nuclear power plants.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.5
• /
• pp.541-549
• /
• 2007

In the case of control for mechanical systems, it is highly useful to be able to provide a compact model of the mechanical system to control engineers using the smallest number of state variables, while still providing an accurate model. The reduced mechanical model can then be inserted into the complete system models and used for extended system-level dynamic simulation. In this paper, moment-matching based model order reductions (MOR) using Krylov subspaces, which reduce the number of degrees of freedom of an original finite element model via the Arnoldi process, are presented to study the eigenvalue and frequency response problems of a HDD actuator and suspension system.

• Journal of Korea Game Society
• /
• v.4 no.1
• /
• pp.58-66
• /
• 2004

This paper uses counterexamples for solving reachability games. An objective. of the game we consider here is to find out a minimal path from an initial state to the goal state. We represent initial states and game rules as finite state model and the goal state as temporal logic formula. Then, model checking is used to determine whether the model satisfies the formula. In case the model does not satisfy the formula, model checking generates a counterexample that shows how to reach the goal state from an initial state. In this way, we solve many of small-sized Push Push games. However, we cannot handle larger-sized games due to the state explosion problem. To mitigate the problem, abstraction is used to reduce the state space to be che cked. As a result, unsolved games are solved with the abstraction technique we propose inthis paper.

• Computers and Concrete
• /
• v.15 no.4
• /
• pp.485-501
• /
• 2015

Cooling by the flow of water through an embedded cooling pipe has become a common and effective artificial thermal control measure for massive concrete structures. However, an extreme thermal gradient induces significant thermal stress, resulting in thermal cracking. Using a mesoscopic finite-element (FE) mesh, three-phase composites of concrete namely aggregate, mortar matrix and interfacial transition zone (ITZ) are modeled. An equivalent probabilistic model is presented for failure study of concrete by assuming that the material properties conform to the Weibull distribution law. Meanwhile, the correlation coefficient introduced by the statistical method is incorporated into the Weibull distribution formula. Subsequently, a series of numerical analyses are used for investigating the influence of the correlation coefficient on tensile strength and the failure process of concrete based on the equivalent probabilistic model. Finally, as an engineering application, damage and failure behavior of concrete cracks induced by a water-cooling pipe are analyzed in-depth by the presented model. Results show that the random distribution of concrete mechanical parameters and the temperature gradient near water-cooling pipe have a significant influence on the pattern and failure progress of temperature-induced micro-cracking in concrete.

• Structural Engineering and Mechanics
• /
• v.41 no.1
• /
• pp.25-41
• /
• 2012

Kriging surrogate model provides explicit functions to represent the relationships between the inputs and outputs of a linear or nonlinear system, which is a desirable advantage for response estimation and parameter identification in structural design and model updating problem. However, little research has been carried out in applying Kriging model to crack identification. In this work, a scheme for crack identification based on a Kriging surrogate model is proposed. A modified rectangular grid (MRG) is introduced to move some sample points lying on the boundary into the internal design region, which will provide more useful information for the construction of Kriging model. The initial Kriging model is then constructed by samples of varying crack parameters (locations and sizes) and their corresponding modal frequencies. For identifying crack parameters, a robust stochastic particle swarm optimization (SPSO) algorithm is used to find the global optimal solution beyond the constructed Kriging model. To improve the accuracy of surrogate model, the finite element (FE) analysis soft ANSYS is employed to deal with the re-meshing problem during surrogate model updating. Specially, a simple method for crack number identification is proposed by finding the maximum probability factor. Finally, numerical simulations and experimental research are performed to assess the effectiveness and noise immunity of this proposed scheme.