• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 1996년도 추계학술대회논문집; 한국과학기술회관, 8 Nov. 1996
• /
• 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
• /
• 제3권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.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2002년도 춘계학술대회논문집
• /
• 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.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.

• 한국정밀공학회지
• /
• 제15권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
• /
• 제10권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.

• 한국지진공학회논문집
• /
• 제15권6호
• /
• pp.11-18
• /
• 2011

원자력발전소(이하, 원전)에 설치되는 안전관련 전기기기들의 합리적인 내진검증을 위해서는 사전에 정확한 동특성분석이 필요하다. 이 연구에서는 원전에 설치되는 전기기기 캐비닛 구조를 대상으로 입력 진동의 수준에 따른 모드특성의 변화를 평가하였다. 이를 위해, 실제 전기기기 캐비닛을 시편으로 선정하고 가진 시험기를 이용하여 입력진동에너지의 크기를 변화시켜 가면서 진동시험을 수행하였다. 시험은 캐비닛의 문짝을 부착한 경우와 탈거한 경우로 구분하여 수행하였다. 진동시험을 통하여 계측된 시편의 가속도응답신호와 입력운동신호로부터 진동의 크기에 따라 진동수응답함수를 작성하였다. 다항식회귀분석기법을 이용한 모드분석기법으로 시편의 진동수응답함수를 분석하여 모드특성을 추출하고, 진동수준에 따른 시편의 동특성 변화를 검토하였다. 연구결과, 대상 기기는 입력진동의 크기가 증가할수록 모드진동수와 모드감쇠비가 비선형적으로 변화하는 것을 확인하였다. 문짝이 부착된 경우에는 문짝이 탈거된 경우에 비하여 캐비닛의 모드감쇠가 증가한다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2005년도 추계학술대회논문집
• /
• 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.

• 산업기술연구
• /
• 제22권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.

• 한국의류학회지
• /
• 제27권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.