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

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

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

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

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

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

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

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

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

主动Lamb波监测技术中的传感元件优化布置研究

研究了应用主动Lamb波对复合材料结构试件进行损伤检测时的压电元件的布置优化问题.首先,通过实验选取了不同中心频率的激励信号对结构板进行激励,根据Lamb波响应信号的分析结果对各个压电元件之间的距离进行优化;其次,通过计算S0模式Lamb波的群速度获得边界反射的到达时间,将计算得到的边界反射信号的发生时刻与实际情况进行对比,结果吻合一致,据此可对压电元件进行抑制边界反射影响的优化布置.将压电元件的优化布置应用在具体的损伤检测实验中,实现了复合材料上的一维结构脱层损伤定位.     

Deformation Behavior of Mg-8 wt%Li Alloy under High-speed Impact

Deformation behavior of the Mg-8 wt%Li alloy at high strain rate was studied by means of the Split Hopkinson Pressure Bar (with strain rate of 103 s-1). It is found that shear localization proves to be the main damage mode for the alloy during dynamic loading. Strain and strain rate are the two necessary parameters affecting the occurrence of deformation and shear bands. Deformation bands begin to form when the strain and strain rate reach 0.20 and 1 900 s-1 respectively and will develop gradually with the strain rate increasing. Be-sides, deformation bands will transform into shear bands when the strain and strain rate reach above 0.25 and 3 500 s-1 separately.