基于资源动态配置的IMA任务调度机制研究

航空电子系统对于任务执行的实时性有很高的要求。本文通过对综合模块化航空电子(IMA)下的航电任务进行分析,提出了一种基于资源动态配置的任务调度方案,包括资源管理、任务管理以及任务调度等。通过利用随机Petri网对该调度方案的时间性能进行分析,验证了此调度方案可以缩短航电任务的平均执行时间,提高航电系统的效率。     

工作流技术在卫星地面系统的应用分析与设计

调研了国内外工作流技术,结合其发展过程与现状,分析和论证了工作流技术在卫星地面系统运行控制软件中应用的可行性,从运行控制软件需求的角度提出了一种轻量级的、具有针对性的工作流引擎的设计方案并进行验证,为后续项目开发提供了一种新的思路与方法.     

异构计算并行编程模型综述

异构计算架构是目前高性能计算研究的重要领域。在异构计算架构中,不同种类的计算器件协同工作需要解决如任务调度、数据通信、存储、同步优化等问题。这些问题会对异构计算架构系统的运行性能、功耗、可靠性等指标产生重要影响。为解决异构系统的应用开发与系统优化问题,近年出现许多面向异构计算架构的并行编程模型。本文介绍异构并行编程模型的研究进展,针对异构并行计算需要解决的关键问题进行讨论,最后对异构体系架构的发展方向做出总结。     

一种面向成像卫星的启发式分层任务规划方法

针对成像卫星运控系统设计中的高计算效率、动态任务调整应用需求,提出了一种启发式分层任务规划方法,采用资源预算、分层规划、约束复核、动态调整的思路构建任务调度路径,利用启发式贪婪策略逐级引导任务规划求解过程,通过在每一层上缩减问题规模实现解空间的分步降维,加速任务规划计算.提出低收益任务消减和冲突任务消解策略处理应急动态...     

考虑冲击韧性的退化-冲击相依竞争失效建模

复杂系统的失效通常是退化失效与随机冲击导致的突发失效之间耦合竞争的结果。针对某些具有冲击韧性的系统，提出了一种基于非线性Wiener过程的退化-冲击相依竞争失效模型与可靠性评估方法。首先，采用m-δ冲击模型考虑了系统抵抗冲击载荷的能力，即只有随机冲击频率高于一定水平才会导致突发失效，其余情况只会对退化过程产生影响。然后，在此基础上，通过修正非线性Wiener过程模型来考虑随机冲击对系统退化在退化增量和退化速率两方面的影响。最后，采用某空间用存储芯片案例对所提方法进行验证，并开展了参数敏感性分析，结果表明了所提方法的合理性与有效性。      

航天器分布式智能计算体系的数学建模与调度算法研究#br#

航天器对大容量高效计算的要求越来越高，现有的星载计算体系的能力已经难以满足其需求，需要建立具有自组织能力的智能计算体系，还要实现高效的任务调度.给出了航天器分布式智能计算体系的模型和任务调度问题的多目标优化模型，并根据该模型设计了改进粒子群算法和改进蚁群算法结合的DPSO EACO算法，先利用粒子群算法生成初始调度方案，再用该方案初始化蚁群算法，利用蚁群算法生成最终调度结果.仿真结果表明，该算法的性能与改进粒子群算法和改进蚁群算法相比具有明显的性能优势.     

航空电子系统综合核心处理器仿真软件设计

在未来的航空电子体系结构中，综合核心处理器（Integrated Core Processor，ICP）将成为整个航空电子系统的核心。本文首先对ICP进行了理论分析，提出了ICP建模的重点，然后采用面向对象、模块化的方法进行了ICP仿真软件的设计，建立了ICP仿真系统模型。软件的仿真核心基于离散事件仿真方法，采用双层任务调度算法，并结合航空电子系统分区管理的特点，模拟ICP系统对任务的处理过程。最后进行了实例仿真，对仿真结果进行分析，验证了模型的正确性。     

基于VxWorks的空调系统控制软件设计

基于Vx Works软件环境,针对空调系统工作模式多、工作模式之间逻辑复杂等特点开发了空调系统的控制软件。将系统的功能按照任务优先权行划分,并采用状态转换机实现的模式间的转换。通过Tornado软件调试环境,对软件设计进行了修改和完善,保证了空调系统软件的正确性。     

具有相依特性的航天测控网稳定性分析

随着信息技术的不断提升,航天测控网各系统中的耦合和依赖变得越来越强烈。针对这种具有相依特性的测控网络的稳定性问题,提出借助于相依网络的分析方法,根据信息在测控网中所起的作用,对航天测控网相依特性进行分析、研究,特别是相依网络的级联失效过程进行稳定性分析。将航天测控网划分为具有相依特性的数据信息和控制信息,通过针对单侧网络进行蓄意攻击,研究不同控制信息模式下航天测控系统的稳定性,提出构建稳定、高效的测控网的方法。仿真结果表明,在数据信息遭受攻击时,合理规划控制信息形态并减小控制信息规模,能够有效保障航天测控系统的稳定性。