光纤通道时间触发调度方案设计

从稀疏时间模型出发,提出一种光纤通道时间触发调度方案设计。对于采用时间触发机制调度的光纤网络中的周期性任务,根据该设计方案生成的周期调度时刻表,能够有效地避免光纤链路上的数据包竞争,并对该调度方案进行仿真验证。并在此基础上又提出了时间触发和事件触发混合调度机制方案设计,为时间触发在现有光纤通道网络系统中的应用提供一种实现方法和部署依据。     

基于发布订阅架构的在线时间触发调度方法

混合关键性消息的调度优化是其应用于航空电子系统的关键，而日益增加的动态应用更加依赖于时间触发调度的在线求解。现有时间触发网络调度多基于离线调度设计，面对大规模组网应用其调度表生成耗时较长且生成后难以在线调整。为了更快地求解调度表，并适应在线调整需求，结合数据分发系统中的发布/订阅机制，构建了基于发布/订阅架构的时间触发网络模型；在其基础上提出了基于统一时间分片的时间触发调度在线求解算法，将连续时间离散为时间分片，并基于统一长度约束优化调度求解空间，极大地减少了调度表生成时间；进一步，根据时间分片长度度量链路负载情况，在消息调度过程中实现链路负载均衡的目的，在保障时间触发消息传输延迟需求的条件下降低速率约束消息的端到端延迟。实验结果表明：对于包含300条消息的网络，所提算法的求解速度是可满足性模理论求解的数千倍，同时速率约束消息的最坏端到端延迟比可满足性模理论求解降低了17.4%。对于包含2 000条时间触发消息的网络，所提方法生成调度表的时间为100 ms数量级。     

机载网络时间触发通信调度设计优化与评价方法

机载网络是航空电子系统实现信息传输与功能综合的关键组成,引入时间触发（TT）机制并安排合理通信调度可以有效保证机载网络实时可靠通信,但需要首先面对多种调度设计方法的选择问题。在总结了时间触发通信过程与特征的基础上,以时间触发以太网为分析对象,给出了基于可满足性模理论（SMT）、混合整数规划（MIP）和启发式算法等不同约束引导下的调度模型,并形成了基于强化学习（RL）的调度方法;从调度设计的求解能力与性能保障角度出发,建立了包括求解时间、可求解规模、传输延迟和调度模式的评价指标。以工业规模网络为研究案例对不同调度方法进行了验证分析,在评价指标的引导下对比分析了各种方法的适用场景,其中SMT方法可支持小规模案例,MIP方法具有明显的TT消息传输和调度求解运算优势,以遗传算法为典型的启发式方法和RL方法可实现大规模案例调度,虽然其TT延迟略高于MIP方法,但速率约束消息延迟优化程度分别达到7.97%和12.35%。在此基础上,进一步探讨了未来航电系统机载网络时间触发通信调度设计优化技术的发展趋势。     

片间综合化互连时间触发通信调度方法

未来先进的分布式综合化航空电子系统需要实现跨越计算体系结构的信息综合,对微小型智能器件间的综合化互连提出要求。通过构建一种具有开放式接口的芯片间综合化互连结构,提出一种相应的时间触发（TT）通信调度方法。首先建立片间综合化互连模型和时间触发流量传输模型,给出负载均衡的选径方法;随后依据传输路径中各级节点各流量的发送时间偏移量计算流量传输的等待时间可行值,利用遗传算法优化调整各芯片发送端口的调度表相位,更新各流量在发送端口的时间偏移量,缩短最坏情况下的最大等待时间,得到具有全局优化意义的时间触发调度表。与使用Yices等SMT形式化求解器的TT调度表生成方法相比,本方法不会出现长时间不停机而无法判定的问题,且不论对于对称或非对称结构,案例研究表明本方法的可调度规模至少增加30%。此外,以流量传输等待时间占周期的比例作为归一化的传输延迟度量,与既有的基于特征任务的调度方法相比,案例研究表明本方法得到的传输延迟最多仅为后者的2%。     

基于重要性抽样的时间触发调度表生成方法

时间触发以太网(TTE)是分布式综合模块化航空电子(DIMA)系统互连中的骨干网络，需要生成无冲突的时间触发(TT)流量调度表。形式化SMT求解可以抽象地表述多种调度约束；但TT流量间，以及TT流量与分区调度之间存在作业链依赖关系，较复杂的约束会降低求解器的效率。将重要性抽样(IS)方法应用于TT调度表的启发式求解，通过统计“尽可能快”(ASAP)求解的尝试偏移量的经验分布，扭转该变量的抽样分布进行迭代寻优；并针对调度的可行性及作业链的及时性，将IS求解分为2个阶段进行。案例研究表明：第1阶段的IS会演化得出易于保证严格周期调度或抖动较小的尝试偏移量分布，第2阶段IS则会进一步根据作业链的最坏总延迟最小准则进行迭代优化，并且对于分区调度与TT流量调度存在或不存在同步关系的场景都具有适用性。     

基于时钟偏斜的DIMA系统通信调度方法

针对分布式集成的DIMA网络系统提出一种基于时钟偏斜的时间触发通信调度方法。该方法在考虑时钟同步误差和时钟漂移造成的时钟偏斜情况下,对时间触发消息流传输路径相邻上下级联设备的调度窗口进行紧密排布,在时钟偏斜误差范围内实现了时间触发消息的无冲突传输。案例表明,该调度算法实现的消息传输时延与消息最小传输时延一致,保障了时间触发消息端到端传输的确定性;即使考虑时钟偏斜影响,采用该算法所带来的传输延时误差不超过5μs,具有接近消息最好传输延时的保障能力。     

基于多Agent的柔性作业车间动态调度方法研究

为提高调度策略对工件到达密度变化的适应能力,对柔性作业车间内的动态调度方法进行了研究。首先根据调研结果以及Agent建模方法构建了基于多Agent系统的柔性制造动态调度系统;然后结合柔性制造背景下的复杂结构件加工特点对调度过程中任务分解、机床选择、任务分配3个步骤的运行机制进行了改进,形成了基于工序块的任务分解机制、基于加工精度的机床选择机制以及基于调度规则的动态时间窗调度方法;最后通过试验验证了该动态调度方法在工件到达密度变化场景下的可行性,对当前实际的柔性作业车间生产活动具有一定的指导意义。     

基于TTP协议的飞机配电系统通信仿真研究

针对飞机配电系统典型单元,建立基于时间触发的四节点控制与通信模型;实现系统典型节点的信号交互,并进行实时控制与仿真分析。以供电系统处理机(PSP)、发电机控制器和汇流条控制器的组合(GCUs+BPCU),某个负载管理中心(ELMC)、以及多个固态功率控制器(SSPCs)为四个典型节点,在研究模型节点内部控制与逻辑关系、建立消息时刻表的基础上,仿真了配电系统在双发、单发、应急情况下,汇流条和负载的自动管理。仿真结果表明,信号严格按照确定的消息时刻表传送,通信具有较高的实时性和可靠性。研究结果为时间触发协议在航空器领域的应用提供了参考。     

小型涡扇发动机分布式控制系统总线触发机制研究

为分析比较2种总线触发机制(时间触发和事件触发)对航空发动机实时控制的影响,以某小型涡扇发动机为对象,采用智能节点型分布式结构,构建了其分布式控制系统数字仿真平台;利用True Time/Matlab工具箱展开网络实时仿真研究,系统各节点通过CAN总线进行数据通信。以此仿真平台为基础,对2种触发机制下发动机的转速响应以及对应的时延统计结果表明:在事件触发机制下发动机转速超调量比时间触发机制下的大2.32%;在不同网络负载下,在事件触发机制下的时延大小和尖峰数均大于在时间触发机制下的。最终认为时间触发机制更适合于航空发动机分布式控制系统。     

用EDF调度实时任务和GC

 在以往对垃圾搜集器（GC）的研究论文中,为了易于分析,在GC模型中人们一般都用单调比率时限调度（RM）算法来调度GC和实时任务。近年来,为保证GC调度中硬实时任务的时限,一些研究文献提出了基于时间的GC并发调度策略。通过对算法的描述及内存需求分析,提出了用最早时限优先调度（EDF）算法来调度GC和实时任务集的方法。对用EDF和RM调度任务的延迟抖动进行了比较分析,对用EDF调度GC给出了详细的分析,而且做了相应的仿真。对比结果说明,与以RM算法为基础的其他调度策略相比,基于EDF调度的系统可以调度硬实时的非周期任务,因而更具灵活性,并且在保证硬实时任务时限要求下对系统内存的需求更小,而在任务的延迟和抖动方面,事实证明EDF调度算法并不比RM调度差。     

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

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

Equal allocation scheduling for data intensive applications

A new analytical model for equal allocation of divisible computation and communication load is developed. Equal allocation of load is attractive in multiple processor systems when real time information on processor and link capacity that is necessary for optimal scheduling is not available. The model includes a detailed accounting of solution reporting time. Equal allocation scheduling is compared with sequential scheduling and a new type of multi-installment scheduling. Aerospace applications include the processing of satellite imagery, radar, and sensor networks.     

光纤通道交换网络WRR实时调度算法分析

 随着综合航电系统的发展,1553B总线已经不能满足发展的需要,光纤通道交换式网络作为新一代高性能网络通信协议被引入到航电系统中,其性能指标与整个航电系统的总体指标有着密切的关系.为了解决系统消息实时发送的问题,研究了光纤通道交换网络实时条件下加权轮询调度算法的通信性能,利用随机Petri网对光纤通道交换网络的调度过程进行了建模,通过对模型的仿真和分析,得到了数据传输量及传输时限变化时系统网络负载、延迟时间、超时消息所占比例等重要性能指标,并分析了调度算法的性能.仿真结果证明光纤通道交换式网络具有高速稳定性,加权轮询调度算法能够满足消息传输的实时性、公平性要求.     

分区内进程管理的设计与实现

为了满足新一代航空电子系统高度综合化、模块化的要求,在高安全实时操作系统中引入了分区(Partition)的概念。分区是运行于一个处理机模块上的一个或多个应用程序(或子系统),这些应用程序在时间和空间上彼此隔离,互不影响。分区由一个或多个进程组成,每个进程隶属于特定的分区,各进程之间按照一定的调度策略并发执行。依据微内核的体系结构,本文着重讨论了分区内进程管理方法,涉及进程优先级调度实现、虚中断响应、进程截止期处理和周期进程管理。     

基于Transformer层次预测的多星应急观测任务规划方法

应急观测任务规划是一个强时效性的复杂组合优化问题,必须在规定的时限内完成相应的计算。采用机器学习的方法对规划问题进行初始规划方案预测,可以有效地简化计算复杂度。为此,提出一种基于Transformer层次预测的多星应急观测任务规划方法,将多星任务规划的求解过程分解为3个步骤：首先,利用基于Transformer的任务可调度性预测模型预测待规划任务是否执行,得到预执行任务集合;然后,基于Transformer的任务分配模型对预执行任务集合分配卫星,得到初始规划方案;最后,利用基于随机爬山的约束修正算法对初始规划方案进行优化调整,得到可行规划方案。为验证所提方法的有效性,通过大量仿真实验与CPLEX优化器、标准遗传算法、长短期记忆网络等方法模型进行比较,实验结果表明所提方法计算耗时短,规划收益高,适用于多星观测任务快速规划。     

非线性不平衡转子轴承系统周期解的预测

本文提出一种对非线性不平衡转子轴承系统周期解进行预测的新型算法,它利用系统周期解的稳态及瞬态信息,反解雅可比矩阵,实现对系统周期解的预测追踪,并利用反解得出的雅可比矩阵,求得系统周期解的Floquet乘子以判别其非线性稳定性。文中以刚性不平衡转子轴承系统为例,实现了周期解的预测追踪及非线性稳定性判别,说明了新算法的有效性。      

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

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

Periodic Job Scheduling in a Distributed Processor System

This investigation considers the problem of the nonpreemptive scheduling of a set of independent periodic jobs in a computer system characterized by a collection of processors, memories, and interconnection mechanisms. Such a collection of resources can be used to perform the functions of a process control environment as are found, for example, in the avionics of a military or commercial aircraft. The distribution of these resources permits weight, volume, power, cost, and reliability requirements to be satisfied. Each periodic job is characterized by its frequency and its execution time. The inverse of the frequency, the period, is assumed to be an integer, and the initiation time and the completion time of job must be strictly met. An optimal algorithm is developed for a job set whose members are related by a binary frequency distribution. That is, if the jobs in the set are ordered in terms of decreasing job execution frequency, then fi = 2fi+1. The optimal result is generalized to include conditions in which the jobs are related by fi = kfi+1, where k is an integer.