嵌入式多核操作系统确定性研究

为解决嵌入式多核操作系统确定性问题,详细阐述了计算确定性,重点分析了多核结构引入的不确定性问题。通过研究嵌入式多核操作系统的结构,从共享存储的确定性访问、确定性任务调度、确定性通信等方面提出了解决多核结构带来的不确定性问题的方法。     

无线宽带多媒体数字集群指挥调度系统

针对大型突发事件现场视音频的指挥调度,介绍了无线宽带多媒体数字集群指挥调度系统.具体介绍了本系统的技术原理,系统可实现的业务种类,本系统与其他系统的技术对比及本系统的应用场景.最后,介绍了无线宽带多媒体数字集群指挥调度系统的应用前景.     

基于S4000P的军用飞机预防性维修任务优化研究

预防性维修是恢复和保持飞机安全性和可靠性的主要措施,其优化一直以来都是飞机制造商和使用 方共同关注的问题。本文调研国际上主流的预防性维修任务优化方法及主要应用对象,并以适用于装备的 S4000PISMO 流程为基础,结合军用飞机的特点,对原流程进行调整和个性化设计,构建预防性维修任务优化 的逻辑流程。结果表明:该任务优化流程可用于军用飞机预防性维修任务的优化分析。     

机场飞行区资源调度问题研究(二)：发展脉络与趋势

充分释放机场资源红利,发挥机场资源的最大效益,是空管、机场、航空公司、旅客和政府等航空运输各利益相关方的共同目标。本文聚焦机场飞行区资源调度的发展脉络与趋势问题,为飞行区资源调度问题研究系列之二。从明确资源总量、盘活资源存量、做强资源增量视角梳理飞行区资源调度的发展脉络,并对飞行区资源调度的一体化、高效化、智能化、协同化和绿色化发展趋势进行分析。研究成果旨在为机场运行管理理论与应用的可持续发展提供科学指引。     

飞机维修大纲中的任务转移风险评估方法

以波音737NG飞机维修大纲为例,对其依据MSG—3决断逻辑制定的维修大纲中的任务转移风险进行模糊综合评价。使用模糊理论、层次分析法、熵权法和转移修正因子计算维修大纲中任务转移的风险概率值。结果表明,该值符合FAA和EASA的安全标准,方法可行。     

一种双余度非相似容错计算机软件设计

非相似余度设计是容错技术的重要设计方法,在很多领域都有广泛应用,在航空领域主要应用于飞行控制系统.在非相似双机架构下分析现有且适宜的操作系统,并在此基础上构建适合机载飞控系统的底层运行框架和任务调度算法,在此框架下研究双机余度管理的关键技术.研究结果表明,所设计的软件框架与算法满足飞控系统要求.     

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

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

基于累积效应的光交换机分组调度算法

光交换机中的光路重置需要较长的时间,分组调度必须是基于帧的.为提高传输效率帧长通常较大,从而导致了光交换机中特有的分组累积效应.针对该效应,提出一种新的分组调度算法p-LQF(Longest Queue First)+Hold.通过对业务需求矩阵分解得到置换矩阵, 选择匹配占用最大的置换矩阵建立端口匹配.在4×4端口的VOQ(Virtual Output Queue)结构的光交换机中,分别对均匀、非均匀以及对角线的Bernoulli和ON/OFF业务进行了仿真.仿真结果显示该算法对于符合强大数定理的可接入业务能获得100%的通过率,其平均分组时延接近甚至低于主流的LQF+Hold算法,但复杂度更低.该算法能够提供带宽保证以及短期公平性,同时能适应分组的动态到达.      

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.     

一种简单的VOQ交换机时延确保分组调度算法

采用EDF(Earliest Deadline First)与轮询结合的方法,提出了一种简单的VOQ(Virtual Output Queueing)分组调度算法提供基于流的时延确保.VOQ队列采用EDF的策略裁决分组流的竞争,输入输出端口采用轮询方式匹配.此时VOQ中分组到达至成为头分组的时间以及分组成为头分组至传输到相应输出端口的时间,分别对应于OQ中的分组排队等待时间及服务时间.通过对所得算法详细的理论分析,给出了流时延界及流分组到达的显性关系.更为重要的是,本文的理论结果不仅为设计更为有效的算法奠定了基础,同时为判别不同流的时延要求是否冲突提供了一种新的直接分析的手段.