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

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

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

多目标跟踪的核粒子概率假设密度滤波算法

提出一种新的多目标跟踪算法：核粒子概率假设密度滤波算法(KP-PHDF)。算法的创新点在概率假设密度滤波算法(PHDF)的目标状态提取步骤,以粒子概率假设密度滤波算法为框架,并运用结合了mean-shift算法的核密度估计(KDE)理论进行概率假设密度(PHD)分布的二次估计、提取PHD峰值位置作为目标状态估计值。分析与多目标跟踪(MTT)仿真的结果表明,与现有序列蒙特卡罗概率假设密度滤波算法（SMC-PHDF）相比,在相同仿真条件下新算法的估计精度提高30.5%。     

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

 以往的相位差变化率定位技术中需要利用二维相位干涉仪获取方位角和俯仰角信息,出于降低平台载荷负担的需求,考虑到一维相位干涉仪系统仅能获取圆锥向角的性质,针对地面固定目标提出了一种联合利用圆锥向角和相位差变化率的一维干涉仪体制瞬时定位算法,计算和分析了定位误差的几何分布(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,变形多处于流变失稳区域,其变形机制主要为绝热剪切和局部流动。     

随机集的概率假设密度粒子滤波

多目标跟踪问题中,当目标数已知时,可以用概率数据互联(PDA)或联合概率数据互联(JPDA)算法。而当目标数未知或随时间变化时,需要对不同目标数的跟踪进行比较。可以把目标集看作随机集进行讨论,目标数N是随机变量。随机集的跟踪通过有限集统计(FISST)理论来完成。文中讨论了用粒子滤波实现跟踪随机集的方法。实验表明,在杂波环境下,粒子滤波可以稳健跟踪目标状态和目标数。     

基于ASM实现视频中物体的定位

对目标进行有效跟踪是目前许多国家获取信息的重要手段,主动形状模型(ASM)主要应用于灰度图像中物体的跟踪与定位,本文针对Koschan等提出的结合金字塔模型的ASM方法作进一步改进,使之应用于视频(本文视频采用MPEG数字视频压缩编码标准)中物体的定位:首先将视频解码还原成图像序列,从人眼视觉特征出发,将RGB颜色模型转换为HSV颜色模型,用色调信息取代灰度信息进行物体定位;并研究图像序列帧之间物体的重合度对提高定位效率的作用.实验结果说明在ASM中使用色调信息能有效地实现视频中的物体定位.     

失谐周期压电复合材料结构中的波动局部化研究

考虑力电耦合效应的影响,研究了层状失谐周期压电复合材料结构中的波动局部化问题。根据界面上力电连续条件,推导了结构中相邻单胞间的传递矩阵。以力场和电场变量为状态向量,给出了结构中局部化因子的表达式。作为算例,计算了结构中的波动局部化因子。计算结果表明,压电陶瓷的压电效应对周期压电复合材料的波动局部化特性有显著影响,压电常数越大局部化因子值越大,结构的局部化程度越强;结构的失谐度越大,频率通带区间内的局部化因子值越大,局部化程度越强。分析结果对于周期压电复合材料结构的优化设计和振动控制具有理论参考价值。