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

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

微重力科学与应用研究（上）

空间微重力环境的独特物理现象对航天器各系统均产生无法回避的影响，在型号研制中正确计入微重力效应是航天事业发展中的一个重要研究领域。在现阶段，航天器发动机再启动相关的微重力研究以及载人航天防火安全相关的微重力研究应当引起人们的高度重视。随航天事业的发展，微重力效应问题日益会严重起来（结构动力学、耦合动力学、多相流温控、低重星球场着陆撞击……），进行深入广泛的微重力效应研究对保证航天器飞行任务完成有着不应忽视的作用     

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

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

论贾谊的教育思想

贾谊是我国古代比较系统地提出教育思想的人之一。他的教学内容以儒家礼教为中心，以道德教育为目标，从而建构了他的教育思想的基本框架。他首倡胎教，他总结的一些经验和理论与现代的胎教思想不谋而合。他强调环境对教育的重大影响，认为良好的环境有利于提高品德，增长学识。在教与学这个矛盾中，他强调教师的积极主导作用，并明确指出了教师的职责和任务。     

基于LabVIEW设计曲线拟合仪

基于LabVIEW图形化编程环境和软件分析库函数设计的曲线拟合仪，界面友好，功能齐全，操作简便，在科学研究和工程应用中具有较强的实用价值。文中简要介绍利用NI虚拟仪器技术设计曲线拟合仪的方法，给出软件设计思想与实现方案，对主要软件功能模块进行了分析。     

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

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

星载遥感器在模拟空间环境中辐射定标设备研制

文章简述了星载遥感器辐射定标设备的研制过程及其在模拟空间环境中的调试过程,试验证明了该设备设计的合理性。     

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

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

低地球轨道环境原子氧对航天器表面材料聚酰亚胺作用的数值模拟

在建立数学物理模型的基础上，对氏地球轨道环境和地面实验环境下，有无保护层的聚酰亚胺所受原子氧冲蚀作用进行了进行了成功的数值模拟，获得了具有工程应用价值的数值计算结果，并讨论了数学物理模型中各参数对基蚀曲线形状的影响。从数值模拟结果和美国太空实验结果的比较可以看出，本文数据模拟的结果是正确的。该项工作对航天器的设计具有重要指导意义。     

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

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