航空电子系统混合实时任务的双层调度

针对航空电子系统的实时性需求,提出满足综合模块化航空电子(IMA)构架的双层任务调度算法.通过加权轮转调度激活分区,并为分区提供固定的时间窗口,增强了系统的可预测性;分区内部采用可抢占的固定优先级调度,减少了高优先级任务的响应时间.算法支持混合任务集的调度:对周期的强实时任务,建立具有任意时限的任务模型,增强了模型的通...     

基于静态优先级的调度

应用实时系统,如航空电子系统,不仅要满足调度任务的强实时约束,而且要具有较强的系统功能,即需要较高的系统任务可调度利用率。本文首先给出实时任务调度算法的分类及基于优先级调度算法的性能分析;然后详细描述了静态优先级任务系统的调度算法,以及在诸如航空电子系统数据传输网络设计中调度方案的选择。     

自动生产控制过程中的动态再调度技术

为解决自动生产系统的运行调度和资源分配问题，提出一种将静态调度、资源分配和动态运行控制相结合的动态再调度方法，并结合具体系统的特性论述采用该方法的特点及实施过程。     

IMA双层调度算法中的任务可调度性分析方法

任务可调度性分析是综合模块化航电(IMA)系统双层调度算法研究中的一个关键问题。针对这个问题,首先剖析了单分区调度系统中任务精确响应时间计算方法所具有的计算复杂度高以及计算函数不连续等局限性;然后提出了一种计算任务响应时间上限的快速方法,分析该计算方法的推导过程,得到了双层调度情况下任务响应时间上限的计算方法,并由此推演出任务可调度性分析方法和分区参数设计方法;最后通过计算机仿真实验,分别使用定量的响应时间上限相对误差法以及定性的资源放大分析法考察了系统任务数量以及系统利用率对文中提出的响应时间上限计算方法精度的影响程度,并得到了该方法取得较高应用精度的可行性条件。     

基于网络演算的多窗口分区可调度性分析

ARINC653-2规范定义综合模块化航空电子（IMA）实时操作系统采用分区和任务两层调度方案,在该框架下的任务可调度性分析是保证航空电子系统实时性、可靠性的关键。目前的可调度性分析无法计算多窗口分区下任务最大响应时间（WCRT）。为此,基于网络演算模型对服务能力的封装,定义处理平台服务曲线为平台所能提供计算资源的服务函数,定义分区任务到达曲线为分区任务对平台计算资源的需求函数。分析处理平台的服务曲线和分区任务的到达曲线,计算得到任务的最大响应时间,继而进行可调度性判断,由此从服务能力和服务需求角度诠释分区系统任务最大响应时间分析的物理意义。设计了主时间框架下分区包含多个激活窗口的验证案例,结果表明：本方法可以得到与传统WCRT分析同等的精度,并且能够准确计算分区包含多激活窗口条件下的任务最大响应时间,实现了网络演算视角下分区系统可调度性的解释。     

基于多模型的低轨星座多目标跟踪传感器资源调度

针对低轨星座多目标持续跟踪传感器资源调度问题,首先将目标跟踪任务划分为高精度任务集合和低精度任务集合,并分析了跟踪任务状态转移过程;然后,为两任务集合分别建立了基于动态优先级的优化调度模型,提出了一种基于多模型的实时传感器调度算法。不同场景下仿真实验表明,所提算法较之以跟踪精度为优化目标和以跟踪精度为门限约束的方法具有更强的适用性,尤其对于目标分布较为集中的情况,其目标丢失率大大降低,尽管个别目标的跟踪误差略有增大。     

车间动态调度方法研究与应用

作业调度是实现车间数字化制造的基本软件功能之一.本文介绍了车间动态调度问题,提出一种动态调度方法,同时将此方法应用于航空小批量产品的车间调度,该方法以基于遗传算法的静态调度为基础,结合机床与工艺路线的约束,按照各种规则求解以产品的加工周期最短为目标的调度问题,并通过具体的实例仿真分析其有效性.     

考虑断点续传的中继卫星调度模型及启发式算法

为提高中继卫星系统的应用效能及数传任务的完成率，在中继卫星调度中考虑了断点续传这一应用模式，即对单个数传任务进行合理拆分，使其在多个时间窗口内完成。首先构建面向断点续传的中继卫星单址天线的调度模型，然后提出一种基于冲突风险评估的冲突度量化方法，并设计考虑断点续传的两阶段调度算法。最后开展大量的仿真实验将该算法与贪婪算法、基于最小冲突度的启发式算法和基于任务优先级的启发式算法这3个不考虑断点续传的算法进行对比。实验结果表明，所提出的算法在任务完成率方面分别提高了7.67%、6.34%和8.67%。     

ARINC 653分区实时系统的可调度分析

ARINC 653规范定义了综合模块化航空电子(IMA)实时操作系统的行为逻辑以及向应用程序提供的接口规范。该规范规定了系统采用分区内调度和分区间调度的两级调度方案,如何分析系统的可调度性以保证实时任务能够在截止时间内完成计算是需要研究的新问题。基于负载请求与平台资源提供能力的供需约束关系导出了系统可调度的判定依据。证明了判据的约束是系统可调度的充分必要条件。实际应用表明,提出的可调度判定定理能够应用于判定ARINC 653分区实时系统的可调度性,辅助提升系统的安全属性。     

一种舰载相控阵制导雷达驻留时间动态调度算法

为了解决舰载相控阵雷达的实时驻留问题,提出了一种新的相控阵雷达驻留时间调度算法。依据工作方式优先级和目标信噪比来设计调度准则。首先分析了构建舰载相控阵雷达模型所需要的各种理论模型,包括自由空间目标回波功率、干扰模型、目标检测模型。在此基础上,提出了雷达时间动态调度算法机制。最后根据建立的舰载多功能相控阵雷达模型分析驻留时间分配,目标信噪比检测的效能,仿真结果表明了该算法的合理性和有效性。     

基于脉冲交错的数字阵列雷达任务优化调度算法

针对数字阵列雷达搜索、跟踪和成像任务的资源调度问题,提出一种数字阵列雷达(DAR)任务的优化调度算法。该算法以脉冲交错技术为基础,在对目标搜索与跟踪的同时,利用基于压缩感知的稀疏孔径认知逆合成孔径雷达(ISAR)成像方法对部分精密跟踪目标成像,并采用观测时间动态调整策略以提高雷达系统的自适应能力。仿真结果表明,与传统雷达资源调度算法相比,该算法可以将成像任务考虑到优化调度模型中并合理分配资源,实现雷达多任务并行的调度,获得更高的资源利用率与期望的成像质量。     

多星任务规划中的FFFS-DTMB与ADTPC-DTMB算法

 多星对地观测任务规划是一类典型组合优化问题,针对该问题中常见的时间窗口冲突问题,根据同一时间窗口内的冲突任务的处理方式提出了两种有效处理此类问题的规划算法：带有冲突任务时间窗口后移的先完成先规划算法(FFFS DTMB)以及冲突任务共存性判断算法(ADTPC DTMB),并给出了关键步骤的算法过程与伪代码。完整的卫星任务规划过程包括了约束检查、优先级检查以及任务规划,不考虑任务间关系与优先级,主要研究处理具有时间窗口冲突的任务规划算法。文中给出的两种算法优化目标均为最大化规划任务数量。算法的主要思路是通过采用一个冲突任务替换一个已规划的任务,并将替换任务后移至下一时间窗口或在同一时间窗口内部后移。最终的评价结果显示了两种算法的有效性。     

综合模块化航空电子系统节能分层调度的设计(英文)

近年来,综合模块化航空电子(Integrated Modular Avionics,IMA)构架逐渐流行,并通过引入资源分区的概念取代了传统的联合式系统构架。研究了IMA构架下分层调度的设计问题。调度模型通过强时间分区,使多个强实时应用方便地集成在一个单处理器平台。推导出分区周期、分区系数以及可调度性在实时条件下的数学关系,并提出了分区参数的优化算法。考虑具有任意时限的实时任务模型,提高了算法的通用性。在分层调度的基础上,通过有效利用松弛时间,提出一种能量优化方法,进一步减少了飞行器上嵌入式系统的能耗。实验结果表明,本文提出的系统设计方法在保证硬实时需求的基础上,有效的降低能耗达 14%。     

基于二维资源管理的多功能雷达任务调度算法

动态孔径分割技术为相控阵雷达针对不同任务灵活分配孔径资源提供了可能,而传统的资源调度方法仅基于单一孔径条件研究了时间资源的优化分配问题。针对雷达搜索、跟踪与成像任务的自适应调度问题,提出了一种基于时间-孔径二维资源管理的雷达资源调度算法。该算法建立了雷达孔径分割条件下的二维资源调度模型,确立了能量资源约束条件;利用基于压缩感知的稀疏孔径逆合成孔径雷达（ISAR）成像技术,使雷达在完成目标搜索和跟踪任务的同时实现对目标的成像;定义了调度算法性能的评价指标。在仿真实验中将该算法与另外2种算法进行对比,验证了所提算法在高度成功率、二维资源利用率与任务并行度这3种性能指标上具有优越性。     

Satellite range scheduling with the priority constraint: An improved genetic algorithm using a station ID encoding method

Satellite range scheduling with the priority constraint is one of the most important problems in the field of satellite operation.This paper proposes a station coding based genetic algorithm to solve this problem,which adopts a new chromosome encoding method that arranges tasks according to the ground station ID.The new encoding method contributes to reducing the complexity in conflict checking and resolving,and helps to improve the ability to find optimal resolutions.Three different selection operators are designed to match the new encoding strategy,namely random selection,greedy selection,and roulette selection.To demonstrate the benefits of the improved genetic algorithm,a basic genetic algorithm is designed in which two cross operators are presented,a single-point crossover and a multi-point crossover.For the purpose of algorithm test and analysis,a problem-generating program is designed,which can simulate problems by modeling features encountered in real-world problems.Based on the problem generator,computational results and analysis are made and illustrated for the scheduling of multiple ground stations.     

基于任务聚类的多星观测调度方法

星上传感器侧摆次数有限,在卫星观测调度时进行任务聚类可以节省资源,提高观测效率.提出了动态聚类调度算法(DCSA)来解决多星多轨道圈次的观测调度问题,DCSA把聚类和调度动态结合起来,并使用模拟退火算法搜索全局最优解;分析了在满足分辨率需求前提下多任务聚类的约束条件,并对聚类任务的侧摆角度和时间窗口进行合理优化;根据任...