军用嵌入式软件测试技术研究

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。但当前无论是在软件测试的认识层面,还是对软件测试的管理和技术支撑等方面仍然存在一些问题,软件测试工作形势依然严峻,急需得到改进和加强。本文主要分析了军用软件测试现状、存在的问题和原因,并综合设计体系结构提出对策措施,为整体推进软件测试工作提供了可行的解决方案。     

航班运行中典型虚假近地警告实例分析及运行建议

可控飞行撞地（CFIT）征候是局方监控事件中频率最高的事件之一,对确保飞行安全至关重要。正确使用增强型近地警告系统（EGPWS）是防止可控飞行撞地最直接有效的办法。本文首先介绍了相关概念和EGPWS功能,其次介绍了相关案例并分析了虚假近地警告类型,最后从飞行员视角提出了运行建议,旨在为航班运行提供避免和正确面对虚假近地警告的思路和方法,保证航班安全运行。     

ARJ21飞机抖振升限特性研究及运行裕度分析

抖振是一种飞机各部件在飞行中发生振动的现象,威胁飞行安全。现利用ARJ21飞机配套性能软件PES仿真计算多种运行重量、推力状态、速度条件下的升限,分析了低、中、满上座率条件下飞机在气动和推力限制及节油速度升限。结果表明：在M0.4-M0.69区间内,节油速度升限要远小于气动和推力限制的抖振升限,安全裕度高;而在M0.69-M0.82区间内,节油速度升限随速度增加而逐渐逼近气动和推力限制的抖振升限直到相交,且重量越重逼近趋势越明显,交点对应的升限高度越低,安全裕度也越低。     

刀具磨损的偏最小二乘回归分析与建模

简述了偏最小二乘回归方法;对在不同切削条件下车削加工过程刀具后刀面磨损的多组实验数据,采用偏最小二乘回归方法,根据变量重要性指标分析和因子载荷分析,从8个变量及其组合中筛选出了6个用于建模的自变量,并以后刀具磨损量作为因变量,建立了对所选自变量(切削速度V、切削分力的均值F_x、F_y和F_z、分力比值F_y/F_x和F_z/F_x等)的偏最小二乘回归模型;采用建模数据覆盖的切削条件下的实验数据和建模数据未覆盖的切削条件下的实验数据,分别对模型进行了验证.结果表明,采用偏最小二乘回归方法选择的自变量是合理的,所建立的刀具磨损的回归模型可以较满意地计算出不同切削条件下刀具后刀面的磨损量.     

与仪器无关的测试软件框架允许硬件和软件重用

我们正从面向目标的软件执行过程得到收益,该软件的执行是ABBET（IEEE-1226）面向信号的测试框架。在工厂中,我们开发出了测试软件。该软件中没有测试设备的任何仪器知识,因此,我们现在能选择是否在运行前采用IEEE-488数字万用表或VXI示波器或手动数字万用表来测量电压,当仪器陈旧时,我们能够在不影响测试软件的同时在不同试验设备上或采用不同种类的仪器来运行测试软件,我们能够在不影响几个测试软件构型的情况下在多导工厂中修改仪器,其中测试软件是由几个分立组织控制的,使用由IEEE-488仪器组成的测试设备框架开发的一组测试可以很容易地迁移到基于VXI的标准测试设备中,除硬件独立性而外,框架支持高度抽象的测试语言,这种语言允许创造无显著特点的测试方法。这种方法在很大程度上使再使用程序中的测试算法的努力变得容易。     

GPS/INU/DM组合定位导航技术在ITS中的应用

 介绍了智能交通系统(ITS,Intelligent Transport Systems)的基本思想,阐述了GPS/INU/DM(Global Positioning System/Inertial Navigation Unit/Digital Map)组合定位导航技术在ITS中的应用,以及提高组合定位导航精度及可靠性的几种技术措施.该组合定位导航是将卫星定位技术、惯性导航定位技术以及计算机技术融合在一起的新型技术,具有全方位、全天候、防遮挡的功能.ITS中利用组合导航技术可实现道路交通管理"自动化"、车辆行驶"智能化",具有良好的实用价值,应用前景广泛.     

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.     

动态故障树分析方法在软、硬件容错计算机系统中的应用

结合几个动态逻辑门及其向Markov状态转移链的转化,介绍了一种新的动态故障树建模分析方法,用来解决不可修系统中对动态时序特性的建模困难问题。并给出了一个具体的例子,应用这种方法对其进行分析。分析结果表明,软、硬件容错技术在计算机系统中的应用,可以显著提高系统的可靠性。     

水溶液中LC4铝合金的微生物腐蚀缓蚀杀菌剂

通过电化学极化、表面分析等方法,研究了 LC4铝合金在无菌培养液和培养液加硫酸盐还原菌( sulfate-reducing bacteria,简称 SRB)的厌氧体系中加入缓蚀杀菌剂的腐蚀行为。实验结果表明 :SRB能加速LC4铝合金的腐蚀破坏,其腐蚀破坏行为属于点蚀腐蚀机理;加入缓蚀杀菌剂能够影响 SRB的生长规律,抑制 SRB和 Cl-离子对 LC4铝合金的腐蚀破坏。在所研究的 4种缓蚀杀菌剂中,BHA-2缓蚀杀菌剂具有最好的缓蚀和杀菌双重功效,且明显优于市场上广泛使用的 1 2 2 7。     

PMMA薄膜的AFM纳米压痕实验研究

研究了采用商用的AFM对PMMA进行纳米压痕试验,测定PMMA的力曲线与压痕深度,探讨压痕形成机理和工艺参数的影响,为PMMA的实际应用提供了力学基础.