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

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

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

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

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

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

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

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

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

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

基于Lyapunov方法的双臂空间机器人避障碍分级非完整运动规划

以Lyapunov方法为基础,讨论了载体姿态与位置均不受控制的双臂空间机器人系统的避障碍分级非完整运动规划问题.该方法充分利用系统的非完整动力学性质,以系统动量矩守恒关系及运动Jacobi关系为基础,建立控制设计所需的系统状态方程及控制输出方程;并在Lyapunov函数的选取上采用两级采取方式,即初级Lyapunov函数确保双臂空间机器人的两个末端抓手从初始位置运动到指定的终点位置,次级Lyapunov函数则确保两个末端抓手避开工作空间中的障碍区域;两级合成则使双臂空间机器人的两个末端抓手既实现了指定的位置移动又避开了障碍区域.系统数值仿真,证明了方法的有效性.      

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

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量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中的分组排队等待时间及服务时间.通过对所得算法详细的理论分析,给出了流时延界及流分组到达的显性关系.更为重要的是,本文的理论结果不仅为设计更为有效的算法奠定了基础,同时为判别不同流的时延要求是否冲突提供了一种新的直接分析的手段.      

基于多星联合侦察的卫星数传调度问题模型

基于多星联合侦察的卫星数传调度问题是研究如何为卫星数传任务中每个单数传任务分配地面资源及数传时间的问题,对该问题的模型进行了研究.首先建立了单数传任务模型及卫星数传任务模型;然后在此基础上建立了问题的约束满足优化模型,重点分析了问题的目标函数及主要约束条件;为了解决该问题,最后提出了一个基于双综合优先度的启发式调度算法,并通过实例验证了算法的有效性.研究成果实现了问题的形式化描述,并给出了一种有效的问题求解算法.      

遗传算法在飞机着陆调度问题上的应用

用遗传算法对飞机着陆调度问题的两个方面:队列顺序的确定和跑道指派进行了研究.队列顺序采用飞机编号的单一整数染色体编码方案,配合相应的变异、交叉算子,避免了后代非法解的问题.跑道指派则在适值函数计算中,基于对列最短的原则来加以确定,避免了对队列顺序和跑道指派进行分别编码.算例研究了单跑道与双跑道两种情况.计算结果表明,这种编码方案以及变异、交叉算子对这一问题具有很好的效果,可在普通PC机上实现雷达扫描周期内的实时计算要求.