content(symbol): 正文缩写裸短形式统一为 \gls

正文已定义缩写（EFIM/CRB/FIM/MUSIC/ESPRIT/MLE/ULA/UPA）的裸短形式共
128 处改用 \gls{key}。排除：section 标题、数学模式记号与下标（如
\mathrm{CDML}、\mathrm{UPA}）、\caption 题注、"全称（缩写）"并列释义，
以及 \ref/\eqref/\label/\cite 标签键（键内 _EFIM 等会被误伤）。
diff 为 1:1 替换，两遍编译无 undefined references。

parts/sec4_multiSatMultiUser.tex

@@ -202,7 +202,7 @@ $\boldsymbol\Xi\triangleq[\boldsymbol\xi_1,\ldots,\boldsymbol\xi_K]$，$\boldsym
 
 多星几何对这一可辨识性提供了关键缓解：即便某颗卫星上 $\rho_{\ell,kk'}\approx 1$（例如两个用户在该星本地角域内距离小于一个 beamwidth），只要存在另一颗卫星 $\ell'$ 使 $\rho_{\ell',kk'}$ 显著小于 1，多星联合的 $\sum_\ell\mathbf G_\ell^\Herm\mathbf G_\ell$ 块仍可保持非奇异。这是多星扩展相对单星多用户最直接的几何收益。
 
-严格可辨识性可写成对所有用户对 $(k,k')$ 的多星联合分离条件，其与 EFIM 非奇异性的等价关系由附录~\ref{subsec:E2_multiUserMultiSatCrb} 中多用户 \gls{fim} 分块给出。本节只用上述几何直觉刻画用户分离失效的结构来源，为后续数据驱动 nuisance 补偿方法留出接口；具体方法、输入输出与训练设置不在本笔记范围内。
+严格可辨识性可写成对所有用户对 $(k,k')$ 的多星联合分离条件，其与 \gls{efim} 非奇异性的等价关系由附录~\ref{subsec:E2_multiUserMultiSatCrb} 中多用户 \gls{fim} 分块给出。本节只用上述几何直觉刻画用户分离失效的结构来源，为后续数据驱动 nuisance 补偿方法留出接口；具体方法、输入输出与训练设置不在本笔记范围内。
 
 本节完成了多用户主线静态基线：用户索引 $k$ 进入 $\boldsymbol\xi_k$、$\nu_{\mathrm{ref},k}$、$\zeta_{\ell,k}$、$s_k(t)$，集中似然仍可写为对各星 $\mathbf G_\ell$ 列空间投影的加权和，但矩阵 $\mathbf G_\ell$ 的良态性约束了用户分离的可辨识性。
 下一节将进一步沿\emph{同步条件}维度推进，把星间完全相干放宽为带未知时间戳误差 $\delta_\ell$ 的部分相干观测。