基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

基于状态转移图的启发式深空探测器任务规划方法

针对深空探测器复杂系统并行及约束耦合等特点,在时间线描述框架的基础上,引入了状态转移图结构。通过分析探测器任务规划中的耦合约束关系,设计了转移图代价计算方法,并提出了基于状态转移图的启发式任务规划算法。利用转移图设计启发式对无关节点进行剪枝,削减了搜索空间,加速了搜索过程。数值仿真结果表明,该算法能够有效减少不必要的规划步数,提高任务规划的效率。     

基于数字虚拟飞行的民机复飞爬升梯度评估

飞机的爬升梯度反映了其越过地面障碍达到安全高度的能力,为保障民机复飞时的飞行安全,适航条款规定复飞爬升梯度应满足一定的数值要求。根据适航条款对民机复飞程序和复飞爬升梯度的规定,提出了一种基于数字虚拟飞行的复飞爬升梯度适航符合性评估方法。基于适航条款规定和驾驶员操纵特点,建立了复飞任务的数字化模型和驾驶员操纵模型,进而以中国某型涡喷支线客机为对象建立飞行动力学模型,构成了可进行复飞爬升任务仿真的数字虚拟飞行仿真系统。通过仿真计算完成了对着陆爬升和进场爬升的爬升梯度评估,并与真实试飞结果对比,评估相对误差在10%以内,验证了本文方法的适用性和准确性。本文方法可应用于民机的概念方案设计,为保证飞机复飞爬升性能的适航符合性和最大着陆重量的确定等提供支持。     

天基信息港的多源信息融合任务调度研究

在天基信息港上实现多源信息融合,可以将数据的传输与处理集中在星上,减少了数据处理中心接收和分发数据的传输时间,提高了信息获取的时效性。考虑到任务高时效性的需求及天基信息港的资源受限,文章提出了天基信息港的多源信息融合任务调度问题,通过分析多源信息融合任务流程、天基信息港的资源特征,以最小化任务完成时间为优化目标,建立了天基信息港的多源信息融合任务调度模型,并设计了一种多机循环插入（Multi-machine Circular Insertion,MCI）算法对模型求解。仿真结果表明,该算法相比于列表调度算法能够平均减少10.8%的任务完成时间,算法运行时间大约为遗传算法的1/20,表明该算法能够满足天基信息港任务调度的高时效性要求。     

面向任务协同的云端融合计算架构研究

以有人机/无人机自组云为场景,研究了基于云数据中心、有人机和无人机任务协同的云端融合任务协同处理架构,在该架构中,有人机作为边缘计算处理节点,无人机作为端节点。通过分层设计,将基于无人机自组云的云端融合架构自顶往下划分为用户应用层、组件服务层、资源抽象层、操作系统层、物理资源层五个层级,并对各层级进行功能划分设计。最后通过典型实例仿真试验做了架构性验证。     

Simplification approaches for multi-level load spectra by using equivalent damage rule

Reasonable and effective fatigue load spectrum is key of aircraft structural fatigue test. Two kinds of load spectra simplification approaches based on statistical consistent fatigue damage model are proposed in the paper. One method is to simplify the original multi-level load spectra to spectral load with fewer level and was verified by the experimental data of five levels and seven levels load spectra. The equivalent damage here is not equivalent fatigue life, but equivalent number of spectral blocks. Moreover, it was proved that a section of low stress load cannot be converted into the highest stress load considering equivalent damage. The other is to convert the life distribution under multi-level load spectra into that of constant amplitude spectrum according to a certain principle, that is, equivalent damage is achieved through equivalent fatigue life, and two groups of three levels spectral data were used for experimental verification. The results show that equivalent damage simplification approach of multi-level load spectra is feasible, and it achieve that the damage of one loading block before and after the simplification is equal in probability statistics. The life distribution of load simplified as constant amplitude spectrum is consistent with test data. The simplification method presented in this paper can be generalized and is a predictive engineering method which does not depend on experimental data.     

GPS L1频段上的系统内干扰的研究

为了在L1频段上有效发射多个高精度的导航信号,GPS全球导航卫星系统设计在同一中心频率上发射多个信号,各信号频谱严重重叠,因此内部干扰成为系统首要考虑问题。通过详细分析GPS L1频段上M码、L1C码、C/A码和P(Y)码的载噪比衰减值,发现除C/A码受到的干扰较严重外,其它三个信号受到的干扰较小,CDMA干扰是主要内部干扰源。分析结果表明,通过有效设计信号参数来减小CDMA干扰,使各信号功率谱主瓣相互错开,并合理设置信号接收功率,可以有效控制系统内干扰。
     

一种基于时间调制的弹性化SAR卫星系统

星载合成孔径雷达(SAR)系统能全天时、全天候观测,在地震、洪涝、台风等自然灾害监测中具有重要作用。双基、多基SAR卫星更具有极高的经济、科学、安全价值。然而,目前在轨的大型星载SAR卫星造价昂贵,且双基SAR卫星需数颗同等规模的卫星。双基SAR卫星系统存在星间同步链路,因此卫星可扩展性不强。提出了一种基于时间调制的低成本弹性化Ka波段调频连续波(FMCW)SAR小卫星星座系统。该系统基于一组独立、模块化的发射卫星和接收卫星。采用Ka FMCW SAR体制和时间调制天线(TMA)技术,可减轻接收星2/3以上的质量。该系统采用自主任务规划技术,具备多样化的工作模式,为单发多收、多发多收等应用需求提供了一种弹性化的解决方案。     

惯导系统两类冲击环境条件之间的等效转换

GJB150A采用冲击响应谱的形式来描述复杂冲击环境条件,有助于提升惯导系统等航天电子设备地面试验的真实性。但冲击响应谱试验结果的较大差异性也给产品研制过程中的试验研究带来很大困扰。为了解决试验真实性与试验结果较大差异性之间的矛盾,提出了一种将复杂冲击条件转换为经典冲击条件的等效方法,用经典冲击波形等效冲击响应谱,给出了等效转换的基本准则,基于数值试验结果导出了等效转换公式。经试验验证,按照该方法转换得到的经典波形冲击试验结果接近多次冲击响应谱冲击试验结果的平均水平,表明该方法有效。     

应用轨迹优化策略的直升机任务科目基元仿真

任务科目基元的飞行试验是ADS-33E-PRF对直升机飞行品质的判定标准。针对直升机设计过程中飞行品质难以事先评定的特点,提出了一种基于轨迹优化策略的直升机任务科目基元数值仿真方法。该方法将飞行品质规范对直升机位置、姿态和速度的限制处理为状态量的边界约束,以完成任务科目基元的时间为目标函数,结合直升机自身的性能和安全性约束,建立了针对任务科目基元的直升机轨迹优化模型。求解该模型得到直升机完成相应任务科目基元所用的时间,便可定性判断直升机飞行品质是否满足ADS-33E-PRF对这一任务科目基元的要求,从而在设计之初对优化直升机总体设计参数提供参考。对某型直升机悬停转弯机动科目进行仿真计算,验证了该方法的正确性和有效性。