• Title/Summary/Keyword: Coverage estimation

Search Result 204, Processing Time 0.025 seconds

The Study for ENHPP Software Reliability Growth Model based on Burr Coverage Function (Burr 커버리지 함수에 기초한 ENHPP소프트웨어 신뢰성장모형에 관한 연구)

  • Kim, Hee-Cheul
    • Journal of the Korea Society of Computer and Information
    • /
    • v.12 no.4
    • /
    • pp.33-42
    • /
    • 2007
  • Accurate predictions of software release times, and estimation of the reliability and availability of a software product require quantification of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous poission process(ENHPP). In this paper, exponential coverage and S-shaped model was reviewed, proposes the Kappa coverage model, which maked out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics and Kolmogorov distance, for the sake of efficient model, was employed. From the analysis of mission time, the result of this comparative study shows the excellent performance of Burr coverage model rather than exponential coverage and S-shaped model using NTDS data. This analysis of failure data compared with the Kappa coverage model and the existing model(using arithmetic and Laplace trend tests, bias tests) is presented.

  • PDF

Representative of Sample and Efficiency of Estimation (표본의 대표성과 추정의 효율성)

  • Kim, Kyu-Seong
    • Survey Research
    • /
    • v.6 no.1
    • /
    • pp.39-62
    • /
    • 2005
  • In this paper we investigate some concepts frequently called in sample surveys such as 'representative of sample' as well as 'consistency', 'unbiasedness', and 'efficiency' in estimation. The first is strongly related with sampling procedure including coverage rate of survey population, response rate in establishment survey, and recruit rate of final samples. The others, however, are concerned with both sampling design and corresponding estimators simultaneously. Whereas both consistency and unbiasedness are based on the representative sample, efficiency does not depend on the representative sample. The representative of sample can be increased by raising the rate of coverage, response and recruit as well. Consistency may be investigated according to variables of interest and auxiliary variables. The well-known raing-ratio weighting method is a method to increase consistency of auxiliary variables by means of matching population size in each cell. Efficiency is not directly related with the representative of sample, and allocation methods such as proportional and Neyman allocation in stratified sampling and post-stratification are all methods to increase the efficiency of estimation under the condition of satisfying the representative of sample.

  • PDF

The solid angle estimation of acetabular coverage of the femoral head using 3D method (입체각 측정을 통한 대퇴골두에 대한 관골구 coverage 측정)

  • Choi, K.H.;Kim, M.C.;Lim, C.T.;Kim, S.I.
    • Proceedings of the KOSOMBE Conference
    • /
    • v.1997 no.05
    • /
    • pp.123-126
    • /
    • 1997
  • We present a method for the estimation of 3D solid angle assessment of the acetabular coverage of the femoral head in 3D space. At first, femoral head and acetabulum is segmented from the original CT scan images. The slice thickness is 1.5mm and the number of slices is usually 30-40 to cover the entire acetabulum. The superior half of the femoral head is modeled as part of a sphere. Thus, the axial cross sections of the upper half of the femoral head are also modeled as circles. A set of points from each outline image of femoral head is fitted recursively into a circle by minimizing root-mean-square (RMS) error. With these fitted circles, a center point of the femoral head model is evaluated. This is a reference point for calculating the solid angle of the acetabular inner surface. Next, the tangent lines connecting from a set of points of the acetabular edge to the center of the fitted sphere are obtained. The lines pass through the unit sphere whose center is the same as that of the femoral head. With the points on the unit sphere, we calculate area and estimate the solid angle. Based on this solid angle, the deformity of the acetabulum is analyzed. In case of normal subject, the solid angle is about 4.3 (rad) and acetabular coverage is 68%.

  • PDF

Comparison of Some Nonparametric Statistical Inference for Logit Model (로짓모형의 비모수적 추론의 비교)

  • 정형철;김대학
    • The Korean Journal of Applied Statistics
    • /
    • v.15 no.2
    • /
    • pp.355-366
    • /
    • 2002
  • Nonparametric statistical inference for the parameter of logit model were examined. Usually nonparametric approach is milder than parametric approach based on normal theory assumption. We compared the two nonparametric methods for legit model, the bootstrap and random permutation in the sense of coverage probability. Monte Carlo simulation is conducted for small sample cases. Empirical power of hypothesis test and coverage probability for confidence interval estimation were presented for simple and multiple legit model respectively. An example were also introduced.

Choosing between the Exact and the Approximate Confidence Intervals: For the Difference of Two Independent Binomial Proportions

  • Lee, Seung-Chun
    • Communications for Statistical Applications and Methods
    • /
    • v.16 no.2
    • /
    • pp.363-372
    • /
    • 2009
  • The difference of two independent binomial proportions is frequently of interest in biomedical research. The interval estimation may be an important tool for the inferential problem. Many confidence intervals have been proposed. They can be classified into the class of exact confidence intervals or the class of approximate confidence intervals. Ore may prefer exact confidence interval s in that they guarantee the minimum coverage probability greater than the nominal confidence level. However, someone, for example Agresti and Coull (1998) claims that "approximation is better than exact." It seems that when sample size is large, the approximate interval is more preferable to the exact interval. However, the choice is not clear when sample, size is small. In this note, an exact confidence and an approximate confidence interval, which were recommended by Santner et al. (2007) and Lee (2006b), respectively, are compared in terms of the coverage probability and the expected length.

The Study for ENHPP Software Reliability Growth Model Based on Kappa(2) Coverage Function (Kappa(2) 커버리지 함수를 이용한 ENHPP 소프트웨어 신뢰성장모형에 관한 연구)

  • Kim, Hee-Cheul
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.11 no.12
    • /
    • pp.2311-2318
    • /
    • 2007
  • Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times, and estimation of the reliability and availability of a software product require Release times of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-shaped model was reviewed, proposes the Kappa coverage model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics and Kolmogorov distance, for the sake of efficient model, was employed. Numerical examples using real data set for the sake of proposing Kappa coverage model was employed. This analysis of failure data compared with the Kappaa coverage model and the existing model(using arithmetic and Laplace trend tests, bias tests) is presented.

The Comparative Study for ENHPP Software Reliability Growth Model based on Modified Coverage Function (변형 커버리지 함수를 고려한 ENHPP 소프트웨어 신뢰성장 모형에 관한 비교 연구)

  • Kim, Hee-Cheul;Kim, Pyong-Koo
    • Journal of the Korea Society of Computer and Information
    • /
    • v.12 no.6
    • /
    • pp.89-96
    • /
    • 2007
  • Finite failure NHPP models presented in the literature exhibit either constant. monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times. and estimation of the reliability and availability of a software product require quality of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-type model was reviewed, proposes modified(the superosition and mixture) model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. model selection based on SSE statistics for the sake of efficient model, was employed.

  • PDF

The Study for ENHPP Software Reliability Growth Model based on Superposition Coverage Function (중첩커버리지 함수를 고려한 ENHPP 소프트웨어 신뢰성장 모형에 관한 연구)

  • Kim, Hee-Cheul;Shin, Hyun-Cheul
    • Convergence Security Journal
    • /
    • v.7 no.3
    • /
    • pp.7-13
    • /
    • 2007
  • Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times, and estimation of the reliability and availability of a software product require quantification of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous poission process (ENHPP). In this paper, exponential coverage and S-shaped model was reviewed, proposes the superposition model, which maked out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics for the sake of efficient model, was employed.

  • PDF

Comparison of semiparametric methods to estimate VaR and ES (조건부 Value-at-Risk와 Expected Shortfall 추정을 위한 준모수적 방법들의 비교 연구)

  • Kim, Minjo;Lee, Sangyeol
    • The Korean Journal of Applied Statistics
    • /
    • v.29 no.1
    • /
    • pp.171-180
    • /
    • 2016
  • Basel committee suggests using Value-at-Risk (VaR) and expected shortfall (ES) as a measurement for market risk. Various estimation methods of VaR and ES have been studied in the literature. This paper compares semi-parametric methods, such as conditional autoregressive value at risk (CAViaR) and conditional autoregressive expectile (CARE) methods, and a Gaussian quasi-maximum likelihood estimator (QMLE)-based method through back-testing methods. We use unconditional coverage (UC) and conditional coverage (CC) tests for VaR, and a bootstrap test for ES to check the adequacy. A real data analysis is conducted for S&P 500 index and Hyundai Motor Co. stock price index data sets.

Simulation of Surface Coverage Made by Impeller Type Shot-peening Machines (임펠러식 쇼트피닝 머신에 의한 표면 커버리지 시뮬레이션)

  • Shin, Ki-Hoon
    • Korean Journal of Computational Design and Engineering
    • /
    • v.19 no.1
    • /
    • pp.12-18
    • /
    • 2014
  • Shot-peening is frequently used on various mechanical parts because it can improve the fatigue life of components by generating compressive residual stresses on the surface. This can be done by repeatedly hitting the work-piece surface with small balls and making indentations on it. In fact, finding optimal peening time among various peening parameters is the most important. Under-peening can not improve the fatigue life sufficiently while over-peening causes cracks and reduces fatigue life in contrast. In general, optimal peening time is experimentally determined by measuring arc-height using Almen-strip in accordance with SAE J442 standard. To save the time and efforts spent in carrying out experiments to find optimal peening time, this paper presents a computer simulation algorithm for the estimation of surface coverage made by impeller type shot-peening machines (PMI-0608). Surface coverage is defined as the proportion of the work-piece surface that has been indented in a given time of shot-peening. An example (standard tensile test specimen) is presented to validate the proposed method.