用动态模拟方法实现C程序输入变量的取值分析

程序输入变量取值范围的确定对于测试数据的选取,尤其对边界值分析,有着直接的指导作用.一般情形下,通过对源程序进行数据流和相关性分析,可实现输入变量的取值分析.但对某些有特殊取值限制要求的表达式,用静态分析方法,难以实现其输入变量的取值分析.为此,采用动态模拟的方法,对有特殊取值限制要求的表达式,进行输入变量的取值分析.实验表明,该方法是行之有效的.     

关于区域到区域映射的某些新结果

研究了指数函数、对数函数所构成的映射的映射特点;拓广了基本映射公式,提出了利用基本映射公式求区域到区域的映射。     

悬浮式深弹反鱼雷武器系统的有效拦截域分析

针对悬浮式深弹反鱼雷武器系统在作战使用中需对目标的可拦性进行快速判断的需求,提出了系统有效拦截域的概念,又根据系统作战流程和工作原理,将有效拦截域判断条件细化为时间域和空间域两个方面判据,进而构建了基于实战中可获取的战场态势等相关信息计算系统有效拦截域的数学模型,并具体给出了一个计算实例。研究结果可为其作战使用提供一定参考。     

一种基于LMS的时域相干累积算法研究

为了克服低信噪比条件下传统的自适应滤波算法抑制高斯噪声效果差的缺点,提出了基于最小均方(LMS)的时域相干累积新算法。计算机仿真结果表明,该算法具有良好的抑制高斯噪声的性能,对于低信噪比下信号的增强效果明显优于传统的自适应滤波算法。     

定量反馈理论在侧向飞行控制系统中的应用

分析总结了定量反馈理论(QFT)的基本原理、设计步骤和特点,运用该理论对飞行控制系统(FCS)进行了设计研究.针对侧向通道的多输入多输出耦合系统,研究了QFT理论在多变量解耦控制问题中的应用.研究发现,QFT能够很好地解决飞行控制系统由于模型参数具有不确定性而造成的控制系统鲁棒性设计问题.仿真表明该理论具有良好的鲁棒性能和解耦能力.     

基于时域平均的齿轮故障诊断

提出了信号时域平均处理的新算法,解决了周期截断误差对平均结果的影响,并对测取的齿轮箱齿轮故障振动信号进行了处理。实验结果表明:该方法在齿轮故障信号的处理中能够消除背景噪声的影响,取得比较理想的效果。     

一种基于神经网络的变换域数字水印提取算法

从理论上分析了变换域数字水印嵌入和提取过程,研究了图像处理和攻击对水印产生破坏的机理,并在此基础上提出了一种基于神经网络的变换域数字水印提取算法。实验证明,该算法对各种常见攻击具有较强的鲁棒性。     

试论军语演变“三律”

军语的产生、发展和变化,始终受到军事规律、词汇规律和术语规律的影响和制约。这三个方面规律的综合作用,对军语的语形、语义和语用的演变,产生着积极或消极的影响。任何一个军语在任何一个方面的演变,都可以从领域、词汇和术语这三个方面的规律中寻觅其基本成因。     

基于数字混沌序列的变换域通信系统基函数产生方法

提出了一种新的变换域通信系统基函数生成方法——Logistic数字混沌映射法,并对基于Logistic混沌序列基函数的特性进行仿真,同时将其与基于m序列的基函数进行对比分析。仿真结果表明,基于Logistic混沌序列基函数具有较好的伪随机特性、多址特性,且函数数量巨大。     

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

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