• Title/Summary/Keyword: verification cases

Search Result 531, Processing Time 0.028 seconds

Estimating Tensile Force of Hangers in Suspension Bridges Using Frequency Based SI Technique : III. Experimental Verification (진동기반의 SI 기법을 이용한 현수교 행어의 장력 추정 : III. 실험적 검증)

  • Jang, Han Teak;Kim, Byeong Hwa;Park, Taehyo
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.28 no.2A
    • /
    • pp.215-222
    • /
    • 2008
  • This paper introduces an experimental verification of a tension estimation method based on system identification approach for a double hanger system on a suspension bridge. A laboratory model of such double hanger system has been made for this study. Total nine cases of the vibration tests have been conducted with respect to three levels of applied tension and three cases of the location of clamp. For a set of the collected acceleration response data, modal analysis has been followed in order to extract the natural frequencies and mode shapes of the selected cable systems. For the extracted modal parameters, the existing tension estimation methods based on the string theory and axially loaded beam theory have been firstly applied to estimate the tensile force on the double hanger cable system. Next, the tensile force on cables has been estimated by the system identification approach. It is seen that the errors in the tension estimation using the frequency-based system identification technique are about 3% for all cases while the estimation error using the existing method is up to 53.1%.

Effect of Spatial Resolutions on the Accuracy to Landslide Susceptibility Mapping

  • Choi, J. W.;Lee, S.
    • Proceedings of the KSRS Conference
    • /
    • 2003.11a
    • /
    • pp.138-140
    • /
    • 2003
  • The aim of this study is to evaluate the effect of spatial resolutions on the accuracy to landslide susceptibility mapping. For this, landslide locations were identified in the Boun, Korea from interpretation of aerial photographs and field surveys. The topographic, soil, forest, geologic, linearment and land use data were collected, processed and constructed into a spatial database using GIS and remote sensing data. The 15 factors that influence landslide occurrence were extracted and calculated from the spatial database with 5m, 10m, 30m, 100m and 200m spatial resolutions. Landslide hazardous area were analysed and mapped using the landslide-occurrence factors by probability model, likelihood ratio, for the five cases spatial resolutions. The results of the analysis were verified using the landslide location data. In the cases of spatial resolution 5m, 10m and 30m, the verification results was similar, but in the cases of 100m and 200m the results worse than the others. Because the scale of input data was 1:5,000 ? 1:50,000, so the cases of 5m, 10m and 30m have similar accuracy but the cases of 100m and 200m have the lower accuracy. From this, there is an effect of spatial resolutions on accuracy and landslide susceptibility mapping the result is dependent on input map.

  • PDF

Verification and Validation of Dynamic Clearance in Digital Mockup Using Engine Movement Roll Data (엔진 거동을 고려한 DMU(Digital Mockup)에서의 다이나믹 간격 검증)

  • Kim, Yong-Suk;Jang, Dong-Young
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.18 no.5
    • /
    • pp.56-61
    • /
    • 2010
  • This paper presents dynamic clearance verification considering engine movement for vehicle engine room package and validates through physical vehicle test. Traditionally, static clearance guide has been used for engine room package, but it's only 2-dimension criteria that results in requiring unnecessary space and it's not possible to conduct engine movement with real driving conditions. Thus, the dynamic DMU considers engine movement based on 28 load cases that are Roll Data analyzed by CAE for maximum engine movement and visualizes part-to-part dynamic clearance into virtual space. The dynamic DMU enables to develop compact engine room package without unnecessary space. The result of comparison between simulation and physical test has 0.892 correlation coefficient.

Performance Verification of FRP Decks by Connection between Bridge Rail and FRP Decks (방호울타리 연결방법에 의한 FRP바닥판의 거동특성)

  • Lee, Young-Ho;Jeong, Jin-Woo;Youm, Kwang-Soo;Park, Ki-Tae;Hwang, Yoon-Koog
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2006.05a
    • /
    • pp.134-137
    • /
    • 2006
  • In this paper, performance verification of connection between bridge rail and FRP decks are performed by static test. Also, the effect of flexible bridge rail failure to behavior of FRP deck are examined. Commercial products of flexible bridge rail are applied to test specimen, and 6 types of FRP deck-to-bridge rail connection system are considered. By the test results, 6 types of connection system by the connection method have similar structural capacity and have enough safety margin. Therefore, it is determined that 6 kinds of bridge rail considered in this study can be applied to bridge effectively by the cases of bridge field condition.

  • PDF

Open BIM-based Vertical Circulation Planning and Verifying Modules for Super-Tall Building at the Schematic Design Phase (계획설계 단계에서의 개방형 BIM 기반 초고층건축물 수직동선 계획 및 검증모듈 개발)

  • Kim, In-Han;Cho, Geun-Ha;Choi, Jung-Sik;Chun, Eui-Young
    • Korean Journal of Computational Design and Engineering
    • /
    • v.16 no.2
    • /
    • pp.156-164
    • /
    • 2011
  • The automation technology is able to enhance the business process more rapidly and effective. Open BIM technology which supports automation technology of building overcomes the limitations of two dimensions drawings system. The purpose of this study is on the development of open BIM based modules for creating and verifying the core model for super-tall building in the schematic design phase. The module is expected to create cases of core models automatically and it is expected to verify the requirement of building model. This module is anticipated to utilize for creating the core model rapidly in order to create the alternative plan and to make the model accurate by its verification.

Protocol Verification and Conformance Test for Rail Signal Control Protocol specified in LTS (LTS로 명세화된 철도 신호제어용 프로토콜 검정 및 적합성시험)

  • Seo Mi-Seon;Kim Sung-Un;Hwang Jong-Gyu;Lee Jae-Ho
    • Proceedings of the KSR Conference
    • /
    • 2003.10c
    • /
    • pp.581-586
    • /
    • 2003
  • As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

  • PDF

Distributed and Real-time Integrated Simulation System on Avionics

  • Zhou, Yaoming;Liu, Yaolong;Li, Shaowei;Jia, Yuhong
    • International Journal of Aeronautical and Space Sciences
    • /
    • v.18 no.3
    • /
    • pp.574-578
    • /
    • 2017
  • In order to achieve iterative design in early R&D period, a Distributed and Real-time Integrated Simulation System for avionics based on a Model-Based Systems Engineering (MBSE) method is proposed. The proposed simulation system includes driver, simulation model, monitor, flight visual model and aircraft external model.The effect of this simulation system in iterative design and system verification is testified by several use cases. The result shows that the simulation system, which can play an important role in iterative design and system verification, can reduce project costs and shorten the entire R&D period.

Monte Carlo simulation for verification of nonparametric tests used in final status surveys of MARSSIM at decommissioning of nuclear facilities

  • Sohn, Wook;Hong, Eun-hee
    • Nuclear Engineering and Technology
    • /
    • v.53 no.5
    • /
    • pp.1664-1675
    • /
    • 2021
  • In order to verify the statistical performance of the nonparametric tests used in the MARSSIM approach, all plausible contamination distribution types that can be encountered in a survey area should be investigated. As the first of such investigations, this study aims to perform the verification for normal distribution of the contamination in a survey area by simulating the collection of random samples from it through the Monte Carlo simulation. The results of the simulations conducted for a total of 81 simulation cases showed that Sign test and WRS test both exhibited an excellent statistical performance: 100% for the former and 98.8% for the latter. Therefore, in final status surveys of the MARSSIM approach, a high statistical performance can be expected in applying the nonparametric hypothesis tests to survey areas whose net contamination can be assumed to be normally distributed.

O-RAN Certification/Badging Process and End-to-End Test Case Analysis (O-RAN 공인시험 프로세스와 종단간 시험 기술 분석)

  • J.H. Kim;G.D. Nam
    • Electronics and Telecommunications Trends
    • /
    • v.39 no.1
    • /
    • pp.14-24
    • /
    • 2024
  • The O-RAN Alliance is responsible for defining the technical and testing specifications of open radio access networks, aiming for openness, virtualization, and intelligence in these networks. Recently, the application of Korea Open Testing and Integration Center (OTIC) to this alliance has been approved, enabling the issuance of O-RAN certificates and badges. An OTIC plays a crucial role as a testing facility in performing conformance verification and interoperability tests for O-RAN functions and interfaces. In addition, it enables end-to-end system verification adhering to O-RAN principles and processes. These activities can substantially contribute to enhancing the competitiveness of domestic O-RAN products and activating the corresponding ecosystem. We comprehensively describe the O-RAN certification and badging processes. Additionally, we analyze end-to-end test cases that are essential for the proper deployment and operation of 5G systems including O-RANs.

An Improved Model of Effectiveness on the Implementation of Personal Information Utilization Agreement in Financial Companies (금융회사의 개인정보 이용 동의 구현에 대한 효과성 개선 모델)

  • Jang, Gi-hyun;Lee, Kyung-ho
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.26 no.1
    • /
    • pp.247-257
    • /
    • 2016
  • It is required to have Personal Information Agreement when a financial company uses personal information by the Law of Privacy. So, financial companies have to demand customers the submission of Personal Information Agreement. Thus, financial companies have made Personal Information Agreement in various formats for customers. However, financial companies are lack of a verification process, the cases of collecting invalid Agreement often occurred. This study focuses on the verification process of Personal Information Agreement and the contents of Personal Information Agreement. In conclusion, this study proposes an improved model that added to the process of verification for the concept of Agreement. Based on this study, I hope financial companies to reform their agreement process and to improve the effectiveness on the implementation of Personal Information Utilization Agreement.