一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

基于粒子滤波的被动多基站跟踪算法

针对被动多基站跟踪的实际应用，提出了基于粒子滤波的被动多基站跟踪方法。该方法首先利用两个基站的观测数据融合目标位置，并用第三个基站的观测数据对目标位置进行检验，消除了错误融合位置；然后，推导了被动多基站粒子滤波模型，并根据被动多基站跟踪的特点，提出了顺序重抽样方法，有效地解决了被动多基站跟踪中的高度非线性、非高斯的影响；最后，给出了算法的性能仿真比较。仿真结果表明提出的方法性能明显优于其他跟踪方法（如PMHT、IMM-PDA）。     

非线性PD型比例导引鲁棒性研究

为研究存在视线角速度测量噪声时非线性比例微分(PD)型比例制导方案的鲁棒性,以近距大离轴角发射和目标大机动为拦截条件,对四种视线角速度测量噪声方差进行蒙特卡罗仿真模拟。结果表明,非线性PD型比例制导方案抗视线角速度测量噪声的鲁棒性强,对机动目标拦截制导精度高,是一种具工程应用价值的高精度末制导方案。     

Geometric reasoning under uncertainty for map-based localization

Map-based navigation in outdoor terrain lacking man-made structures or other highly distinctive landmarks can produce severe localization problems. This paper presents an approach to navigation which implements high level geometric reasoning and matching strategies based on those used by skilled human navigators. This approach, which is demonstrated on a real example involving imagery of mountainous terrain obtained with a video camera and USGS map data, is designed to avoid many of the pitfalls occurring when an attempt is made to navigate by modeling the environment mathematically. It exploits feature attributes which cannot be easily expressed quantitatively but are central to the successful human navigation process.     

Real time localization of gamma ray bursts with INTEGRAL

The INTEGRAL satellite has been successfully launched in October 2002 and has recently started its operational phase. The INTEGRAL burst alert system (IBAS) will distribute in real time the coordinates of the gamma ray bursts (GRBs) detected with INTEGRAL. After a brief introduction on the INTEGRAL instruments, we describe the main IBAS characteristics and report on the initial results. During the initial performance and verification phase of the INTEGRAL mission, which lasted about two months, two GRBs have been localized with accuracy of 2–4 arcmin. These observations have allowed us to validate the IBAS software, which is now expected to provide quick (few seconds delay) and precise (few arcmin) localization for 10–15 GRBs per year.     

孔-轴-孔配合处的孔位移制误差计算公式的论证

文[1]、[2]中通过线性化假定推导出计算孔-轴-孔配合处的孔位移制误差的简化公式,但缺乏充足的理论支持。本文用矢量随机误差分析法导出计算该误差的另一公式,通过典型孔-轴-孔配合的孔位移制误差计算,证明该简化公式不仅使用方便,而且准确、可靠。     

Adaptive suppression of passive intermodulation in digital satellite transceivers

For the performance issues of satellite transceivers suffering passive intermodulation interference,a novel and effective digital suppression algorithm is presented in this paper.In con trast to analog approaches,digital passive intermodulation (PIM) suppression approaches can be easily reconfigured and therefore are highly attractive for future satellite communication systems.A simplified model of nonlinear distortion from passive microwave devices is established in consid eration of the memory effect.The multiple high-order PIM products falling into the receiving band can be described as a bilinear predictor function.A suppression algorithm based on a bilinear poly nomial decorrelated adaptive filter is proposed for baseband digital signal processing.In consideration of the time-varying characteristics of passive intermodulation,this algorithm can achieve the rapidness of online interference estimation and low complexity with less consumption of resources.Numerical simulation results show that the algorithm can effectively compensate the passive intermodulation interference,and achieve a high signal-to-interference ratio gain.     

国内外行星表面巡视器自主导航技术研究

作为航天技术发展的前沿和趋势,深空探测是人类历史上最为复杂的系统工程之一.星球巡视器是在星球表面移动作业的无人探测系统,能够对星球表面进行大面积、近距离和接触式的考察,是地外星球着陆探测作业的主要手段.星球巡视器导航技术是研究星球巡视器的关键技术之一,其导航自主性能直接影响星球探测计划能否顺利进行.本文首先概述了星球巡...     

基于磁力计、IMU和单目视觉的自主定位方法

基于单目视觉与惯性测量单元(IMU)融合的SLAM(simultaneous localization and mapping)技术,具有硬件成本低、体积小和消耗计算资源少等优点,在移动机器人导航系统中得到了广泛的应用。单目视觉SLAM系统主要通过求解对极几何来解算位姿,但当平移为零时(仅存在姿态旋转运动),存在解算漂移的问题。通过将磁力计的数据融合到单目视觉SLAM算法中,不但可以解决纯旋转情况下姿态解算漂移问题,还可以提高解算精度。物理仿真实验的结果表明,与传统的SLAM算法相比,本文提出的基于磁力计、IMU和单目视觉融合的算法具有精度高、鲁棒性好的优点。     

一种基于观测站数目最小化的TDOA/FDOA无源定位算法

在三维（3D）运动目标无源定位系统中,无模糊定位最少需要4个观测站。而传统的两步加权最小二乘（TSWLS）及其改进的闭式算法至少需要5个观测站进行求解,当减少一个观测站时,这些闭式算法往往无法提供可靠解。针对这一问题,提出一种最小化观测站数目的到达时间差（TDOA）与到达频率差（FDOA）定位算法。该算法是一种闭式解法并且能够在三维场景下仅使用4个观测站进行定位。该算法分为两步：第1步分离传统的TSWLS算法中未知参数空间,建立了一组新的等式,并且利用加权最小二乘（WLS）算法得到目标位置与速度的初始值;第2步利用泰勒级数展开算法将中间变量线性化,对目标位置和速度初始值进一步校正。理论分析证明了在适当的噪声水平下该算法能够达到克拉美罗界（CRLB）。此外,计算机仿真表明仅使用4个观测站时,该算法对于近场以及远场目标参数的估计精度在测量噪声较小时可以实现CRLB;并且还表明使用5个观测站估计时,该算法比TSWLS及其改进算法能更好地适应大的测量噪声。