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

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

神秘的哥贝克力石阵

哥贝克力石阵由20多个环形建筑组成，每个环形建筑都被环状巨型T字状石柱包围着，其中一些石柱上雕刻着凶猛的动物图案。在每个环状结构的中心。两个以上的巨石柱彼此平行排列。这些石柱重达14吨至16吨，上面雕刻有公牛、蛇、狐狸、狮子和其他动物。表现形式精致复杂。     

直升机涡环状态建模仿真研究

涡环对直升机的飞行安全具有很大的危害,直升机在陡下滑机动过程中可能会进入涡环状态.通过对滑流理论的修正,得到了适用于涡环状态的直升机旋翼诱导速度计算模型.以此为基础,进行了直升机涡环状态的实时仿真研究,给出了直升机进入涡环后典型的响应特征.仿真结果与试验/试飞结果具有良好的一致性,说明所建模型准确、可靠.     

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

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

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

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

众眼看宇宙

天文学家使用哈勃空间望远镜发现一个朦胧的暗物质环，这团暗物质是很久以前由两个大质量星系团猛烈撞击而形成。这个环状结构的发现为暗物质的存在提供了有力的证据。作为将星系团凝聚在一起的额外引力源，天文学家们长时间以来一直在怀疑这种不可见物质的存在。但如果星系团仅仅是依靠他们可见成员星的引力来维持，早就崩溃瓦解了。尽管天文学家不知道暗物质是由什么组成的，但他们假设那是一种遍布宇宙的基本粒子。     

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

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

直升机涡环状态边界与飞行安全

介绍了直升机涡环状态的成因及国外对于涡环状态边界研究的现状,并对我国在直升机涡环状态边界研究方面的工作进展进行了重点介绍.     

ADF工作原理探讨

本文浅淡ADF中关于定向原理与定向机电路结构问题.对ADF实现单值定向的原理、垂直天线的作用以及平衡调制器的作用提出一些新观点.     

倾转四旋翼飞行器垂直飞行状态气动特性

综合采用基于滑移网格技术的计算流体力学(CFD)方法与悬停状态气动干扰试验方法,对倾转四旋翼(QTR)飞行器垂直飞行状态的流场进行模拟与试验,研究飞行器垂直飞行状态气动特性以及部分参数对气动特性的影响.结果表明:倾转四旋翼飞行器在垂直飞行状态,前后旋翼之间干扰不明显,但旋翼与机翼的干扰明显;旋翼旋向对旋翼与机翼的干扰不...