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

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

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

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

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

基于磁力计、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及其改进算法能更好地适应大的测量噪声。     

基于圆锥向角和相位差变化率的运动单平台无源定位算法和精度分析

 以往的相位差变化率定位技术中需要利用二维相位干涉仪获取方位角和俯仰角信息,出于降低平台载荷负担的需求,考虑到一维相位干涉仪系统仅能获取圆锥向角的性质,针对地面固定目标提出了一种联合利用圆锥向角和相位差变化率的一维干涉仪体制瞬时定位算法,计算和分析了定位误差的几何分布(GDOP),并给出了蒙特卡罗仿真实验结果,并指出了干涉仪安装方向和平台姿态变化的基本原则。研究表明,这样的无源定位系统设备相对简单,但同样具有对目标的定位能力。这些有益结论可以为系统的设计和应用提供理论依据。     

Ti-6.5Al-3.5Mo-1.5Zr-0.3Si合金绝热剪切和局部流动行为

在THERMECMASTOR-Z型热模拟机上对Ti-6.5Al-3.5Mo-1.5Zr-0.3Si合金在变形温度780～1 080 ℃,应变速率0.001～70.000 s^-1条件下的流动应力变化规律进行了研究,分析了变形工艺参数对Ti-6.5Al-3.5Mo-1.5Zr-0.3Si合金绝热剪切和局部流动行为的影响,并采用基于动态材料模型的功率耗散图分析了Ti-6.5Al-3.5Mo-1.5Zr-0.3Si合金易发生绝热剪切和局部流动的热力参数范围。结果表明:在所研究的热变形条件下,当温度较高、应变速率较低时,变形呈稳态流动特征,当温度较低、应变速率较高时,变形呈流动软化特征。通过功率耗散图分析及微观组织观察可知,在α+β两相区变形,应变速率高于0.100 s^-1时,功率耗散系数多数小于0.16,变形多处于流变失稳区域,其变形机制主要为绝热剪切和局部流动。     

存在观测站位置误差的转发式时差无源定位

无源定位中,由于观测站安放在运动平台等原因造成的观测站位置误差会影响无源定位精度性能。另外到达时间差(简称时差)(TDOA)的转发式测量需要将不同观测站截获到的辐射源信号都转发到同一位置,如主观测站。针对这两个问题,提出了基于约束总体最小二乘(CTLS)的无源定位算法。首先将转发式时差的非线性定位方程转化为不需要中间变量的直接线性方程,再基于CTLS算法依次转化为约束优化问题和无约束优化问题,最后推导给出定位近似闭式解。仿真实验表明在观测站误差较大时,该算法与其他算法相比定位精度性能较好。