航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

空天飞机的计算流体力学分析

本文分析了空天飞机空气动力学的特点和计算流体力学在发展空天飞机中的作用,讨论了发展空天飞机对计算流体力学的要求。强调了计算流体力学、地面试验和飞行试验应该相互结合成一个整体。在这基础上,探讨了利用地面试验对计算程序进行“确认”、“校准”和“鉴定”以及鉴定计算程序对地面试验的要求。本文还从计算方法、外流、进气道流动、喷管流动、燃烧室流动等方面,综述了空天飞机计算流体力学分析的最近进展和尚待解决的问题。最后对发展我国空天飞机计算流体力学提出了建议。     

等熵轻质活塞风洞中主要部件尺寸的确定

等熵轻质活塞风洞是一种工作时间很短的风洞,作为气源适合于瞬时热传导测量技术的研究工作。在研究了此风洞工作特性的基础上,提出了确定风洞中主要部件尺寸的方法,为风洞全面设计提供依据。压力比P0/P和trun是确定管道尺寸的主要参数,匹配压力振荡最大振幅的允许值是确定活塞质量的关键。     

旋转条件下半封闭空间内多孔冲击平均换热特性实验

通过实验研究了冲击雷诺数Rej、旋转雷诺数Reω、以及冲击孔的排列方式、冲击孔到靶板之间的距离等参数,对旋转条件下半封闭空间内多孔冲击平均换热特性的影响.实验结果表明:随着冲击雷诺数的增大,多孔冲击的平均Nu数显著提高;随着旋转雷诺数的增大,平均Nu数稍有提高,但变化幅度不大;冲击孔的排列方式对平均换热效果也有一定的影响,叉排式稍优于顺排式;并且实验得出,冲击孔到靶板之间的距离为4倍冲击孔直径时多孔冲击平均换热效果最佳.     

基于约简遗传规划的线参数模型及在航空发动机起动建模中的应用

提出了一种新的约简遗传规划(PGP)算法和一种新的基于约简遗传规划的航空发动机起动动态线参数模型.这种模型采用遗传规划产生航空发动机起动模型的输入输出非线性模型集,并以二叉树结构表征函数项,运用正交最小二乘算法(OLS)估计二叉树分支(基本函数项)对于模型精度的贡献并去除复杂、冗余的函数项,从而加快遗传规划的收敛速度,最后通过GP进化可获得简单、可靠、准确的线参数非线性模型.发动机起动过程试车数据建模和与支持向量机的比较证明,这种方法可以产生适用性好、解析性强的线参数非线性模型,产生的模型可获得与支持向量机相当甚至更优的结果.     

基于T-S模糊系统的空天飞行器鲁棒自适应轨迹线性化控制

 基于T-S模糊系统提出了鲁棒自适应轨迹线性化控制(RATLC)方法。利用T-S模糊系统逼近未知干扰和不确定性因素，并采用Lyapunov方法设计了鲁棒自适应控制律。不论系统状态的维数和用于逼近不确定的模糊系统规则数为多少，整个系统仅有两个参数在线调整。理论分析证明了闭环系统所有信号一致最终有界。应用提出的控制方案设计了空天飞行器(ASV)飞行控制系统，并在高超声速飞行条件下进行了仿真验证，仿真结果表明了控制方案的有效性和鲁棒性。     

超声速叶型前缘几何形状对叶栅气动性能的影响

应用NURBS技术构造超声速叶型,采用两个控制参数调整叶栅前缘椭圆弧的几何形状,来探索不同的前缘构型对超声速叶型气动性能的影响效应;通过对比分析调整每个参数所得的一系列叶栅的流场计算结果,发现椭圆弧的形状控制因子对超声速叶栅的前缘激波和气流流动状况具有一定的改善效果,同时在保证叶栅气动弦长基本不变的情况下,存在某个椭圆弧形状控制因子和方向控制因子的匹配能够使叶栅的气动性能达到最佳.     

飞机综合航电系统总体设计综合评估方法

 航空电子系统的费用 效能是飞机总体系统效能的重要组成部分，也是降低飞机寿命周期费用的关键之一。在航空电子系统的总体设计阶段，传统的系统评估和优化方法主要针对的是独立子系统/设备的费用或效能指标。综合航电系统设计方案的费用 效能重要指标包括：可支付性、构型能力、任务能力、可靠性、维修性、测试性和技术风险，以组合的方式获得了相应的综合评估准则，给出了计算公式。以某新研航电系统作为实例演示了综合评估方法的实施情况，演示的重点集中于总体设计方案的可视化量化评估分析。该综合评估方法已显示出其在实际工程设计中的可行性和应用价值。     

跨音压气机确定应力场分析

采用全三维黏性定常、非定常数值模拟技术,对NASA 67第1级的固有非定常流动进行了研究.首先分析了定常流场和非定常时均流场间的差别以及压气机中典型的转、静干涉现象,然后对通道内确定应力的分布规律和转、静交界面确定应力各项的分布特点进行了较为深入的研究,揭示了现有确定应力模型的一些局限性,可为确定应力建模提供一定的指导作用.     

加热板上蒸发液滴动态特性的实验

采用高速摄像技术可视化观察5 μl小液滴在铜、铝和不锈钢表面上的蒸发与核化过程,板温50～112℃.实验测量了液滴高度、湿润半径和接触角随时间的动态演化.板温低于100℃时蒸发处于自由界面蒸发模态,过程可分为两阶段,第一阶段液滴高度和接触角连续降低,湿润半径仅比初始值略有降低;第二阶段后退角恒定,湿润半径迅速降低至零.板温高于100℃时处于核态沸腾模态,液滴内部核化及气泡动力学过程强烈依赖壁面过热度.自由界面蒸发模态和核态沸腾模态,壁面平均热流与壁温均呈线性关系,斜率的不同反映两种模态换热机制的差别.