实时单核和谐周期分区系统时间窗口分配算法

目前航空电子系统正快速朝着综合模块化方向发展。为了防止同一计算平台上的应用相互干扰,IMA软件普遍采用分区机制。由于时间分区的引入,传统的实时周期任务可调度性分析已经不再适用。为此研究了一类特殊的分区系统——和谐周期分区系统在单处理器下的可调度性。给出了和谐周期分区系统的形式化定义以及系统中任务可调度性的充分必要条件,并基于此提出了一种分区时间窗口分配算法。该算法为每个分区在主时间帧内分配多个时间窗口,并且保证只要和谐周期分区系统在理论上可调度,该算法就一定能生成一个可行的调度表,使得当全局调度器按照此调度表周期地调度分区时,各个分区中的任务不会超时。本文提出的算法可以运用在实际的工程中。      

基于TTE的改进加权轮询调度算法

在时间触发以太网(TTE)中,TT消息优先级最高,RC消息只能在TT消息调度的离散时间片内传输,因此,TT消息离线调度表的设计会对RC消息调度产生一定影响。针对这一问题,提出了基于最优时间片的改进加权轮询(MWRR)调度算法。首先,通过TT消息约束条件限制获得TT消息离线调度表,进而得到保证RC消息较大资源利用率的时间片信息;其次,在离散时间片对不同类型RC消息进行调度,并运用网络演算方法对其最坏端到端延迟进行分析;最后,通过实验仿真证实了本文算法不仅具有较低的复杂度和较好的公平性,保证了实际应用中算法的可行性,而且在时延性方面均优于先到先得(FIFO)、优先级(PQ)和加权轮询(WRR)调度算法。     

一种基于相对钟差估计的星座自主时间同步方法

针对区域星座自主导航的任务需求,提出了一种基于相对钟差估计的星座自主时间同步方法.介绍了该方法的实现原理,建立了系统状态模型和系统测量方程,并设计了适用于星座时间同步的Kalman滤波算法.仿真结果表明,该方法能够实现星座卫星的时间同步.     

基于卫星数字并行系统的星座成像调度方法

遥感卫星星座成像调度是指通过调度和分配可用的卫星观测资源,对多个地面目标点进行成像.为了使成像调度方案满足任务需求并具有最优任务效能,通常将星座成像调度问题描述为含有多种约束的优化问题.本文提出一种卫星数字并行系统,模拟在轨卫星星座运行及控制过程.在系统中建立模拟GNC分系统、数管分系统、测控分系统功能的数字孪生卫星,接收并执行真实卫星控制指令,并以遥测数据的形式反映卫星姿态和轨道控制过程.考虑卫星多目标成像中的能量、时间窗口、光照及气象条件约束,以目标点重访时间为优化指标,将星座成像调度问题建模为一类带有约束的优化问题.通过卫星数字并行系统的加速仿真得到多目标成像序列的可行解集,并通过求解优化问题,得到多目标点重访频率最高的星座成像调度方案.仿真结果表明,本文提出的方法解决了星座成像调度中的目标分配问题,采用的数字孪生卫星模型能够真实模拟卫星姿轨控过程,从而保证该方法在星座成像任务中更具可行性和时效性.     

机群环境中基于信度模型的作业调度算法

提出了一种新的机群环境下的作业调度算法,该算法基于信度模型.在信度模型 中,每一个计算节点是一个信度实体,系统根据信度实体的物理能力、当前状态、历史作业完成情况,对节点进行信度评价,赋予其相应的信度值,调度算法根据信度实体信度值为作业分配合适的资源运行作业.同时,调度系统还对机群系统的整体信度进行评价,并根据估计的作业运行时间和完成期限对作业做信度要求折算,调度系统根据机群系统的整体信度情况和作业信度要求来决定是否接受该作业请求.在OpenPBS机群调度系统上实现了该算法,并通过GridSim工具包与先入先出FIFO(First Input First Output) 算法和Libra调度算法进行了模拟对比试验.试验结果表明,该算法是有效的.      

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

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

基于强化学习的时间触发通信调度方法

未来航空电子系统中将会更广泛地选择基于时间触发的通信机制进行信息传输,以保证信息交互的确定性。如何合理地进行时间触发通信调度设计是时间触发应用于航空电子互连系统的关键。针对时间触发调度的周期性任务,提出了一种基于强化学习的周期调度时刻表生成方法。首先,将流量调度任务转换为树搜索问题,使之具有强化学习所需要的马尔可夫特性;随后,利用基于神经网络的强化学习算法对调度表进行探索,不断缩短延迟时间以优化调度表,且在训练完成后,可以直接使用到消息分布相近的任务中。与使用Yices等可满足模理论（SMT）形式化求解时间触发调度表方法相比,所提方法不会出现无法判定的问题,能够保证时间触发调度设计结果的正确性和优化性。对于包含1 000条消息的大型网络,所提方法的计算速度为SMT方法的数十倍以上,并且调度生成消息的端到端延迟在SMT方法的1%以下,大大提高了消息传输的及时性。      

混合系统等步长仿真时钟同步方法及性能评价

通过对一类混合系统仿真中的连续系统、离散事件系统及推理决策系统各自仿真时钟的分析,得出了推理决策系统仿真依赖于其他2个系统的结果,继而提出了用其中的离散事件系统仿真时钟去同步具有等步长策略的连续系统仿真时钟的等步长方法,并给出了相应的软件实现方法与性能评价准则,解决了该类混合系统仿真时钟的同步问题,从而为该类混合系统的仿真提供理论依据.      

基于伪距差分增强的分布式节点时间同步方法

传统时频同步方法维持分布式节点之间同步的精度较高，但并不适用于空间非接触节点的时频同步问题.本文提出一种基于伪距差分增强的时间同步方法，给出了系统原理和基本组成，运用总体最小二乘法解算分布式节点的先验钟差信息，并利用卡尔曼滤波构建了主从节点间的时间同步算法模型.仿真校验与结果分析显示，相比独立GPS授时同步，本文提出的系统同步算法能够提高空间分布式节点同步精度，在基线距离平均为25km的条件下，可将节点同步精度控制在亚纳秒量级.      

基于同步仿真的卫星姿轨控软件验证方法

传统的仿真系统一般采用Matlab/Simulink进行建模,Simulink模型可以在仿真环境下模拟真实环境下的系统架构和动态数据交互,也可以动态模拟真实目标机的运行。在Simulink建模体系对目标机系统的仿真中,其自身的时钟步长和数据流处理逻辑,可能与真实物理环境要求的系统有一定的出入,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,从而造成一定程度的失真,影响仿真效果。提出了基于同步仿真的卫星姿轨控软件验证方法,包含虚拟目标机能够实现对真实物理目标机运行功能的完全模拟,结合协同仿真组件和Simulink模型对各个子系统单元的动态建模仿真,全面验证软件的功能,增加了卫星控制软件的可靠性和安全性。     

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

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

HLA/RTI下周期与非周期任务调度的实时性改进

为了把高层体系结构的标准应用到实时系统中,必须确保运行时支撑环境的实时性.联邦成员间相关的任务之间有优先顺序约束关系,在联邦成员内调度运行时较难提供可预测的响应,因而难以保证所有任务尤其是非周期任务的实时性.以任务调度理论的角度在联邦成员内部综合调度周期与非周期任务运行的D-EDF（Double-Earliest Deadline First）策略,既能舍弃部分冗余数据使周期性任务在截止时间前高效完成,又能调度非周期性任务规则的运行提高实时响应速度,使得联邦成员可以高效地处理有优先顺序约束关系的任务,进而改进了运行时支撑环境的实时性.最后证明了D-EDF调度策略的可行性.      

一种被动更新LBTS的HLA时间管理方案

LBTS(Lower Bound Time Stamp)查询是影响时间管理性能的重要因素.为提高高层体系结构(HLA,High Level Architecture)中时间管理的性能,提出了一种减小最小时间戳下限LBTS传递次数的优化方法,将主动查询LBTS变成当LBTS改变时才通知相应的受控成员.应用可靠组播服务,降低了时间管理的通讯代价,将算法应用在具有自主知识产权的AST-RTI(Advanced Simulation Technology-Run Time Infrastructure)中,应用系统证明能有效提高RTI的实时性.最后针对RTI时间管理机制在仿真应用中带来的问题以及解决方法进行了讨论.      

异构计算系统中独立任务调度的混合遗传算法

有效的任务调度是异构计算系统获取高性能的关键因素之一,由于任务调度问题是NP-困难的,为了获取尽可能好的解,文献中存在许多启发式调度算法.针对异构计算系统的独立任务调度问题,基于遗传算法和最小完成时间算法MCT(Minimum Completion Time),提出一种新的混合遗传算法,它采用遗传算法来进化任务调度的优先队列,然后再使用MCT算法把优先队列解码为一个有效的调度,与文献中其它算法进行比较表明,它不但能产生更好的调度结果,而且有很好的收敛速度.      

基于深度神经网络的多星测控调度方法

卫星规模的急剧扩大给传统多星测控调度方法带来了巨大挑战.传统调度方法面临调度时间长、任务满足度低等问题,难以适应大规模卫星调度.为此,引入了支持大数据和并行计算且具有自主学习特性的深度神经网络(DNN)算法,提出了一种基于DNN的多星测控资源调度方法.根据多星测控资源调度的特点以及DNN算法的要求,对调度过程中影响调度...     

应用于MIMO-OFDMA下行链路的分组调度算法

提出了一种基于效用函数的应用于多输入多输出正交频分复用接入 (MIMO-OFDMA, Multiple Input Multiple Output-Orthogonal Frequency Division Multiplexing Access )系统下行链路的分组调度算法.该算法在调度时不仅考虑物理层的信道状况,还利用基站发送缓冲区的状态信息和用户反馈回来的ARQ(Automatic Repeat-request)信息来帮助基站做出调度决策.针对系统中多种业务的不同服务质量(QoS,Quality of Service)要求,分别设计了其效用函数,并将调度决策问题转化成一个系统总效用函数值最大化问题.同时考虑到实际的长期演进计划(LTE,Long Term Evolution) 系统中对子载波共享的限制条件,提出了一种可以降低实际复杂度的启发式算法用于求解该最优化问题.仿真结果表明,该算法不但在保证实时业务用户QoS要求方面要好于传统的调度算法,还能获得较好的系统总容量和丢包率性能.     

保证速率的AFDX交换机实时调度算法

针对AFDX(Avionics Full Duplex Switched Ethernet)网络关键技术——交换机实时调度算法,提出一种保证速率的优先级实时调度算法(PRTRG,Priority Real Time sched-uling algorithm based on Rate-Guaranteed),并运用网络演算理论分析了此调度算法的实时性.在AFDX网络典型配置下,与(FIFO,First In First Out)结果进行分析对比,证明PRTRG算法有效地减少了高优先级数据的端到端延迟上界,同时保证了低优先级数据端到端延迟的确定性,并且阻止了数据流拥塞的扩散,在交换机内部实现了流量隔离.     

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

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

基于STM32的可重复使用运载器闭环仿真系统

针对验证可重复使用运载器关键控制技术的需求,提出了一套基于STM32的可重复使用运载器闭环仿真系统。基于该套平台,对系统的总体方案、硬件平台设计、软件开发及设计进行了重点论述,实现了箭上测量单元、计算机单元、执行单元及地面测发控单元的模拟。通过仿真试验验证,完成了可重复使用运载器制导、导航及姿控算法等关键控制技术的验证。结果表明：所开发的闭环仿真系统设计合理,系统实时性好,可靠性高。可为可重复使用运载器大型试验奠定基础,缩短研制周期。