基于VC＋＋的数据流分析方法

数据流分析在编译系统的代码优化、软件故障检测以及程序切片中都起着非常关键的作用。本文介绍了数据流分析方法的基本概念和基本原理,介绍了数据流方程的到达一定义迭代算法,并提出了一种利用VC＋＋工具实现数据流方程求解的方法。     

模糊逻辑提升小波在惯性传感器去噪中的应用

针对传统小波在惯性传感器去噪中存在计算复杂和分解层数固定的问题,提出了一种基于模糊逻辑的提升小波阈值去噪方法。该方法首先利用模糊逻辑判断载体当前的运动状态,并根据先验知识确定该状态下的信号带宽;然后依据小波分解层数与截止频率间的对应关系,选择惯性传感器各个轴向的分解层数;最后在提升小波框架下对信号做离散小波变换,并对各层系数进行阈值去噪。实验结果表明,该方法可以对运动状态进行正确判别,与固定层数的传统小波相比,具有更好的降噪效果和更快的处理速度。     

面向多路径覆盖的测试数据生成方法

为了解决装备软件回归测试中测试数据的快速生成问题,提出了一种面向多路径覆盖的测试数据生成方法。该方法首先对遗传操作进行改进,然后设计覆盖多条路径的适应度函数,实现了算法的一次运行覆盖多条目的路径,提高了测试数据的覆盖率。在三角形分类经典程序和实际的装备软件模块上进行实例验证,仿真结果表明了该算法优于传统方法,是一种高效的面向多路径覆盖的测试数据生成方法。     

基于超欧式距离近邻传播的软件缺陷预测方法

为了进一步提高无标识软件缺陷数据预测的精度,提出了一种基于超欧式距离近邻传播的软件缺陷预测方法。在近邻传播算法中引入密度思想,定义了密度因子和超欧式距离测度概念,设计了密度敏感相似度度量元（即密集度量元）,解决了传统近邻传播算法采用欧式距离表示数据相似度,难以有效处理复杂结构数据的不足。该方法应用于无标识软件缺陷数据的预测,并通过三组航空航天软件数据,仿真验证了该方法的有效性,提高了无标识软件缺陷数据预测的精度,为无标识软件缺陷预测提供了一种新的思路。     

基于TEmb的嵌入式系统结构化测试研究

目的:研究嵌入式软件测试,保证软件质量.方法:结合实例(某通信设备)分析研究嵌入式系统结构测试.结果:研究一种新的嵌入式系统测试方法--TEmb.结论:该方法为嵌入式软件结构测试研究提供了一种很好的参考的方法.     

炼油深度脱硫工艺的研究现状分析

原油的组成十分复杂,而且原油中的某些成分的含量十分大,因此,在实际的处理过程中需要对其进行深度处理。本文就是攫取了炼油中的硫元素的处理进行着重论述,分析和阐述了炼油深度脱硫工艺的研究进展及现状研,最好在结论中阐述研究新的脱硫技术仍然有重要的社会、环境保护和经济意义及应用前景。     

试论炼油废水处理工程中(A/O-O)工艺的具体应用

在炼油厂炼油的过程中,需要对炼油厂的废水进行处理,这也是炼油厂需要重点监控的过程。我们知道,对于炼油厂的废水而言,采用普通的生化讲解,其降解率十分低,因此不能达到国家污水排放标准。因此,一种新型的、处理效率高的且符合炼油厂废水水质多变状况的新工艺——A/0—0就因此而产生。本文就是攫取了A/0-0工艺为主要研究对象,对其在炼油厂废水处理过程中的实际应用进行介绍和说明。     

基于加性超球体平方根UKF算法的无人机姿态确定

针对无迹卡尔曼滤波(UKF)计算量大的问题,提出一种加性超球体平方根UKF算法,即ASSRUKF算法.该算法通过引入加性非扩展形式减少状态维数,并采用超球体单形采样减少采样点的数量,有效降低了算法计算量;同时采用协方差阵的平方根代替协方差阵参加递推运算,以提高滤波算法的计算效率和数值稳定性.建立了加性噪声下基于微机械惯性测量单元和磁强计的无人机姿态模型,并采用ASSRUKF算法进行姿态估计.仿真结果表明,本算法的精度与UKF相当,而执行时间仅为UKF的36.8％,有效降低了算法的计算复杂度.     

软件密集型装备中软硬件故障诊断模型的建立

基于软件密集型装备,论文分析了软硬件故障表征及症状,给出了其数学描述,并在此基础上提出了一种软硬件故障诊断模型,给出了其故障诊断过程.     

软件密集型装备故障的静态检测

软件密集型装备是指软件和硬件肾密结合的装备,软件密集型装备中的故障多由软件与硬件相互作用引发.本文对程序流程违反硬件工作时序引起的故障进行了分析,并建立了故障模型,提出了一种静态故障检测方法,该方法通过对程序控制流进行分析,以检测程序流程是否违反硬件工作时序.