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

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

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引言在叶轮机械叶栅内流动控制中,可以通过在叶片吸力面、端壁上安装翼刀或隔片,控制二次流的发展,降低二次流损失,其中将翼刀加装在吸力面上的控制方式即为吸力面翼刀控制技术。吸力面翼刀主要是通过阻断端壁附面层和叶片吸力面附面层近端壁处低能流动沿吸力面的展向迁移来对     

叶轮机非定常气动设计的缘线匹配(II)数值研究

缘线匹配通过考虑多叶排叶轮机相邻叶排间前排叶片尾缘线与后排叶片前缘线空间相对位置匹配关系来进一步提升叶轮机性能,有潜力使叶轮机非定常设计走向工程实际。以一单级跨声轴流压气机和一单级轴流透平为例,尝试用基元流动展向积分方法和全优化方法改善其性能,从而示例应用缘线匹配的具体方法及前景。结果表明,缘线匹配为叶轮机非定常设计提供了可操作的自由度。     

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

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

一种叶片截面线光顺及等距面生成方法

采用等距面生成球头刀加工刀具轨迹是曲面加工中一种常用的方法。但是,在对叶身曲面进行等距偏置时,经常出现无法偏置的问题。针对该问题,分析了曲面偏置自相交原因,并根据叶片类零件叶身曲面的特点,提出了一种叶身截面线光顺及等距面生成方法。该方法首先采用Kjellander方法将原始截面线进行自动光顺,然后根据光顺后的原始截面线和数据采样法构造偏置截面线,最后通过截面线放样法构造叶身曲面等距面。实例表明,采用Kjellander方法可以实现叶片曲面的自动光顺和叶片曲面等距面的构造。