指数分布下贝叶斯截尾序贯检验研究

针对具有“高可靠、长寿命”试验特点的计量型产品,为降低产品的抽样验收试验成本,研究了贝叶斯截尾序贯检验。在产品已通过鉴定试验的条件下,使用贝叶斯方法对鉴定试验数据进行分析,给出了指数分布下贝叶斯截尾序贯检验TB的求解步骤。通过与原验收试验方案进行比较研究,验证了贝叶斯截尾序贯检验TB的优良性。结果表明,对高质量水平的产品,所提出的检验TB在保持与原验收试验方案相当的通过验收试验概率的条件下,能够大幅缩减产品的平均试验时间及样本量截尾值,从而很好地降低了产品的抽样验收试验成本。

基于参数优化的截尾序贯检验法

截尾序贯概率比检验法和序贯网图检验法（SMT）是在序贯概率比检验法（SPRT）的基础上发展起来的2种方法,可进一步控制试验次数。但是这些截尾序贯方法的停止边界仍有待优化,本文以最常见的截尾SPRT为例,说明决定停止边界的参数的取值直接影响了最大试验样本量,且存在最佳取值。并以此为基础,对SMT和传统的SPRT进行了综合比较,发现截尾SMT并不优于传统的截尾SPRT,它不过是一种广义形式的截尾序贯检验法,SPRT的研究重点应该是截尾形式的构造。最后本文提供了一种曲线形式的截尾序贯检验法.

设备系统完好率截尾序贯检验方法的研究

一、引言 系统完好率指标是考核设备系统在规定时间内的可用度,该指标是指设备系统工作准备阶段的技术准备完好率和待机准备完好率(如导弹武器系统作战前的战备完好率).目前对系统完好率指标的评定多采用A.Wald提出的SPRT(序贯检验比检验)[1],但用此法解决此类问题我们认为有两个缺陷,其一它不是序贯截尾的情况,由于复杂设备系统的实验费用是相当昂贵的,不允许我们做许多次实验而作不出判决;其二SPRT理论有许多重要方面(如含有讨厌参数的检验以及非参数情形的检验等)均未提到.本文所提到的问题涉及到这两个方面,并参考隔离型序贯假设检验方法,较好地解决了这两方面的问题.对系统完好率指标进行了截尾序贯统计判决,且对系统工作前实际准备时间T所服从的对数正态分布中的未知数未作任何要求.我们认为这种方法是切合工程实际的.

导弹命中精度的序贯截尾概率圆检验方法

针对圆概率偏差检验难以直接计算的问题,提出序贯截尾概率圆检验方法,以目标点为中心,绘制两个同心圆,其中小圆以内区域为接受域,大圆以外区域为拒绝域,中间区域为继续试验域,在此基础上定义了序贯检验的基本决策规则,给出了双方风险及平均试验次数计算模型,提出了两种不同的决策阈值优化计算模型,通过求解优化问题确定接受域及拒绝域半径。利用数值仿真分析了两种不同决策阈值计算方法下检验方案中的各类参数,其中以平均试验次数最小为优化目标的计算模型具有更好的工程实用性。

Poisson分布截尾序贯近似最优检验的研究——以电子商务产品的抽样检验为例

对测量指标服从Poisson分布的电子商务产品进行抽样检验时,为降低抽样检验的试验成本,本文采用样本空间排序法设计Poisson分布计数型截尾序贯近似最优检验方案TS。结果表明,TS方案在保证实际犯两类错误的概率小于给定检验水平的情况下,平均试验次数尽可能达到最小,很好地降低了电子商务产品的抽样检验成本。此外,本文还使用蒙特卡洛法对其准确性进行验证。证实了采用样本空间排序法设计的Poisson分布计数型截尾序贯近似最优检验方案TS具有高可靠性。

给定极小样本量的定量截尾序贯检验法及其应用

对现有截尾序贯检验法作了必要的改进,提出定量截尾序贯检验法。结合导弹命中精度验收试验的工程实际需求,在事先给定几种特小样本量的前提下,针对定量截尾序贯检验法的实际应用展开研究,给出了可应用于实际的检验方案。通过对检验实例的比较分析,说明了方案的优越性。

一种经济的计数型截尾序贯检验

对"高成本、破坏性"的成败型产品成功率的抽样检验,如导弹命中率,引信可靠度等的验收检验,如何减少试验成本是科技工作者与工程人员共同关心的重要问题.对关于平均试验次数最优的截尾序贯检验,研究发现其平均试验次数具有随样本量截尾值增大而减少的趋势.本文从工程实际应用角度出发,将试验成本分解为试验准备费用与试验测试费用,针对试验准备费用与试验测试费用的不同比值,提出了一种关于最佳样本量截尾值的经济的截尾序贯检验方案,从而能更好地节省抽样检验的试验成本.最后,以IEC1123中的截尾序贯试验方案为例,对本文所提方案的优良性进行了验证.

一类截尾序贯检验的渐近最优性

设(x_1,t≥0)是概率空间(Ω,(?),P_θ)上的指数型随机过程,这里θ∈(-∞,∞),ν_t是测度.为了检验假设θ≤θ_0(对立假设是θ>θ_0),我们找出了一类截尾的序贯检验法,其第一类错误概率不超过给定的α且平均观测时间在α→0时是渐近最短的.

基于信号分段处理的截尾型序贯检验算法

本文针对复杂电磁环境下认知无线电中的频谱感知需求,结合能量检测算法和序贯似然比检验理论,提出了一种基于信号分段处理的截尾型序贯检验（truncated SPRT）算法.所提算法通过对接收信号进行分段处理和能量计算,并引入中心极限定理,使得序贯检测的似然比函数服从正态分布,从而大大简化后续计算和理论推导过程.为了保证能够在有限检测时间内做出判决并得到最佳检验结果,引入截尾型判决算法,并推导得到了最佳截尾门限.性能分析和蒙特卡罗仿真结果表明：在达到相同检测性能情况下,相比于现有的能量检测算法,所提算法减少了40%~60%的平均容量样本和频谱感知时间,从而保障了复杂电磁环境下未知目标信号的快速、有效感知.

导弹试验中序贯检验及序贯截尾检验方案的优化设计

针对序贯检验和序贯截尾检验方法在工程实际应用中存在的一些难以解决的问题 ,且给试验带来一定的误差 ,采用蒙特卡洛随机模拟方法和现代优化设计思想 ,对战术导弹试验中的序贯检验和序贯截尾检验方案进行优化设计 ,取得了较好的效果 .虽然针对导弹试验中常用的二项式分布参数的检验进行讨论 ,但这种优化设计方法同样适用于其它分布形式的序贯检验和序贯截尾检验 .

基于二项分布的优化序贯截尾检验方法分析计算

基于二项分布的优化截尾序贯检验法能降低平均试验数,可有效用于导弹试验检验方案中,但该方法存在实际风险计算不准确的特点。文章在深入分析该算法基础上,提出采用马尔科夫链的方法计算试验风险,给出了试验方案制定步骤,并用实例计算说明该方法的正确性及可行性。

基于序贯截尾检验的激光制导炸弹精度评估方法研究

通过CEP的计算方法,推导得到激光制导炸弹的落点偏差。基于序贯截尾检验方法,采用Monte-Carlo法仿真得到截尾数,通过分析不同的CEP指标,对激光制导炸弹的投放精度进行评估。仿真试验亦验证了在设定的截尾数范围内,增加投弹数量可以适当提高激光制导炸弹投放精度指标。

基于序贯截尾检验的一维修正弹精度评估方法

基于序贯截尾检验方法,对一维修正弹的落点密集度的评估方法进行了研究,采用Monte-carlo法给出了数值算例,仿真计算结果表明,通过序贯截尾检验方法,能够有效减少试验次数,缩短试验周期,能够为该型信息化弹药的试验鉴定提供理论参考,具有较强的理论价值和一定的参考意义。

计数型截尾序贯保证试验的研究

针对"高成本、破坏性"试验特点的计数型产品,为减少产品的抽样验收试验成本,对截尾序贯型保证试验进行了研究。在产品已通过鉴定试验的条件下,采用贝叶斯分析方法对鉴定试验数据进行综合,给出了成败型产品成功率参数P的截尾序贯型保证试验T^A的相关理论及方案设计方法.研究结果表明,对高质量水平的产品,截尾序贯保证试验T^A与原试验方案T^(OA)相比具有相当的通过验收试验的概率水平,同时能大幅度减少产品的平均试验次数等优点。采用实例分析方式,对截尾序贯保证试验T^A的设计方法进行了详细说明,并通过与原试验方案T^(OA)的操作特征曲线(OC)及平均试验次数(ASN)曲线的比较,进一步对截尾序贯型保证试验方案的优良性进行了验证。

一维修正弹任务可靠度的序贯截尾检验方法

目的研究并提出一种基于序贯截尾检验方法的任务可靠度评定方法。方法将序贯截尾检验方法引入一维修正弹任务可靠度评定过程中,建立检验方法数学描述模型,并结合工程实例,综合应用Monte-Carlo法,给出数值算例和任务可靠度检验方案,验证方法的有效性和可行性。结果与二项式经典假设检验方法(所需试验样本量N=54)相比,采用序贯截尾检验方法能够显著减少试验样本数量,给出了6种接收方案和9种拒收方案,其中接收方案最少仅需要16个试验样本,最大需要38个试验样本;拒收方案最少仅需要4个试验样本,最大需要38个试验样本。结论该方法能够显著缩短试验周期、减少试验子样,与传统经典假设检验方法相比,更适合试验工程应用。

序贯截尾检验法在一维修正增程弹密集度评估中的应用

根据一维修正增程弹经济成本与传统弹药相比较高的特点,本文借鉴序贯截尾检验理论方法,以修正弹密集度试验为例进行评估应用分析,该方法相对传统的点估计法能够有效减少样本数量,提高试验效费比,可为修正弹密集度试验设计提供参考。

Bayes序贯检验方法研究

基于Bayes验后风险定义 ,系统研究了Bayes序贯检验和序贯截尾检验方法 ,给出了简洁实用的Bayes序贯检验和序贯截尾检验工程设计方法 。

关于序贯检验相关研究的文献综述

序贯检验是一种采用“试试看,看看试”试验策略的多阶段抽样检验方案,其相较于传统的固定样本量的抽验方案,能大幅度地减小平均试验样本量与平均试验时间,从而有效地降低产品抽样检验的试验成本。序贯检验在产品的质量与可靠性检验,药物及疫苗有效性与安全性等的检验中发挥重要的作用。目前,序贯检验的研究仍然是序贯分析研究热点之一。本文对序贯检验进行文献综述,全面回顾了该领域的相关研究成果,从计量型与计数型两个方面系统地梳理了序贯检验的基本思想和抽验原则,并对截尾序贯最优检验这一重要的检验方案的进行了详细论述,总结了截尾序贯最优检验的优越性,并就截尾序贯最优检验未来的一些研究方向进行了讨论,为后续研究提供参考。

改进的T-SPRT在电子商务产品质量检验中的应用

为保证消费者合法权益以及商家和企业的长久利益,本文对质量指标服从正态分布的电子商务产品在均值参数已知时,对标准差σ参数的截尾序贯检验方案进行了研究。给出了σ参数关于截尾序贯概率比检验(T-SPRT)的截尾序贯检验方案T的定义,方案犯两类错误的概率、平均试验样本量以及综合平均实验样本量等评价指标的计算表达式。并从截距项对T-SPRT方案T进行改进,给出了改进方案Tt的搜索步骤,并利用仿真实验验证方案Tt和评价指标的精确性。仿真结果表明,其仿真实验评价指标值与统计计算得到的评价指标值基本保持一致,表明本文建立的统计指标计算表达式和Tt方案是正确的。与T-SPRT方案T相比,改进方案Tt能更好的控制犯两类错误的概率,保证了实验双方的利益。同时,在样本量截尾值相等时,Tt方案拥有更少的综合平均实验样本量,其下降的比率在10%左右,使得实验成本得到了大幅度减少。

计数型最小样本量截尾值的序贯检验

对具有'高成本、破坏性'计数型产品的可靠性验收试验,序贯检验方案的样本量截尾值对试验的成本预算起着决定性作用.为降低试验的成本预算,本文对最小样本量截尾值序贯检验(minimum truncated sample size sequential test, MTST)进行研究,给出MTST的定义、性质及求解方法.通过与目前广泛采用的国际标准IEC1123及序贯网图检验进行比较,结果表明MTST显著地减少了样本量截尾值.为进一步减少序贯检验的样本量截尾值,当已知产品质量的先验信息时,本文研究了Bayes最小样本量截尾值序贯检验方案(Bayesian minimum truncated sample size sequential test, BMTST),与MTST的比较表明, BMTST极大地减少了序贯检验的样本量截尾值及平均试验次数,能更好地缩减'高成本、破坏性'产品的试验成本预算及平均试验费用.