• Advances in nano research
• /
• v.6 no.4
• /
• pp.323-337
• /
• 2018

The nonlinear free vibration of a nanorod subjected to finite strain is investigated. The governing equation of motion in material configuration in terms of displacement is determined. By means of Galerkin method, the Fourier series solutions satisfying some typical boundary conditions are determined. The amplitude-frequency relationship and interaction between the modes are studied. The effects of nonlocal elasticity are shown for different length of nanotubes and nonlocal parameter. The results show that nonlocal effects lead to additional internal modal interaction for nanorod vibrations.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.25 no.2
• /
• pp.19-30
• /
• 1988

Sectional added masses of an elastic beam vibrating vertically on the free surface in higher harmonic modes are evaluated. Hydrodynamic interactions between neighboring sections, which strip theory ignores, are considered for modal wave lengths of the order of magnitude of cross-sectional dimensions of the body. An approximate solution of modified Helmholtz equation which becomes a singular perturbation problem at small wave lengths is secured to get an analytic expression for added masses attending higher harmonic modes. As a bound of the present theory, the modified Helmholtz equation is solved for the long flat plate vibrating at high frequency on the water surface without any limitations on modal frequency. Finally, extensive series of numerical calculations are carried out for ship-like forms. It is found that when modal wave length is comparable to or shorter than a typical cross-sectional dimension of a body, sectional interaction effects are large which result in considerable reductions in added masses. For a fuller section, the ratio of added mass reduction is greater. In the limit of vanishing sectional area, the added masses approach to that of flat plate of equal beam. It is shown that the added mass distribution for a Legendre modal from can be determined form the present theory and that the results agree with the extensive three-dimensional determination of Vorus and Hilarides.

• Journal of Power Electronics
• /
• v.18 no.1
• /
• pp.185-194
• /
• 2018

Interaction among multiple grid-connected inverters has a negative impact on the stable operations and power quality of a power grid. The interrelated influences of inverter inductor-capacitor-inductor filters constitute a high-order power network, and consequently, excite complex resonances at various frequencies. This study first establishes a micro-grid admittance matrix, in which inverters use deadbeat control. Multiple resonances can then be evaluated via modal analysis. For the active damping method applied to deadbeat control, the sampling frequency and the stable domain of the virtual damping ratio are also presented by analyzing system stability in the discrete domain. Simulation and experimental results confirm the efficiency of modal analysis and stable domain calculation in multi-inverter grid-connected systems.

• 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.

• Structural Engineering and Mechanics
• /
• v.43 no.5
• /
• pp.691-709
• /
• 2012

This paper provides a variety of viewpoints to illustrate the mechanism of the deck-stay interaction with the appropriate initial shapes of cable-stayed bridges. Based on the smooth and convergent bridge shapes obtained by the initial shape analysis, the one-element cable system (OECS) and multi-element cable system (MECS) models of the Kao Ping Hsi Bridge in Taiwan are developed to verify the applicability of the analytical model and numerical formulation from the field observations in the authors' previous work. For this purpose, the modal analysis of the two finite element models are conducted to calculate the natural frequency and normalized mode shape of the individual modes of the bridge. The modal coupling assessment is also performed to obtain the generalized mass ratios among the structural components for each mode of the bridge. The findings indicate that the coupled modes are attributed to the frequency loci veering and mode localization when the "pure" deck-tower frequency and the "pure" stay cable frequency approach one another, implying that the mode shapes of such coupled modes are simply different from those of the deck-tower system or stay cables alone. The distribution of the generalized mass ratios between the deck-tower system and stay cables are useful indices for quantitatively assessing the degree of coupling for each mode. These results are demonstrated to fully understand the mechanism of the deck-stay interaction with the appropriate initial shapes of cable-stayed bridges.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.4A
• /
• pp.707-717
• /
• 2006

As an alternative to conventional prestressed concrete (PSC) girders, various types of PSC girders are either under development or have already been applied in bridge structures. Incrementally prestressed concrete girder is one of these newly developed girders. According to the design concept, these new types of PSC girders have the advantages of requiring less self-weight while having the capability of longer spans. However, the dynamic interaction between bridge superstructures and passing trains is one of the critical issues concerning these railway bridges designed with more flexibility. Therefore, it is very important to evaluate modal parameters of newly designed bridges before doing dynamic analyses. In the present paper, a 25 meters long full scale PSC girder was fabricated as a test specimen and modal testing was carried out to evaluate modal parameters including natural frequencies and modal damping ratios at every prestressing stage. During the modal testing, a digitally controlled vibration exciter as well as an impact hammer is applied, in order to obtain precise frequency response functions and the modal parameters are evaluated varying with construction stages. Prestressed force effects on changes of modal parameters are analyzed at every incremental prestressing stage. With the application of reliable properties from modal experiments, estimation of dynamic performances of PSC girder railway bridges can be obtained from various parametric studies on dynamic behavior under the passage of moving train. Dynamic displacements, impact factor, acceleration of the slab, end rotation of the girder, and other important dynamic performance parameters are checked with various speeds of the train.

• Earthquakes and Structures
• /
• v.13 no.5
• /
• pp.497-507
• /
• 2017

Flooding induced scour has been long recognized as a major hazard to river-crossing bridges. Many studies in recent years have attempted to evaluate the effects of scour on the seismic performance of bridges, and probabilistic frameworks are usually adopted. However, direct and straightforward insight about how foundation scour affects bridges as a type of soil-foundation-structure system is usually understated. In this paper, we provide a comprehensive review of applied methods centering around seismic assessment of scoured bridges considering soil-foundation-structure interaction. When introducing these applied analysis and modeling methods, a simple bridge model is provided to demonstrate the use of these methods as a case study. Particularly, we propose the use of nonlinear modal pushover analysis as a rapid technique to model scoured bridge systems, and numerical validation and application of this procedure are given using the simple bridge model. All methods reviewed in this paper can serve as baseline components for performing probabilistic vulnerability or risk assessment for any river-crossing bridge system subject to flood-induced scour and earthquakes.

• Earthquakes and Structures
• /
• v.22 no.1
• /
• pp.65-82
• /
• 2022

This paper presents a structural performance assessment of a historical masonry clock tower both using numerical and experimental process. The numerical assessment includes developing of finite element model with considering different types of soil-structure interaction systems, identifying the numerical dynamic characteristics, finite element model updating procedure, nonlinear time-history analysis and evaluation of seismic performance level. The experimental study involves determining experimental dynamic characteristics using operational modal analysis test method. Through the numerical and experimental processes, the current structural behavior of the masonry clock tower was evaluated. The first five experimental natural frequencies were obtained within 1.479-9.991 Hz. Maximum difference between numerical and experimental natural frequencies, obtained as 20.26%, was reduced to 4.90% by means of the use of updating procedure. According to the results of the nonlinear time-history analysis, maximum displacement was calculated as 0.213 m. The maximum and minimum principal stresses were calculated as 0.20 MPa and 1.40 MPa. In terms of displacement control, the clock tower showed only controlled damage level during the applied earthquake record.

• Structural Engineering and Mechanics
• /
• v.71 no.4
• /
• pp.391-405
• /
• 2019

Compared to the ambient vibration test mainly identifying the structural modal parameters, such as frequency, damping and mode shapes, the impact testing, which benefits from measuring both impacting forces and structural responses, has the merit to identify not only the structural modal parameters but also more detailed structural parameters, in particular flexibility. However, in traditional impact tests, an impacting hammer or artificial excitation device is employed, which restricts the efficiency of tests on various bridge structures. To resolve this problem, we propose a new method whereby a moving vehicle is taken as a continuous exciter and develop a corresponding flexibility identification theory, in which the continuous wheel forces induced by the moving vehicle is considered as structural input and the acceleration response of the bridge as the output, thus a structural flexibility matrix can be identified and then structural deflections of the bridge under arbitrary static loads can be predicted. The proposed method is more convenient, time-saving and cost-effective compared with traditional impact tests. However, because the proposed test produces a spatially continuous force while classical impact forces are spatially discrete, a new flexibility identification theory is required, and a novel structural identification method involving with equivalent load distribution, the enhanced Frequency Response Function (eFRFs) construction and modal scaling factor identification is proposed to make use of the continuous excitation force to identify the basic modal parameters as well as the structural flexibility. Laboratory and numerical examples are given, which validate the effectiveness of the proposed method. Furthermore, parametric analysis including road roughness, vehicle speed, vehicle weight, vehicle's stiffness and damping are conducted and the results obtained demonstrate that the developed method has strong robustness except that the relative error increases with the increase of measurement noise.

• Nuclear Engineering and Technology
• /
• v.22 no.4
• /
• pp.371-379
• /
• 1990

The Xenon spatial oscillation may give rise to operational difficulties in a nuclear power plant. In this study, in order to investigate the Xenon instability for a PWR, the frequency-domain technique is adopted by using Generalized Nyquist Criterion, which is more general and suitable for the multi-input/multi-output system. Also linearized modal fluxes are obtained by a modal expansion. This model has been implemented to test the axial Xenon stability of YGN-1 unit against the changes in plant operating parameters ; power level, control rod position, and core average burnup. The results show that the increase of power level and the deeper insertion of control rod have the destabilizing effect, and that the burnup progress makes the core less stable. Also the results show that the overestimation due to modal interaction was found not to be significant.