简介：为了解决单脉冲雷达体制中距离分辨率与实际探测距离之间的矛盾，现有雷达一般采用（线性）调频中断连续波（FMICW）体制。根据模糊函数定义推导出（线性）调频中断连续波信号的模糊函数，并对重复周期FMICW信号的距离和多普勒分辨性能进行了分析与研究。分析结果表明，FMICW信号的距离分辨率仅与其发射波形带宽有关，而多普勒分辨率仅与其相干积累时间有关，这对进一步研究雷达新体制有一定的帮助。

简介：FMCWSAR是一种新近被提出来的成像雷达体制，它具有体积小、重量轻、成本低、分辨率高等一系列优点。因此，人们对FMCWSAR越来越关注。首先推导了FMCWSAR的信号模型，然后讨论了方位匹配滤波函数。为了能够精确成像，同时避免计算量过大，提出将场景沿距离向分段，用不同的方位匹配滤波函数进行处理，并给出了分段标准。最后，仿真结果表明此方法可以得到理想的成像结果。

简介：蜕变测试可解决测试Oracle问题，但不是所有的蜕变关系都能有效地发现软件缺陷。提出了一种基于复合函数的蜕变关系构造方法，通过该方法构造的蜕变关系，集合了复合蜕变关系的所有特点，具有较高测试效率。试验验证表明该方法有效。

简介：针对接收天线接收的目标散射体的散射强度取决于目标相对于收发天线的位置、目标电性能参数以及目标几何形状的问题,提出一种将不同位置的目标对齐到参考位置的目标对齐框架。该框架创新地从BP（BackProjection）算法与线性波恩近似（BornApproximation,BA）电磁场逆散射数学模型关系入手,结合修正Green函数设计,推导出目标特征受多个参数耦合约束的去相关数学模型。基于电磁场仿真数据,从定性和定量两个角度验证所提出的目标对齐框架的有效性。

简介：证据间冲突程度的有效衡量是解决高冲突证据融合问题的有效途径之一。针对冲突系数无法有效衡量证据间的冲突程度问题，在分析现有冲突衡量方法基础上，提出了一种基于指数函数的证据冲突衡量方法。首先，根据证据间基本概率赋值（BPA）关系将证据分为一致证据和非一致证据2类；然后，根据证据分类结果，综合利用差异性信息和指数函数分别构造冲突衡量系数；最后，用多种冲突衡量方法进行算例分析对比，试验结果表明本文方法可有效衡量证据间冲突程度。

简介：利用MATLAB提供的工具箱可以有效地解决各种科学及工程问题。但其对.NET的支持非常差,而.NET又是各种应用的主流平台,因此有必要研究二者的接口。本文使用MATLAB的引擎库函数实现在C#.NET下调用MATLAB。

简介：基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。

简介：针对无源定位中的时差频差联合估计问题，利用内积公式推导出了基于互模糊函数的时差频差联合估计公式，并提出了相应的快速实现算法。其中通过适当变换互模糊函数计算公式，将传统的二维时差频差搜索算法变为对信号内积进行快速傅里叶变换，然后对变换后的数据进行二维搜索，大大提高了时差频差联合估计的速度，降低了运算量。通过重构离散傅里叶变换项，并进行近似，进一步降低了运算量。仿真结果说明，两种算法都能得出准确的结果，改进的算法计算时间更少。

简介：SAR图像增强技术是SAR信号处理中很重要的一门技术。SAR原始图像中除了包含模糊的目标区域和阴影区外还包含了大量的噪声。在目标识别过程中，如果先对原始SAR图像进行增强处理，在降低噪声的同时增强模糊的目标区域和阴影区，然后进行特征提取，就可以大大降低识别系统的运算量，提高识别效率。正则化方法广泛应用于图像分割、图像增强等领域。通过对两种正则化算法的比较，结合两种方法的优点，提出了一种改进的基于图像域的势函数正则化图像增强算法。利用MSTAR数据库数据进行仿真试验，取得了良好的效果。

简介：通过数学推导发现了时间无限长线性调频（LFM）信号的分数阶Fourier变换（FRFT）模函数具有对称性，且单边单调。之后经过分析，得出时限LFM信号的FRFT模函数也具有较好的这种特性。根据此结论提出了基于FRFT的时限LFM信号检测与参数估计的新方法，此方法采用两级搜索，克服了FRFT算法误差对线性调频信号的FRFT模函数对称性和单调性的影响，在减少了运算量的同时提高了参数估计精度。仿真分析证实了此方法的有效性。

简介：随着无线通信领域的快速发展,人们对微波滤波器性能的要求也越来越高。文章根据滤波器的分类和特点,研究了集总元件滤波器引入传输零点的规律和方法,分析并对比了三种不同类型低通滤波器的衰减特性。根据设计指标要求,基于LTCC技术设计了一款高性能小型化的椭圆函数七阶低通滤波器。滤波器的等效电路包括串联支路中的4个电感和并联支路中的3个LC谐振腔,共10个元件。通过对滤波器模型物理结构的优化,减小了滤波器内部元件间的寄生耦合效应,并在阻带中成功引入了传输零点,改善了滤波器的性能。

简介：摘要数学这一学科是贯穿学生学习生涯的基础学科，在培养学生的解决问题能力、综合分析能力、逻辑思维能力方面有着极其重要的作用，而函数是数学的重要内容之一，具有较强的逻辑性、抽象性和整体性，符合数学学科价值。因此，本文在高中数学函数教学中，如何渗透数学思想方法进行探索，对实现高中数学函数的有效教学，提出分类讨论、数形结合、转化思想等方法，提高函数教学的有效性，使函数教学效果得到优化，希望能帮助学生解决现实问题、培养学生数学能力。

简介：合成孔径雷达（SAR）图像的小波系数间存在重要的相关性．通过对这种相关性的精确建模可以改善图像的去斑效果。提出了一种新的基于自相关函数建模的小波域SAR图像去斑方法。首先对原始SAR图像进行对数变换．再用可控金字塔作多尺度和多方向分解．分别对图像和噪声系数的自相关函数精确建模．并在图像自相关函数中引入方向性解析式．再利用维纳滤波得到去噪后的小波对数图像，最后经指数变换得到去斑后的SAR图像。对合成图像和实际sAR图像的去斑实验表明，该方法较其他经典方法的去斑效果要好。

简介：目前PSWF的脉冲产生方法在硬件实现方面有着编程复杂,计算量大,资源消耗多等制约因素,因此亟需一种适合实时产生PSWF脉冲信号的方法。通过分析Walsh函数系的特点和产生原理,提出了一种基于Walsh函数系的PSWF脉冲波形重构方法。其中,Walsh系数可以通过已有的PSWF数值点与P编号的Walsh矩阵求解得出,再截取所需精度的Walsh系数参与重构PSWF脉冲波形,从而达到降低存储量的目的。由于Walsh码型中的±1与数字电路中的01有着天然对应的关系,重构时只需将Walsh系数相加减,从而降低计算量。仿真结果表明,利用Walsh函数系可以较好地重构PSWF脉冲波形,且算法简单,避免了乘法运算,降低了计算量和存储量,有利于工程实现。

简介：将双向高斯核函数时频分布引入到非平稳信号瞬时频率估计。通过控制时延、频移参数,该时频分布能够有效提高时频分辨率,同时对多分量信号检测时存在的交叉项能够得到很好的抑制。理论推导及计算机仿真均表明该分布具有良好的性能。

简介：针对基带传输中的码间串扰问题，提出了基于椭圆球面波函数的基带传输系统设计方法。基带传输波形采用频带近似有限、持续时间为一个码元长度的椭圆球面波函数，根据基带传输系统的传输速率、码元持续时间、传输带宽等系统要求设置椭圆球面波函数的参数，通过构建椭圆球面波函数积分方程、数值求解和特征值排序等步骤完成基带传输波形设计。该方法不仅可有效提高基带传输系统的抗干扰能力，同时也使系统具有较好的功率利用率。

简介：窗函数法是设计数字滤波器的一种方法。简要介绍了如何利用窗函数进行FIR数字滤波器的设计，以及分析各种不同窗形式对滤波器性能的影响。最后运用Matlab进行仿真比较。