3. GNC功能分解方法论

从任务需求到GNC功能，中间隔着一层“翻译”工作：任务书里写的是“入轨精度优于XX”“姿态稳定度优于YY”，而GNC系统里能落地的是敏感器采样、滤波估计、控制律计算、执行机构指令等具体功能。功能分解方法论要解决的，就是如何把任务级需求逐层拆解为可分配、可验证的GNC功能项，并保证分解过程不丢需求、不产生歧义、不遗漏接口。本节围绕功能树、功能流、IDEF0和SysML用例/活动图四种方法，说明它们各自适合表达什么、如何配合使用，以及从任务需求到GNC功能的映射过程。

一、功能树：把GNC能力按层级拆开

功能树是最基础的方法，它回答“GNC系统要具备哪些能力”。树的根节点是GNC系统级功能，通常可归纳为四类：姿态确定、姿态控制、轨道确定、轨道控制，再加上导航与制导的耦合功能。往下逐层分解时，每一层都应满足“子功能之和等于父功能”的完整性要求。

以某近地轨道对地观测卫星为例，任务需求为“三轴姿态稳定度优于0.02°/s，姿态指向精度优于0.1°”。映射到功能树时，根节点“GNC系统”下第一层为“姿态确定”“姿态控制”“轨道确定”“轨道控制”。第二层继续拆：姿态确定分为“星敏感器测量”“陀螺测量”“姿态融合估计”；姿态控制分为“控制律计算”“飞轮指令生成”“喷气卸载管理”。第三层再拆到具体功能项，例如“姿态融合估计”下分为“误差状态建模”“卡尔曼滤波更新”“故障检测与隔离”。

功能树的优点是层级清晰、便于分配需求编号，缺点是只表达“有什么”，不表达“先后顺序”和“输入输出”。因此它适合作为功能分解的骨架，而不是全部。

二、功能流：把功能按时间与数据依赖串起来

功能流回答“功能之间按什么顺序执行、数据如何流动”。GNC系统是典型的闭环控制回路，功能流通常表现为“测量→估计→制导→控制→执行→再测量”的循环。与功能树不同，功能流中的节点可以重复出现，因为一个控制周期内同一功能会被反复调用。

仍以上述卫星为例，一个控制周期内的功能流为：星敏感器与陀螺输出原始测量→姿态确定模块进行时间同步与野值剔除→卡尔曼滤波输出姿态四元数与角速度估计→制导模块根据目标姿态与当前姿态计算姿态误差→控制律计算期望控制力矩→飞轮指令分配模块将力矩分配到各飞轮→飞轮输出反作用力矩→星体姿态变化→敏感器再次测量。功能流中需要标注每个环节的输入、输出、执行周期和精度指标，例如姿态确定周期为0.1 s，控制周期为0.05 s，飞轮指令更新周期为0.05 s。

功能流的价值在于暴露时序约束和接口关系。如果姿态确定周期大于控制周期，控制律就会使用旧估计值，可能引起相位滞后；如果飞轮指令分配未考虑饱和，控制力矩就无法按期望输出。这些问题在功能树中看不出来，在功能流中一目了然。

三、IDEF0：把输入、控制、机制、输出说清楚

IDEF0是一种结构化功能建模方法，每个功能活动用方框表示，方框四边分别连接输入（Input）、控制（Control）、机制（Mechanism）和输出（Output），简称ICOM。它特别适合GNC这种“功能受约束、靠资源执行”的系统。

以“姿态融合估计”活动为例：输入是星敏感器四元数和陀螺角速度；控制是滤波参数、故障检测门限、时间同步策略；机制是星载计算机、滤波算法软件、时间基准；输出是姿态估计四元数、角速度估计、协方差矩阵和健康状态字。再以“控制律计算”为例：输入是姿态误差和角速度误差；控制是控制增益、带宽约束、力矩限幅；机制是控制计算机和控制算法；输出是期望控制力矩。

IDEF0的分解是逐层进行的，父活动的输出可以成为子活动的输入或控制。它的优势是强迫设计者区分“数据”和“约束”，避免把控制参数误当成输入数据。在GNC功能分解中，IDEF0常用于把功能树中的叶子节点进一步细化到可分配软件模块和硬件资源的程度。

四、SysML用例图与活动图：从需求到行为的桥梁

SysML用例图从外部视角描述GNC系统与参与者之间的交互。参与者包括星务计算机、地面测控站、有效载荷、推进系统等。用例包括“姿态机动”“轨道保持”“安全模式进入”“故障恢复”等。用例图不关心内部实现，只回答“谁触发GNC、GNC对外提供什么服务”。

活动图则从内部行为视角描述功能执行的控制流与数据流，支持分支、合并、并发和对象流。以“姿态机动”为例，活动图可以表达：接收机动指令→判断当前模式是否允许机动→计算目标姿态→执行姿态机动控制→判断是否到达目标姿态→若未到达则继续控制，若到达则保持稳定并上报完成。活动图中的判断节点和并发节点，正好弥补了功能流线性表达的不足。

四种方法的关系可以概括为：功能树给出功能清单和层级，功能流给出时序和数据依赖，IDEF0给出每个功能的ICOM细节，SysML用例图给出外部交互边界，活动图给出内部行为逻辑。它们不是互相替代，而是从不同侧面描述同一套GNC功能。

五、从任务需求到GNC功能的映射过程

实际工程中，四种方法通常按以下顺序配合使用。第一步，用功能树把任务需求拆成GNC功能层级，形成功能清单和需求编号。第二步，用功能流把功能树中的叶子节点按控制周期串成闭环，识别时序约束和接口关系。第三步，用IDEF0对每个关键功能建立ICOM模型，明确输入数据、控制参数、执行机制和输出结果。第四步，用SysML用例图界定系统边界和外部参与者，用活动图描述关键场景下的行为逻辑和异常分支。

以“姿态机动”为例，映射过程可以具体化为：任务需求“机动30°后稳定时间小于60 s”→功能树中“姿态控制”下增加“大角度机动控制”功能项→功能流中插入“机动路径规划→机动控制→稳定判断”环节→IDEF0中定义“机动控制”的输入为目标姿态与当前姿态、控制为机动角速度上限、机制为控制计算机与飞轮、输出为控制力矩→SysML活动图中画出“接收指令→判断模式→规划路径→执行机动→判断到位→保持稳定→上报完成”的完整流程，并加入“模式不允许则拒绝机动”的异常分支。

需要强调的是，功能分解不是一次完成的，而是随设计迭代逐步细化。初期功能树可能只到第二层，随着方案成熟，叶子节点会细化到软件模块和硬件通道级别。无论细化到哪一层，都应保持需求可追溯：每个功能项都能追溯到上层需求，每个上层需求都能找到至少一个功能项来落实。这样，GNC功能分解才真正成为从任务需求到系统实现的可靠桥梁。