4. 航空软件运行环境建模

在航空软件HIL（硬件在环）系统级验证中，被测对象是真实的飞控计算机或航电设备，而它所“感知”和“驱动”的飞机、大气与飞行条件，全部由实时仿真模型合成。运行环境建模的质量，直接决定了HIL试验结论是否可信。本节围绕五类核心模型展开：飞机动力学模型、传感器模型、作动器模型、大气与飞行条件模型，以及贯穿始终的模型置信度与验证。

一、飞机动力学模型：六自由度刚体运动

飞机动力学模型是运行环境的“骨架”，通常采用六自由度（6-DOF）刚体模型：三个平动自由度（机体轴x、y、z方向的速度u、v、w）和三个转动自由度（滚转p、俯仰q、偏航r）。其核心是牛顿—欧拉方程：

平动：m(Ṽ + ω×V) = F_aero + F_thrust + F_gravity
转动：I·ω̇ + ω×(I·ω) = M_aero + M_thrust

其中气动力与力矩由气动系数查表得到，典型形式为：

L = q̄·S·C_L(α, Ma, δe)
D = q̄·S·C_D(α, Ma)
q̄ = ½ρV²

教学示例中，某中型运输机模型参数可设为：质量m=70000 kg，机翼面积S=120 m²，平均气动弦长c̄=4.5 m，转动惯量Ixx=1.2×10⁶、Iyy=3.5×10⁶、Izz=4.2×10⁶ kg·m²。气动数据以α（-10°~20°）、马赫数（0.2~0.7）、舵面偏度（-25°~25°）为索引的三维表存储，实时插值计算。模型以固定步长1 ms积分，采用四阶龙格—库塔法，保证数值稳定性。

二、传感器模型：从真值到“可测量”

传感器模型把动力学真值转换为飞控计算机可接收的信号，必须复现真实传感器的误差特性。以惯性测量单元（IMU）为例，模型输出为：

ω_meas = ω_true + b_g + n_g + S_g·ω_true
b_g(t) = b_g0 + ∫ n_b dt   （随机游走偏置）

其中n_g为白噪声，b_g为偏置，S_g为标度因数误差。教学示例参数：陀螺零偏稳定性0.01°/h，角度随机游走0.001°/√h，标度因数误差50 ppm；加速度计零偏0.1 mg，噪声密度10 μg/√Hz。大气数据计算机模型则根据静压、总压计算高度和空速，并叠加位置误差、延迟和量化误差。GPS模型输出位置、速度，加入多路径噪声和更新率（如10 Hz）限制。传感器模型的采样率、延迟和量化步长必须与真实设备一致，否则会掩盖或引入飞控软件中的时序缺陷。

三、作动器模型：指令到舵面的动态响应

作动器模型接收飞控计算机输出的舵面指令，输出实际舵面位置，其动态特性直接影响闭环稳定性。典型液压作动器可建模为二阶系统：

δ(s)/δ_cmd(s) = ω_n² / (s² + 2ζω_n s + ω_n²)

教学示例：升降舵作动器自然频率ω_n=25 rad/s，阻尼比ζ=0.7，速率限制±60°/s，位置限幅±25°，并加入0.5°的死区。模型还需模拟作动器的饱和、速率限制和故障模式（如卡死、松浮）。在HIL中，作动器模型的输出一方面反馈给动力学模型形成闭环，另一方面通过真实接口（如ARINC 429或模拟量）回采到飞控计算机，验证其指令响应和监控逻辑。

四、大气与飞行条件模型：环境扰动

大气模型提供密度、温度、压力随高度的变化，通常采用ISA标准大气：

T = T0 - L·h   (h < 11 km)
ρ = ρ0·(T/T0)^(g/(L·R)-1)

飞行条件模型则叠加风场和湍流。工程中常用Dryden湍流模型，其纵向传递函数为：

H_u(s) = σ_u·√(2L_u/(πV)) · 1/(1 + L_u/V·s)

教学示例：在500 m高度、空速80 m/s下，设置轻湍流σ_u=1.5 m/s、L_u=200 m，并叠加5 m/s的定常侧风。这些条件用于验证飞控软件在阵风扰动下的姿态保持能力和告警逻辑。

五、模型置信度与验证

模型置信度不是“模型越复杂越好”，而是模型在特定试验目的下是否足够可信。验证通常分三步：第一，模型校核（Verification），检查方程实现、积分步长、插值边界是否正确；第二，模型确认（Validation），将仿真结果与飞行试验或风洞数据对比，常用指标包括均方根误差RMSE、相关系数和峰值误差；第三，不确定性量化，给出关键参数的置信区间。

教学示例：将某次试飞的俯仰角响应与仿真对比，若RMSE<1.5°、相关系数>0.95，则认为该通道模型满足HIL试验要求。若偏差较大，需回溯气动数据或作动器参数，而不是直接调整飞控软件“凑结果”。

上图展示了五类模型在HIL闭环中的位置与信号流向：动力学模型产生真值，传感器模型将其转换为带误差的测量信号送入真实飞控计算机，飞控输出舵面指令经作动器模型还原为实际舵面偏度，再反馈给动力学模型形成闭环；大气与飞行条件模型则向动力学模型注入风、密度等环境扰动。底部的置信度验证环节通过对比试飞数据，对整条链路进行校核、确认和不确定性量化，确保HIL试验结论可信。

综上，航空软件运行环境建模是一项系统工程：动力学模型决定“飞机怎么飞”，传感器模型决定“飞控看到什么”，作动器模型决定“指令怎么执行”，大气模型决定“环境怎么扰动”，而置信度验证决定“结论能不能信”。五者缺一不可，共同构成HIL系统级验证的可信基础。