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

智能规划与调度是实现卫星自主规划其飞行任务的关键。将人工智能方法应用于卫星的任务规划,以执行对地观测任务为例,将任务规划问题归于组合优化问题,建立了相应的数学模型,并应用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辅助构造其候选成像观测活动集合;在此集合及目标运动预测模型基础上 对动态可变区域成像卫星调度问题进行建模,并设计了一种基于模拟退火算法及遗传算法的 改进遗传算法对问题进行求解,得到近最优的移动目标成像侦测方案。最后通过实例及算法 对比验证了规划模型及算法对解决该类问题的合理性和有效性。
     

基于图染色理论的并行测试任务调度算法

目前的自动测试系统大多数采用串行测试的工作方式,测试效率很低.针对这个问题,建立了基于图论的测试任务关系模型,用"图"来描述测试任务占用仪器资源的情况,将测试任务调度的工程问题转化为图论中的数学问题.在测试任务关系模型的基础上,提出了两个任务调度算法:CTG算法和CTG-T算法.对于多个测试任务,利用这两个算法可以得到并行度最大或者测试时间最短的任务分组方案,能有效地实现并行测试.这两个算法是基于图的染色理论得到的,对其正确性进行了理论分析和实例仿真.两个算法已经在实际系统中得到了实验验证,结果表明能够大大提高自动测试系统的测试效率.      

Rescheduling of observing spacecraft using fuzzy neural network and ant colony algorithm

This paper aims at rescheduling of observing spacecraft imaging plans under uncertainties. Firstly, uncertainties in spacecraft observation scheduling are analyzed. Then, considering the uncertainties with fuzzy features, this paper proposes a fuzzy neural network and a hybrid rescheduling policy to deal with them. It then establishes a mathematical model and manages to solve the rescheduling problem by proposing an ant colony algorithm, which introduces an adaptive control mechanism and takes advantage of the information in an existing schedule. Finally, the above method is applied to solve the rescheduling problem of a certain type of earth-observing satellite. The computation of the example shows that the approach is feasible and effective in dealing with uncertainties in spacecraft observation scheduling. The approach designed here can be useful in solving the problem that the original schedule is contaminated by disturbances.