• Title/Summary/Keyword: modal testing

검색결과 307건 처리시간 0.032초

모델링 방법의 차이에 따른 원전계측캐비넷의 동특성 해석 결과 비교분석 (comparative Study of Analytical Modal Properties of Instrumentation Cabinet of Nuclear Power Plant)

  • 조양희
    • 한국지진공학회:학술대회논문집
    • /
    • 한국지진공학회 1999년도 추계 학술발표회 논문집 Proceedings of EESK Conference-Fall
    • /
    • pp.186-192
    • /
    • 1999

  • Safety-related equipments of nuclear power plant must be seismically qualified to demonstrate their ability to function as required during and/or after the earthquake, The seismic qualification is usually achieved through analysis and testing. Analysis method is preferably adopted for structurally simple equipments which are easy to be mathematically modeled. However even for relatively complex equipments analysis method is occasionally used for computing the input motion or supporting information for the component test followed. Electrical cabinet is a typical example for which analysis method is combinedly used with test to get modal properties of the enclosing cabinet structure. Usually the structural elements and doors of the cabinet are loosely interconnected with small-size bolts or spot welding. Therefore cabinet-type equipment usually has high and complex nonlinear properties which are not easily idealized by simple practical modeling techniques. in this paper with respect to a typical cabinet-type structure(instrumentation cabinet of nuclear power plant) a comparative study has been performed between three different state-of-the -art modeling techniques: lumped mass model frame model and FEM modal. Form the study results it has been found that modal properties of the cabinet-type structure in the elastic behavior range can be reasonably computed through any type of modeling techniques in the practice with slight modification of model properties to get better accuracy. However it needs additional modeling techniques to get reasonable results up to nonlinear range.

  • PDF

Development of Verification and Conformance Test Generation of Communication Protocol for Railway Signaling Systems

  • Lee, Jae-Ho;Hwang, Jong-Gyu;Seo, Mi-Seon;Kim, Sung-Un;Park, Gwi-Tae
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2004년도 ICCAS
    • /
    • pp.358-362
    • /
    • 2004

  • Verification and testing are complementary techniques that are used to increase the level of confidence in the correct functioning of communication systems as prescribed by their specifications. This paper presents an experience of model checking for a formal railway signaling protocol specified in LTS (Labeled Transition System). This formal approach checks deadlock, livelock and reachability for the state and action to verify whether properties expressed in modal logic are true on specifications. We also propose a formal method for semi-automated test case generation for a railway signaling protocol described in I/O FSM (Input/Output Finite State Machine). This enables the generation of more complete and consistent test sequence for conformance testing. The above functions are implemented by C++ language and included within RSPVTE (Railway Signaling Protocol Verification and Testing Environment).

  • PDF