一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

基于EMD与切片双谱的轴承故障诊断方法

针对轴承故障诊断问题,提出一种基于经验模态分解(EMD,Empirical Mode Decomposition)与切片双谱分析相结合的新方法.将原始信号分解成不同尺度的固有模态函数(IMF,Intrinsic Mode Function),求取IMF分量的包络,计算其对角切片双谱,提取由于二次相位耦合产生的非线性特征,得到轴承的故障特征频率.通过对仿真信号进行分析,表明该方法克服了传统的基于EMD的包络功率谱方法不能抑制噪声的缺点,同时较传统高阶谱方法计算量更小.给出了6205-2RS JEM SKF轴承诊断实例,说明了该方法的可用性.     

金属增材制造数据处理与工艺规划研究综述

金属增材制造数据处理与工艺规划是金属增材制造软件系统的核心,涵盖了金属支撑结构设计、模型切片以及路径规划等内容,决定着最终金属零部件的产品性能.从金属增材制造模型前处理出发,较为全面地概述了与之相关的多类型支撑设计和新型支撑优化等数据处理内容,针对金属增材制造数据处理中模型切片这一关键环节,分别从平面切片、自适应切片和...     

基于时频切片分解的时变系统参数识别

系统参数识别分为时不变系统参数识别和时变系统参数识别两大研究方向,其中时不变系统参数识 别的研究已趋于成熟,而时变系统参数识别的研究则仍然处于起步阶段。对于多自由度时变结构,提出一种基 于时频切片分解的时变系统参数识别方法。该方法采集结构的振动位移响应,根据时频分解计算得到响应在 整个时频段内的时频能量分布图;依据结构的时频分布特性,选择多个时频切片窗分解响应信号,再对分解出 的信号分别进行逆变换计算完成时域上的信号重构;重构出来的信号对应于结构的各阶模态位移响应信号,利 用Hilbert变换提取信号瞬时频率,从而识别出结构各阶频率。通过一个三自由度的弹簧阻尼质量仿真实验, 验证了该方法具有良好的识别精度和工程实用价值。     

滚动轴承故障特征提取的VMD包络切片谱分析方法

为了准确提取滚动轴承故障非平稳信号中的故障特征,提出基于变分模态分解（VMD）和包络切片谱的轴承故障特征提 取方法。该方法使用 VMD将轴承故障信号分解成 1组模态分量,并进行 Hilbert变换求取各模态分量的包络信号,进而求取包络 信号的切片谱（VMD包络切片谱）来提取轴承故障特征。为了进行对比,同时对各模态分量进行幅值谱分析,得到其VMD幅值谱。 分别采用VMD包络切片谱和VMD幅值谱对正常轴承振动信号、内圈故障信号、外圈故障信号、滚动体故障信号进行分析。结果 表明：在VMD幅值谱中无轴承故障特征频率,在VMD包络切片谱中分别存在内圈、外圈和滚动体的故障特征频率fi、fo、fb及相关的 倍频和调制频率成分,从而验证了VMD包络切片谱进行轴承故障特征提取的有效性与优越性。     

2.5D机织浅交弯联复合材料数字单元建模分析

2.5D机织浅交弯联复合材料具有优良的力学性能及结构整体性，现已广泛应用于航空航天结构中，正确表征材料内部发生挤压或偏转变形的纤维结构形态是从微细观角度研究材料性能的关键。数字单元法是模拟材料内部纤维束形态的有效途径，但得到的纤维束形态依赖于选取的仿真参数。基于2.5D机织浅交弯联SiO2f/SiO2复合材料的Micro-CT观测，利用ABAQUS软件建立了材料的数字单元有限元模型，施加温度载荷及边界约束，模拟织物变形过程，并且提取织物变形后的数字单元特征信息，结合纤维束中心路经及横截面形状离散算法得到纤维束的结构形态。通过分析选取的单元类型、数字单元赋予的弹性性能、单元数、摩擦系数对模拟结果的影响，确定选取模拟参数的主要原则，得到了能反映该材料纱线变形特征的几何模型，并且与Micro-CT观测结果吻合。该方法具有普适性，可指导类似织物复合材料的数字单元建模。     

复合材料超声检测复合缺陷多层成像实验分析

传统的超声B扫描和C扫描检测,并不能完全地展现复合材料复合缺陷的全貌,具有一定的局限性。本文通过实验的方法,对人工预制缺陷试样进行了水浸超声C扫描成像检测。在超声C扫描底波幅值成像原理的基础上,通过一次扫描,获取不同层深位置的超声反射信号进行切片C扫描成像,利用不同层深位置的切片C扫描图像观察材料内部的缺陷。实验结果表明,利用超声A、B、C扫描成像与切片C扫描成像相结合的方法对复合材料中的复合缺陷进行多角度成像,能够对复合材料内部的复合缺陷进行全方位的清晰显示。     

粗糙表面轮廓谱的耦合性分析

双谱估计是分析随机信号的二次相位耦合、非线性、非对称性等特征的有效方法，但存在计算量庞大，估计精度较差，显示不够直观等缺点。本文提出了一种改进的对角线切片谱分析方法，并把它用于粗糙表面轮廓的非线性和耦合性特征分析。通过理论仿真研究和实验分析，结果表明这种方法简单、合理，而且有可能揭示加工过程中引起表面粗糙度间距和高度参数变化的原因。