基于SMT方法的测试性验证试验方案设计

基于SMT方法的测试性验证试验方案设计

论文摘要

针对现有导弹测试性验证试验方案确定的故障样本量较大以及序贯类试验方案最大样本量上界无法确定的问题,提出一种基于序贯网图检验(SMT)方法的测试性验证试验方案。通过对序贯概率比检验(SPRT)的检验问题进行拆分,在确定检验点数目的基础上,提出一种检验点取值与最大样本量的优化求解方法。同时考虑最大样本量较大的情形,基于承制方风险和使用方风险设计了SMT方法的截尾策略。通过案例验证与经典验证方法以及SPRT方法进行对比分析。结果表明,该方法能控制验证试验的样本量且所确定的平均样本量也优于其他方法,导弹装备的测试性验证试验的实施具备实际指导意义。

论文目录

  • 1 问题描述
  •   1.1 经典测试性验证方案
  •   1.2 SPRT测试性验证方案
  • 2 SMT测试性验证试验方案
  •   2.1 插入点数量确定
  •   2.2 最大样本量确定
  • 3 截尾策略
  • 4 案例验证
  •   4.1 基于SMT方法的验证方案设计
  •   4.2 对比分析
  • 5 结束语
  • 文章来源

    类型: 期刊论文

    作者: 肖支才,王康,史贤俊,聂新华,秦亮

    关键词: 测试性验证,故障样本量,序贯网图检验,序贯概率比检验

    来源: 测控技术 2019年11期

    年度: 2019

    分类: 信息科技,工程科技Ⅱ辑

    专业: 武器工业与军事技术

    单位: 海军航空大学

    基金: 国家自然科学基金(61473306)

    分类号: TJ760.6

    DOI: 10.19708/j.ckjs.2019.11.009

    页码: 47-51

    总页数: 5

    文件大小: 962K

    下载量: 53

    相关论文文献

    标签:;  ;  ;  ;  

    基于SMT方法的测试性验证试验方案设计
    下载Doc文档

    猜你喜欢