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

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

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

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

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

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

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

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

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

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

基于SA*的CE-3巡视器机械臂就位探测任务规划

针对机械臂规划方法无法满足CE-3巡视器成像及探测光照约束、避碰及机械臂位形切换次数等约束的不足,提出一种基于SA^*的月面巡视器机械臂就位探测任务规划算法。该算法在机械臂的工作空间进行搜索,根据星历计算太阳光照以解决光照约束,通过层次包围盒高效准确地进行机械臂碰撞检测以满足机械臂与环境不存在干涉的约束条件,通过相邻运动行为的代价削减保证规划后机械臂位形切换次数最少。最终通过月面巡视器在轨任务结果验证该算法的可行性。     

无人机航路规划研究

无人机航路规划的目的是无人机具有对象复杂任务进行快速规划重规划的能力，其中快速而有效的重规划尤其重要。在无人机飞行任务过程中，无人机需要根据局部地形、地貌、威胁等信息以及飞机本身机动能力的限制，实时地计算出飞行航路，并跟踪该航路完成了飞行任务。本文通过比较各种算法在航路规划应用中的优劣性，提出了Dynapath（动态规划）算法在无人机航路规划中的应用，给出了仿真结果。仿真结果表明：Dy-napath算法生成的最优参考航路基本上满足无人机任务飞行的要求，获得了良好的飞行品质。     

空战中机群编队分层优化算法

针对机群编队优化计算复杂的问题,提出了一种分层优化算法。根据敌我双方的距离、角度、速度以及飞机导弹、雷达的性能,建立了多机协同任务分配模型。根据空战中常用的基本飞机队形,对敌方机群编队进行分层,对每层分别计算己方对选取各种基本队形时的任务分配结果和队形优化优势值,通过比较得到己方机群编队的每层最优队形,当得到己方每层的最优队形之后,将己方每层最优队形进行组合解码就可得到己方机群编队的最优队形。仿真结果表明该方法能有效地解决机群编队队形优化问题,并且该算法具有较好的实时性。     

位置编码下平视显示器告警显示工效学问题探究

为探究平视显示器(HUD)不同告警位置对飞行员任务绩效、脑力负荷和注意力分配的影响,招募15名被试人员开展不同告警位置下被试内单因素设计的试验任务,以被试的任务绩效、眼动指标为因变量,综合各项评估指标分析结果表明,告警位置应选择高度兴趣域,其次为姿态兴趣域。当告警位于航向兴趣域时,被试的任务绩效最差,脑力负荷大并且注意力分配比例较少,表明航向兴趣域的位置不适于告警显示。本次试验结果可为HUD告警设计提供参考。     

有人/无人机协同作战运用研究现状与展望

有人/无人机协同是未来作战样式的重要发展方向,对于加快发挥无人机装备的作战价值,与有人机形成优势互补、协同高效的作战体系具有重要意义。首先,总结了近年来国内外在有人/无人机协同作战方面的重点研究项目进展;然后,阐明了有人/无人机协同作战的协同关系与指挥架构,并从规划控制的角度梳理了该领域涉及的关键技术(主要包括协同任务分配、协同航迹规划以及协同飞行控制);最后,对未来有人/无人机协同作战运用的研究发展方向进行了总结和展望。