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

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

quantum-trade（场景类型）

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

作用#

量子对经典PNT权衡（13503）：候选时钟（实测ADEV曲线，即可辩护性的关键，或量子时钟类别）相对经典基线类别的授时守时（holdover）与惯性守时收益，附带随制品携带的长tau底限假设局限，外加GNSS拒止下的韧性随时间包络。MODELLED；对合作方器件只作量化（绝不验证）。候选时钟是一条实测曲线（candidate_adev_taus + candidate_adev_values，长度相等，至少2个点；两种形式都给出时以它为准）或一个candidate_clock_class。

scenarios/quantum-trade.toml的一次运行汇总如下：quantum-trade | 候选measured-ADEV | 授时守时（holdover）2621947s对203s（12943.62x）| 惯性14108s对378s（37.34x）| 韧性滑行14108s | MODELLED [假定底限的局限]

输入#

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

  • 必填字段：timing_threshold_s、position_threshold_m、baseline_clock_class、candidate_adev_taus+candidate_adev_values|candidate_clock_class
  • 可选字段：baseline_ins、candidate_ins、resilience_times_s、alt_pnt_bound_m

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

字段 取值 单位
baseline_clock_class csac 文本
candidate_adev_taus [1, 10, 100, 1000, 10000, 100000] 未说明
candidate_adev_values [5.0000e-16, 1.6000e-16, 6.0000e-17, 4.0000e-17, 6.0000e-17, 未说明
kind quantum-trade 文本
position_threshold_m 100 m
resilience_times_s [1, 60, 600, 1800, 3600, 7200, 14400, 28800] s
timing_threshold_s 2.0000e-8 s

运行#

kshana scenarios/quantum-trade.toml

给出什么#

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

结果 取值 单位
candidate_source measured-ADEV 文本
evidence.id_rule 矩阵行的稳定标识（ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier PARTNER 文本
resilience.alt_pnt_active false 标志
resilience.coast_time_s 14108.310907 s
resilience.exceeds_horizon false 标志
resilience.threshold_m 100 m
trade.baseline.floor_assumed true 标志
trade.baseline.inertial_holdover_s 377.849037 s

结果标签（引擎给出）：MODELLED：对合作方时钟/传感器只作量化（绝不验证）；未经飞行演示

引擎为scenarios/quantum-trade.toml（类型quantum-trade）绘制的图表

证据#

MODELLED 1 · VALIDATED 2：列出此类型的验证矩阵各行。

  • VALIDATED由已发表的实测 ⁸⁸Sr光钟跃迁阿伦偏差做幂律（白调频 + 红噪声底限）NNLS恢复，复现 σ_y(τ)以及头条的4.7e-16/√τ 短 τ 标度，并带有真实实测的长 τ 底限，而不是 测试：optical_clock_adev_reference.rs。
  • VALIDATED实测ADEV的NNLS拟合、NEES/NIS χ² 一致性区间，以及时钟van-Loan离散过程噪声（守时滑行）协方差，这是权衡引擎的计算主干 测试：scipy_reference.rs。
  • MODELLED实测ADEV导入（NNLS）、权衡表（授时/惯性守时 + 收益）、韧性随时间包络；底限局限随制品携带。

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

  • VALIDATED实测ADEV的NNLS拟合、NEES/NIS χ² 一致性区间，以及时钟van-Loan离散过程噪声（守时滑行）协方差，这是权衡引擎的计算. 参考基准（ExternalDataset）：scipy 1.17.1：optimize.nnls / stats.chi2.ppf / linalg.expm；NNLS+Q完全一致，在工作自由度下 χ² <5e-4。仅限内核，器件性能数字仍为建模结果（见下一行）
  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
  • MODELLED实测ADEV导入（NNLS）、权衡表（授时/惯性守时 + 收益）、韧性随时间包络；底限局限随制品携带。可运行自. 参考基准（ExternalDataset）：实测ADEV→PSD拟合（NNLS）内核与scipy.optimize.nnls一致（tests/scipy_reference.rs / tests/quantum_vs_classical_pnt_trade_reference.rs），这是一个独立的外部内核；但权衡的数字只是对合作方时钟/CAI作量化（绝不验证），因此权衡本身仍为MODELLED，不带验证光环
  • PARTNER不提供——仅有性能模型；冷原子/时钟硬件由合作方负责。参考基准（oracle，NoneKind）：无：由合作方负责的领域，按设计既没有模块也没有测试

局限#

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

  • MODELLED：对合作方时钟/传感器只作量化（绝不验证）；未经飞行演示（结果label）
  • 量子对经典PNT权衡（13503）：候选时钟（实测ADEV曲线，即可辩护性的关键，或量子时钟类别）相对经典基线类别的授时守时（holdover）与惯性守时收益，附带随制品携带的长tau底限假设局限，外加GNSS拒止下的韧性随时间包络。（类型目录（kshana kinds --json））
  • MODELLED；对合作方器件只作量化（绝不验证）。（类型目录（kshana kinds --json））
  • 计算候选时钟相对经典基线的授时守时（holdover）与惯性守时收益，外加GNSS拒止下的韧性随时间包络。候选底限由合作方时钟MEASURED的重叠ADEV曲线（可辩护性的关键）经非负最小二乘拟合得出，因此守时预算建立在真实数据之上，而不是假定的长tau底限。（场景文件注释，第3至7行）
  • 诚实范围：MODELLED：它只量化合作方量子时钟的收益；它不验证该器件，也绝不借用SGP4/阿伦/IGS的核对验证孤岛。任何一行的底限为假定的类别默认值时，制品上都会显示底限局限。运行：kshana scenarios/quantum-trade.toml（场景文件注释，第9至12行）
  • 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 量子对经典PNT权衡与GNSS拒止韧性（13503）是MODELLED，而非经独立核对验证：其中一项子声明经过外部核对，但整项能力由建模的部分组合而成，因此该能力仍是Modelled。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#