航天任务形式化描述及分解研究

摘要

针对航天指挥决策中的任务分解问题,研究分析了航天任务形式化描述方法和功能需求关系,提出一种基于“功能—任务”二元需求关系的航天任务分解方法,通过建立航天任务背景和功能背景列表,明确航天任务与功能之间以及子任务与元任务之间的联系,从而实现对航天任务层次化结构的建模,最后以航天应急发射中的测量与发控任务为例验证了该方法的有效性。