一种用于模型检验的符号检验法

模型检验是保证模型可信度的重要手段,根据模型输出的不同,应选用不同的检验方法.模型检验中,通常很难事先预知模型输出的分布情况,而符号检验法适用于总体分布情况未知时的假设检验问题,因此适用于模型检验问题.典型的符号检验法虽然简便、直观,但精度较差,忽略了原始数据中的许多信息.修正的符号检验法将模型检验问题分成了若干子假设问题,并通过对样本数据大小比较、以幅值作为统计量的修正,使之可以处理动态参数的检验问题,较充分地利用了原始数据中的信息,提高了检验精度.算例也表明该方法是适用的.     

Matlab统计工具箱的若干优化补充

针对Matlab 6.5统计工具箱没有优化正态总体方差的区间估计,且没有给出正态总体方差检验的问题,通过编写Matlab程序,优化统计工具箱对正态总体方差的区间估计,开发正态总体方差的假设检验算法.实例表明该方法在推断统计方面实用性较强.     

VS环境下假设检验Web应用程序开发

假设检验过程中样本数据处理、数理统计函数值和检验临界值获取、统计量计算和比较检验等过程均很繁杂,针对目前面向普通用户用于假设检验的通用计算机程序,特别是Web应用程序又比较少见的情况,本文完成在VS环境下假设检验Web应用程序的开发,解决假设检验在选择的检验模型下,样本数据的录入和处理、统计函数值和检验临界值的获取、统计量计算与给出检验结论等过程的自动实现。     

并发反应式系统的组合模型检验与组合精化检验

模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题.基于分而治之的思想进行组合模型检验和组合精化检验是应对这个问题的重要方法,它们利用系统的组合结构对问题进行分解,通过对各子系统性质的检验和综合推理导出整个系统的性质.在一个统一的框架下对组合模型检验和组合精化检验作了系统的分析和归纳,从模块检验的角度阐述了上述两种组合验证方法的原理及其相应的组合验证策略.同时总结了各类问题的复杂性,并对上述两种方法作了比较分析,揭示了它们之间的内在联系.最后展望了组合模型检验与组合精化检验的发展方向.     

基于拟合优度检验的灵巧噪声干扰识别

针对传统抗干扰方法无法有效对抗灵巧噪声干扰的缺陷,提出了一种基于拟合优度检验实现灵巧噪声干扰识别的方法.分别根据Swerling起伏模型得到的目标信号分布特性、从灵巧噪声干扰产生过程得到的干扰信号分布特性,分析了目标位置信号与干扰位置信号分布特性差异,提出利用拟合优度检验理论实现干扰识别.该方法计算AD检验统计量,在一定显著性水平下对若干周期同一时刻的样本进行假设检验,根据检验的结果进行干扰识别.仿真实验表明,该方法能有效地对低信干比情况下的目标进行识别.     

基于矩阵重构的信源数估计方法

提出了一种基于矩阵重构和多重假设检验相结合的方法.采用特殊定义的变换-对消矩阵,抵消了非平稳噪声的影响;采用多次重构的显著性函数结果与显著性水平比较来判断信源数,避免了假设检验对先验知识的要求.将单序列假设检验扩展为多个序列联合检验后,即使在低信噪比和低快拍数时也可以获得较好的估计性能;同时显著性水平的确定与阵列数据无关,基本不需要先验信息,约束条件较少.仿真结果验证了该方法的有效性.     

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

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

实验室间协同试验数据处理软件设计

为降低协同试验数据处理的复杂程度,设计和实现基于开源数据SQLite的协同试验数据处理软件。该软件总体功能包含单元平均值计算、单元离散度计算、曼德尔检验、柯克伦检验、格拉布斯检验、回归方程管理、报告管理以及检验数据管理等。详细分析软件核心功能模块以及SQLite数据库构建方法。经过应用验证,该软件提高了精密度数据处理效率,保障了数据处理的准确性。     

基于序贯验后加权检验的计数抽样方法

针对小子样成败型产品抽样问题,结合序贯验后加权检验方法和一次计数抽样检验思想,提出一种基于序贯验后加权检验的计数抽样方法。结合Bayes理论,利用各种先验信息减少试验所需的样本容量,从而简便地制定抽样方案。通过算例进行对比分析,仿真结果表明,该方法适用于小子样条件下的抽样检验。     

在非线性建模中神经网络模型的构建与选择

主要研究了如何将平时单独使用的数学方法和统计学方法根据它们各自的优点综合运用,以提高非线性建模过程中神经网络模型构建和选择的效率。所使用的统计学工具包括矩阵的条件数,假设检验,交叉验证。文中对每个方法进行综合分析,进而判断它们分别应用在神经网络模型构建与选择过程的哪个阶段是最有效的。在此基础上,提出了一个系统的神经网络模型的构建与选择程序,并最终通过仿真试验来说明这个程序的有效性。     

基于标准置换检验的差异序列模式挖掘算法

为了去除差异序列模式挖掘算法返回结果中的假阳性差异序列模式,提出了一个基于标准置换假设检验的算法SP-DSP。该算法首先运用GSP算法挖掘频繁序列模式,然后基于growth rate阈值生成差异序列模式候选集,并运用标准置换检验计算候选集合中每个模式的p-value,最后运用多重假设检验度量过滤假阳性差异序列模式。实验结果证明SP-DSP算法能够去除掉一定数量的假阳性模式并尽可能地保留真差异序列模式,从而促进后续分类任务正确率的提升。     

某设备软件标识码检验错误问题分析与处理

本文对某设备软件数据标识码检验结果错误问题进行了详细分析,列举和分析了可能的故障原因,找出了软件设计缺陷,结果表明软件标识码检验错误的原因主要包括：上位机通信软件接收数据速率与数据传输速率不匹配,上位机通信软件仅用一个数组接收三个工位标识码的判断结果不合理,设备计算机软件存储标识码的变量数组第53字节为复用不合理。对软件设计缺陷进行了相应更改并进行了试验验证,取得了很好效果。     

基于多模型假设检验的认知无线电频谱感知方法

提出一种基于序贯概率似然比多模型假设检验的认知无线电协作频谱感知方法,用于检测可能含有不同结构和参数不确定性的未知信号.传统的认知无线电协作频谱感知方法(如基于序贯概率似然比的单模型假设检验、M元假设检验等),仅限于处理已知信号分布,不考虑信号分布的不确定性,可能会造成检测误判.所提出方法不仅可以处理认知无线电信号分布模型的不确定性问题,而且可以得到满足错误概率约束的有效检测.对频谱感知的一个典型场景进行仿真实验,结果表明所提出基于序贯概率似然比多模型假设检验方法相对于传统方法的检测有效性.     

RFID技术在电梯检验系统中的应用

目前电梯检验效率低下,有必要利用计算机、通信等技术开发电梯检验辅助系统,提高检验效率。提出了在电梯检验系统中应用射频识别技术(RFID)来解决电梯身份识别难的设计构想,分析了电梯检验系统的总体架构和系统中RFID模块的构成,给出了RFID模块的软硬件设计。与传统的检验方法相比,RFID技术的应用能提高电梯检验工作的效率和质量,实现电梯身份识别的数字化和智能化。     

液位测量中超声回波信号的采集与处理

介绍了一种在液位测量中超声回波信号的采集与处理方法。系统选用高性能的ARM处理器LPC2119处理数据;设计了IIR椭圆带通数字滤波器进行数字滤波,去除干扰噪声;滤波后使用假设检验的方法检验回波信号样本波动性的显著变化,从而识别出回波信号的起始点。此方法可方便地推广到其他物位测量及气体、液体的流速测量中。     

计数抽样检验在自航水雷中的应用

对于像自航水雷这样的复杂武器系统,目前对其验收主要采用全数检验方法,全数检验存在的问题是试验费用多,试验时间长,并且对于破坏性试验是无法进行全数检验的.而抽样检验方法可以克服上述全数检验的缺陷,介绍了计数一次、二次及多次抽样检验的原理及实施方案,并将其应用到已定型的自航水雷或在役自航水雷的交验中,经计算机仿真,结果证明了抽样检验在像自航水雷这样的复杂武器系统中应用比全数检验优越,实用性更强,更具有工程应用价值.     

小样本量内外场测试数据一致性检验

内场试验的数据的一致性检验是VVA的重要内容,内场数据必须经过一致性检验才有价值。常用方法适用于大样本量数据的一致性检验,在样本量很小的情况下都有一定的局限性。本文在子样容量为1的极端情况下,分析了使用秩和检验法进行数据一致性检验的可行性及适用范围。     

PDA在远程检验检疫业务上的实现

随着检验检疫信息化建设的逐步深入,全面数字化检验检疫工作的建设已经成为目前检验检疫信息化建设的主题.而移动办公设备和无线网络技术的出现,为国家检验检疫人员探索开发一套PDA远程检验检疫业务系统提供了可能.本文从系统总体功能流程、各子系统设计、系统开发环境等几方面对该系统进行详细介绍.     

遥感产品真实性检验靶场构建方法初步研究

观测试验是遥感产品真实性检验的基础,通过观测试验获取的像元尺度参量真值,能确定遥感产品质量,增强其在应用领域的价值。在遥感产品真实性检验理论和方法基础上,探索构建遥感产品真实性检验试验观测靶场构建的框架,针对不同分辨率遥感产品,提出建立特征均匀靶场和非特征均匀靶场的构思;并以中国科学院怀来遥感综合试验站为例,分析了构建两种靶场的可行性,概述了目前靶场构建的进展,分析了改进的方向。以此为后期遥感产品真实性检验的观测试验提供一种思路。     

一种基于Kolmogorov-Smirnov检验的缺陷定位方法

现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设检验的方法所假设的正态分布.基于以上发现,提出了一种基于Kolmogorov-Smirnov检验的缺陷定位方法.在西门子测试集和大型程序上的实验结果表明:该方法在小样本和非正态分布的样本集上具有较好的适用性.若谓词在某个测试用例执行时未被执行,已有的方法将该执行中此谓词的评估偏差值设为0.5.在西门子程序集上调查了该设置的有效性,实验结果表明:对于基于Kolmogorov-Smirnov检验的缺陷定位方法,该设置可以提高缺陷定位的效率.