• 제목/요약/키워드: Model-Based Testing

검색결과 1,612건 처리시간 0.025초

Tests for homogeneity of proportions in clustered binomial data

  • Jeong, Kwang Mo
    • Communications for Statistical Applications and Methods
    • /
    • 제23권5호
    • /
    • pp.433-444
    • /
    • 2016
  • When we observe binary responses in a cluster (such as rat lab-subjects), they are usually correlated to each other. In clustered binomial counts, the independence assumption is violated and we encounter an extra-variation. In the presence of extra-variation, the ordinary statistical analyses of binomial data are inappropriate to apply. In testing the homogeneity of proportions between several treatment groups, the classical Pearson chi-squared test has a severe flaw in the control of Type I error rates. We focus on modifying the chi-squared statistic by incorporating variance inflation factors. We suggest a method to adjust data in terms of dispersion estimate based on a quasi-likelihood model. We explain the testing procedure via an illustrative example as well as compare the performance of a modified chi-squared test with competitive statistics through a Monte Carlo study.

Quantitative Reliability Assessment for Safety Critical System Software

  • Chung, Dae-Won
    • Journal of Electrical Engineering and Technology
    • /
    • 제2권3호
    • /
    • pp.386-390
    • /
    • 2007
  • At recent times, an essential issue in the replacement of the old analogue I&C to computer-based digital systems in nuclear power plants becomes the quantitative software reliability assessment. Software reliability models have been successfully applied to many industrial applications, but have the unfortunate drawback of requiring data from which one can formulate a model. Software that is developed for safety critical applications is frequently unable to produce such data for at least two reasons. First, the software is frequently one-of-a-kind, and second, it rarely fails. Safety critical software is normally expected to pass every unit test producing precious little failure data. The basic premise of the rare events approach is that well-tested software does not fail under normal routine and input signals, which means that failures must be triggered by unusual input data and computer states. The failure data found under the reasonable testing cases and testing time for these conditions should be considered for the quantitative reliability assessment. We presented the quantitative reliability assessment methodology of safety critical software for rare failure cases in this paper.

EVALUATION OF VEHICLE DYNAMIC CONTROL FOR ROLOVER PREVENTION

  • Ungoren, A.Y.;Peng, H.
    • International Journal of Automotive Technology
    • /
    • 제5권2호
    • /
    • pp.115-122
    • /
    • 2004
  • Evaluation of active safety control systems usually relies heavily on field testing and is time-consuming and costly. Advances in computer simulations make it possible to perform exhaustive design trials and evaluations before field testing, and promise to dramatically reduce development cost and cycle time. In this paper, a comprehensive simulation-based evaluation procedure is proposed, which combines standard evaluation maneuvers, worst-case techniques, and a driver model for closed-loop path following evaluations. A vehicle dynamic controller (VDC) for a popular Sport Utility Vehicle is evaluated using the proposed procedure. Simulation results show that the proposed procedure can be used to assess the performance of the VDC under various conditions and provides valuable information for the re-design of the VDC.

Estimation of Bivariate Exponential Model under Censored Data

  • Cho, Kil-Ho;Kim, Young-Il
    • Journal of the Korean Data and Information Science Society
    • /
    • 제14권4호
    • /
    • pp.751-758
    • /
    • 2003
  • We consider a life testing experiment in which several two-component shared parallel systems are put on test, and the test is terminated at a predesigned experiment time. The bivariate data obtained from such a system-level life testing can be classified into three cases: 1) the case of failed two components with known failures times, 2) the case of censored two components, and 3) the case of one censored component and the other failed component of which the failure time might be known or unknown. In this thesis, the likelihood estimators for Freund's bivariate exponential life distribution under above censoring scheme are obtained. Results of comparative studies based on Monte Carlo simulation are presented.

  • PDF

Evaluation of Internally Cured Concrete Pavement Using Environmental Responses and Critical Stress Analysis

  • Kim, Kukjoo;Chun, Sanghyun
    • International Journal of Concrete Structures and Materials
    • /
    • 제9권4호
    • /
    • pp.463-473
    • /
    • 2015
  • Three full-scale instrumented test slabs were constructed and tested using a heavy vehicle simulator (HVS) to evaluate the structural behavior of internally cured concrete (ICC) for use in pavements under Florida condition. Three mix designs selected from a previous laboratory testing program include the standard mixture with 0.40 water-cement ratio, the ICC with 0.32 water-cement ratio, and the ICC mixture with 0.40 water-cement ratio. Concrete samples were prepared and laboratory tests were performed to measure strength, elastic modulus, coefficient of thermal expansion and shrinkage properties. The environmental responses were measured using strain gages, thermocouples, and linear variable differential transformers instrumented in full-scale concrete slabs. A 3-D finite element model was developed and calibrated using strain data measured from the full-scale tests using the HVS. The results indicate that the ICC slabs were less susceptible to the change of environmental conditions and appear to have better potential performance based on the critical stress analysis.

Visualization of Tooth for Non-Destructive Evaluation from CT Images

  • Gao, Hui;Chae, Oksam
    • 비파괴검사학회지
    • /
    • 제29권3호
    • /
    • pp.207-213
    • /
    • 2009
  • This paper reports an effort to develop 3D tooth visualization system from CT sequence images as a part of the non-destructive evaluation suitable for the simulation of endodontics, orthodontics and other dental treatments. We focus on the segmentation and visualization for the individual tooth. In dental CT images teeth are touching the adjacent teeth or surrounded by the alveolar bones with similar intensity. We propose an improved level set method with shape prior to separate a tooth from other teeth as well as the alveolar bones. Reconstructed 3D model of individual tooth based on the segmentation results indicates that our technique is a very conducive tool for tooth visualization, evaluation and diagnosis. Some comparative visualization results validate the non-destructive function of our method.

Low Attenuation Waveguide for Structural Health Monitoring with Leaky Surface Waves

  • Bezdek, M.;Joseph, K.;Tittmann, B.R.
    • 비파괴검사학회지
    • /
    • 제32권3호
    • /
    • pp.241-262
    • /
    • 2012
  • Some applications require structural health monitoring in inaccessible components. This paper presents a technique useful for Structural Health Monitoring of double wall structures, such as double wall steam pipes and double wall pressure vessels separated from an ultrasonic transducer by three layers. Detection has been demonstrated at distances in excess of one meter for a fixed transducer. The case presented here is for one of the layers, the middle layer, being a fluid. For certain transducer configurations the wave propagating in the fluid is a wave with low velocity and attenuation. The paper presents a model based on wave theory and finite element simulation; the experimental set-up and observations, and comparison between theory and experiment. The results provide a description of the technique, understanding of the phenomenon and its possible applications in Structural Health Monitoring.

Wireless Impedance Sensor with PZT-Interface for Prestress-Loss Monitoring in Prestressed Concrete Girder

  • Nguyen, Khac-Duy;Lee, So-Young;Kim, Jeong-Tae
    • 비파괴검사학회지
    • /
    • 제31권6호
    • /
    • pp.616-625
    • /
    • 2011
  • Ensuring the designed prestress force is very important for the safety of prestressed concrete bridge. The loss of prestress force in tendon could significantly reduce load carrying capacity of the structure. In this study, an automated prestress-loss monitoring system for prestressed concrete girder using PZT-interface and wireless impedance sensor node is presented. The following approaches are carried out to achieve the objective. Firstly, wireless impedance sensor nodes are designed for automated impedance-based monitoring technique. The sensor node is mounted on the high-performance Imote2 sensor platform to fulfill high operating speed, low power requirement and large storage memory. Secondly, a smart PZT-interface designed for monitoring prestress force is described. A linear regression model is established to predict prestress-loss. Finally, a system of the PZT-interface interacted with the wireless sensor node is evaluated from a lab-scale tendon-anchorage connection of a prestressed concrete girder.

MEMS 디바이스의 고온고습 신뢰성시험 (High Temperature and High Humidity Test for MEMS Devices)

  • 이영규;박부희;장중순
    • 한국신뢰성학회지:신뢰성응용연구
    • /
    • 제5권4호
    • /
    • pp.487-500
    • /
    • 2005
  • MEMS devices usually have micro actuators contained in a cavity, If the pressure level of testing chamber is higher than that of cavity, moisture will ingress into the cavity, which may cause critical failure such as stiction of the moving parts. To design an accelerated life test based on high temperature and high humidity, such a phenomena should be considered. In this study, a throughput model that can estimate the amount of moisture ingress is used to decide the testing time and conditions of a high temperature and high humidify test.

  • PDF

A Bootstrap Test of Independence for an Absolutely Continuous Bivariate Exponential Model

  • Lee, In Suk;Kim, Dal Ho;Cho, Jang Sik
    • 품질경영학회지
    • /
    • 제24권2호
    • /
    • pp.77-86
    • /
    • 1996
  • In this paper, we consider the problem of testing independence in the absolutely continuous bivariate exponential distribution of Block and Basu(1974). We construct a bootstrap procedure for testing zero and non-zero values of the parameter ${\lambda}_3$ which measures the degree of dependence and compare the power of the bootstrap test with likelihood ratio test(LRT) by Gupta et al.(1984) and the test based on maximum likelihood estimator(MLE) $\hat{{\lambda}}_3$ by Hanagal and Kale(1991) for small and moderate sample sizes.

  • PDF