3. 任务剖面与约束事件建模
航天器任务剖面（Mission Profile）是对从发射到返回（或寿命终止）全过程中，航天器所经历的工作模式、轨道状态、环境条件和约束事件的时序化描述。它既是任务设计的顶层框架，也是约束分析的时间基准。如果剖面划分不清、事件时序错乱，后续的约束建模、资源分配和故障预案都会失去参照。本节围绕“阶段怎么分、事件怎么挂、依赖怎么建”三个问题展开，给出可直接用于工程建模的方法。
一、阶段划分：以状态跃迁为边界，而非以日历时间为边界
任务剖面的阶段划分不应按“第1天、第2天”这类日历刻度切分，而应以航天器状态发生不可逆或显著跃迁的时刻作为边界。典型的分段包括：
- 发射段（Launch）：从点火到星箭分离，航天器处于运载器约束下，自身GNC通常不接管控制。
- 入轨段（Injection / Early Orbit）：星箭分离至建立稳定三轴姿态、完成初始太阳翼展开与测控链路建立。
- 变轨段（Orbit Transfer）：通过化学推进或电推进改变轨道半长轴、偏心率或倾角，可能包含多次点火。
- 驻留段（Station-keeping / Operational）：在目标轨道长期运行，包含姿态维持、轨道保持、载荷工作与能源平衡。
- 返回段（Return / Re-entry）：离轨制动、再入大气、着陆或回收，或对不返回任务定义为离轨钝化段。
每个阶段内部还可细分“子模式”，例如驻留段可分为对日定向、对地定向、机动准备等。划分的粒度取决于约束分析的需要：若某约束（如热控、电源）在两种子模式间差异显著，就应拆开；若差异可忽略，则合并以减少模型复杂度。
二、约束事件的时间线建模：绝对时刻、相对时刻与窗口
约束事件是任务剖面上“必须满足某条件”或“必须完成某动作”的时间点或时间段。建模时需区分三类时间表达：
- 绝对时刻：如“T0+3600s 星箭分离”，以发射时刻T0为基准的绝对秒数，便于与测控站可见性、光照条件对齐。
- 相对时刻：如“太阳翼展开后120s内完成姿态捕获”，依赖前一事件的完成时刻，体现事件间的先后依赖。
- 时间窗口：如“变轨点火需在测控弧段内且光照满足热控要求”，是一个区间约束，窗口的起止由多个外部条件共同决定。
工程上常用“事件表”来承载时间线。一个可参考的建模示例如下（参数为教学示例，非实测值）：
事件ID 事件名称 时间表达 依赖事件 约束类型
E01 点火 T0-0s — 绝对
E02 星箭分离 T0+1800s E01 绝对
E03 太阳翼展开 E02+60s E02 相对
E04 初始姿态捕获 E03+120s E03 相对
E05 首次变轨点火 [T0+5400s, T0+6000s] E04 窗口
E06 变轨后测控建立 E05+300s E05 相对
E07 驻留段开始 E06+600s E06 相对
E08 离轨制动 [T0+30d, T0+32d] E07 窗口
这张表的关键在于“依赖事件”列：它把时间线从一条直线变成了有向图。E03依赖E02，E04依赖E03，E05依赖E04，形成链式依赖；而E05的窗口又同时受测控弧段和光照条件两个外部约束影响。建模时，外部约束应作为独立节点挂接到事件上，而不是塞进事件名称里。
三、状态依赖关系建模：用状态机表达“能不能做”
时间线只回答“什么时候做”，状态依赖回答“能不能做”。航天器在每个阶段有明确的状态变量，例如：电源状态（太阳翼展开/未展开、电池荷电状态）、姿态状态（速率阻尼/三轴稳定/对日定向）、推进状态（推进剂余量、发动机温度）、测控状态（链路建立/丢失）。约束事件只有在满足前置状态条件时才允许触发。
推荐用层次状态机建模：顶层是任务阶段，每个阶段内部是子状态，状态迁移由事件触发，迁移条件由约束表达式描述。例如“变轨段”内部有“准备点火—点火—点火后稳定”三个子状态，从“准备点火”到“点火”的迁移条件是：推进剂余量≥阈值、姿态稳定度≤0.05°/s、测控链路正常、点火窗口已到达。任一条件不满足，迁移被阻塞，事件进入等待或降级处理。
状态依赖建模的另一个要点是资源耦合。电源、热控、推进剂、测控带宽是跨阶段共享的资源，前一阶段的消耗会改变后一阶段的可用余量。因此，约束事件不能孤立建模，而应挂接到资源池上，形成“事件—资源—状态”的三元关系。
四、建模落地：从剖面到可执行约束表的转换
把上述方法落到工程文件，通常需要三步转换。第一步，将任务剖面写成阶段—事件清单，每个事件标注时间表达、依赖事件和触发条件。第二步，为每个阶段定义状态变量集合，明确状态迁移的守卫条件（guard condition）。第三步，把资源池的初始量和消耗模型挂接到事件上，形成“事件消耗资源、资源限制事件”的闭环。
以一个近地轨道遥感任务为例（以下参数为教学假设）：入轨段太阳翼展开后，电池SOC从初始的85%开始，姿态捕获期间载荷不工作，功耗约120W；变轨段发动机点火需要推进剂余量不低于总装量的15%，点火期间测控链路必须保持，否则点火推迟到下一测控弧段。驻留段每圈对地成像约8分钟，成像期间功耗升至400W，若SOC低于40%则自动暂停成像转入充电。这些条件在模型中表现为：E05的窗口约束同时依赖“测控弧段”和“推进剂余量≥15%”；驻留段的成像事件依赖“SOC≥40%”这一状态条件。
五、常见建模错误与检查要点
实际任务分析中，剖面与事件建模最容易出现三类问题。第一类是时间基准不统一：有的事件用发射时刻T0，有的用星箭分离时刻，有的用入轨时刻，导致时间线错位。解决办法是在剖面开头显式声明全局时间基准，所有相对时刻都注明相对于哪个基准事件。第二类是依赖关系遗漏：只写了事件顺序，没写状态条件，导致仿真时事件在状态不满足的情况下被触发。检查方法是逐个事件问“触发前必须为真的状态有哪些”，并把这些状态写成可判定的表达式。第三类是资源耦合被忽略：把各阶段独立建模，导致驻留段可用推进剂被变轨段过度消耗后才发现。检查方法是列出所有跨阶段共享资源，逐一核对每个事件的消耗量和补充量。
完成建模后，建议用“事件—状态—资源”三张交叉表做一致性检查：事件表中每个事件是否都有对应的状态条件？状态表中每个状态变量是否都被至少一个事件读取或修改？资源表中每个资源的初始量、消耗速率和补充来源是否闭合？三张表对齐后，任务剖面才具备可执行、可验证的基础。