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

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

一种基于多点测距信息的复合制导方法

分析探讨了一种用于提高弹道式导弹对目标命中精度的复合制导方案，提出了通过进行多点测距，利用状态转移矩阵方法，来估计导弹落点偏差和末修级起控点飞行状态参数，然后再按照需要的速度进行末修级导引控制的复合制导方案，并通过仿真计算分析论证了该方法的可行性。     

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

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

国际贸易中标准问题解决方略的研究

国际贸易中的标准问题是产生贸易壁垒的一个很重要的方面,世贸组织虽然为解决这一问题做出了一些规定,采取了一些措施,但是实际效果并不好,很多的成员国并没遵守有关的规则,兑现各自的承诺。而且随着世界经济区域集团化,各种区域性标准在对内起到保护作用的同时,对外则建起新的贸易保护障碍。解决国际贸易中的标准问题,应该从两方面着手,一是加强双边合作,二是加强多方位合作。双边合作是解决标准问题直接而有效的途径,随着贸易的全球化发展,标准统一化是最终的趋势。     

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

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

Broad-band spectral properties of accreting X-ray binary pulsars

Broad-band spectra of accreting X-ray binary pulsars can be fitted by a phenomenological model composed of a power law with a high energy rollover above 10 keV, plus a blackbody component with a temperature of few hundred eV. While, at least qualitatively, the hard tail can be explained in terms of (inverse) Compton scattering, the origin of the soft component cannot find a unique explanation. Recently, a qualitative picture able to explain the overall broad-band spectrum of luminous X-ray pulsars was carried out by taking into account the effect of bulk Comptonization in the accretion column. After a review of these recent theoretical developments, I will present a case study of how different modeling of the continuum affect broad features, in particular the cyclotron resonance features in Vela X-1.     

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

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

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

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

几种新型的星载多光谱和成像光谱仪

近几年出现了几种新型的星载多光谱和成像光谱仪,例如:Landsat-7卫星的有效载荷增强型主题测绘仪+（ETM+）;EOS AM-1卫星的有效载荷多角度成像光谱仪（MISR）和先进空间热发射和反射辐射计（ASTER）;特殊探测器紫外成像光谱仪（SSUSI）。文章从结构、性能参数等方面综述了这几种星载成像光谱仪。     

聚醚聚氨醋推进剂中硝基增塑剂的迁移

研究了含有大剂量ＦＹＺ—１增塑剂配方中ＦＹＺ—１增塑剂迁移的影响因素。探讨了ＦＹＺ—１增塑剂在ＡＰ／ＨＭＸ／Ａ１／ＦＹＺ－１／聚醚推进剂中稳定存在的原因，提出了抑制配方中ＦＹＺ—１增塑剂迁移的方法。