基于时钟驱动的循环调度

实时系统,诸如航空电子系统、空中交通控制系统(Air Traffic Control: ATC)等,从本质上说都是一种分布式实时系统,从理论上说,它们由三种类型的处理器组成,包括数据控制处理器、数据传输处理器和数据处理器.无论是数据控制处理器和数据处理器的数据计算任务,还是数据传输处理器的数据传输任务,它们的执行都必须满足任务的时间约束要求,从而正确完成系统设计的各项应用任务.本文将描述基于时钟驱动的循环调度策略,它不仅适用于对数据计算任务的实时调度,也适用于对数据传输任务的实时调度,最后,分析了此调度策略应用中存在的优势与劣势.     

基于计时Petri网的制造自动化系统的调度研究

采用基于计时Petri网(TPN)同启发式相结台的方法。研究制造自动化系统的调度问题。首先用计时Petri网描述系统的调度模型,然后给出采用计算机模拟TPN同调度所使用的数据结构，并给出实例以及运行结果。由于给出的是一个可行调度，系统潜在的死锁可避免。     

航空企业生存系统的协调度研究

本文借助系统科学原理,对企业生存系统进行描述,并建立了企业生存系统协调度模型,提出了规避方法,最后进行实例分析。     

SpaceWire星载网络通信协议设计

SpaceWire是ESA和NASA推荐的新一代星载数据总线标准,其应用方向之一是构建统一总线星载网络。星载网络是典型的实时系统,它对网络信息的传输时延具有严格要求。然而,传统SpaceWire网络多源、异步、事件触发的特性使它难以提供确定的信息传输时延,这制约了它在统一总线星载网络中的应用。本文为克服SpaceWire的上述应用瓶颈,提出一种基于时间触发的SpaceWire星载网络通信协议,并提出相应的节点通信调度算法,通过合理的规划使节点在确定的时间窗口发送通信数据,从而避免了网络资源冲突,使信息传输时延的确定性得到保证。     

航天型号多项目资源调度方法研究

针对航天型号多项目研发中面临的进度、质量问题,究其原因,多与资源协调与配置密切相关,文中结合项目计划中资源调度及优化问题,进行深入研究,给出此类项目及资源的模型描述,提出资源约束条件下基于遗传算法的多项目资源优化调度方法。实例显示,该方法能够帮助解决航天型号项目研发中多项目资源调度问题,有助于缓解因资源紧张或资源冲突带来的问题,进一步保障航天型号项目进度和质量。     

基于动态规划的航班着陆调度算法

为了解决机场终端区空中交通流量高速增长造成的进近冲突,合理安排飞机着陆次序,充分利用跑道容量,减少航班延误,提出了一种基于动态规划方法的航班着陆调度算法,算法结合了MPS约束、优化深度限制和时间窗限制约束和其他多项约束,并采用了动态规划的方法来减少计算量。仿真结果表明,算法能满足现实复杂空管条件下的各种限制约束,可应用于实时的ATC自动化系统,并能输出合理可行的排序结果,明显减少航班队列的延误。     

中国民航运输系统性测度研究

对民航运输系统发展程度的有效测度是实现民航运输系统协同发展的前提和基础,从民航运输系统性内涵出发,构建了民航运输系统性测度模型。借助数据包络分析评价方法,建立了民航运输系统总体评价方法,基于协同理论建立了民航运输子系统协调度测度模型和方法。并应用所建立的模型和方法,对中国民航运输系统性状况进行了实证研究。研究结果表明,中国民航系统的有效性有待提高,航空公司系统、机场系统与空管系统两两之间均处于中度协调状态,动态协调度呈现出上升趋势。     

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

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

TTE网络流量转换策略及其延时性能保障调度算法研究

时间触发以太网（TTE）通过精确的全局时钟同步,使时间触发（TT）消息具有了严格的时间确定性。当系统同步精度降低时,TT消息的实时性也将严重受到影响。利用TTE交换机的流量类型转换功能,提出了一种基于消息时间窗检测的转换策略（TT-TWD）。该策略应用于TT流量向速率限制（RC）流量的转换过程,能够避免在系统同步精度降低时,TT消息出现丢包或不可接受延迟的情况。为保障该策略下网络流量的实时性,设计了一种基于流量转换策略的优先级调度算法（PTCTS）。运用网络演算理论对PTCTS算法的实时性进行了分析,并与先入先出（FIFO）算法结果对比,证明了PTCTS算法有效地减小了由TT流量转换而来的RC流量的延迟上界,同时保证了原始RC流量端到端延迟的确定性。