空军工程大学学报（自然科学版）
空軍工程大學學報（自然科學版）
공군공정대학학보（자연과학판）
JOURNAL OF AIR FORCE ENGINEERING UNIVERSITY (NATURAL SCIENCE EDITION)
2000年
1期
76-78
,共3页
测试性验证%抽样方案%二项分布%软件包
測試性驗證%抽樣方案%二項分佈%軟件包
측시성험증%추양방안%이항분포%연건포
在测试性验证中首选的二项分布是离散取值的,由于计算困难,确定抽样方案通常采用一些变通的方法.通过对二项分布函数的研究,证明它是关于概率p和试验中允许失败次数r的单调增函数,是关于试验次数n的单调减函数.根据这些结论,提出了求解二项分布的联立不等式的精确算法,在可能的求解区域采用多变量折半搜索的算法,确定联立不等式的最优解,从而可以快速准确地获得测试性验证的抽样方案.最后,将计算结果与IEC1123作了比较,证明了此算法的正确性.
在測試性驗證中首選的二項分佈是離散取值的,由于計算睏難,確定抽樣方案通常採用一些變通的方法.通過對二項分佈函數的研究,證明它是關于概率p和試驗中允許失敗次數r的單調增函數,是關于試驗次數n的單調減函數.根據這些結論,提齣瞭求解二項分佈的聯立不等式的精確算法,在可能的求解區域採用多變量摺半搜索的算法,確定聯立不等式的最優解,從而可以快速準確地穫得測試性驗證的抽樣方案.最後,將計算結果與IEC1123作瞭比較,證明瞭此算法的正確性.
재측시성험증중수선적이항분포시리산취치적,유우계산곤난,학정추양방안통상채용일사변통적방법.통과대이항분포함수적연구,증명타시관우개솔p화시험중윤허실패차수r적단조증함수,시관우시험차수n적단조감함수.근거저사결론,제출료구해이항분포적련립불등식적정학산법,재가능적구해구역채용다변량절반수색적산법,학정련립불등식적최우해,종이가이쾌속준학지획득측시성험증적추양방안.최후,장계산결과여IEC1123작료비교,증명료차산법적정학성.
