14-EFT.WP.Methods.Inference v1.0 | 附录A 统一术语与符号

目录 ／ 文档-技术白皮书 ／ 14-EFT.WP.Methods.Inference v1.0

附录A 统一术语与符号

I. 范围与目标

• 建立本卷统一的术语、符号与量纲口径，作为跨章、跨卷与跨实现绑定的基准清单；覆盖概率与推理、不确定性与校准、时间与到达时、谱与窗口、环境与签名、性能与 SLO、在线/离线一致性、灰度与变更等域。
• 所有内联记号以反引号包裹；任一分式/复合算符以括号明确范围；对条件概率、期望、积分与路径一律显式测度与支集。

II. 记号与排版约定

• 变量与算符：x,y,theta,D,y_hat,L(·),score,E_{p(·)}[·],p(·|·),grad,div,curl。
• 时间与路径：tau_mono,ts,alpha,beta,gamma(ell),d ell,dS,dV；到达时两口径并列（常量外提与一般口径）。
• 量纲与无量纲：执行 check_dim(expr)；log/exp/ln 自变量须无量纲；概率、校准误差、分位数与相对差异一律无量纲。

III. 统一符号清单（按域分组）

1. 推理与概率
   • x：输入；向量或张量。
   • y：目标或标签。
   • theta：模型参数。
   • D：数据集或样本集合。
   • p(y | x, theta)：似然。
   • p(theta)，p(theta | D)：先验与后验。
   • y_hat：预测。
   • L(y, y_hat)：单样本损失；无量纲。
   • R_emp = ( 1/N ) * Σ L( y_i, y_hat_i )。
   • R_exp = E_{p(x,y)}[ L( y, y_hat ) ]。
   • NLL = - ( 1/N ) * Σ log p( y_i | x_i, theta )。
   • mean,var,quantile_q：分布输出要素。
   • CI_{1-delta}：置信区间，置信度 1 - delta。
2. 校准与不确定性
   • ECE = Σ_{k=1..K} ( | acc(B_k) - conf(B_k) | * ( |B_k| / N ) )。
   • MCE = max_{k} | acc(B_k) - conf(B_k) |。
   • ECE_T：温度缩放后的 ECE。
   • T_temp：温度缩放温度；无量纲。
   • NLL：见上；作校准评价时与 ECE/MCE并用。
3. 时间与到达时
   • tau_mono：单调内部时基。
   • ts = alpha + beta * tau_mono：对外发布时基映射。
   • T_arr = ( 1 / c_ref ) * ( ∫ n_eff d ell )（常量外提）。
   • T_arr = ( ∫ ( n_eff / c_ref ) d ell )（一般口径）。
   • c_ref：参考相速；单位 m/s。
   • n_eff(x,t)：有效折射率；无量纲。
   • gamma(ell)：路径参数化；d ell 为弧长测度。
4. 谱与窗口
   • S_xx(f)：功率谱密度。
   • U_w：窗口能量归一化常数。
   • ENBW：等效噪声带宽。
5. 环境与签名
   • hash(·)：脱敏散列。
   • fingerprint：产物指纹（含 hash 汇总）。
   • EnvLock：环境锁。
   • anchor：工件锚（模型/特征/依赖的联合引用）。
   • rng.seed，rng_family：随机源标识。
6. 性能与可观测
   • TS.latency_{p50,p95,p99}：延迟分位；单位 ms。
   • TS.thrpt：吞吐；单位 req/s。
   • TS.error：错误率；无量纲。
   • budget.cpu/gpu/mem：资源预算。
   • budget.power：功耗预算；单位 W。
   • cost.per.req：单位请求成本；货币/请求。
7. 一致性与差异
   • delta_offon = ( norm( y_hat_off - y_hat_on ) / norm( y_hat_off ) )。
   • R_infer = 1 - delta_offon。
   • delta_AB = E_{D}[ L( y, y_hat_B ) - L( y, y_hat_A ) ]。
   • p_fail = P( delta_AB > tau_noninf )（由 bootstrap 估计）。
   • delta_dev：跨设备差异度量。
   • CertEq：跨设备同等性证书。
8. SLO 与综合评分
   • score = Σ_k w_k * z_k（z_k 为各指标标准化得分，Σ w_k = 1）。
   • tau_error,tau_p99,tau_cost,tau_cal,tau_cons：门限集合。
   • score_LCB：下置信界得分；与 score_base 比较。
9. 管线与配置卡
   • IPC：InferPipelineCard。
   • PC：ParamCard。
   • PC.meta.parent_fingerprint：父指纹引用。
   • 关键字段：version, schema, artifacts, signature, resources, metrics。
10. 灰度与变更
    • ver = major.minor.patch：语义化版本。
    • channel ∈ {canary, stable, LTS}。
    • q：流量占比。
    • R = {R0,R1,R2,R3}：环集。
    • W：观测窗口。
    • alpha_gate,tau_noninf：推进显著性与非劣门。
    • Gate：推进闸。
    • g,s_max,q_cap：推进律参数。
    • budget.blast：爆炸半径预算。
    • kill_switch, holdback：紧急与保留机制。
    • PlanId, GateDecision, reasons：灰度决策记录键。

IV. 冲突名与合法组合

1. 强制区分
   • T_fil（张力） vs T_trans（透射系数）；禁止混用。
   • n（number density） vs n_eff（effective refractive index）；禁止替换。
   • T_arr（到达时） vs T_temp（校准温度）；上下文必须显式。
2. 合法组合示例
   • ts = alpha + beta * tau_mono 与任一流式观测 TS.* 的时间戳必须先映射到 ts 再聚合。
   • 到达时口径在同一分析内仅可选其一（常量外提或一般口径），并在标题处注明。
   • 校准后指标以后缀 _T 标识，如 ECE_T,NLL_T。

V. 示例表达与量纲

• 概率与期望
  E_{p(z)}[ f(z) ] = ( ∫ f(z) p(z) dz )；无量纲。
• 条件风险与非劣
  delta_AB = ( 1/N ) * Σ ( L_B - L_A )；若 p_fail <= alpha_gate 则视为非劣通过。
• 一致性
  delta_offon <= tau_cons 作为上线门；R_infer = 1 - delta_offon 进入综合评分 score 的单元。
• 资源与成本
  cost.per.req = ( Σ resource_i * price_i ) / N_req；单位随 price_i。
• 校准
  y_hat = softmax( logit / T_temp )；T_temp > 0；更新后评估 ECE_T,MCE。

VI. 计量单位与缩写

• 时间：ms,s；频率：Hz；长度：m；速度：m/s；功率：W；能耗：Wh。
• 统计：pXX 表示第 XX 分位（如 p99）；CI_{1-delta} 表示置信区间；LCB/UCB 为下/上置信界。
• 资源：cpu（vCPU.s），gpu（GPU.s），mem（GiB），power（W）。

VII. 结构化对象与键名（摘要）

• InferPipelineCard (IPC)
  关键键：version, graph.sig, features.spec, artifacts, EnvLock, anchor, TS.targets, metrics.plan。
• ParamCard (PC)
  关键键：version, ranges, defaults, units, constraints, meta.parent_fingerprint。
• 报表与证据
  ScoreReport, CalibReport, DriftReport, ShadowReport, ConsistencyReport, RingMetrics, GatePolicy。

VIII. 门限与默认值（占位口径）

• alpha_gate ∈ [0.01, 0.10]；tau_noninf 依据业务损失标定。
• tau_error,tau_p99,tau_cal,tau_cons 由第8章 score 权重反推；若无业务定制，默认以等权并行门管理。

IX. 交叉引用与依赖

• 校准与不确定性：见第7章。
• 性能度量与 SLO：见第8章。
• 在线/离线一致性与时基：见第6章与第3章 P41-2。
• 管线卡与配置卡字段：见第9章。
• 运行监控与告警：见第10章。
• 跨域/跨设备与同等性：见第11章。
• 验收与公告包：见第12章。
• 变更管理与灰度推进：见第13章。

X. 编号保留与异常枚举（汇总）

• 预留编号段：公设 P41-*；最小方程 S42-*；流程 Mx-4*；实现绑定 I40-*。
• 异常枚举：E_MODEL_MISMATCH,E_SCHEMA_MISMATCH,E_TIMEBASE_SKEW,E_NONDETERMINISM,E_CALIBRATION_FAIL,E_DRIFT_DETECTED,E_RESOURCE_EXCEEDED,E_PRECISION_LOSS。