基于声矢量阵的宽带波束域高分辨方位估计

宽带信号波束域处理是实现水下目标高分辨方位估计的重要途径,它相对阵元域具有运算量小、分辨信噪比门限低以及角度分辨力高的优点。声矢量阵单个阵元能同时测量声场中的声压量和3个正交的质点振速分量,相对于声压阵,它能获取更多的声场信息。因此通过均匀声矢量阵运用MUSIC算法对宽带信号源波束域DOA估计进行了研究,改善了对弱相干信号源的方位分辨和估计性能,实验所获得的仿真结果表明了该方法具有较高的参考价值。     

电视制导无人攻击机可攻击域研究

分析了电视制导无人攻击机的制导原理,建立了该电视制导无人攻击机空间六自由度运动方程组,给出了电视制导无人攻击机控制系统数学模型和控制信号的形成模型。在气动力参数的处理上,用最小二乘法拟合技术建立了电视制导无人攻击机的气动力参数模型,保证了参数理论求解的精度。最后对电视制导无人攻击机的可攻击域进行仿真计算,分析了影响可攻击域的因素,验证了电视制导无人攻击机的攻击能力。     

高超声速滑翔飞行器轨迹预测分析

针对轨迹预测在目标交接班和基于预测命中点拦截制导中的应用需求,分析了高超声速滑翔飞行器滑翔段轨迹预测的可行性。结合典型高超声速滑翔飞行器的运动轨迹,分析了其运动轨迹特性、机动模式、转弯半径、最大射程以及可达区域,提出了基于不变力预测法的轨迹预测思路。认为高超声速滑翔飞行器在滑翔段,运动轨迹几何特征明显、转弯半径大、保持大升阻比,便于实施中长期轨迹预测,但难以实现全程预测。     

基于FRFT窄带滤波的LFM信号研究

随着分数阶傅里叶变换域窄带滤波技术的不断应用与发展,对分数阶域窄带滤波带宽的研究将变得尤为重要。研究了分数阶傅里叶变换域窄带滤波带宽与滤波后信号之间的关系,并以信号的失真度为准则,分析了分数阶域窄带滤波带宽的临界值。理论分析和仿真结果表明:线性调频信号经过分数阶域窄带滤波后信号的相位没有发生改变,信号的幅度为辛克函数积分的形式。为保证LFM信号频率信息不丢失,分数阶域窄带滤波的带宽必须不小于LFM信号在分数阶域幅度谱的主瓣宽度。为分数阶域滤波带宽的选取提供了参考标准。     

一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.     

流域变换的串行与并行策略研究

流域变换是数字形态学中用于图像分割的一种经典方法,其并行化问题成为近年来研究的重点。首先给出了流域变换的数学模型,并归纳列举了几种离散情况下的形式化定义;其次分类总结了近年来流域变换串行算法研究的新进展,从而在此基础上重点讨论了相应的并行化策略。详细分析了设计并行流域算法需要考虑的几个问题;并比较评价了现有并行算法的性能特点,得出了一些结论;最后提出了有待进一步研究的问题。     

软件分域测试可靠性评估的注记

软件可靠性评估是软件可靠性研究的重要问题.文中通过反例证明了分域测试的Thayer Lipow Nel son评估方法是不正确的,将样本点排序法用于分域产生可靠性评估,获得了软件可靠性置信下限.最后给出一个实例说明该方法的可行性.     

实二次函数域基本单位范的判别法

本文给出实二次函数域基本单位范为g(g为F_q~*中本原元)的充分条件,从而解决了一批实二次函数域基本单位范的问题。     

三角域上有理Bezier曲面的GC^2拼接条件

本文首先给出了相邻的三角域上有理Ｂｅｚｉｅｒ曲面的ＧＣ＾２连续的充要条件,接着给出了一个具有明确几何解释的充分条件,这一条件易于在ＣＡＧＤ中应用。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。