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

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

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

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

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

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

扩频码协议在集中式扩频无线分组网中的应用

从集中式扩频无线分组网的角度出发，着重讨论了正向链路和反向链路上的扩频码协议的选择问题，并且提出了一种扩频码协议的具体实现方案。     

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

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

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

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

噪声调幅干扰信号波达方向估计研究

利用噪声调幅干扰信号频谱结构的特殊性,提出基于阵列接收信号载频处频域数据的波达方向估计算法,通过仿真分析表明该算法的角度估计性能明显高于目前广泛采用的比幅比相单脉冲测角法,并且计算量也大大低于传统的波达方向估计算法.     

多目标扩频角度跟踪系统及精度分析

扩频角度跟踪系统是实现扩频测控的前提,研究无数据包络情况下的直接扩频角度跟踪系统,在系统建模的基础上进行了数学建模、精度分析和数学仿真。结果表明:扩频角跟踪精度可达到单脉冲信标跟踪的精度;精度不仅受接收机输入端噪声的影响,还受数据自噪声的影响;高信噪比情况下,角误差通道的相移限制跟踪精度,但合理设置参数仍可实现多目标、高精度的扩频角度跟踪。     

基于DDS与FPGA技术的DS-FH混合扩频信号源的研制

在采用单一跳频通信方式时,部分频带噪声干扰会引起性能的极大恶化,而DS-FH混合扩频通信体制可有效地降低部分频带干扰对系统性能的影响,文中提出一种基于DDS(DirectDigitalSynthesizer)与FPGA技术的DS-FH混合扩频信号源的实现方案,并分析该信号源在部分频带干扰环境下的抗干扰性能。     

独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。