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

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

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

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

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

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

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

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

拦截器点火冲击模拟试验技术研究

介绍了拦载器的点火冲击地面模拟技术研究。通过梯形波冲击和波形复现试验模拟,测量出了导引头和惯组的角速率差别,并通过控制轨控力的方式获得了角速率频响函数,为结构修改和制导控制系统改进提供了重要依据。     

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

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

The “peaceful purposes” principle in outer space and the Russia–China PPWT Proposal

Using the global commons for “peaceful purposes” is agreed upon among states in principle but disputed in substance. While non-militarization has been superceded by the doctrine of non-aggression, the latter, as a necessary rather than sufficient condition for “peaceful purposes”, is tested to its limit by the pressing issue of space weaponization. An international treaty to plug the gaps of the Outer Space Treaty should be negotiated. This would require the prohibition of both weapons in outer space and anti-satellite weapons on Earth. The Draft Treaty on Prevention of the Placement of Weapons in Outer Space and of the Threat or Use of Force against Outer Space Objects, proposed by Russia and China at the Conference on Disarmament, is an effort in this direction. However, divided views are held on several issues arising from the draft treaty, e.g. the efficiency of the current regime of outer space law, definitions of “weapons in space” and “threat or use of force”, and verification. A primary reason for US opposition to the draft treaty are security concerns over its space assets. However, exercising the right of self-defense is excluded from the obligations of disarmament and this is explicitly affirmed in the draft treaty.     

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

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

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

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

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

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