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

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

Wave-Particle-Electric Field Synergetic Auroral Electron Acceleration

Space Science Reviews - We discuss afresh the problem of the auroral electron acceleration based on the controversy reports of Bryant, D. A. et al.: 1992, Phys. Rev. Lett. 68, 37, and Borovsky, J.:...     

薄膜充气管充气展开特性试验

用展开导轨消除因重力产生的摩擦力,在不同充气速率与初始展开角条件下对薄膜材料充气管的充气展开特性进行了试验研究,获得了展开角,以及展开加速度和内气压的变化规律。试验及分析结果表明:充气管的充气膨胀与展开相互独立,充气膨胀过程近似为等压增容过程,折叠部位的气压变化特性与整体气压变化特性差异明显。     

现场动平衡技术在生产中的应用

利用美国恩泰克公司提供的DP1500数据采集仪及现场动平衡软件,以实例说明了现场动平衡技术在锅炉引风机、排粉风机、电动机、机泵等转动设备不平衡故障排除中的应用,介绍了不平衡故障的识别方法,揭示出该技术在生产中的实用性、先进性和经济性.     

飞机主操纵系统疲劳试验载荷谱小操纵位移频次问题研究

针对飞机全机主操纵系统疲劳试验载荷谱中小操纵位移频次影响问题进行了分析和讨论,确定了某机全机主操纵系统小操纵位移频次的级别。同时,在原某机全机主操纵系统疲劳试验载荷谱的基础上再次对其小操纵位移频次进行了计算,去掉了这一级别以下对全机主操纵系统疲劳试验无影响的小操纵位移频次,从而完善了主操纵系统疲劳试验载荷谱。另外,对小操纵位移频次问题研究结果在其全机主操纵系统疲劳试验中的实施效果进行了阐述。     

What Determines the Composition of SEPs in Gradual Events?

Gradual solar energetic particle (SEP) events are evidently accelerated by coronal/interplanetary shocks driven by coronal mass ejections. This talk addresses the different factors which determine the composition of the accelerated ions. The first factor is the set of available seed populations including the solar wind core and suprathermal tail, remnant impulsive events from preceding solar flares, and remnant gradual events. The second factor is the fractionation of the seed ions by the injection process, that is, what fraction of the ions are extracted by the shock to participate in diffusive shock acceleration. Injection is a controversial topic since it depends on the detailed electromagnetic structure of the shock transition and the transport of ions in these structured fields, both of which are not well understood or determined theoretically. The third factor is fractionation during the acceleration process, due to the dependence of ion transport in the turbulent electromagnetic fields adjacent to the shock on the mass/charge ratio. Of crucial importance in the last two factors is the magnetic obliquity of the shock. The form of the proton-excited hydromagnetic wave spectrum is also important. Finally, more subtle effects on ion composition arise from the superposition of ion contributions over the time history of the shock along the observer’s magnetic flux tube, and the sequence of flux tubes sampled by the observer.     

低频声波对水雾消散作用的实验研究

作者考查了低频声波(<50Hz)对于水雾消散的作用。通过建立声波消雾实验装置,测定了在水雾消散过程中,雾室内的声场分布、温度、消雾时间、雾滴谱的变化过程。实验结果表明声波作用对于水雾的消散具有明显的作用。并且,消雾的效果随着作用声波的频率和声压级(SPL)呈规律性的变化趋势。较低频率和较高声强的声波作用更有利于水雾的消散,在消雾的过程中温度起伏不大。而声致凝聚是声波消雾的主要因素之一。     

一种用于导弹末制导的线性化控制方法

针对包含未知参数的导弹运动非线性模型,提出了一种用于末制导的线性化反馈简化控制方法。在模型中引入附加加速度输出,通过消除内反馈和零极点以输入-输出的近似线性控制导弹的非线性运动。给出了控制模型及其构成。仿真结果表明,该方法的反应速度快、稳定性好,控制精度满足要求,可用于导弹跟踪飞行控制。     

伪码调相与PAM复合测距系统研究

介绍了PAM伪随机码的构成原理,推导了PAM伪随机码的自相关函数和功率谱密度。结合图形分析了它们的性质特点。设计了伪码调相与PAM复合测距系统,并分析了在加性高斯白噪声信道中的各个阶段的信号形式。研究了复合测距系统的性能,详细推导了复合测距系统的信噪比增益。结果表明,与单纯的伪码测距系统相比,复合测距系统有更强的抗干扰性能和测距能力。     

不同风速下海洋粗糙面散射系数的计算

在考虑风速的条件下,计算了海洋粗糙面的散射特性。用矩量法(MOM)计算了一维介质海洋粗糙面在Durden-Vesecky功率谱下的散射系数,由此获得了一定风速时的双站散射系数。仿真结果表明,计算值与文献数据非常吻合。由计算的不同风速下双站散射系数可知,风速对海洋粗糙面散射特性的影响较大。在一定的海拔高度上,散射角相同(除后向散射方向外)时,风速越大,散射就越强。