基于固定优先级航天器任务分层调度研究

在航天器自主控制结构中, 采用分层结构构建系统, 实现不同分组的软件互不影响执行. 针对固定优先级调度模型, 通过对分区可调度性和分区设计问题进行研究, 仔细考察了任务最大响应时间迭代计算过程, 提出了一种更为精确的求解算法; 在固定优先级任务利用率上限的基础上, 给出了分区任务可设计的判定条件; 通过利用价值函数, 给出了分区参数解析模型, 在此基础上, 提出了一种局部最优的设计方法来实现整个处理器的分区设计, 通过具体实例对所提出的分区分析和设计方法进行了验证.      

基于动态优先级的核心处理安全分区优化设计

在分区管理模型应用于航空电子核心处理系统的研究中,合理的分区参数设计是保障航空电子系统任务关键和安全关键的一个重要因素.在标准模型的基础上,建立了上层调度器采用动态优先级调度策略的分区管理模型;通过对处理器忙周期进行考察,提出了给定请求时间长度下分区最大抢占影响的计算算法,能从微观的角度解释动态优先级下原子时间抢占行为的影响;通过对分区内任务集的计算负载进行计算,并考虑到计算负载在分区最后一次执行时间内的请求执行时间长度带来的抢占影响,得到了下层调度器采用固定优先级和动态优先级策略下的分区安全设计方法;通过计算仿真评估,结果表明提出的安全分区设计方法比基于虚拟处理资源方法具有更优的设计结果.      

饱和时序下防空相控阵雷达动态优先级调度算法

针对防空相控阵雷达负载饱和情况下的时间分配问题,提出一种基于目标威胁密度和截止期的雷达任务动态优先级调度算法。根据目标信息建立非线性目标威胁度模型并设计动态优先级表,然后,利用目标威胁度、任务驻留时间和截止期共同确定任务的综合优先级。在此基础上,提出执行威胁率（TRE）的评估指标,以反映调度算法对重要任务的执行情况。仿真结果表明,在饱和时序下,相比于传统的截止期最早最优先算法,改进算法的搜索性能提高了43%,执行威胁率提高了52%。      

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

结合短帧优先的权重轮询AFDX端系统发送策略

提出一种新型的端系统虚链路调度（VL）策略,该策略在短帧优先基础上结合权重轮询（WRR）进行调度,既确保了重要短帧的优先级又可以平衡其他不同优先级信号的延迟上限。应用网络演算理论推导了基于该新型调度策略的端系统不同虚链路的延迟上界,研究了最大延迟上界与不同权重比及其帧长之间的关系,并建立了基于OPNET的航空电子全双工交换式以太网（AFDX）网络模型,仿真分析新型调度策略与短帧优先、带权重轮询调度算法下端系统数据的发送延迟。结果表明,该新型调度策略有效可行,降低了短帧虚链路的最大延迟时间,提高了长帧数据中较重要任务数据的处理带宽,适用于具有较多重要短帧并具有不同优先级数据的机载系统网络。      

航天测控网资源均衡分配的调度方法

研究了航天测控网资源集中管理、统一分配的工作模式,以及满足多星测控任务的测控网资源调度方法。提出了测控网均衡调度的方法。首先面向任务,将卫星测控任务按优先级划分,按最优分配的原则进行分配,使测控网能够支持的任务数量大;在此基础上,考虑测控站负荷和备份再进行优化,使测控网内各测控站的负荷均衡。相比其他方法,考虑了任务执行的成功概率,各测控站任务分配更均匀,便于测控网的管理。     

星载操作系统中面向混合多任务类型的两级准入控制策略

随着空间技术的发展,星载操作系统从单一任务类型的封闭式系统转变为多种任务类型混合的开放式系统,此时系统的可预测性难度和不确定性增大,而现有的表调度策略已无法解决该场景下多任务类型混合调度时的可调度性分析问题,同时也不能支持系统运行时新任务的动态载入,阻碍了星载操作系统的智能化和多样化发展.针对该问题,本文以保障航天器的实时性需求及功能的可扩展性为研究目标,提出基于任务关键等级的两级准入控制策略.通过模型建立对任务的时间特性进行了描述,并全面分析了高优先级任务产生的最大干扰时间,进而分别提出基于干扰时间上界和基于响应时间分析的可调度性判定方法.实验结果表明,相较于现有算法,本文方法极大地减小了高优先级任务干扰时间的计算开销,并通过对任务运行时信息的追踪,改善了算法实时性能,提升了处理器利用率,为解决航天器系统中零散任务的准入控制问题提供了理论基础.     

一种面向动态需求的多优先级天文观测卫星任务重规划方法

针对多优先级天文观测卫星任务动态规划问题，分析了高优先级任务动态插入以及未知事件中断原任务规划方案执行的情况，研究了原任务规划方案相应的动态规划问题.在关于SVOM （Space multi-band Variable Object Monitor）卫星任务规划系统的研究中，针对单星机遇目标任务重规划问题，提出一种基于滚动优化策略的任务重规划求解方案.在每个滚动周期内，优先安排高优先级动态到达任务，回滚处理原方案中受未知事件和高优先级机遇目标影响的任务，或者删除原方案中受影响的任务.目标函数综合考虑了全年卫星任务规划总时长和机遇目标的规划总时长.仿真验证结果表明，本文设计方法对于快速响应高优先级机遇目标以及提高服务质量具有一定意义.      

AFDX交换机在强实时条件下的分组调度

研究了航空电子全双工交换式以太网(AFDX,Avionics Full Duplex Switched Ethernet)交换机分组调度方法的实时性能,采用实时通信中的周期性任务模型,依据AFDX协议"确定性网络"中关于交换机支持双优先级消息调度原则,推导出了相应的交换机关键参数的数学表达,提出了强实时约束下基于双优先级调度的负载匹配的分组调度方法(DP-LM,Dual Priority-Load Match),比较了单/双优先级分组调度的不同(消息调度、关键参数和匹配方法),算例结果表明:由于低优先级消息的引入将会对高优先级消息的实时传输产生重要影响.     

资源约束突变的航天器观测快速重调度优化算法

针对航天器对地观测调度中资源约束发生突变的情况,提出了一种基于蚁群算法的启发式重调度算法。首先对重调度过程中的资源约束进行分析,给出了资源约束发生变化的重调度模型。然后,结合原调度优化结果,给出重调度任务集合更新方法,对任务集合进行剪裁。最终,基于最大限度利用原调度方案信息的思想,结合任务集合更新及优先级等启发式信息,给出了一种改进的重调度优化算法。数值计算结果表明,所设计的算法可以快速有效的提高重调度过程的收益。     

红外低轨星座突发任务多重策略调度方法

面向红外低轨星座的突发任务规划与资源调度问题,结合红外低轨星座的空间与时间分布特性,提出一种基于多重策略的红外低轨星座任务应急调度方法。所提方法结合红外低轨星座的设计特点,从星座全球分布的均匀性、结构的对称性及星座内卫星运动的周期性分析作为输入,提出一种以地理分区为长期值守分组策略与事件触发下基于相对运动分析的动态快速分组策略相结合的多重策略。在所提策略指导下完成任务分组,开展工作窗口调度。经仿真分析可得:所提策略可有效应对不同区域的目标触发,并实时完成分组及工作窗口规划调度,较好解决了任务突发情况下的系统响应,由于采用优先分组的策略,降低了全局优化的复杂度,具有创新性,且具备较好的应用价值。      

多星联合任务规划方法

针对多星对地观测系统联合任务规划问题,考虑卫星载荷具备连续侧摆能力和多种数据压缩模式的新特点,构建了多星联合任务规划模型,在此基础上设计多星联合任务规划和数传调度算法框架,实现了卫星连续侧摆成像规划算法和基于任务优先级的数传任务调度算法,最后采用实际算例进行试验,结果表明文章提出的多星联合任务规划方法能在提高完成任务数量的同时降低卫星资源消耗,满足实际应用需求。     

基于多星联合侦察的卫星数传调度问题模型

基于多星联合侦察的卫星数传调度问题是研究如何为卫星数传任务中每个单数传任务分配地面资源及数传时间的问题,对该问题的模型进行了研究.首先建立了单数传任务模型及卫星数传任务模型;然后在此基础上建立了问题的约束满足优化模型,重点分析了问题的目标函数及主要约束条件;为了解决该问题,最后提出了一个基于双综合优先度的启发式调度算法,并通过实例验证了算法的有效性.研究成果实现了问题的形式化描述,并给出了一种有效的问题求解算法.      

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

最小数据丢失量的地月中继卫星任务调度研究

月球背面的探测器必须依靠地月中继卫星进行数据传输与通信。地月中继任务包括实时性任务和延迟容忍类任务,如数传任务。当探测器等待传输的数据量超出用户存储容量时,延迟容忍类任务会由于探测器本地存储资源不足和地月中继卫星天线资源受限而无法完成,导致任务数据丢失,所以需要设计一种合理的地月中继任务调度策略,提高地月中继卫星的资源利用率,减少数据的丢失。对地月中继卫星任务调度进行了研究,在分析地月中继卫星数传任务的特点及用户的存储限制的基础上,以最小化数据丢失量为优化目标,建立了地月中继卫星任务调度模型,并设计了一种基于离散烟花算法（DFWA）的地月中继卫星任务调度算法。仿真数据分析表明,基于离散烟花算法的地月中继卫星任务调度算法在求解结果上优于遗传算法,是一种合理、有效的调度方法。     

无线网络弱硬实时调度算法

提出了一种结合信道状况考虑的(m, k)-firm弱硬实时调度算法.该算法将消息划分为强制(mandatory)和可选(optional)2种类型,并优先调度强制消息.消息的类型由线下静态分配和线上动态调整共同决定.其中,静态分配使用(m, k)-pattern分配消息类型,动态调整是在不违反(m, k)-firm约束的前提下尽力减少强制消息在差信道状况下传输.理论分析证明:①在假设所有强制消息都实时成功传输的前提下,经动态调整的消息集仍然满足(m, k)-firm;②在使用平均分布(m, k)-pattern时,动态调整之后不改变消息集中强制消息的N次重传可调度性.仿真结果表明,该算法与仅使用静态分配消息类型的算法比较,能够改善弱硬实时的可调度性能,节省无线网络中带宽和能耗的开销.