星载实时微内核操作系统的CPU调度

现代小卫星的重要特点之一是要实现卫星的自主运行。作为其控制核心的星载自主计算机操作系统的性能至关重要。当今 操作系统的发展趋势是采用微内核体系结构。它具有微型化，模块化，可移植性可扩充性等优点。ＣＰＵ调度是影响操作系统性能的关键因素。当前的微内核操作系统基本上只提供几种简单的调度策略，如ＦＩＦＯ，循环反馈等。这些都难以满足卫星系统在特定的时间内对外界作出响应的实时要求。为此，本文设计了一个新的ＣＰ     

智能制造系统调度的一种随机神经网络求解法

首先提出了调度系统的概念，即智能控制系统智能调度应从整体指标出发，综合研究集零件加工智能调度和产品装配智能规划于一体的调度技术，然后，给出了智能控制系统智能调度的神经网络模型的能量函数，并讨论了一种改进的模拟退火过程来求解最优解的方法。     

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

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

带权值的规划图在物流车辆规划调度系统中的运用

图规划算法在智能规划的研究和发展中具有重要的意义和价值,它采用图的方式来求解规划问题,提出了用于规划的"规划图"概念[1].利用在规划图的动作-添加效果边上增加权值,用来表示动作产生这些效果的代价,从而将物流车辆规划调度问题中的车辆路线分配问题转化为简单的单一车辆路线安排问题进行求解.并由此开发出了适合于中小型物流公司用于调度车辆来实现智能化配送的规划调度系统.通过模拟测试,效果良好.显示了图规划在实际运用中具有重要的研究价值.     

计算机集成制造系统中的加工中心刀具调度研究

介绍了集中管理模式下加工中心刀具调度的实体框架、评价管理以及实现刀具优化调度的关键技术。     

用EDF调度实时任务和GC

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

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

网络计算环境下任务调度问题研究

利用网上空闲处理机组成机群并行计算环境是快速增长的研究领域,任务调度是其中最关键性的问题之一.在基于消息传递机制的网络并行计算环境下,针对一类大粒度计算任务并行时协同同步工作问题,发展了一种新的静态调度模型,提出了调度算法,它映射一类特殊的并行程序任务到由网络上若干空闲处理机组成的机群中.研究表明该算法能减少此类并行程序的完成时间.      

机群环境中基于信度模型的作业调度算法

提出了一种新的机群环境下的作业调度算法,该算法基于信度模型.在信度模型 中,每一个计算节点是一个信度实体,系统根据信度实体的物理能力、当前状态、历史作业完成情况,对节点进行信度评价,赋予其相应的信度值,调度算法根据信度实体信度值为作业分配合适的资源运行作业.同时,调度系统还对机群系统的整体信度进行评价,并根据估计的作业运行时间和完成期限对作业做信度要求折算,调度系统根据机群系统的整体信度情况和作业信度要求来决定是否接受该作业请求.在OpenPBS机群调度系统上实现了该算法,并通过GridSim工具包与先入先出FIFO(First Input First Output) 算法和Libra调度算法进行了模拟对比试验.试验结果表明,该算法是有效的.      

VLIW上的软件旁路与细粒度并行调度

描述并分析了一种新型的VLIW(Very Long Instruction Word)机器模型,为充分利用该模型的并行特性,提出了基于静态单一赋值(SSA)表示的软件旁路方法,以及集成的基于操作的指令调度与寄存器分配算法.与常规的软件旁路方法和基于周期的调度方法相比,该方法可以灵活地进行结果寄存器的分配,并有效减少由重用结果寄存器导致的"危险值"溢出次数,生成高质量的目标代码.