航天器自主运行技术的进展

阐述了航天器自主运行的概念、目标和任务。对自主运行和传统测控方式进行了比较。最后重点介绍了航天器自主运行技术的进展情况。文章分4个部分介绍自主运行技术。首先介绍了2种自主运行体系结构，它们是自主运行各种功能集成的基础。第2部分介绍了2种智能规划与调度技术。第3部分介绍了基于模型的故障诊断与系统重构技术。第4部分介绍了有效载荷数据自主处理的进展情况。最后进行了总结并介绍了与自主运行相关的其他技术。     

一种面向节能的星载实时任务动态调度算法研究

星载嵌入式操作系统性能和任务能耗之间的平衡非常重要,采用合理的处理器和电压分配策略是一个重要手段。提出一系列基于计算概率的建模方法,用来解决星载实时嵌入式系统中对于具有数据依赖的非周期性任务的处理器和电压分配相关问题,并且能够确保所有的任务都能在时间约束下执行。首先设计一个处理器调度算法,将任务的有向无环图(DAG)映射到一组可变电压处理器上,然后使用动态编程算法为每个任务分配合适的电压。通过带有重启的局部搜索策略从候选解集中获取最优解,以解决局部最优陷阱问题。通过实验说明,所提出的算法与其他算法相比,在所有时间约束下具有更好的能效。     

人工智能在卫星任务规划中的应用

智能规划与调度是实现卫星自主规划其飞行任务的关键。将人工智能方法应用于卫星的任务规划,以执行对地观测任务为例,将任务规划问题归于组合优化问题,建立了相应的数学模型,并应用Hopfield神经网络算法进行求解,结果表明,该方法可用于单个仪器的任务规划。     

Limit protection design in turbofan engine acceleration control based on scheduling command governor

A new limit protection method based on Scheduling Command Governor (SCG) is proposed for imposing multiple constraints on a turbofan engine during acceleration process. A Gain Scheduling Controller (GSC) is designed for the transient state control and its stability proof is developed using Linear Matrix Inequalities (LMIs). The SCG is an add-on control scheme which manages engine limits effectively based on reference trajectory optimization. Unlike the traditional min–max architecture with switching logic, the SCG method utilizes the Linear Parameter Varying (LPV) closed-loop model to form a prediction of future constraint violation and per instant solves a constraint-admissible reference within an approximate Maximal Output Admissible Set (MOAS). The influence of the variation of engine dynamic characteristics and equilibrium points during transient state control is handled by the design of contractive sets. Simulation results on a turbofan engine component-level model show the applicability and effectiveness of the SCG method. Compared to the traditional min–max method, the SCG method has less conservativeness. In addition, the design of contractive sets makes conservativeness tunable.     

机载网络时间触发通信调度设计优化与评价方法

机载网络是航空电子系统实现信息传输与功能综合的关键组成,引入时间触发（TT）机制并安排合理通信调度可以有效保证机载网络实时可靠通信,但需要首先面对多种调度设计方法的选择问题。在总结了时间触发通信过程与特征的基础上,以时间触发以太网为分析对象,给出了基于可满足性模理论（SMT）、混合整数规划（MIP）和启发式算法等不同约束引导下的调度模型,并形成了基于强化学习（RL）的调度方法;从调度设计的求解能力与性能保障角度出发,建立了包括求解时间、可求解规模、传输延迟和调度模式的评价指标。以工业规模网络为研究案例对不同调度方法进行了验证分析,在评价指标的引导下对比分析了各种方法的适用场景,其中SMT方法可支持小规模案例,MIP方法具有明显的TT消息传输和调度求解运算优势,以遗传算法为典型的启发式方法和RL方法可实现大规模案例调度,虽然其TT延迟略高于MIP方法,但速率约束消息延迟优化程度分别达到7.97%和12.35%。在此基础上,进一步探讨了未来航电系统机载网络时间触发通信调度设计优化技术的发展趋势。     

基于改进遗传算法的一类多资源测控调度问题研究

研究一类测控弧段具有优先级约束的多资源、大规模测控调度问题。首先对问题中的约束条件进行分析和处理,并建立问题的数学模型。进而针对问题特点,以遗传算法为基础,通过设计选择适当的交叉、和变异算子,设计了一种改进的遗传算法。最后通过算例计算表明,应用该方法求解此类测控资源调度问题具有较为理想的性能,是合理、有效的。


     

基于TOC及启发式规则的生产计划与控制方法

为解决复杂产品制造系统面临的多品种、小批量的生产计划与控制问题,参考APS的计划模型,提出了一种基于TOC及启发式规则的生产计划与控制方法。该方法通过在不同的计划与调度层面集成传统生产计划与控制方法、TOC理论和启发式规则的特性,辅助车间快速有效地实现生产作业控制。该方法最终实现于制造执行系统(MES)平台,通过在某制造企业的应用,验证了其可行性和有效性。     

飞机地面除冰运行决策模型研究

对飞机地面除冰过程进行了分析,提出了一种包含航空公司、地面服务公司、机场除冰指挥三类Agent的多Agent飞机除冰调度模型．模型中每类Agent均采用归类式Agent结构。给出三类Agent的行为规则,按照“优先级高先服务”的原则为航班分配除冰资源。运用JADE软件开发框架开发Agent智能体,并就模型的可靠性、公平性、资源效用性进行了仿真研究,仿真结果验证了该模型的有效性.     

实时嵌入式软件测试执行引擎的设计与实现

自动化的实时嵌入式软件测试中,测试描述执行系统的设计与实现是需要解决的关键问题之一.基于面向对象的思想,设计和实现了实时嵌入式软件测试描述语言的执行引擎.介绍了测试描述驱动的实时嵌入式软件自动化测试过程,并在此基础上提出了测试描述执行引擎的总体设计方案,阐述了编译过程和执行过程的实现方法,给出了符号表管理中哈希函数及其冲突的解决方法和基于SBRMS(Segment-Based Rate Monotonic Scheduling)调度策略的测试描述执行过程.对引擎的执行效率进行了评估和分析,结果表明,通过合理控制测试描述的规模和并发执行个数,测试描述执行引擎能够满足实时嵌入式软件自动化测试对实时、并发特性的要求,并具有良好的可移植性.     

基于改进遗传算法的移动目标成像侦测任务规划问题研究

基于先验信息调用成像侦察卫星监控陆地或海洋移动目标动态信息是卫星成像侦察面临的新 课题。在已知移动目标位置等先验信息基础上,动态构造目标可变潜在区域及其运动预测模 型,利用STK辅助构造其候选成像观测活动集合;在此集合及目标运动预测模型基础上 对动态可变区域成像卫星调度问题进行建模,并设计了一种基于模拟退火算法及遗传算法的 改进遗传算法对问题进行求解,得到近最优的移动目标成像侦测方案。最后通过实例及算法 对比验证了规划模型及算法对解决该类问题的合理性和有效性。