信号时序逻辑约束下基于终点回溯的高效规划

在信号时序逻辑约束下规划路径是一项具有挑战性的任务,其计算量非常高.提出了一种终点回溯的规划方法,它是一种适用于连续时间系统的抽象化方法.该规划方法分为离线构建阶段和在线规划阶段.离线构建阶段在Transducer理论的指导下,从能够完成任务的合理的终点构造一棵快速随机搜索树,向初始状态空间进行回溯.当采样点足够多时,...     

机载脉冲多普勒雷达的自适应旁瓣对消实现方法

简要介绍了自适应旁瓣对消的基本原理。重点研究了自适应旁瓣对消在机载脉冲多普勒雷达中的工程实现方法,该方法打破了自适应旁瓣对消目前只能应用于采用低重脉冲重复周期的脉冲多普勒雷达的限制。通过对自适应旁瓣对消结果的分析,表明该方法完全能够满足现有机载脉冲多普勒雷达抗有源旁瓣干扰的需求。     

FPGA、ARM DSP嵌入式技术的在线航空摄影测量方法*

为满足空间数据实时处理的需求,提高航空摄影测量系统在线处理能力,本文研究一种在线摄影测量的理论与方法,基于嵌入式架构设计一种在线摄影测量系统,使用FPGA、ARM DSP等嵌入式计算技术建立专门的硬件运行环境,移植并优化现有算法到嵌入式系统中,实现摄影测量数据的在线处理。机载航摄实验结果表明,本文方法能够实现对摄影测量数据进行快速稳定的在线处理,验证了基于嵌入式架构的在线摄影测量的可行性,把摄影测量的处理效率提高到了一个更高的水平,同时也进一步拓宽了摄影测量技术的应用领域。     

数字信号源及其应用

本文提出了两种数字信号源的工程实现方法,即用8253与CD4046构成可编程的信号源;以及用数字频率合成器。并给出了信号源的工作原理、电路组成、基本参数选择和它们的工作特点。这两种信号源可与微计算机接口,具有较高的信号产生精度和频率稳定度。     

组合导航系统轴角—数字转换电路的研究与实现

较详细地叙述了组合导航系统轴角—数字转换电路的研究与实现的过程,介绍了一种较高精度的用单片机独立进行数据处理的轴角—数字转换电路．     

一种高效的支持原位计算的三角矩阵乘法向量化方法

向量处理器的向量化算法映射是难点问题。提出一种高效的支持原位计算的三角矩阵乘法向量化方法,采用将L1D配置为SRAM模式,用双缓冲的乒乓方式平滑多级存储结构的数据传输,使得内核的计算与DMA数据搬移完全重迭,让内核始终以峰值速度运行,从而取得最佳的计算效率;将不规则的三角矩阵乘法计算均衡分布到各个向量处理单元,充分开发向量处理器的多级并行性;将结果矩阵保存在乘数矩阵中,实现原位计算,节省了存储空间。在Matrix上的实验结果表明,提出的向量化方法使三角矩阵乘法性能达到1053.7GFLOPS,效率为91.47%。     

干扰信号的检测技术研究

以噪声调频干扰为例,对干扰信号的检测问题进行了分析,提出直接积累检测和二进制积累的检测方法,并计算了两种方法的检测概率。通过积累检测显著地改善了接收机对噪声干扰类信号的检测性能。     

一种基于FMA加速FFT计算的向量化方法

提出一种基于融合乘加指令加速FFT计算的向量化方法,通过变换FFT的蝶形单元运算流程,将传统计算方式中独立的乘法和加法操作组合成次数更少的融合乘加操作,使得DIT基2 FFT算法的蝶形单元计算的实数浮点操作由原来的10次乘(加)操作减少到6次融合乘加操作,DIT基4 FFT算法的蝶形单元计算的实数浮点操作由原来的34次乘(加)操作减少到24次融合乘加操作;优化了蝶形因子的向量访问,减少存储开销。实验结果表明,提出的方法能够显著加速FFT的计算,取得高效的计算性能和效率。     

Modeling and realization of real time electronic countermeasure simulation system based on SystemVue

In this paper, we proposed a new design scheme of real time electronic countermeasure simulation system. This paper mainly expounds the modeling and realization methods of each part of the whole simulation system, and the real-time property of system has been lucubrated. Electronic countermeasure simulation system is the key part of military training of individuals; it can also allow the realistic evaluation of the performance of modern equipments and techniques. As a proof, we have drawn up a series of simulation scenarios, such as radar electronic reconnaissance simulation scenario, to explain the feasibility and the superiority of our modeling scheme in this paper.     

A Squared-Chebyshev wavelet thresholding based 1D signal compression

In this paper a square wavelet thresholding method is proposed and evaluated as compared to the other classical wavelet thresholding methods (like soft and hard). The main advantage of this work is to design and implement a new wavelet thresholding method and evaluate it against other classical wavelet thresholding methods and hence search for the optimal wavelet mother function among the wide families with a suitable level of decomposition and followed by a novel thresholding method among the existing methods. This optimized method will be used to shrink the wavelet coefficients and yield an adequate compressed pressure signal prior to transmit it. While a comparison evaluation analysis is established, A new proposed procedure is used to compress a synthetic signal and obtain the optimal results through minimization the signal memory size and its transmission bandwidth. There are different performance indices to establish the comparison and evaluation process for signal compression; but the most well-known measuring scores are: NMSE, ESNR, and PDR. The obtained results showed the dominant of the square wavelet thresholding method against other methods using different measuring scores and hence the conclusion by the way for adopting this proposed novel wavelet thresholding method for 1D signal compression in future researches.