合成孔径声纳的数学问题

根据波动方程线性化模型,考虑了合成孔径成像的数学问题,对于在二维曲面上所获得的数据来重建三维景物,将基阵的运动和旋转归结为对基阵轨迹的依赖上.利用微局部分析给出了一般问题的一种新的理论反演算法,并且分析了成像系统的分辨率,从而为今后的工作打下理论基础.     

选择算子对演化硬件进化速度影响的研究

演化硬件能使武器装备系统像生物一样改变自身的结构以适应环境的变化。介绍了演化硬件的基本理论,借助于数学推导,详细分析了选择算子对进化速度的影响,提出了一个提高进化速度的方法,并通过进化实验进行验证。     

改进的斜投影极化滤波方法

针对脉冲体制雷达抗干扰的需求,综合利用卡尔曼滤波技术、斜投影极化滤波技术和时域对消技术,研究了一种改进的斜投影极化抗干扰方法．首先利用卡尔曼滤波技术估计干扰的极化状态参数,在目标极化状态未知的情况下求得斜投影算子,再利用求得的斜投影算子提取出干扰信号,然后利用时域对消技术将原始信号减去干扰信号即得到纯净的目标信号．仿真结果表明,卡尔曼滤波技术可快速准确地估计出于扰极化参数,改进的斜投影极化滤波方法可大幅度抑制干扰,并保持了目标信号的幅度和相位不变性．     

一种针对PRESENT的改进旁路Cube分析方法

对PRESENT-80旁路Cube攻击进行了改进．基于第3轮单比特泄漏模型,在现有寻找密钥相关线性等式的基础上,通过获取非线性等式方法恢复出更多密钥位．实验结果表明：针对第1个s盒的第1位信息泄漏,2^7.67个选择明文即可恢复40位密钥,优于现有的32位;针对第2,3,4个S盒的第1位信息泄漏,2^12.147个选择明文即可恢复64位密钥,优于现有的48位,将密钥搜索空间降低到2^16．此外,本方法可适用于PRESENT-128及其它轻型分组密码旁路Cube分析．     

Lotka-Volterra捕食方程的Hopf分岔研究

对于具有有限时滞的Lotka-Volterra捕食方程,选用时滞作为分岔参数,得到模型的局部稳定性条件和系统的Hopf分岔值。利用中心流行定理和正则化方法,得到Hopf分岔的方向和周期解的稳定性。     

基于ISIGHT的微型飞行器布局优化设计研究

微型飞行器具有飞行雷诺数低、易受外界环境干扰等特点,并存在多目标优化问题,因此其气动布局优化设计难度较大。针对微型飞行器的特点及优化设计要求,采用N-S方程与遗传算法相结合的方法对微型飞行器的多目标优化设计,基于ISIGHT软件来实现该方法的具体流程,克服了计算量大、无法实现自主迭代的缺点。并对微型飞行器的展弦比、尾翼安装角、尾翼的高度和根弦长进行优化,优化目标为飞行器的静稳定性和升阻特性,优化后的构型具有良好的气动性能,结果表明该方法明显提高了计算的精度和优化设计的水平,在工程上有一定的应用价值。     

战场态势转化指挥策略分析

介绍了战场态势的转化规律,构建了考虑时变武器正常发挥因子、增援和非战斗减员的兰切斯特方程,运用此方程定量分析了能促成战场态势由劣转优的两种指挥策略,最后提出了一些作战研究建议.     

关于U算子有界性的证明

利用Hardy Littlewood极大算子及性质与分数次极大算子及性质 ,证明了u(x)在Lq(Rn) ,L∝ ,Lq(E)空间上是有界的 ,Coσoπeβ定理应予以推广。     

网格方程组并行计算预条件迭代若干性质及应用

对网格方程组作区域分裂并行计算 ;分析了预条件迭代谱条件的若干性质及其对算法收敛性的影响 ,为构造预处理提供了理论依据 ,并应用于区域分裂并行计算     

微分算子插值样条解析性质的一种新证法

讨论带线性泛函约束的微分算子插值样条 ,在空间Wm2 中给出了由约束泛函和微分算子构造再生核的普遍方法 ,利用微分算子及其共轭微分算子零空间基底之间的关系得到了微分算子插值样条解析性质新的推导方法。