电偶腐蚀下非稳态扩散瞬时静电场分析

为分析在浓差极化条件下非稳态过程中的静电场分布情况，在斐克第二定律的基础上利用拉普拉斯变换求解电极表面氧浓度随时间的变化。通过法拉第定律分析受氧浓度控制下的电偶腐蚀电流密度，在此基础上利用电流元模型求解电解质溶液中任意位置处产生的瞬时电位及静电场强度，并通过实验验证结果的正确性。结果表明：浓差极化下的非稳态扩散传质产生的静电场及电位会随着时间的增加而逐渐减小，并最终达到稳态，且电流密度会随着氧的浓度减小而减小。     

螺栓法兰连接结构有限元模型参数确定方法

螺栓法兰连接广泛用于各种工业结构中,为准确预测该连接在实际工作中发挥的作用,需要建立准确高效的有限元模型。针对有限元建模过程中模型各种参数的确定问题,综合使用数值仿真手段和试验手段分别对模型网格参数和接触参数的确定开展研究。参数确定后的螺栓法兰连接结构有限元模型在保证计算精度的前提下,计算效率得到显著提高。     

利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

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

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

武器装备试验计量保障有关问题的思考

计量保障是武器装备试验数据准确和试验质量可靠的重要保证,是考核与评价装备战术技术指标的关键环节,在武器装备的发展建设中发挥着不可替代的基础作用。本文结合目前武器装备试验计量保障工作的现状,从计量管理的法制化、试验计量保障能力建设、试验装备的强制检定和装备计量保障信息数据库等若干方面深入阐述了试验需求和法律法规要求,探讨了做好试验计量保障工作应采取的改进措施。     

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

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

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

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

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

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