测试性验证中抽样方案的精确算法
徐忠伟
周玉芬
高锡俊
1.空军工程大学,工程学院航空电子工程系,陕西,西安,7100382.空军工程大学,工程学院航空电子工程系,陕西,西安,7100383.空军工程大学,工程学院航空电子工程系,陕西,西安,710038
摘要：在测试性验证中首选的二项分布是离散取值的,由于计算困难,确定抽样方案通常采用一些变通的方法.通过对二项分布函数的研究,证明它是关于概率p和试验中允许失败次数r的单调增函数,是关于试验次数n的单调减函数.根据这些结论,提出了求解二项分布的联立不等式的精确算法,在可能的求解区域采用多变量折半搜索的算法,确定联立不等式的最优解,从而可以快速准确地获得测试性验证的抽样方案.最后,将计算结果与IEC1123作了比较,证明了此算法的正确性.
关键词：测试性验证抽样方案二项分布软件包
分类号：O24(计算数学)
论文发表日期：2000-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 76-78 )
英文信息