基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

一种防空自动化系统效能的模糊综合评估方法

针对防空自动化系统的组成,给出了防空自动化系统效能的指标体系,并通过分析防空自动化系统静态效能和动态效能的关系,运用模糊综合评估和系统性能评价等级划分的方法,在防空自动化系统静态效能评估的基础上,研究了防空自动化系统的动态效能,提出了一种静态效能与动态效能相结合的防空自动化系统模糊综合评估方法。     

空间双体系绳系统展开阶段末端星姿态动力学分析

为了研究空间系绳系统展开过程中末端星的姿态运动,采用第二类拉格朗日方程建立系统展开及末端星角运动的数学模型,分析展开阶段末端星的姿态动力学特性。建模时将系绳末端连接的母星与子星视为尺寸不可忽略的刚体,且母星质量远大于子星质量,系绳视为有质量的刚性杆。利用该数学模型可以分析系绳系统的展开过程,研究影响末端星姿态运动的主要因素,包括姿态角初始扰动以及末端星动/静不对称性。仿真结果表明,系绳展开时末端星姿态角初始扰动及动静不对称性可能会导致姿态角失稳,出现系绳缠绕星体的情况。仿真结果可以为展开阶段末端星姿态控制提供参考。     

飞机静电起电放电机理及带电极性的相关研究

飞机上的静电来源主要包括：沉积颗粒的摩擦起电、发动机引擎燃烧产生的等离子气体起电、穿越带电云层时的感应起电、对流起电和雨滴等粒子的破裂起电等。当机体上电压达到周围介质的放电电压阈值时就会放电，这些放电产生的电磁噪声对导航和通讯都会造成干扰。飞机放电机理主要包括电晕放电、绝缘材料与金属之间的流柱放电和相邻未焊接金属间的火花放电。在实验室内通过对不同物质进行摩擦起电试验和发动机尾气喷射起电实验，得出不同起电方式的带电极性。