• 한국전자통신학회논문지
• /
• 제5권5호
• /
• pp.435-443
• /
• 2010

확률적 특성을 가지는 시스템의 시험을 위해서는 시험 입력을 일정 횟수만큼 반복하여 제공하고 관찰된 데이터를 기반으로 판정이 내려져야 한다. 구간 추정 기법을 이용하여 관찰된 데이터로부터 확률 값이 올바른지 여부를 판단할 수 있으며, 이 때 적절한 신뢰구간의 선택은 시험의 품질을 결정하는 중요한 요인이 된다. 본 논문에서는 다양한 크기의 표본에 대해 대표적인 구간 추정 기법인 Wald 신뢰구간과 Agresti-Coull 신뢰구간을 비교 분석한다. 각 신뢰구간이 확률 값 시험에 사용되었을 경우 올바른 구현 제품이 시험을 통과할 확률과 잘못된 구현제품이 시험을 통과하지 못할 확률을 기반으로 비교 분석을 수행하며, 확률 값이 올바른지를 판단하기 위한 양측검정뿐만 아니라 확률 값이 기준 확률 이상인지 여부를 판단하기 위한 단측검정을 사용하는 경우에 대해서도 비교 분석을 수행한다. 비교 분석 결과 양측검정의 경우 Agresti-Coull 신뢰구간을 사용할 것을 추천하며, 단측검정의 경우 큰 크기의 표본에 대해서는 Agresti-Coull 신뢰구간을, 적은 크기의 표본에 대해서는 Wald 신뢰구간 또는 Agresti-Coull 신뢰구간을 선택적으로 사용할 것을 추천한다.

• 한국정보통신학회논문지
• /
• 제23권10호
• /
• pp.1195-1200
• /
• 2019

본 논문은 그룹검사(Group Testing)에 대한 검출 알고리즘을 제안한다. 그룹검사는 다수의 샘플 중 극히 일부의 결함 샘플을 찾는 문제로써 이것은 압축센싱 문제와 유사하다. 본 논문에서는 잡음이 없는 그룹검사를 정의하고, 결함 샘플을 검출하기 위한 확률 기반의 알고리즘을 제안한다. 제안하는 알고리즘은 입력과 출력 신호 간 외부확률들이 서로 교환하여 출력 신호의 사후 확률이 최대가 되도록 구성한다. 그리고 검출 알고리즘에 대한 모의실험을 통해 그룹검사 문제에서 결함 샘플을 찾는다. 본 연구에 대한 모의시험 결과는 정보이론의 하한치와 비교하여 입력과 출력 신호 크기에 따라 실패확률이 얼마나 차이가 있는지 확인한다.

• 품질경영학회지
• /
• 제22권4호
• /
• pp.102-110
• /
• 1994

We investigate the small-sample behavior of the probability of rejection curves and its performance for a equivalence testing procedure based on confidence intervals which was developed with a motivation from bioequivalence studies. This type of equivalence studies are conducted frequently in pharmaceutical industries to compare the relative bioavailabilty of two formulations of a drug and can be applied various fields where assurance of quality equivalence is needed. From the Monte-Carlo simulation results we suggest proper sample sizes for the equivalence testing procedure.

• 대한용접접합학회:학술대회논문집
• /
• 대한용접접합학회 2002년도 Proceedings of the International Welding/Joining Conference-Korea
• /
• pp.688-693
• /
• 2002

Adhesive bonding is becoming one of the popular joining techniques in metal industries, since it has some advantages over other techniques such as welding and diffusion bonding, e.g., any dissimilar metals are easily adhesive-bonded together. In this study, the experiments were carried out in order to provide the statistical data with strength evaluation methods: tension, shear and four-point bending tests for thermoplastic epoxy resin based adhesive-bonded metal joints. We should certificate on the probability of the adhesive strength that has the tendency of brittle fracture, the adhesive bonding strength between metals with thermoplastic adhesive has the best probability at four-point bending test. The strength testing method that has higher probability is four-point bending test, shear test and tensile test in order.

• 한국임상수의학회지
• /
• 제27권4호
• /
• pp.421-426
• /
• 2010

In view of free from bluetongue (BT) in the domestic cattle population in Korea, the key of quarantine testing for BT virus (BTV) infection is detection of cattle previously exposed to the virus. The objective of this study was to estimate the probability of detecting a cattle infected with BTV using a stochastic modeling analysis of existing quarantine testing data. Three testing scenarios were considered in this study: serological testing of all animals in all imported lots (scenario 1), serological testing of a sample of cattle from all imported lots (scenario 2), and serological testing of 50% of imported lots (scenario 3). In scenario 2 and 3, it was assumed that cattle were sampled (sample size) within each lot to detect 5% of the cattle in each lot with a 95% confidence, taking into account diagnostic sensitivity of the ELISA (enzyme-linked immunosorbent assay). The model output was the total number of BTV-infected cattle and the prevalence of BTV infection in imported cattle from the US, Australia, Canada and Japan. Compared to the scenario 1, the probability of detecting a BTV-infected cattle was estimated to be 19% and 1.6% in scenario 2 and 3, respectively. Furthermore, the analyses showed a 95% confidence that BTV prevalence was less or equal to $9.7{\times}10^{-4}$ (median = $1.5{\times}10^{-5}$), indicating that, for the scenario 2 and 3 with serological testing for a sample of cattle, the risk of introducing an exotic strain of BTV into Korea through the importation of live cattle would not be acceptable.

• 한국정보전자통신기술학회논문지
• /
• 제13권2호
• /
• pp.95-101
• /
• 2020

In this paper, we consider a group testing (GT) framework which is to find a set of defective samples out of a large number of samples. To handle this framework, we propose a maximum product detection algorithm (MPDA) which is based on maximum a posteriori probability (MAP). The key idea of this algorithm exploits iterative detection to propagate belief to neighbor samples by exchanging marginal probabilities between samples and output results. The belief propagation algorithm as a conventional approach has been used to detect defective samples, but it has computational complexity to obtain the marginal probability in the output nodes which combine other marginal probabilities from the sample nodes. We show that the our proposed MPDA provides a benefit to reduce computational complexity up to 12% in runtime, while its performance is only slightly degraded compared to the belief propagation algorithm. And we verify the simulations to compare the difference of performance.

• 품질경영학회지
• /
• 제30권3호
• /
• pp.186-194
• /
• 2002

In this paper we introduce formulae for estimating the failure rate of a large scaled software by using the Bayesian rule when a black-box random testing which selects an element(test case) at random with equally likely probability, is performed. A program or software can be treated as a mathematical function with a well-defined (input)domain and range. For a large scaled software, their input domains can be partitioned into multiple subdomains and exhaustive testing is not generally practical. Testing is proceeding with selecting a subdomain, and then picking a test case from within the selected subdomain. Whether or not the proportion of selecting one of the subdomains is assumed probability, we developed the formulae either case by using Bayesian rule with gamma distribution as a prior distribution.

• 한국정보전자통신기술학회논문지
• /
• 제11권5호
• /
• pp.572-578
• /
• 2018

본 논문은 조합 문제의 하나로써 그룹검사(Group Testing)의 성능 하한치를 유도한다. 그룹검사는 2차 세계대전 동안 군인들의 매독 감염을 검진하기 위해 시작되었고 지금까지 오랫동안 학문적 기초를 마련하였다. 최근 들어 그룹검사의 활용가치가 증대되어 재발견됨으로써 학계에서 큰 관심을 받고 있다. 그룹검사는 다수의 샘플 중에서 극소수의 결함 샘플을 찾는 문제와 동일하며, 이것은 압축센싱(Compressed Sensing)의 선형 역문제(inverse problem)와 유사하다. 본 논문에서는 그룹검사가 무엇인지 살펴보고 그룹검사의 관련 연구내용을 알아본다. 정보이론에서 사용한 조건부 엔트로피와 에러율 간의 관계를 밝히는 정리를 이용하여 결함 샘플을 찾기 위해 필요한 검사 수에 대한 최소 에러율의 경계값을 도출할 뿐만 아니라 기존 연구와 어떠한 차이점이 있는지 살펴본다.

• Journal of the Korean Data and Information Science Society
• /
• 제19권4호
• /
• pp.1391-1396
• /
• 2008

In this paper, we consider two components system which the lifetimes have Marshall and Olkin's bivariate exponential model with bivariate type I censored data. We propose a Bayesian independent test procedure for above model using fractional Bayes factor method by O'Hagan based on improper prior distributions. And we compute the fractional Bayes factor and the posterior probabilities for the hypotheses, respectively. Also we select a hypothesis which has the largest posterior probability. Finally a numerical example is given to illustrate our Bayesian testing procedure.

• 수산해양교육연구
• /
• 제27권4호
• /
• pp.1160-1171
• /
• 2015

The purpose of this study is to design and develop a computer based learning and test system, which supports not only testing learner's ability but also learning contents with giving feedback and hint. In order to design and develop a computer based learning and test system, Visual Basic dot Net software is used. The system works in three stages: sequential problem solving stage, randomized problem solving stage, and the challenge stage of pass/fail. The results of this study are as follows: (a) We propose the context of design for the computer based learning and test system. (b) We design and develop items display function with sequential and random algorithm in this system. (c) We design and develop pass/fail function by applying SPRT(Sequential Probability Ratio Testing) algorithm in the computer based learning and test system.