基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

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

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

环境减灾-1B卫星遥感数据在干旱监测中的应用

以2010-2011年发生在山东省的秋、冬、春三季连旱为例,介绍了环境减灾-1B（HJ-1B）卫星遥感数据在干旱监测中的应用。获取了山东省干旱发展顶峰时段的HJ-1B卫星采集的多光谱和热红外遥感影像,利用ENVI 4.7遥感数据处理平台对山东全省的归一化植被指数和地面温度进行了反演,在此基础上计算了山东全省的植被供水指数,并据此将山东省的干旱情况划分为5级,对该干旱监测结果进行了分析。为了验证结论的可靠性,将干旱监测结果与全国降水距平百分率进行了对比,对比结果表明两者一致性较好。文章提供了HJ-1B卫星遥感数据在干旱监测方面的一个实例,其监测结果为相关减灾部门的救灾工作提供了重要的参考,同时也为HJ-1B卫星遥感数据在干旱监测方面的业务化运营提供了一个通用的方法。     

双酚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的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

均匀化处理对TiAl 合金铸造组织的影响

研究了均匀化处理对两种含B的铸造TiAl合金铸造组织的影响。研究发现1 370℃/5 min/OQ+1150℃/6 h/AC均匀化热处理能有效消除B2相,将b稳定化元素固溶到基体中,实现成分均匀化;1 370℃/5 min/OQ+1 150℃/24 h/AC均匀化热处理后可使粗大的铸造片层组织分解转变为细晶近g组织,平均晶粒直径50mm。     

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

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

基于B/S的民用飞机结构修理方案平台的设计与实现

民用飞机结构修理过程中有时会遇到超出手册范围的情况,在制定超手册结构修理方案的过程中,为了给维修工程人员提供相关的参考方案,本文开发一种基于Browser/Service（B/S）的民用飞机结构修理方案平台。首先从业务流程和平台功能角度对平台需求进行分析;然后基于平台开发所使用的各项技术,从平台架构、数据库、平台功能模块三方面对平台设计进行详细分析;最后通过实际操作演示,对平台的主要功能模块进行测试。结果表明：该平台人机界面友好、扩展性良好、操作简单方便,实现了民用飞机结构飞机损伤信息和修理方案电子化,能够根据损伤信息自动推荐出数据库中存储的若干修理方案,为维修工程部门更快制定超手册修理方案提供支持。     

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

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

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

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