基于模型的航天工程任务保证理论与技术体系研究

数字化时代,航天工程任务保证工作模式发生了全新的变革。通过梳理航天工程研制数字化转型需求,研究提出了“一线四闭环”“三域四融合”的基于模型的任务保证(MBMA)基本理论;在此基础上,利用人工智能、大数据、云计算三大使能技术,构建了基于模型的任务保证总体架构,研究提出了相关的技术体系和关键技术。通过基于模型的任务保证理论与技术体系的研究,为航天工程在数字化环境下开展安全性可靠性工作和风险管理工作提供借鉴。

基于模型的复杂系统任务保证研究综述

任务保证是国外航天领域为确保复杂系统在任务周期内的安全、可靠而提出的一种工作方式。随着基于模型的系统工程技术近年来的迅猛发展,将其与任务保证相结合而形成的基于模型的任务保证概念开始得到广泛的应用和认可。这为复杂系统在安全性、可靠性工作方法上的进一步发展提供了有利条件。介绍了基于模型的任务保证概念,并对其所涉及的安全/保证案例、基于模型的系统工程、目标结构表示等关键要素,以及其目前在复杂系统设计中的典型应用进行了阐述。对基于模型的任务保证在未来的发展方向进行了展望。为基于模型的任务保证在复杂系统中的应用提供了理论参考。