多用途载人航天器时间触发系统的容错和柔性调度方法研究

项目名称： 多用途载人航天器时间触发系统的容错和柔性调度方法研究

项目编号： No.61503024

项目类型： 青年科学基金项目

立项/批准年度： 2016

项目学科： 自动化技术、计算机技术

项目作者： 蔺玥

作者单位： 北京控制工程研究所

项目金额： 21万元

中文摘要： 本项目针对下一代多用途载人航天器的飞控数据综合管理系统，研究基于时间触发数据总线的系统级容错与柔性调度关键方法，并基于此探讨多智能体系统的时间及策略行为一致性问题。主要研究内容包括：基于多智能体的系统级柔性调度方法，基于时间触发的系统一致性行为策略分析，有限时间故障容错与分布式迭代学习方法和基于形式化技术的系统功能验证方法等。本项目将延续之前对时间触发及形式化技术的理论基础，从多智能体系统协调和任务调度控制为研究切入点，通过理论分析、算法设计和仿真试验的方法达到最终要求目标。通过本项目的研究，不仅能能够提供新的时间触发柔性调度及系统级分布式迭代学习方法，而且能为我国下一代多用途载人航天器提供新型数据总线的理论基础，提高我国航空航天领域在时间触发技术领域的理论和技术积累，具有重要的科学与工程价值。

中文关键词： 多智能体；时间触发；故障容错；柔性调度；形式化方法

英文摘要： A fault tolerance and flexible time triggered data bus scheduling method is proposed by this project, and consistency strategy behavior problem of the multi agent system is also discussed as main topic. In this project, several problems are to be resolved, including multi-agent coordination control, flexible scheduling, and formal method etc. Semi physical simulation test will be implemented to archive the goal. Through the research of this project, not only can provide a new method of class time triggered distributed iterative learning flexible scheduling and system, but also raise the accumulation of our aerospace field of technology in the fields of time contact theory and technology. This project is with important value of science and engineering.

英文关键词： multi agent;Time Trigger;Fault Tolerant;Flexible scheduling;Formal Method