ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

基于HLA的载人航天器飞行任务仿真平台研究与实现

面向载人航天器飞行任务仿真需求,根据载人航天器的特点以及高层体系结构(HLA)技术,提出了基于高层体系结构的载人航天器飞行任务仿真平台方案,设计实现了由运行管理、飞行指令、数据记录、数据可视化等功能,以及涵盖轨道、姿态、能源、动力学等多个专业仿真模型组成的仿真平台,给出了应用实例,并就仿真平台开发中的联邦开发过程、仿真模型接口软件、飞行场景三维可视化等关键部分进行了探讨。与单一的飞行任务仿真软件相比,该分布式仿真平台覆盖的专业面更全,验证内容更丰富,可扩展性更强。随着载人航天器系统飞行任务复杂程度的提高,通过对仿真平台的扩展和重用,可适应新的任务验证需求。该仿真平台可为复杂载人航天器的飞行任务设计验证提供依据,并对基于HLA的其他航天器仿真系统的联邦设计与开发具有一定的参考价值。     

日本天文-H卫星升空后不久失联

1 项目背景 日本自20世纪70年代中期开始,就以日本宇宙航空研究开发机构下属的宇宙科学研究所(ISAS,原文部省宇宙科学研究所)为核心开始研发和应用以X射线天文卫星为主的天文卫星.1976-2005年,日本共发射了7颗X射线天文卫星,其中5颗发射成功,按预定计划执行了一系列观测任务,取得了不斐的成绩.如:利用天文-D于1993年4月5日成功捕获到了刚发现的M81银河系的超新星SN1993放射出的X射线;利用2005年发射的天文-E2卫星配备的软X射线望远镜(SXT)所进行的一系列观测活动,不仅大幅拓展了观测范围(从原来的软X射线拓展到软γ射线),而且发现了距地球较近(8000万光年)处的黑洞,对人类了解宇宙结构、掌握宇宙全貌、厘清宇宙进化发挥了重要作用.     

高温应变接触式测量精度影响因素研究

高温结构热强度、热疲劳等问题的研究需要高温应变的精准测量。利用自主研制的自由框架丝栅式高温应变片开展结构高温应变测量精度影响因素研究,结合应变片结构与测量原理,建立高温应变片应变信息传递以及分布有限元模型,分析对比被测构件与敏感栅丝表面应变场的分布情况,确定高温应变片尺寸参数与使用参数对应变测量精度的影响因素,为应变片的设计与使用提供依据。提出了合适的丝栅式应变片结构参数,并利用高温应变片实验进行验证,确定了高温接触式应变测量精度影响因素,降低环节敏感性,提高高温应变测量精度,并可为其他形式的应变片的测量精度研究提供依据。     

基于联立框架的轨迹优化算法

为了更好解决复杂多约束下的在线轨迹优化问题,研究了一种基于联立求解框架进行轨迹优化的算法。此方法是一种直接法,先利用有限元正交配置法将状态和控制变量同时离散化,然后使用内点算法对离散得到的非线性命题进行求解。从平衡解的精度和计算代价的角度出发,引入了针对内点算法的收敛深度控制策略来改进方法的快速收敛性。最后,以某航天器月面上升段最优入轨任务为算例,验证了算法的精度和快速收敛性。     

软件可靠性探讨

航空机载设备无论是在产品研制过程中还是在产品维修的设计制造过程中,软件的可靠性都变得越来越重要。本文系统阐述了软件开发过程（研制和维修）中的一般可靠性活动,并提出了一些提高软件可靠性的途径。     

带异步相关噪声的战斗机蛇形机动跟踪算法

针对异步相关噪声背景下战斗机蛇形机动模式转弯角速度辨识问题,考虑到目标状态与转弯角速度之间相互耦合的特性,从联合优化的解决思路出发,基于期望最大化（EM）算法框架,提出了一种带异步相关噪声的联合估计与辨识算法。首先采用"去相关框架"解除过程噪声与量测噪声之间的相关性,从而将异步相关噪声背景下的转弯角速度辨识问题转换成具有一步状态延迟的转弯角速度辨识问题,其次通过解除目标状态与转弯角速度之间的非线性耦合关系,基于期望最大化算法实现了战斗机蛇形机动目标状态与转弯角速度的联合估计与辨识,从而获得转弯角速度闭环形式的解析解：在E-step,通过利用异步相关噪声背景下的高阶容积卡尔曼平滑器（HCKS）,获得目标状态的后验估计;在M-step,通过极大化条件似然函数,获得转弯角速度的解析解。最后通过仿真验证了所提算法的目标状态估计与角速度辨识的精度均优越于传统的扩维法。     

框架式复材成型模具轻量化设计方法

基于Abaqus软件简化框架式复材成型模具三维模型,分别采用实体单元与壳单元建立有限元模型,并分析模具在支撑、铺贴、吊装等典型工况下的应力水平、变形量,结果显示两种模型分析差值较小,能够使用壳单元代替实体单元进行模具的轻量化设计。基于壳单元,利用Abaqus的尺寸优化模块,以隔板厚度为设计变量进行模具轻量化设计,确定合适的隔板厚度尺寸。     

大型薄壁铝合金框架精镗工艺

论述了影响大型薄壁铝合金框架精镗精度的各种因素，提出了提高精镗精度的五项工艺措施。     

航空运输市场开发的途径及运输销售代理人问题的研究

本文提出了航空公司开发市场的几个途径,并对开发市场的新手段—航空客货运输销售代理人的出现、性质及其发展过程中的问题,进行了阐述与分析。