• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1996.10a
• /
• pp.217-223
• /
• 1996

A structure's vibration characteristic is determined by modal property of the system. Through proper vibration analysis or experiments, the structure can be modified to reduce of vibration and noise. This paper is concerned with the natural frequency and modal loss factor of sandwich plates with viscoelastic core. The effects of shear and normal strain in the viscoelastic layer are investigated on modal properties, natural frequency and modal loss factor, by changing geometry parameter and viscoelastic material property of sandwich plates. The errors of modal parameters resulting from neglecting the extension or compression in the core material for simply supported(S-S-S-S) case are compared with those for clamped(C-C-C-C) boundary condition. Finite difference method(FDM) is utilized as numerical analysis technique of square sandwich plates for fixed boundary conditions. In order to reduce computation time and increase accuracy, improved finite difference expression with fourth order truncation error was used.

• Wind and Structures
• /
• v.3 no.4
• /
• pp.221-241
• /
• 2000

Structural dynamics usually applies modal transformation rules aimed at de-coupling and/or minimizing the equations of motion. Proper orthogonal decomposition provides mathematical and conceptual tools to define suitable transformed spaces where a multi-variate and/or multi-dimensional random process is represented as a linear combination of one-variate and one-dimensional uncorrelated processes. Double modal transformation is the joint application of modal analysis and proper orthogonal decomposition applied to the loading process. By adopting this method the structural response is expressed as a double series expansion in which structural and loading mode contributions are superimposed. The simultaneous use of the structural modal truncation, the loading modal truncation and the cross-modal orthogonality property leads to efficient solutions that take into account only a few structural and loading modes. In addition the physical mechanisms of the dynamic response are clarified and interpreted.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.05a
• /
• pp.470-476
• /
• 2002

We tested the natural frequency for the 1st moving blades of a steam turbine in general power plants, carried out the modal test of the blade groups each natural frequency. By this test results, we identified the resonance results largely in damaging the blades. We can predict damage probability for the blade groups and change state of material property by using the result of this study.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.12
• /
• pp.202-211
• /
• 1998

The present paper proposes a modal analysis procedure to obtain exact modal parameters (natural frequencies, damping ratios, eigenvectors) for general, non-uniform beam-like structures. The proposed method includes a derivation of the system dynamic matrix for a Timoshenko beam element. The proposed method provides not only exact modal parameters but also exact frequency response functions (FRFs) for general beam structures. A time domain analysis method is also proposed. Two examples are provided for validating and illustrating the proposed method. The first numerical example compares the proposed method with FEM. The second example deals with a non-uniform beam structure supported in joints with damping property. The numerical study proves that the proposed method is useful for the dynamic analysis of continuous systems consisting of beam-like structures.

• Smart Structures and Systems
• /
• v.10 no.4_5
• /
• pp.459-470
• /
• 2012

This paper summarizes a study for the modal analysis and model updating conducted using the monitoring data obtained from the Canton Tower of 610 m tall, which was established as an international benchmark problem by the Hong Kong Polytechnic University. Modal properties of the tower were successfully identified using frequency domain decomposition and stochastic subspace identification methods. Finite element model updating using the measurement data was further performed to reduce the modal property differences between the measurements and those of the finite element model. Over-fitting during the model updating was avoided by using an optimization scheme with a regularization term.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.15 no.6
• /
• pp.11-18
• /
• 2011

Accurate modal identification analysis is required to reasonably perform a seismic qualification of safety-related electric equipment installed in nuclear power plants (NPPs). This study evaluates a variation of the modal properties of an electric equipment cabinet structure in NPPs according to the excitation levels. For the study, an actual electric equipment cabinet was selected as a specimen and was dynamically tested by using a portable exciter in accordance with the level of input vibration energy. Tests were classified into two sets: with-door cases, and without-door cases. Frequency response functions were computed from the signals of the acceleration responses and input motions measured from the vibration tests. A polynomial curve fitting algorithm was used to extract the modal properties from the frequency response functions. This study reviews the variation of the modal properties according to the variation of the excitation levels. The results of the study show that the modal frequencies and the modal dampings of the object specimen varies nonlinearly according to the excitation level of the test motion. Attaching the door increases the modal damping of the cabinet.

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

Model updating method is known to the area to correct finite element models by the results of the experimental modal analysis. Most common methods in model updating depend on a parametric model of the structure. In this case, the number of parameters is normally smaller than that of modal data obtained from an experiment. In order to overcome this limitation, many researchers are trying to get modal data as many as possible to date. 1 want to name this method multiple modified-system generation method. These Methods consist of direct system modification method and feedback controller method. The direct system modification Is to add a mass or stiffness on the original structure or perturb the boundary conditions. The feedback controller method is to make the closed food system with sensor and actuator so as to get the closed loop modal data. In this paper, we need to focus on the feedback controller method because of its simplicity. Several methods related the feedback controller methods are virtual passive controller (VPC) sensitivity enhancement controller (SEC) and mode decoupling controller (MDC). Among them, we will apply MDC to the model updating problem. MDC has various advantages compared with other controllers, such as VPC and SEC. To begin with, only the target mode can be changed without changing modal property of non-target modes. In addition, it is possible to fix any modes if the number of sensors is equal to that of the system modes. Finally, the required control power to achieve desired change of target mode is always lower than those of other methods such as VPC. However, MDC can make the closed loop system unstable when using incomplete modal data. So we need to take action to avoid undesirable instability from incomplete modal data. In this paper, we address the method to design the unique and robust MDD obtained from incomplete modal data. The associated simulation will be Incorporated to demonstrate the usefulness of this method.

• Journal of Industrial Technology
• /
• v.22 no.A
• /
• pp.43-48
• /
• 2002

Acoustic modes of a vehicle compartment dominate the noise characteristics of the vehicle system in the low frequency range. Vehicle compartments have head liner and air gap of proper thickness to mount a interior lamp, as well as to have a good sound insulation and absorption performance. This study estimates the acoustic modal property of the medium size passenger car by experiment and by finite element analysis and also, investigates the effect of the head liner on the acoustic mode of the passenger compartment to obtain useful information for low noise compartment design.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.27 no.11
• /
• pp.1291-1299
• /
• 2003

In order to design the better brassiere in terms of appearance and functions, various parameters of the materials should be considered; in this study, fatigue properties and subjective sensation of wing materials and its relation to the preference for a brassiere was investigated. After the survey of commercially available products, five elastic fabrics such as cotton, Modal, polyester, nylon, and Tactel, all of which contain 10% polyurethane, were chosen as specimens. Fabric growth were determined to evaluate fatigue properties. Qmax was determined to evaluate the warm-cool feeling. For the sensory test, semantic differential scale which contains 15 adjectives were developed. Fatigue properties were very similar at the 20% elongation irrespective of the duration of tension, but at 40% and 100% elongation, man made fabric showed less growth than cellulose fabrics. The factor analysis showed four factors such as sense of warmth, smoothness, weight and elasticity. Preference of the specimens was ranked in the order of Tactel>Modal>cotton>nylon>polyester.