综合模块化航电软件仿真测试环境研究

 伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。     

双酚B型氰酸酯的制备与性能

研究了碱性催化法合成非晶态双酚B型氰酸酯的制备工艺,利用红外光谱(FTIR)、核磁共振(NMR)、热分析(DSC)、流变仪等方法分析了双酚B型氰酸酯的结构性能和工艺特性,研究和测试了树脂固化物介电性能、耐热性能和力学性能.研究结果表明,制备的双酚B型氰酸酯纯度高,200 ℃时的凝胶时间在100 min以上;该型氰酸酯具有较低的粘度(η_25℃=470 mPa·s,η_40℃=210 mPa·s),适于室温树脂传递模塑(RTM,Resin Transfer Molding)成型工艺;250 ℃固化后的介电常数为2.75,介质损耗角正切0.007(10 GHz),玻璃化转变温度299 ℃,弯曲强度174 MPa,模量3.2 GPa,综合性能优异.     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

钛合金六角头螺栓头部成形过程的有限元分析

航空用螺栓的头部多样、形状复杂,通常情况下利用镦锻工艺成形。研究采用塑性成形仿真软件,针对Ti-6Al-4V六角头螺栓的头部成形过程进行了有限元模拟,对成形各阶段的应力、应变、温度变化以及材料流动情况进行了分析,同时对成形过程中的缺陷进行了预测,为工艺设计和改进提供了依据。     

从B787飞机看维修性设计的发展方向

机务维修费用是民机运营成本中最关键的一部分,飞机在研发设计阶段就决定了维修费用的八成。主要分析了波音787梦想飞机的＂易维修性设计＂,探讨民机维修性设计发展方向,以期对我国大飞机事业的发展起到积极的推动作用。     

Surface Recrystallization in Nickel Base Single Crystal Superalloy DD6

The samples of single crystal superalloy DD6 are grit blasted and then heat treated either with the standard heat treatment procedure or in the temperature range of 1 000-1 250 °C for 4-16 h at vacuum atmosphere, then the recrystallization behavior of DD6 alloy is investigated. The results show that the equiaxed recrystallization grains form in the γ phase region where the as-cast γ′ phases have been dissolved completely, and cellular recrystallization forms in the region where the as-cast γ′ phases have been dissolved partially. The cellular recrystallization area consists of cellular grains, and the cellular grain consists of cubic γ′ phase, lamellar γ′ phase and γ+γ′ The coexistence of the equiaxed recrystallization zones and cellular recrystallization zones is a recrystallized characteristic of the cold worked single crystal samples which are heat treated at a temperature lower than the solution temperature. When the heating temperature is higher than 1 150 °C, with the increase of heat treating temperature, the equiaxed recrystallization zone expands, whereas the cellular recrystallization zone shrinks. All the deformed regions are consumed by equiaxed recrystallization after annealing at solution temperature.     

北斗卫星导航空间信号模拟畸变研究

针对卫星导航信号生成载荷故障会导致信号畸变,对北斗卫星导航信号模拟进行了研究分析。首先,建立了北斗导航信号模拟畸变的数学模型并对其进行了理论分析;其次,推导了北斗信号发生模拟畸变后的相关函数、功率谱密度函数和相关损耗,并仿真分析了北斗信号模拟畸变的相关峰曲线、功率谱密度曲线和相关损耗曲线;最后,利用S曲线及S曲线锁定点偏差的模型,仿真了北斗模拟畸变信号S曲线及S曲线锁定点偏差,并分析了北斗信号发生模拟畸变对测距性能产生的影响。结果表明：北斗信号发生模拟畸变的畸变程度越大,伪距测量误差越大,则导航系统的测距精度和定位精度越低,增强系统的完好性越小。     

基于函数型数据的广义线性回归模型

函数型数据的回归分析研究主要集中在函数型线性模型。不要求因变量为连续型随机变量,可以为离散型或属性数据(对应于泊松或Logistic回归),对同时含有数值型多元变量和函数型变量的广义线性模型的估计问题进行分析,采用非参数方法得到了参数部分和非参数部分的估计量,并给出了一种重加权算法进行参数求解,解决了含数值型和函数型混合数据类型自变量的回归问题,同时扩展了函数型线性模型的应用范围。估计过程中,分别采用了函数型主成分和B样条基函数,并给出了基函数个数选择的准则。数值模拟结果表明,所提出方法具有良好的可行性与正确性。      

六自由度气浮台及其姿态平台自动平衡系统设计

针对卫星交会对接中相对姿态和位置的控制问题,设计一种6自由度（DOF）气浮台,并推导出描述两个气浮台模拟卫星交会对接运动的耦合6自由度(DOF)动力学模型。为解决气浮台模拟空间失重环境中的重力力矩干扰问题,设计一种基于应用新颖的快速非奇异终端滑模面的自适应有限时间控制器的自动平衡系统,估计出质心位置,通过控制三个平衡质量块补偿姿态平台质心与旋转中心之间的位置偏差。李雅普诺夫理论推导和仿真结果表明,该方法可以快速完成对姿态平台质心位置的准确估计,实现质心与旋转中心的高度重合。     

多体分离数值模拟及方法验证

利用自主研发的混合网格Euler／RANs方程解算软件WoF90以及六自由度动力学与运动学方程解算程序,采用脚本语言技术实现网格的自动生成,建立了一套可用于多体分离问题的准定常Euler流动非结构网格方法。通过AEDC算例对非结构准定常Euler方程方法解决多体分离问题进行了计算研究,验证了方法的可行性。