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

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

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

基于微型涡喷发动机热喷流的无源流体推力矢量喷管的控制规律

流体推力矢量喷管型面固定、活动部件少、结构重量轻，能够为高机动飞行器提供有效的飞行控制手段，但无源流体推力矢量喷管热喷流的偏转控制规律尚未完全掌握。为了推进无源流体推力矢量技术的实用化，本文设计研制了适用于微型涡喷发动机的耐高温喷管模型，对该喷管在微型涡喷发动机热喷流状态下的控制规律进行研究。利用非接触光学显示和测量手段——红外热成像拍摄和粒子图像测速（PIV）技术对主射流流动特性进行研究，获得流动矢量角随二次流控制阀门闭合度变化的控制规律；利用六分量盒式天平测力实验研究无源流体推力矢量喷管的力学特性，获得推力矢量角随二次流控制阀门闭合度变化的控制规律。研究结果表明：该构型喷管在微型涡喷发动机热喷流下主射流连续可控偏转，最大流动矢量角为-12.3°/12.3°，最大推力矢量角为-12.9°/12.8°，控制规律接近线性，不存在主射流偏转突跳问题。     

柔性机翼阵风响应与被动减缓研究

高空长航时无人机的机翼展弦比大、柔性较强,飞行过程中极易受到阵风的影响。文章以几何精确本征理论建立结构模型,耦合 Pitt-Peters动力入流理论建立柔性机翼非线性气弹模型,研究了柔性机翼阵风响应以及翼尖被动阵风减缓效应。采用空间 -时间平行的有限元离散方法,将气弹方程转化为一阶微分代数方程,Newton-Raphson和 Generalized-α算法分别用于静态变形和动态响应的求解,通过算例研究了离散阵风载荷下柔性机翼的阵风响应,结果表明翼尖被动阵风减缓装置对机翼变形有明显的减缓效果。     

基于被动探测的目标磁扰动信号检测与定位

针对目标探测定位的快速发展中,军事领域主动雷达存在的缺陷和实现具有高度隐蔽性的目标检测技术的需求,提出一种基于被动磁矢量测量的目标扰动信号检测与定位技术.该方法利用磁传感器阵列测量目标产生的磁矢量扰动信息,通过滤波、门限检测、基函数展开等技术将有效扰动从复杂的背景场中提取出来,并结合速度估计、磁梯度张量矩阵算法研究任意...     

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

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

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

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