FCC-Dynamics-C

Appearance

FCC-Dynamics-C: 姿态稳定设计与 Code-First 频域分析架构 ​

1. 概述与核心愿景 ​

传统航天系统工程（MBSE）中，姿态稳定设计与工程落地之间长期存在“两张皮”现象：理论模型（如 Simulink）与最终飞控 C 代码脱节。 FCC-Dynamics-C 架构践行 Code-First (代码即模型 / 可执行规范) 的前沿理念，将 C++ 动力学引擎与飞控执行逻辑统一，使高保真的频域设计与硬实时裸机代码（C-Distillation）同源。

2. 姿态稳定设计的核心工程痛点 ​

运载火箭的姿态稳定不仅是刚体动力学，更是一个高频、非线性、高维耦合的复杂系统工程：

  1. 结构弹性振动 (Elastic Bending Modes): 火箭箭体弯曲引起的附加角速度，需避免与控制系统发生刚弹耦合共振。
  2. 推进剂晃动 (Propellant Sloshing): 液体晃动引发的低频干扰力矩，需附加相位超前补偿或阻尼网络。
  3. 伺服机构动态 (Tail-Wags-Dog): 发动机摆动惯性力矩对系统高频稳定性的削弱。
  4. 刚性微分方程 (Stiff ODE): 低频刚体运动与高频弹性模态混合，导致传统显式数值积分器（如 RK4）步长受限或发散。

3. FCC-Dynamics-C 的解耦与应对策略 ​

针对上述痛点，本架构在设计与执行边界上进行了清晰的解耦，并完美支撑了高保真频域设计的扩展：

3.1 状态空间维度的扩展 (High-Dimensional State Space) ​

  • 几何流形 (Geometric Manifolds): 严格保留 Vec3, Quat, Matrix 等强类型用于基础的三维空间刚体运动学和坐标系旋转，保障类型安全。
  • 线性向量空间 (Linear Vector Spaces): 将引入或封装高维矩阵计算库（如类似 Eigen 的结构），用于承载 ElasticState (弹性广义坐标) 和 SloshState (晃动单摆状态)，应对多输入多输出 (MIMO) 系统的维数爆炸，满足求解黎卡提方程或极点配置的需求。

3.2 连续时间与离散事件的融合 (Hybrid Dynamical System) ​

  • 本系统在时序逻辑上是一个标准的混合动态系统：
  • 阶段切换 (离散): 采用 Event-Driven (事件驱动) 机制处理非连续的系统拓扑跳变，如级间分离、发动机点火关机。
  • 阶段内演化 (连续): 在具体的飞行阶段内，采用精确的 Time-Driven (时间驱动) 积分器推进动力学连续演化。频域分析（如提取雅可比矩阵）仅在阶段内的冻结时间点 (Trim Point) 进行，完全不受离散事件机制的干扰。

3.3 微分方程与数值求解器的解耦 (Decoupled Integrators & Jacobians) ​

  • 动力学微分方程被严格建模为纯函数复合 $ \dot{X} = f(X, U, t) $。
  • 这种函数式设计将“模型自身”与“求解算法”彻底解绑：
    • 面对弹性体带来的“刚性方程”，系统可无缝热插拔高性能的隐式求解器 (Implicit Solvers, 如 BDF/Radau)。
    • 由于是纯函数映射，系统天然支持引入双重数 (Dual Numbers) 或自动微分 (AutoDiff)。在 C++ 层面以零开销极速提取精确的雅可比矩阵 $A, B, C, D$，为频域设计提供绝对真实的数学依据。

3.4 设计端 (PC) 与执行端 (RTOS) 的清晰边界 ​

这是架构中最具战略意义的隔离，避免了 Free Monad 等高级抽象对硬实时性能的拖累：

  • 离线设计环境 (PC 端 - 频域分析):
    • 依靠高维矩阵库、微扰法/自动微分提取控制对象的传递函数和状态空间。
    • 工程师在此环境中进行多回路 PID 调参、陷波器设计、计算全弹道幅值/相位裕度。
    • 不需要 Free Monad 介入，仅使用 C++ 的高速算力进行纯数学推演和蒙特卡洛拉偏。
  • 在线执行环境 (RTOS 端 - 飞控执行):
    • PC 端计算出的最优控制网络参数（滤波器系数、增益表等）作为外部配置被序列化（如 YAML/JSON 或 C 结构体头文件）。
    • RTOS 端的 Free Monad 仅负责确定性的时序调度、状态机流转和底层 IO，不再关心参数的推导来源。
    • 离线参数注入到 Free Monad 构建的任务树中，完成“离线算参 $\rightarrow$ 在线执行”的高效数据驱动闭环。

4. 总结与展望 ​

FCC-Dynamics-C 架构打破了传统 Model-First 中模型与底层代码严重脱节的困局。通过“纯函数微分方程 + 自动微分/微扰接口 + 离线算参在线执行”的设计理念，它构建了一个极其硬核的 MBSE 引擎。 这不仅能为姿态稳定工程师提供高保真、极速的时域/频域一体化分析工具，更能确保在最终的 C-Distillation（代码蒸馏）阶段，数学推导与裸机飞行代码之间达到 100% 的语义等价。