基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

高强度钢锌、镉镀层加速腐蚀试验方法研究

采用加速盐雾、正交设计浸渍和合成海水浸渍3种加速腐蚀试验方法,考察了高强度钢锌、镉镀层实验室加速腐蚀与厦门外场大气腐蚀的相关性,由加速盐雾试验得到了适合于锌镀层的相关系数为0.995 2(显著相关)的线性回归方程.结果表明,加速盐雾试验对于锌、镉镀层的腐蚀均有明显的加速作用,正交设计浸渍试验中不含S2-的溶液对镉镀层的腐蚀有明显的加速作用,合成海水浸渍试验对镉镀层的腐蚀有明显的加速作用.      

航天器的风险管理及其在环境试验中的应用

风险管理是航天计划/项目管理中的重要组成部分,并已在国外的航天型号研制中受到重视.文章介绍了国外在航天项目中对风险管理的要求和风险管理过程,同时着重介绍了风险管理在环境试验工作中的应用实例.     

结构动力学模拟试验计算机测试系统现状及发展趋势

文章简要介绍了结构动力学模拟试验计算机测试系统的原理及技术演变过程,对该领域的技术现状及发展趋势作了探讨.     

结构在环境激励下的模态参数辨识

针对传统模态辨识方法存在的缺陷,研究了工程结构在环境激励下的模态参数的辨识问题。通过各点测试数据的协方差数据构成Hankel矩阵,运用随机子空间实现进行系统矩阵的辨识。经飞机模型的环境激励分析验证,上述方法具有理想的辨识精度,在大型结构的模态辨识领域,拥有广阔的应用前景。     

一种基于假设检验的多重渐消卡尔曼滤波

提出了一种基于假设检验的带多重渐消因子卡尔曼滤波的新算法.该算法采用χ2检验法,通过渐消因子矩阵对卡尔曼滤波器的噪声方差进行在线修正,从而使滤波器在对象模型存在误差或对象受到外扰时仍然收敛,同时能够提高系统的精度.该算法应用于车载GPS (Global Positioning System)/INS(Inerial Navigation System)组合导航系统中,取得了良好的效果.      

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

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

飞机结构缺陷漏检概率评估与控制技术

提出了一种飞机结构缺陷漏检概率评估与控制技术,利用该技术可以有效地提高单机乃至机群中缺陷 (裂纹 )检出概率 ( POD),并可以对缺陷 (裂纹 )的漏检概率进行准确地评估和控制,使飞机因裂纹漏检而造成事故的可能性降至最低程度,从而确保飞机的安全飞行。     

高速运动体微型寄生智能测试研究

通过对现行测试技术的现状分析研究和高速运动体的运动特征和运动学及动力学特性分析 ,经过对测试的仪器结构形式、受力分析、耐温性能、低功耗供电技术、封装技术及触发技术等项研究 ,提出了对高速运动体实施寄生智能实时测试的新型测试技术和方法 ,对该项新技术进行了有针对性的应用研究 ,在发动机活塞 (加速度为 6 0 0 g )的实时应力测量中取得了良好的效果     

机械式振动台结构设计及其波形复现性能测试研究

针对当前航空航天、电子工业等领域内中小型高精度振动台的工程需求日益增加,提出了一种基于计算机技术、嵌入式控制技术和电机控制技术的整套振动台设计方案.为了验证所设计的机械式振动台的波形复现是否满足振动台测试精度要求,以真实的地震加速度信号作为振动台的激励输入,对振动台关键模块进行性能测试试验,同时比较振动台在空载和负载两...