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

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

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

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

基于数据库技术的故障诊断知识库管理系统设计

为解决传统大型复杂系统故障诊断专家系统中存在的知识库庞大、难于维护管理的问题,结合数据库技术设计了一套基于Windows平台的知识表示和知识库管理系统。该系统充分利用了数据库技术,实现了对知识库中知识的存储、添加、删除、修改和查询以及编辑过程中的一致性、完备性和冗余性要求,通过将该系统应用到运载火箭测试发射中的故障诊断专家系统中,一定程度上实现了知识处理的自动化,为运载火箭故障诊断专家系统的开发和运用奠定了重要基础。     

基于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连续运动引入的多普勒频移,提出了改进,并给出仿真验证.     

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

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

空空导弹惯性开关中圆周磁场对导弹性能的影响

为了提高空空导弹的作战效能和可靠性,由弹载电源向开关电路进行大电流放电,可提高惯性开关中圆柱电极上周磁场的强度,增强抵抗磁钢对钢珠反向作用力的能力,当导弹撞击目标过载较小时,使惯性开关的导通时间也能够满足触发电路工作需要,因此,导弹遇目标不炸的故障概率可得到下降。     

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

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

模糊自整定PID控制及其在航天产品真空热试验中的应用分析

文章首先分析了航天产品热试验时被控对象的特点,并进行了建模分析,接着介绍了如何通过参数自整定技术获得PID的3个初始参数,并进行了模糊自校正PID控制器设计。为了检验该控制方法的控制效果,文章选取了3次有代表性的试验数据进行了仿真分析。结果表明,模糊自校正PID控制方法具有适应性强、控制精度高、抑制试验系统温度滞后明显的优点,该方法较原控制方法超调量有所减小,过渡过程有所加快,抗干扰能力显著增强,较好地解决了控制系统快速性和小超调量之间的矛盾。