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

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

试验任务质量管理系统中数据同步策略的研究与应用

根据海上测控任务准备和实施的特点,研究了试验任务质量管理系统的数据同步策略,针对系统高实时性、有限网络带宽、使用单位多、适应多种工作模式的要求,采用实时差异同步数据同步策略。详细阐述了该系统数据同步的设计和实现,包括系统部署架构、分布式数据库复制技术和XML技术主辅相结合数据同步技术的应用。     

飞机框式部件柔性装配型架的研究

飞机框式部件柔性装配是实现飞机柔性装配的关键性技术之一,是数字化技术贯穿于飞机装配的全过程。通过对飞机框式部件的工艺及装配型架制造过程的分析,结合飞机数字化制造技术和自动化技术,提出了飞机框式部件柔性装配型架的设计方法。利用孔定位的方式,确定了飞机框上零件的定位分布位置及柔性布局,为飞机框式部件装配提供了柔性化、自动化和敏捷化的制造思路。     

带多个充液储箱航天器的耦合动力学建模方法

研究了充液航天器储箱内液体晃动与全星姿态运动的耦合动力学建模方法．分别基于单摆等效力学模型和质心面等效力学模型建立了全星姿态耦合动力学方程,并分别针对2个储箱串联布局、3个储箱并联布局的充液航天器在不同工况下的液体晃动问题进行了数值仿真研究;同时比较分析了两种储箱布局方案下液体晃动对航天器姿态运动的影响,为工程应用提供参考．     

星载计算机软件自动化测试平台研究

自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。     

基于最小二乘支持向量机的SAR平台定位

将SAR平台定位分解为粗略定位和精确定位两个阶段。首先,在SAR正侧视成像的条件 下,利用某个方位门内的所有控制点,采用非线性最小二乘平差粗略估计出SAR平台在该方 位时刻的空间位置,并从理论上推导了控制点的误差协方差矩阵到SAR平台定位的误差协方 差矩阵的传递规律。其次,利用各个方位时刻粗略估计的SAR平台位置,采用最小二乘支持 向量回归机精确估计SAR平台的运动方程,从而精确估计SAR平台在某个时刻的空间位置。仿 真试验表明,本文提出的方法能够精确地反演出SAR平台的空间位置。
     

赛灵思静态随机存储器型FPGA单粒子翻转检测

以XILINX XC2V3000现场可编程门阵列（FPGA）为例,分别通过ICAP和Selectmap接口对配置存储器进行回读检测,并通过局部动态重构的方法实现了故障注入,对单粒翻转（SEU）检测方法进行验证。结果证明回读与重配置是进行FPGA抗SEU设计的有效方法。     

多指标约束下考虑报废的可修复备件携行方案优化

针对任务期间普遍存在的故障件报废和备件多指标约束问题,提出了多层级装备的可用度近似评估方法及携行备件方案优化方法。首先通过忽略维修时间将考虑报废率的多层级可修件转化为单层级消耗件,进而利用伽马分布的可加性建立装备可用度评估模型。在此基础上以装备可用度、备件总质量为约束指标,以备件总体积最低为目标构建多约束备件优化模型。模型求解过程中引入拉格朗日因子,并采用边际算法对约束因子进行动态调整。算例中通过与仿真结果的对比、分析得出：当维修时间取值在部件等效平均寿命的一半以内时,提出的近似方法合理可行,平均误差小于5%。     

基于磁悬浮控制力矩陀螺的航天器姿态高精度高带宽测量方法

针对航天器姿态测量精度和带宽之间相互制约问题,提出一种基于磁悬浮陀螺的航天器姿态高精度、高带宽测量方法。根据刚体动力学和坐标变换原理建立磁悬浮转子径向转动合外力矩模型。在框架静止条件下,通过实时检测磁悬浮控制力矩陀螺（MSCMG）中的磁轴承电流、磁悬浮转子位移,计算出磁悬浮转子径向转动所受合外力矩以及磁悬浮转子径向偏转信息,间接得到航天器运动对磁悬浮转子径向转动作用力矩,进而求出航天器单轴姿态角速度和姿态角加速度。不同带宽下的仿真结果表明,本测量方法能同时检测出航天器单方向的姿态角速度和角加速度,并且满足高精度高带宽要求。     

Weibull分布参数估计值对细节疲劳额定强度的影响

将新材料、新工艺应用于民机结构设计时,细节疲劳额定强度（DFR）法仍是重要的评估方法。根据新型铝合金疲劳试验数据,全面分析了Weibull分布形状参数对DFR计算参数的影响;分析标准S-N曲线斜度参数对DFR的影响时,应考虑可靠性寿命的变化,采用低可靠度寿命计算曲线斜度参数可降低Weibull分布形状参数的影响;比较了采用不同分布参数估计值与传统上采用波音公司给定值进行DFR计算的差异。结果表明,对于通过符合性检验的试验数据,使用不同Weibull分布的参数估计值计算得到的DFR都大于按传统方法（用波音公司给定值）的计算结果,其中,三参数Weibull分布计算的DFR最大,至少增加10%以上。