统计测试无失效软件的贝叶斯方法可靠性估计

本文讨论了在净室软件工程方法指导下开发的软件系统在统计测试无失效发生时,利用贝叶斯方法并结合软件结构特征,估计软件失效概率的多种处理方法,并用数值方法讨论了软件无失效测试终止的标准。     

电子设备整机结构设计

整机结构设计是电子设备设计中重要的部分．它直接关系到电子设备的性能和技术指标的实现。本文阐述了整机结构设计中需要考虑和解决的一些关键问题,如设计内容,设计原则。结合科研实际,详细讨论了整机结构设计的设计顺序及注意事项。     

基于因子图的AUV协同导航通信延迟误差补偿算法

针对自主水下航行器协同导航系统水声通信延迟导致的定位误差增大问题,在因子图协同导航算法框架下提出一种基于量测信息重建的通信延迟补偿算法。首先,基于主从式协同导航系统状态方程、量测方程构建因子图模型。由于多个自主水下航行器距离量测信息导致因子图模型存在环结构,故通过两次消息传递迭代求解各节点变量概率密度分布。随后,在广播式水声通信延迟机理分析基础上进行量测信息重建,并将其接入因子图代替原始量测信息进行消息传递与解算,从而补偿水声通信延迟。仿真实验结果表明,所提算法可以有效提高从自主水下航行器定位精度,没有通信延迟补偿的协同导航算法定位精度与水声通信固定延迟呈反比,在水声通信固定延迟为10 s的条件下,所提算法相比没有通信延迟补偿的协同导航算法,定位精度可以提高82.57%。     

海底小目标数据库功能和运用方法研究

利用海底小目标数据库中的数据信息辅助探猎雷作战,可以摆脱传统探猎雷作战行动中的盲目性,优化反水雷作战流程,有效提高反水雷作战效率。如何科学构建数据库功能,合理设计数据存储、查询和调用的方式方法,以充分发挥各类探测数据的潜在作用,对辅助反水雷战术指挥决策具有重要意义。本文根据海底小目标对探猎雷作战的影响,提出目标位置比对、声纳图像比对、探测态势比对和数据统计分析是海底小目标数据库所应具备的主要功能,结合探猎雷过程中的典型作战环节,阐述了各项功能的基本运用方法和实现手段,指出数据的“量”“质”以及采集规范和维护管理制度,均是数据库建设的重要前提,并对建设数据库所应具备的保障条件进行了 说明。     

基于卷积自动编码器的飞机目标识别方法

飞机目标标签数据不足,使传统的机器学习算法训练效率不足。为提升训练效率提高飞机目标识别率,提出一种由卷积自动编码器(Convolutional Auto-Encoder,CAE)、哈希变换及直方图统计组成的简单多层特征提取模型。该模型利用CAE非监督训练一组卷积滤波器,与输入数据卷积提取特征;并再次利用CAE训练卷积滤波器集合,提取卷积特征;对所得到的卷积特征进行哈希变换和直方图统计;用支持向量机识别分类。实验对飞机目标取得了较高的识别率,表明特征提取模型具有很强的鲁棒性。     

共形阵列方位依赖幅相误差校正辅助阵元法

针对共形阵列方位依赖幅相误差校正问题,给出了一种新的基于辅助阵元的自校正算法。对共形阵列接收快拍数据延时,构造满足旋转不变关系的时域子对,并计算子对的协方差矩阵和四阶累积量矩阵;基于旋转不变子空间原理完成对阵列流型和信源频率的估计;利用精确校正的辅助阵元和解线性方程组,实现对信源方位和方位依赖幅相误差的估计。所给算法适用于任意共形载体,普适性强,且无需参数搜索和配对,计算量小。Monte-Carlo仿真实验证明了所给算法的有效性。     

新型空间碎片清除平台发射诸元确定及仿真

对现有空间碎片主动清除技术进行分析,提出基于轻气炮载荷的GEO轨道空间碎片清除平台清除过程涉及的解固定速度增量拦截发射诸元问题。利用线性Hill的分析解建立命中方程组,将解非线性方程组问题转化为最优化问题,利用Matlab工具箱得到高精度的全局最优解。通过Matlab与STK互联进行了仿真验证,并对脱靶量的产生进行了分析,为新型空间碎片清除平台的可靠性提供了有力的理论支撑。     

基于量测噪声方差估计的GM-CBMeMBer算法

针对目标跟踪系统下量测噪声统计特性不准确甚至难以获取的问题,提出一种量测噪声统计特性自适应的高斯混合势均衡多目标多伯努利(Cardinality Balanced Multi-Target Multi-Bernoulli,GM-CBMe MBer)滤波算法。该算法引入Sage-Husa自适应滤波器的思想,利用遗忘因子对量测噪声协方差误差进行修正;建立检验统计量,判断算法敛散性;若滤波发散,则采用有偏估计方法来保证算法收敛性。仿真结果表明在非时变、时变量测噪声方差未知情况下,改进算法的跟踪性能优于传统的GM-CBMe MBer滤波算法,对量测噪声的变化具有较强的适应能力。     

基于标记配对相干态光源的测量设备无关量子密钥分配

为提升量子密钥分配的性能,基于标记配对相干态光源,提出了一种四强度诱骗态测量设备无关量子密钥分配方案。首先,利用光源的双模态特性和光子数标记技术来提升传输性能,推导了单光子对计数率下限和误码率上限的计算公式;然后,考虑统计波动,分析了数据长度有限对方案性能的影响。数值仿真结果表明:基于标记配对相干态光源的测量设备无关量子密钥分配方案在安全传输距离和密钥生成效率上都优于现有基于弱相干态光源和预报单光子源的测量设备无关量子密钥分配方案;在统计波动条件下,方案性能会随着数据长度的减少而降低,但即使数据长度减少到10~(10),基于标记配对相干态光源的测量设备无关量子密钥分配方案的最大传输损耗容忍度仍可达36 dB,优于现有的其他方案。     

纯方位目标跟踪的伪线性卡尔曼滤波器FPGA实现

伪线性卡尔曼滤波器广泛应用于纯方位目标跟踪中,其递归性非常适合于硬件实现。结合实际项目,在对数据流进行分析的基础上,使用xilinx公司virtex-4系列芯片提供的DSP48专用乘法单元,以及自行设计的高效除法单元,通过简化标量运算和充分利用并行流水机制,最终实现了伪线性卡尔曼滤波器。仿真验证了数据的精确性。综合报告显示此系统的最高频率为123.8 MHz,满足实时性要求。