嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

可刚化充气框架式太阳翼设计及振动特性分析

针对刚性铰链驱动展开的太阳翼结构刚度较低带来的持续振动问题,提出了一种可刚化充气框架式太阳翼方案,分析并得到了充气管直径对充气框架式太阳翼振动特性的影响规律。在此基础上,设计并研制了太阳翼结构样机,开展了样机折叠、充气展开、结构刚化试验及振动性能试验测试。结果表明：充气框架式太阳翼可柔性折叠、发射体积小、可在轨展开并刚化成型为大面积太阳翼;结构无机械铰链,充气驱动展开过程平稳可靠,展开扰动小;刚化后结构刚度高、振动基频高(测试样机振动基频为7.5 Hz);建造和发射成本低,可应用于构建大型卫星平台、空间站等所需大面积太阳翼。     

大跨屋盖悬挑结构的风荷载分析

针对悬挑结构的上下表面同时受到风荷载作用的特点,提出风洞试验中同步测量的实验方法,分析上下表面风压相关性及其物理意义,给出悬挑结构平均风压和脉动风压的计算方法,探讨了同步测量和异步测量情况下峰值因子的合理取值.     

圆球绕流场的尾涡分析和升阻力研究

采用自编的分块算法程序模拟了雷诺数在20～1000之间的圆球绕流场.在Re=25时捕捉到流动分离,与试验结果一致.对Re=250时稳态非对称尾流区内流体的输运情况进行研究,证实圆球绕流场中纵向对称面的存在.对于非稳态流动,主要研究了阻力和横向力的时间变化规律,并分析了频谱特征.计算发现横向合力主要在横截面上两个很窄的区间内偏移.经过几种不同涡定义方法的优劣测试,本文采用Hunt等人介绍的Q-定义方法对非稳态绕流场的尾涡结构进行了直观描述.     

非结构同位网格SIMPLE类算法收敛性能比较

以非结构网格的SIMPLE算法为基础,将算法扩展为SIMPLEC算法.利用30°角的斜方腔流动计算成果,分析了非结构同位网格的SIMPLE/SIMPLEC算法的收敛性能;比较了因网格的非正交而引入的非正交项的取舍对该算法收敛性能的影响;并采用显式校正步法对SIMPLEC算法进行了显式校正.比较表明,在非结构同位网格SIMPLEC算法中可忽略非正交项,但有必要对压力作亚松弛.显式校正步法可显著地加速在非结构网格上求解N-S方程的收敛性能,而且在不同的松弛因子组合下,均有较好的收敛速率.     

抗氧化处理对3D C/C复合材料性能的影响

研究了采用化学气相反应法制备的SiC抗氧化涂层对3D整体编织C／C复合材料的密度、力学性能以及微观结构的影响。结果表明,3D C／C复合材料经抗氧化处理后,其密度、开孔率以及力学性能均有不同程度的提高。由SEM微观结构可以看出,其力学性能提高是由于气态Si渗入到材料基体内部,并与内部的C反应生成SiC,在一定程度上弥合了材料中的缺陷所致。     

锆钛酸铅压电陶瓷主动元件在航天自适应桁架结构中的应用

阐明了PZT压电材料的正、逆压电效应以及相应的压电作动器的机电耦合原理。针对航天自适应桁架结构的特点,运用PZT压电作动器进行了振动抑制实验并取得了良好的效果。     

耐久性/损伤容限设计简介

概述了飞机结构耐久性／损伤容限设计的基本思想、设计规范及耐久性／损伤容限设计基本理论及方法,供设计人员参考。     

X-cor 夹层结构试制与性能研究

以航空应用为背景,研究了新型X-cor夹层结构的成形工艺及力学性能。完成了Z-pin的研制、夹层结构成形和力学性能试验。研究结果表明：与不含Z-pin的泡沫夹层结构相比,X-cor夹层结构的刚度性能有很大的提高。     

低雷诺数非细长三角翼绕流流动结构实验研究

通过水洞流动显示实验对低雷诺数非细长三角翼绕流流动结构进行了研究,特别是前缘剖面对50°三角翼绕流涡结构的影响及存在双涡结构时模型的最大后掠角.实验表明,双涡结构对染色液的注入位置很敏感,且这一双涡结构现象在64°三角翼绕流中仍可观测到;此外,前缘剖面形状严重影响涡破裂位置及涡核的空间分布.与迎风面倒角前缘相比,背风面倒角的三角翼易于产生双涡结构、可以推迟涡破裂并使涡核靠近模型上表面,进而有利于提高三角翼的气动特性.