机器翻译，未经母语人士审校。以英文版为准。

场景类别页面在GitHub上编辑来源：docs/kinds/by-kind/quantum-gnss-free-nav.md

quantum-gnss-free-nav（场景类型）

引擎v0.40.0的场景类型，所属系列为惯性、融合与量子传感器。仅供参考：研究与工程工具的分析输出，不是经型式认可的导航设备，也不是生命安全服务。此处每个标签均由引擎或验证矩阵给出；除非矩阵另有说明，一个类型即为MODELLED（标签如何获得，见README的Evidence一节）。

作用#

MODELLED的无GNSS量子导航：在GNSS中断期间，对比量子（冷原子干涉仪）惯性预算与经典导航级INS：滑行期间的位置误差增长、到达位置阈值的守时（holdover）时间，以及作为如实TradeEvidence并附代表性说明的量子对经典权衡。如实的可观测性说明：没有外部定位时，加速度计偏置不可观测，因此误差会增长；量子传感器只是减缓而不会弥合这一差距。示意性的公开来源器件参数；对该类别建模，无TRL/飞行/认证。

scenarios/quantum-gnss-free-nav.toml的一次运行汇总如下：quantum-gnss-free-nav | 中断300s | 量子位置误差0.00 m对经典37.31 m（8289.5x）| 守时（holdover）量子44721s对经典534s（阈值100 m）| 权衡 量子胜2/2 | MODELLED

输入#

来自模式（kshana kinds --json）：

  • 必填字段：无
  • 可选字段：outage_s、threshold_m、quantum_bias_m_s2、classical_bias_m_s2

示例scenarios/quantum-gnss-free-nav.toml设置了以下内容等：

字段 取值 单位
classical_bias_m_s2 5.0000e-5 m/s^2
kind quantum-gnss-free-nav 文本
outage_s 300 s
quantum_bias_m_s2 1.0000e-7 m/s^2
threshold_m 100 m

运行#

kshana scenarios/quantum-gnss-free-nav.toml

给出什么#

该次运行的标量结果，单位为引擎所给出的单位：

结果 取值 单位
classical_holdover_s 533.733798 s
classical_pos_err_m 37.31297 m
evidence.id_rule 矩阵行的稳定标识（ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier PARTNER 文本
improvement_x 8289.499001 1
outage_s 300 s
quantum_holdover_s 44721.318429 s
quantum_pos_err_m 0.004501 m
threshold_m 100 m
引擎为scenarios/quantum-gnss-free-nav.toml（类型quantum-gnss-free-nav）绘制的图表

证据#

验证矩阵中没有任何一行按名称列出此类型；其结果上的标签是引擎自己的，见上文。

本次运行实际涉及的各行，以及矩阵为每行给出的参考基准（oracle）（公开来源在矩阵中列出）：

  • MODELLED由第一性原理（k_eff·T²、QPN）得出的冷原子干涉加速度计。参考基准（oracle，ExternalDataset）：已发表的CAI原始论文数值向量（Cheinet 2008传递函数；Peters/Freier灵敏度）：k_eff·T² 完全吻合，散粒噪声ASD为单边下限，与每台已发表仪器相差在约2× 以内（实际器件的技术噪声高于量子下限）。这是一个范围界定，而非等同。0.30第2轮（已预先登记fcb9ac64），一项发现（仍为MODELLED）：仅含QPN的旋转噪声对照Gauguet等的实测值
  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
  • PARTNER不提供——仅有性能模型；冷原子/时钟硬件由合作方负责。参考基准（oracle，NoneKind）：无：由合作方负责的领域，按设计既没有模块也没有测试
  • MODELLED一个可复现的TradeEvidence对象（固定框架：场景+随机种子+引擎；共同的逐性能指标量子对经典取值，带极性正确的收益，可选的95%. 参考基准（InternalConsistency）：闭式的收益/胜者恒等式，以及对现有quantum_trade::TradeResult的忠实封装；诚实性与代表性台账（ledger）及验证标签绑定
  • MODELLED量子（冷原子干涉仪）对经典导航级INS在GNSS中断期间的航位推算：位置误差增长、到达位置阈值的守时（holdover）时间。参考基准（InternalConsistency）：复用的惯性预算与同一航位推算常微分方程的一次独立Octave二重积分相互核对（运行环境不同，模型共享 → ReferenceImpl），另加Freier-2016已发表的短期噪声作为单侧锚点；量子对经典的综合结果仍为MODELLED

局限#

本次运行自身的报告所说的未建模或未经独立验证的内容：

  • MODELLED的无GNSS量子导航：在GNSS中断期间，对比量子（冷原子干涉仪）惯性预算与经典导航级INS：滑行期间的位置误差增长、到达位置阈值的守时（holdover）时间，以及作为如实TradeEvidence并附代表性说明的量子对经典权衡。（类型目录（kshana kinds --json））
  • 无GNSS量子导航：量子（冷原子干涉仪）对经典导航级INS在GNSS中断期间的航位推算。MODELLED；示意性的公开来源器件参数；对该类别建模，不作TRL/飞行声明。（场景文件注释，第1至3行）
  • 量子惯性传感器性能为MODELLED，未经独立验证：某个子论断已有外部核对，但整个能力由模型计算的部分组合而成，因此该能力仍属“由模型计算得出”。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 量子对经典的权衡证据（通用形式）是MODELLED，而非经独立核对验证：它与自身的闭式/解析恒等式核对，只能发现转录和系数错误，并不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 无GNSS量子导航是MODELLED，而非经独立核对验证：它与自身的闭式/解析恒等式核对，只能发现转录和系数错误，并不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#