星载计算机系统瞬态过载不精确容错调度算法研究

卫星在空间作业时经常需要容错处理大量复杂的任务,这将导致过载现象的发生,星载计算机系统将不能在期限内调度它们而产生调度失败。基于这种情况,提出了星载计算机系统瞬态过载不精确容错调度算法(OLIFTSA)。它采用不精确调度思想来完成过载情况下的调度,最终取得最大的调度精度。另外,提出星载计算机系统可靠性代价概念,它能量化容错调度所产生的开销,从而使本算法容错调度代价最小。仿真实验表明:OLIFT-SA算法可以在瞬态过载时,以最小的容错开销获得最大的任务执行精度。     

浅析AIMS航管系统数据库故障实例

引言 航管信息自动化处理系统（AIMS）2.X版是面向航管部门设计开发的新一版航管指挥调度辅助系统。目前在西南地区（包括成都、重庆、昆明、贵阳、拉萨）使用航管信息自动化处理系统均由民航数据通信公司开发。该系统设计以数据库为中心,     

多显示器多窗口联动显示重构管理设计与实现

当前飞机座舱显示系统的显示功能通常由多个显示器共同完成,且同一个显示器画面被拆分成多个窗口来组合显示,窗口页面调度独立进行,各显示器互不干扰,互为冗余。提出了基于多显示器多窗口的联动显示重构管理设计方法,并以民机Y12F为例进行了实现,结果表明,该设计不仅能完成系统正常情况下的单显示画面调度,也能完成多显示画面联动及显示器异常情况下的显示重构管理。     

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.     

基于PSLX的统一调度数据模型

对计划调度数据模型的发展状况进行了综合介绍,重点阐述了PSLX协会发布的APS规范的整体架构、数据模型的层次结构和模型的开发方法,指出统一调度数据模型在系统集成中的应用前景和发展方向.     

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

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

多星监测调度问题的建模与仿真研究

多星监测调度问题属于典型的资源受限项目调度问题,对其模型研究一直是求解该问题的难点和关键。本文首先对多星监测调度问题进行问题描述,并分析了该问题特有的约束条件及实际应用中的调度需求;其次,在综合考虑监测卫星数目尽可能多、优先级高的卫星优先监测、监测任务平均分配等3类优化目标的基础上,为该问题建立了一个组合优化模型;最后,将该模型应用于2站10星调度的仿真实例中,结论表明该模型能够为多星监测调度问题的求解提供有效的支持。     

硬盘缓存

硬盘缓存可以缓解硬盘与其它高速部分之间的瓶颈现象。硬盘缓存的容量越大,也就可以缓冲越多的信息。但是,硬盘缓冲的容量能否最大限度地发挥其作用,还与相应的缓冲算法及磁盘调度算法有关。文章对这些方面进行了较为深入地探讨。     

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

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

航天测控中心软件调度模式与实现

本文介绍航天测控系统中心软件调度的机制，研究探讨了在软件调度系统的实现过程中所应用的一种简单高效的“事件调度控制法”，并在此基础上提出了一种更为有效的调度工作模式。