软件的单故障模型及故障的测试方法

研究表明,软件中残留的故障一般都是难以测试,这些故障往往都是局部的、检测概率比较“小”的故障,也就是说,和正确的软件相比,这些故障的表现往往只是一个或几个符号发生错误,现提出的软件单故障模型正是基于这个原理。测试方法是以面向故障为基础,将故障的检测分为3个部分:故障语句的执行,故障的激活和故障的传播。为加速测试用例的生成,也同时提出了软件的故障模拟方法。最后,给出了部分实验结果。     

一种综合使用支持向量机和遗传算法的隐藏图像检测方法

提出了一种新的基于遗传算法和支持向量机的隐藏图像检测方法。用遗传算法进行图像特征选择,采用支持向量机作为分类器,将支持向量机的分类效果作为适应度函数值返回,指导遗传算法搜索最优的特征,移除图像的不相关特征和冗余特征,提高了学习效率。实验结果表明,与仅采用支持向量机分类但未进行特征选择的隐藏检测方法相比,本方法能有效地提升分类器性能。     

韦布尔干扰中有序统计平均恒虚警检测器性能

证明了形状参数已知条件下有序统计平均恒虚警检测器在韦布尔分布杂波背景下具有恒虚警性能,推导了该背景下OSCA-CFAR检测器对非起伏目标的检测概率Pd和平均判决阈值的解析表达式,用数值方法讨论了尺度参数和序值变化对检测性能的影响,最后分析了多目标情况下该检测器的性能,并于有序统计进行了比较,分析结果表明OSCA在多目标环境下具有较好的检测性能.     

系统标定的一种新方法

以2008年高教社杯全国大学生数学建模竞赛的A题为研究背景,设计了利用数码相机进行系统标定的一种新方法,建立了相应的数学模型,并设计遗传算法实现了模型的快速求解,算例表明了模型及算法的有效性。     

小子样统计理论在装备状态检测中的应用

在进行小子样条件下的装备状态检测评估时,由于采用传统统计方法对样本数据进行处理的置信度不高,统计估计时风险较大,因而在进行装备状态检测时,采用了Bayes Bootstrap方法对小子样试验数据进行了模拟统计,提高了数据处理精度,获得了状态特征的概率分布和在95％置信度下的故障判别域,实现了装甲车辆发动机故障的诊断识别。     

一种基于G0分布的SAR图像快速CFAR检测方法

杂波统计模型是决定CFAR检测算法性能的关键因素.G0分布能对单视和多视SAR图像中均匀、一般不均匀和极不均匀区域精确建模,但存在参数估计复杂、阈值表达式难以求解的问题,限制了其实用性.针对这些问题,分别采用矩估计法和二分法来完成参数的估计和阈值的求取,并通过目标区域预筛选和迭代计算等手段进一步提高了计算效率,得到了一种兼顾检测效果和效率的快速CFAR检测方法.实验结果验证了该方法的有效性.     

相位恢复镜面检测性能研究

在镜面面形检测中应用相位恢复技术,可以简化测量系统,增强抗震动干扰能力.为确定相位恢复镜面测量系统的性能,从两个方面进行了研究.结合提出的相位恢复测量系统,运用傅立叶光学和几何光学理论讨论硬件对测量范围的限制,确定了CCD像素尺寸与被测镜f数,CCD整体尺寸与被测镜最大像差之间的定量关系.从算法效能角度,采用单因素仿真实验考察算法对镜面误差幅度和频率的适应性.仿真结果表明,表面误差频率在31.4mm附近时算法效率较高,过高或过低都将降低算法的效率;误差幅值的影响不大,镜面误差RMS值大至六个波长,小至百分之波长算法都可以胜任.     

小波变换在漏磁检测信号处理中的应用

在对军用装备进行漏磁无损检测时,漏磁信号中含有大量噪声,针对这种情况,介绍了小波变换消噪理论.在数字化实现中,离散小波变换是利用Mallat分解与重构算法来完成.仿真试验中,选取二阶样条小波为小波函数,对从漏磁检测装置中采集到的漏磁信号进行消噪.结果表明将小波变换应用于炮管漏磁检测中,能提高检测信号的信噪比和抗干扰能力.为漏磁信号分析、特征提取和缺陷漏磁反演打下了基础.     

PD体制地面情报雷达相关问题研究

中脉冲重复频率的PD体制对于杂波的抑制能力较强,一般应用于机载雷达.目前,地面对空情报雷达为更有效地检测低空目标以及小目标,也采用了PD体制.在分析了杂波重叠和PRF组限制的基础上,对比了M/N准则、检测概率以及盲区图,讨论了采用3/7准则的优越性,该结论对于PD体制雷达的研制和改装有实际的应用价值.     

基于背景建模和前景建模的红外运动检测

为抑制了红外图像信噪比低、非静止背景等引起的虚警产生,将基于背景建模和前景建模运动检测(BM-FM)算法引入红外面目标检测中;为抑制因目标与背景对比度低引起的部分目标区域漏检,提出了基于空间邻域信息的前景建模方法(SNFM),利用前一帧图像在像素点邻域内的前景目标点为样本,用核密度估计进行前景建模.试验表明了基于该前景建模方法的BM-FM算法的有效性.