高可信软件工程技术

 随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.  

目标微动特性研究进展

 目标特征控制技术的发展增加了目标探测与识别任务的技术难度.随着先进传感器的测量能力和信号处理水平的提高,对目标微动特性的测量和分析正在成为当前目标探测与识别领域的新兴研究方向.本文在目标微动的概念、目标微动对电磁波的调制效应、目标微动特征处理与分析技术进展、目标微动特性应用领域等方面做了比较深入的介绍和分析,最后对目标微动特性研究的发展趋势和技术难点进行了预测.  

SAR图像直线提取

 针对合成孔径雷达(SAR)图像中相干斑的统计特性,设计了对应的直线提取算法.首先组合运用Canny算子和Ratio算子得到边缘点及其边缘方向,然后根据边缘方向一致性原理得到初始直线图;最后,通过高层编组方法连接由于噪声引起的直线缺损.本文提出的边缘检测方法克服了边缘方向量化带来的直线断裂,并且具有恒虚警的特性.高层编组过程通过对初始直线图的分析确定可能扩展的直线区域,之后在原始图像中进行统计证实,得到完整的直线图.直线提取算法在X波段机载SAR图像上进行了试验,得到了满意的效果.提取的直线图可以用于遥感图像矢量化、自动目标识别等方面.  

噪扰下数字化多频连续波雷达的测距模糊问题

 数字化多频连续波测距雷达是一种新体制雷达.它具有能同时测定多个目标、便于同时得到目标多个运动参数等突出优点.为了解决增大最大测距不模糊距离与提高测距精度之间的矛盾,我们将会在多频雷达中采用参差频差关系进行测距,这样我们可以大大提高测距最大不模糊距离.但此时噪声对测距结果有着各种有待讨论的影响,包括:能否正确解模糊;对输入信号信噪比有何要求;理论测距精度有何变化;直至对参差系数有何要求等.数字化多频雷达的这些问题,本文对这些问题进行了详细的讨论,并给出了本文结论的计算机仿真结果.从而在理论上为这种雷达的深入研究提供了一个很好的基础.  

利用方向角及其变化率对固定辐射源的三维单站无源定位

 本文提出了利用方位角、俯仰角及方位角速度或俯仰角速度信息对固定辐射源的三维单站无源定位模型和方法,指出这两种方法具有单次观测即可得出目标辐射源位置的优点,并针对这两种测距方法的误差和可观测性分别进行了分析,最后给出了单次测量三维定位和多次测量卡尔曼滤波后的计算机仿真结果和结论.  

面向路径的测试数据自动生成方法述评

 为指定的程序路径自动生成测试数据是软件单元测试中一个基本问题.求解该问题的实质在于约束系统的建立和求解,其主要困难之一在于非线性约束求解是一个理论上困难的问题.文中将面向路径的测试数据自动生成方法分为四类——随机法、静态法、动态法和试探法,分析和比较了每一类中有代表性的方法,并探讨了研究方向.  

空心透镜导管的模拟与设计

采用大口径、高功率激光二极管(LD)阵列的大型全固化二极管抽运激光系统(DPSSLs)能够产生高功率、大能量、高重复频率的优良激光。为了实现对介质的高效抽运，将空心透镜导管应用于大口径高功率激光二极管阵列耦合系统。基于三维光线追迹的数值计算方法，编制了LD纵向抽运耦合系统模拟软件，对空心透镜导管进行模拟与设计，使系统耦合效率超过90％的同时，增益介质表面抽运场具有良好的均匀性，实现了对介质的高效均匀抽运；同时通过改变空心透镜导管的参数进行模拟比较，得出了空心透镜导管设计的经验公式，为大型DPSSLs耦合系统的设计提供了有益的参考。  

高功率双层径向线螺旋阵列天线 理论分析与数值模拟

 研究了一种高功率双层径向线螺旋阵列天线.论文首先介绍该阵列天线的工作原理,然后从工作原理出发,设计中心频率为4.0 GHz的高功率双层径向线螺旋阵列天线,提出并研究了螺旋单元天线的磁耦合馈电,最后用有限元算法软件对阵列天线进行了数值模拟.模拟结果表明:该口径为320mm的天线在中心频率上可获得21.13dBi的增益,口径效率可达72.3％,在-12°≤θ≤12°的范围内轴向轴比值小于1.55;在3.8GHz~4.2GHz的频率范围内增益大于20.68dBi,口径效率大于69%,天线轴向轴比值小于1.7.  

无源定位跟踪中修正协方差扩展卡尔曼滤波算法

针对无源定位跟踪中EKF受初值、测量噪声影响大等缺点，该文提出了一种新的修正协方差扩展卡尔曼滤波方法(MVEKF)，并将其与无源定位跟踪中常用的EKF，MGEKF，IEKF、等滤波方法进行了仿真比较，表明该方法比EKF方法更具稳定性；而且无需寻找MGEKF方法中所需的观测量可修正函数，因而可以应用于其它领域的非线性滤波中．  

适于大斜视角的星载双基地SAR波数域成像算法

 本文提出一种星载双基地SAR(Synthetic Aperture Radar)等效平行轨迹距离模型,计算表明该模型误差远远小于直接基于多普勒参数的二阶距离模型.基于该距离模型提出一种星载双基地SAR波数域成像算法,能在大斜视角、高分辨率情况下精确成像.最后对仿真点目标双基地回波进行成像处理,结果与基于二阶距离模型的成像算法相比较,证明了本文等效距离模型和成像算法的优越性.