4. 任务需求分析与形式化描述

使命任务通常以自然语言下达，例如“对指定区域实施持续侦察，发现高价值目标后引导打击”。这类描述包含意图、对象和期望效果，但无法直接交给规划器求解。任务需求分析的核心工作，是把使命任务逐层拆解为可度量、可验证、可计算的规划需求，并用形式化语言表达任务目标、环境约束、平台能力与载荷能力，最终形成需求规格说明，识别其中的冲突并完成优先级排序。

一、从使命任务到规划需求的转化链条

转化过程遵循“使命—任务—动作—参数”四级分解。以“区域持续侦察并引导打击”为例：使命层明确作战意图与期望效果；任务层分解为区域搜索、目标识别、目标跟踪、引导打击四类任务；动作层把每类任务映射为平台可执行的动作，如沿航路点飞行、开启光电载荷扫描、切换红外模式、回传目标坐标；参数层给出具体数值，如搜索区域为 20 km×15 km 矩形、重访周期不大于 8 min、目标定位圆概率误差不大于 30 m、引导时延不大于 5 s。

分解时需保持“可追溯性”：每个参数都应能回溯到上层任务，每个任务都应能追溯到使命意图。若某参数无法回溯，说明它可能是冗余需求；若某任务缺少参数，说明需求尚不完整，需补充或标记为待确认项。

二、四类要素的形式化表达

任务目标通常表达为优化目标函数。以侦察任务为例，可定义 J = w₁·(覆盖面积/总面积) + w₂·(1 − 重访周期/最大允许周期) + w₃·(1 − 定位误差/最大允许误差)，权重 w₁、w₂、w₃ 之和为 1，取值反映指挥员对覆盖、时效、精度的相对重视程度。目标函数把“持续侦察”这类模糊表述转化为可比较的数值。

环境约束分为硬约束与软约束。硬约束如禁飞区、最低安全高度、最大风速，违反即不可行，形式化表达为 ∀t: pos(t) ∉ NFZ 且 alt(t) ≥ H_min。软约束如“尽量避开威胁区”，可转化为惩罚项加入目标函数，允许在必要时以一定代价违反。

平台能力决定可行域边界。典型参数包括最大航程 R_max、最大速度 v_max、最小转弯半径 r_min、爬升率、续航时间 T_max。规划时必须满足任务航程 R_task ≤ R_max、任务时间 T_task ≤ T_max，否则需增加平台数量或调整任务分配。

载荷能力决定任务质量上限。光电载荷的关键参数包括视场角 FOV、地面采样距离 GSD、作用距离、扫描角范围、定位精度 CEP 和数据回传时延 τ。例如要求 GSD ≤ 0.3 m，则飞行高度 h 需满足 h ≤ GSD·f/p（f 为焦距，p 为像元尺寸），这直接约束了平台高度选择。

三、需求规格说明的编写规范

需求规格说明应做到“唯一标识、可度量、可验证、可追溯”。每条需求分配唯一编号，采用“主体 + 条件 + 动作 + 指标”的句式。例如：

REQ-001  [任务目标]  侦察平台应在 T+0 至 T+120 min 内，
         对区域 A（20 km×15 km）完成不少于 15 次有效覆盖，
         单次覆盖重叠率 ≥ 20%。

REQ-002  [环境约束]  全航程飞行高度不低于 150 m AGL，
         且不得进入禁飞区 NFZ-01、NFZ-02。

REQ-003  [平台能力]  单平台续航时间 ≥ 90 min，
         巡航速度 80～120 km/h，最小转弯半径 ≤ 300 m。

REQ-004  [载荷能力]  光电载荷 GSD ≤ 0.3 m，
         目标定位 CEP ≤ 30 m，数据回传时延 ≤ 5 s。

每条需求还应标注优先级（必须/重要/期望）、验证方法（分析/演示/测试/检查）和来源（使命任务条款）。验证方法尤为关键：指标类需求用测试或分析验证，约束类需求用检查或演示验证，避免出现无法验证的“尽量”“适当”等表述。

四、需求冲突识别与优先级排序

需求冲突在任务规划中十分常见。典型冲突包括：覆盖范围与续航时间的冲突（区域越大，单平台越难在续航内完成）、重访周期与平台数量的冲突（周期越短，所需平台越多）、定位精度与飞行高度的冲突（精度越高，高度越低，但低空可能触发安全约束）、引导时延与通信距离的冲突（距离越远，时延越大）。

识别冲突可采用“约束—目标矩阵”：行列出所有硬约束，列列出所有目标指标，逐格判断是否存在相互制约。若某格存在冲突，标记冲突类型（资源冲突、时间冲突、空间冲突、精度冲突），并记录冲突双方的需求编号。

优先级排序建议采用三级划分：P0 必须满足，如安全高度、禁飞区规避，不可协商；P1 重要，如覆盖次数、定位精度，可在资源紧张时适度降级；P2 期望，如重叠率、数据刷新率，用于优化目标函数。排序后，若 P0 与 P1 冲突，优先保 P0；若 P1 内部冲突，按权重 w 排序，权重由指挥员根据当前任务阶段确定。

五、需求规格说明示例表

完成上述转化后，规划器即可获得一组结构化输入：目标函数、硬约束集、软约束惩罚项、平台与载荷参数边界。需求规格说明同时作为后续方案评估的基准——任何规划结果都应对照 REQ 编号逐条核验，确认 P0 全部满足、P1 满足率达标、P2 在可接受范围内，从而形成“需求—规划—验证”的闭环。