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

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

无线局域网（WLAN）层次化加密技术研究

由于传输媒体的开放性 ,利用无线局域网进行通信要求其具有更高更完善的保密性能。通过分析无线局域网在网络安全方面的特性 ,提出了无线局域网的安全框架和层次化的网络安全技术。     

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

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

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

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

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

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

基于分布式层次模型的诊断技术研究与应用

针对大型分布式系统故障诊断的复杂性,给出了一种基于分布式层次模型的诊断方法。详细介绍了基于语言的分布式诊断技术的相关工具和概念。深入研究了层次模型的构建技术、计算方法策略和多步诊断步骤。在某卫星测控系统中的应用结果表明,此方法降低了诊断的复杂性,诊断结果正确,适用于卫星这类复杂系统的故障诊断。     

Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling

Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.     

具有学习效应的单机可控加工时间排序问题研究

在经典排序问题中，工件的加工时间往往是一个常数，但在现代生产过程中，工件的加工时间受许多因素的影响。因此，研究工件具有学习效应的单机可控加工时间排序问题，其中工件的加工时间是其所在位置的函数，且与加工时间的控制变量有关。目标是求出最优的加工时间控制变量和最优的排序使得目标函数最小，目标函数包括极小化时间表长与控制费用的和、极小化总完工时间与控制费用的和、极小化总完工时间偏差和与控制费用和。证明他们都能转化为指派问题，从而多项式时间可解。并给出数值例子来说明问题是如何求解的。     

考虑断点续传的中继卫星调度模型及启发式算法

为提高中继卫星系统的应用效能及数传任务的完成率，在中继卫星调度中考虑了断点续传这一应用模式，即对单个数传任务进行合理拆分，使其在多个时间窗口内完成。首先构建面向断点续传的中继卫星单址天线的调度模型，然后提出一种基于冲突风险评估的冲突度量化方法，并设计考虑断点续传的两阶段调度算法。最后开展大量的仿真实验将该算法与贪婪算法、基于最小冲突度的启发式算法和基于任务优先级的启发式算法这3个不考虑断点续传的算法进行对比。实验结果表明，所提出的算法在任务完成率方面分别提高了7.67%、6.34%和8.67%。     

复杂作业模式下车间生产调度的建模与优化

针对某航天制造企业的实际生产环境,分析和讨论了复杂作业模式下车间生产的调度问题,并根据实际的业务流程建立了数学模型,通过自动调度与人工调度相结合的方法对其进行优化,最后采用实例对调度结果进行了验证.事实证明,这种调度机制可以同时增强系统的灵活性和稳定性,对提高车间生产效率和管理水平有很大帮助.