基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

航天ATS快速测试体系结构研究

快速发射是未来空间信息作战和导弹武器发展面临的新课题,快速测试是快速发射的重要环节。航天ATS快速测试需要遵循一定的体系结构而发展。以国际通用测试系统体系结构为背景,结合我国航天测试的需求,提出了航天ATS快速测试体系结构,分析了航天ATS快速测试的测试流程并行化、关键参数连续监测化和测试数据处理快速化等目标,以及所涉及到的图形化程序开发、仪器可互换等关键技术。结论有利于促进航天ATS快速测试技术的进步,并为其发展提供参考。     

基于FPGA的大时宽带宽积频域脉压设计

介绍了基于ALTERA公司FPGA器件的高速实时FFT运算单元实现及频率域脉冲压缩处理的设计方法.在分析了基8、按频率抽取FFT算法的基础上,采用多级同步流水线结构,利用现场可编程门阵列(FPGA)完成了最大4096点块浮点FFT.整个设计划分成多个功能模块,采用VHDL描述语言,并在Stratix器件上实现.结果表明,利用FPGA实现复杂的数字信号处理(DSP)算法是完全可行的.     

基于CFAR检测的SAR噪声干扰效果评估方法

在研究美国林肯实验室的SAR恒虚警(CFAR)自动目标检测方法的基础上,分析了CFAR目标检测技术在不同噪声干扰强度下检测概率的变化情况,并结合图像相关性分析得出一种改进的基于CFAR检测技术的SAR噪声干扰效果评估方法.     

线性调频连续波SAR成像算法研究

研究了线性调频连续波SAR的距离徙动算法成像.针对线性调频续波SAR的特点,在STOP AND GO近似成立的条件下,讨论距离徙动算法的实现过程.STOP AND GO近似失效时,通过补偿线性调频连续波SAR连续运动引入的多普勒频移,提出了改进,并给出仿真验证.     

噪声调幅干扰信号波达方向估计研究

利用噪声调幅干扰信号频谱结构的特殊性,提出基于阵列接收信号载频处频域数据的波达方向估计算法,通过仿真分析表明该算法的角度估计性能明显高于目前广泛采用的比幅比相单脉冲测角法,并且计算量也大大低于传统的波达方向估计算法.     

正撞击下双层墙结构防护屏防护性能仿真研究

文章利用AUTODYN软件对铝合金球形弹丸正撞击双层墙防护结构进行了仿真研究,比较了双层墙防护结构中铝合金材料和复合材料防护屏的防护性能。结果表明:在相同的面密度和构型下,双层墙防护结构中铝合金防护屏的防护效果优于复合材料防护屏。     

航天器虚拟热试验平台的软件架构及其应用

针对我国目前航天领域型号试验任务重、成本高的特点,文章提出搭建航天器虚拟热试验平台以缩短型号研制周期、减少研发成本。虚拟热试验平台结构拟由5个单独模块组成:试验系统描述及边界条件输入模块,虚拟试验运算模块,模型修正模块,结果报表及经济性分析模块和虚拟试验数据库。另外提出了虚拟热试验平台在航天器真空热试验中的应用。     

质子辐照对石英玻璃光学性能的影响

文章研究了不同注量与辐照能量的质子对JGS3石英玻璃辐照前后光学性能的影响,并对其规律进行了初步探讨。实验中采用UV-3101PC分光光度计对辐照前后石英玻璃的光学性质进行测量。研究结果表明:质子辐照使该玻璃产生着色现象,在200～800 nm波长范围内产生了明显的光吸收;辐照注量和辐照能量均对石英玻璃光吸收有影响,其中辐照注量的影响更加明显。     

包带低冲击装置冲击试验及数据分析

文章主要阐述了包带低冲击装置冲击试验的过程及采用的试验技术,并对试验数据进行了处理和分析。通过大量的试验数据,对响应量级与测量点的位置分布、响应与包带预紧力的关系、冲击响应与装药量的关系、冲击响应与起爆器的关系、冲击响应的频率分布关系以及安装方式对试验结果产生的影响作了充分的分析。结果可为研究低冲击装置提供有价值的参考。