首页 | 本学科首页   官方微博 | 高级检索  
     


A plant-capture approach for achieving complete coverage of a population
Authors:I.B.J. Goudie
Affiliation:1. School of Mathematical &2. Computational Sciences, University of St Andrews , St Andrews, KY16 9SS, Scotland
Abstract:Sightings of, any member of a target population of unknown size occur according to a homogeneous Poisson process. The Poisson processes are independent and have a common rate. Individuals are tagged when first sighted. The population is augmented by the insertion of known number of planted individuals who have already been tagged and whose behaviour is identical to that of the other members. Consideration is given to two stopping rules for determining, within a specified error probability, when all members of the target population have been seen. A comparison is made of the average time to termination under these two rules. It is shown that, when the target population is small, the use of plants can provide a useful reduction in the average time taken to achieve complete coverage within the specified error probability.
Keywords:average time to termination  homogeneous Poisson process  recapture debugging  sequential tagging  software reliability  stopping rules
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号