fix(ref): 附录引用统一 \appref,修正"第 附录 E 节"渲染

\thesection 原含"附录",使附录 section 的 \ref 渲染为"附录 E",再套
"第~…~节""\S"前缀即成"第 附录 E 节""§附录 E";附录 subsection 的 \ref
则只得"E.2",与 section 不一致。

改 \thesection 为 \Alph(附录 \ref → "E"),用 titlesec 让 section
标题仍显"附录 E";preamble 新增 \secref{l}=第~\ref{l}~节、
\appref{l}=附录~\ref{l}。全文 68 处附录引用(含摘要、前言)统一改
\appref,section 渲染"附录 E"、subsection 渲染"附录 E.2"。两遍编译
交叉引用稳定、无 undefined。

副作用:PDF 书签 section 号由"附录 A"变为"A"(\ref 与书签同源于
\thesection,标题已由 titlesec 补回"附录")。\secref 已定义,正文
section 引用待后续统一。
This commit is contained in:
2026-06-16 18:49:09 +08:00
parent e4ec1c1445
commit e552bb4528
16 changed files with 57 additions and 53 deletions
+5 -5
View File
@@ -3,7 +3,7 @@
前四节均假设 $L$ 颗卫星之间完全相干——它们以共同的离散时间基记录采样、并共享同一时间原点。实际系统中各星本振与采样时钟独立,星间时钟同步不可能精确到亚采样级别,残余的未知\emph{时间戳误差}使 ``参考时刻 $t=0$'' 在不同卫星上落到不同的物理瞬时。
本节沿\emph{同步条件}维度推进一步:把第~\ref{sec:multiSatMultiUser} 节多用户模型中的``完全相干''放宽为``参考星完全可信、其余卫星时间戳带未知误差 $\delta_\ell$'' 的\emph{部分相干}观测,其余维度(单帧、已知导频、无星间频偏)保持最简。
关键现象是:$\delta_\ell$ 与 $\nu_{\ell,k}$ 在似然中以乘积形式耦合,产生未知相位偏移 $-\nu_{\ell,k}\delta_\ell$ 与导频时间偏移 $s_k(t-\delta_\ell)$。当 $|\delta_\ell|$ 很小时可作一阶近似并通过 Schur 补消去;当 $|\delta_\ell|$ 大到一个导频符号宽度时必须显式数值搜索。本节按这一切换刻画模型接口与方法适用边界;具体方法选择留给后续工作。详细 \gls{efim} 推导与数值框架见\ref{sec:timestampErrCrb}。
关键现象是:$\delta_\ell$ 与 $\nu_{\ell,k}$ 在似然中以乘积形式耦合,产生未知相位偏移 $-\nu_{\ell,k}\delta_\ell$ 与导频时间偏移 $s_k(t-\delta_\ell)$。当 $|\delta_\ell|$ 很小时可作一阶近似并通过 Schur 补消去;当 $|\delta_\ell|$ 大到一个导频符号宽度时必须显式数值搜索。本节按这一切换刻画模型接口与方法适用边界;具体方法选择留给后续工作。详细 \gls{efim} 推导与数值框架见\appref{sec:timestampErrCrb}。
\subsection{时间戳误差与扰动信号模型}
\label{subsec:perturbedSignalModel}
@@ -92,8 +92,8 @@
记导频自相关的有效宽度为 $T_{\mathrm{ac}}$(以采样点数计),即 $R_{s_k}(\delta)$ 衰减到 $1/2$ 的特征尺度。本节方法的适用性按 $|\delta_\ell|$ 相对于 $T_{\mathrm{ac}}$ 与 $1/|\nu_{\ell,k}|$ 的量级分两段:
\begin{itemize}
\item \textbf{小误差区}($|\delta_\ell|\ll T_{\mathrm{ac}}$ 且 $|\nu_{\ell,k}\delta_\ell|\ll\pi$):导频时间偏移可一阶 Taylor 展开;相位偏移 $-\nu_{\ell,k}\delta_\ell$ 把均值向量改写为关于 $\delta_\ell$ 的近似线性扰动。$\boldsymbol\delta$ 进入似然的 Fisher 信息块光滑可逆,可在 \gls{efim} 框架内通过 Schur 补\emph{解析}消去。详细推导见附录~\ref{subsec:F2_schurDelta}。
\item \textbf{大误差区}($|\delta_\ell|$ 接近或超过 $T_{\mathrm{ac}}$):导频自相关衰减导致似然对 $\delta_\ell$ 高度非线性,一阶近似失效;同时若 $|\nu_{\ell,k}\delta_\ell|\gtrsim\pi$,相位偏移引入整周模糊。\gls{efim} 不再可用,必须将 $\delta_\ell$ 作为离散+连续混合参数显式数值搜索;细网格上的局部 Fisher 信息可由\eqref{eq:sec5_absorbed_model} 直接数值评估,见附录~\ref{subsec:F3_numericalEfim}。
\item \textbf{小误差区}($|\delta_\ell|\ll T_{\mathrm{ac}}$ 且 $|\nu_{\ell,k}\delta_\ell|\ll\pi$):导频时间偏移可一阶 Taylor 展开;相位偏移 $-\nu_{\ell,k}\delta_\ell$ 把均值向量改写为关于 $\delta_\ell$ 的近似线性扰动。$\boldsymbol\delta$ 进入似然的 Fisher 信息块光滑可逆,可在 \gls{efim} 框架内通过 Schur 补\emph{解析}消去。详细推导见\appref{subsec:F2_schurDelta}。
\item \textbf{大误差区}($|\delta_\ell|$ 接近或超过 $T_{\mathrm{ac}}$):导频自相关衰减导致似然对 $\delta_\ell$ 高度非线性,一阶近似失效;同时若 $|\nu_{\ell,k}\delta_\ell|\gtrsim\pi$,相位偏移引入整周模糊。\gls{efim} 不再可用,必须将 $\delta_\ell$ 作为离散+连续混合参数显式数值搜索;细网格上的局部 Fisher 信息可由\eqref{eq:sec5_absorbed_model} 直接数值评估,见\appref{subsec:F3_numericalEfim}。
\end{itemize}
实际星间场景下,物理量级一般落在小误差区与大误差区之间的过渡带:实测残差的具体数值取决于平台本振稳定度与所采用的星间同步协议,本笔记不展开。当残差换算到采样点后跨越导频自相关半宽 $T_{\mathrm{ac}}$,就需要从小误差解析方案切换到大误差数值方案;该过渡带正是后续数据驱动 nuisance 补偿方法的目标工作点。
@@ -150,7 +150,7 @@
\big]^\Tran,
\end{equation}
%
其中 $\boldsymbol\psi_\zeta$ 为各 $\zeta_{\ell,k}$ 的实部/虚部堆叠(噪声方差仅进入协方差、与均值参数解耦,下同第~\ref{sec:A6_multiArrayStatDetDoaDopplerCrb} 节)。Fisher 信息矩阵按 $(\boldsymbol\eta,\boldsymbol\delta,\boldsymbol\psi_\zeta)$ 分块为
其中 $\boldsymbol\psi_\zeta$ 为各 $\zeta_{\ell,k}$ 的实部/虚部堆叠(噪声方差仅进入协方差、与均值参数解耦,下同\appref{sec:A6_multiArrayStatDetDoaDopplerCrb})。Fisher 信息矩阵按 $(\boldsymbol\eta,\boldsymbol\delta,\boldsymbol\psi_\zeta)$ 分块为
%
\begin{equation}
\mathcal I(\boldsymbol\kappa_{\mathrm{te}})
@@ -176,7 +176,7 @@
\end{equation}
%
其中 $\mathcal I'_{\cdot\cdot}$ 表示在复增益块消去后剩余的中间 Fisher 块。
\eqref{eq:sec5_efim} 的解析形式只在小误差区可写完整闭式;大误差区下右端各项需逐 $\delta_\ell$ 取值数值评估。详细分块表达、数值评估流程与 $K=1, L=2$ 最简情形的闭式结果见\ref{sec:timestampErrCrb}。
\eqref{eq:sec5_efim} 的解析形式只在小误差区可写完整闭式;大误差区下右端各项需逐 $\delta_\ell$ 取值数值评估。详细分块表达、数值评估流程与 $K=1, L=2$ 最简情形的闭式结果见\appref{sec:timestampErrCrb}。
本节完成了部分相干观测下的扰动模型与适用性边界刻画:$\delta_\ell$ 通过相位耦合 $-\nu_{\ell,k}\delta_\ell$ 与导频时间偏移 $s_k(t-\delta_\ell)$ 两条途径污染主参数估计,量级落在小误差区时可借 \gls{efim} 解析消去,落在大误差区时必须数值处理。
回到完全相干假设下的另一类扩展——多帧观测窗口与跨帧绝对相位结构——构成下一节的内容。