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

场景类别页面在GitHub上编辑来源:docs/kinds/by-kind/sweep-nd.md

sweep-nd(场景类型)

引擎v0.40.0的场景类型,所属类别为时钟、授时与守时。仅供参考:研究与工程工具的分析输出,不是经型式认可的导航设备,也不是生命安全服务。此处的每个标签都来自引擎或验证矩阵;除非矩阵另有说明,一种类型即为MODELLED(标签如何获得:见README的证据一节)。

作用#

通过点分TOML键/JSON指标路径,对任意包进行的通用N维扫描。

scenarios/sweep-nd-inertial.toml的一次运行汇总为:generic sweep of inertial over [threshold_m, accel_classical.bias] | 15 nodes (shape [5, 3]) | metrics [classical.fom.holdover_s, classical.fom.pos_rms_m]

输入#

来自模式(kshana kinds --json):

  • 必填字段:base、axes、metrics
  • 可选字段:无

示例scenarios/sweep-nd-inertial.toml设置了以下各项(节选):

字段 取值 单位
axes[0].key threshold_m 文本
axes[0].start 100 未说明
axes[0].steps 5 未说明
axes[0].stop 500 未说明
axes[1].key accel_classical.bias 文本
axes[1].scale 对数 文本
axes[1].start 0.001 未说明
axes[1].steps 3 未说明
axes[1].stop 0.003 未说明
axes[1].unit m/s^2 文本
base.accel_classical.bias 0.00157 未说明
base.accel_classical.bias_instability 1.0000e-5 未说明

运行#

kshana scenarios/sweep-nd-inertial.toml

给出什么#

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

结果 取值 单位
evidence.id_rule 矩阵行的稳定标识(ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier PARTNER 文本
引擎为scenarios/sweep-nd-inertial.toml(场景类型sweep-nd)生成的图表

证据#

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

本次运行实际涉及的各行,以及矩阵为每行给出的参考基准(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守时期间由偏置 + 标度因数 + VRW + 稳定度衰减复合而成的位置预算。参考基准(oracle,ReferenceImpl):对双重积分白加速度噪声的独立numpy蒙特卡罗SDE积分(以真正独立的算法验证解析VRW方差)+ 偏置/标度因数项的Groves 2013已发表值锚点;CAI器件数值量化的是合作方硬件,仍为MODELLED
  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准(ExternalDataset):SBOM与官方CycloneDX 1.5 JSON Schema(加有效的SPDX标识符)一致,这是已发布的外部标准,整个依赖图上零验证错误;FoM确定性与逐字节可复现性部分仍是固定的自洽性检查,因此该行仍为MODELLED
  • PARTNER不提供——仅有性能模型;冷原子/时钟硬件由合作方负责。参考基准(oracle,NoneKind):无:由合作方负责的领域,按设计既没有模块也没有测试
  • MODELLED campaign类型的扫描(在任意类型的一至三个点分隔的键上,使用通用扫描的坐标轴取值,可选地在每个节点上做一个集合)以及monte_carlo部。参考基准(InternalConsistency):白频率噪声下相位随机游走的闭式,方差q_wf tau(NIST Technical Note 1337),用于统计机制;以及与独立运行逐字节相等,用于随机种子设定。它检查的是引擎自身时钟模型上的集合运算,而不是外部数据集

局限#

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

  • 量子惯性传感器性能为MODELLED,未经独立验证:某个子论断已有外部核对,但整个能力由模型计算的部分组合而成,因此该能力仍属“由模型计算得出”。(验证矩阵(docs/MODELLED-RATIONALE.md))
  • 量子惯性航位推算韧性为MODELLED,未经独立验证:它是对照本代码库内另一套独立实现检查的,该实现独立于被测单元,但不具外部权威性。(验证矩阵(docs/MODELLED-RATIONALE.md))
  • 可复现性与软件保障为MODELLED,而不是经独立验证:其中一项子声明经过外部核对,但整项能力由模型计算的部分组合而成,因此该能力仍属于由模型计算得出一级。(验证矩阵(docs/MODELLED-RATIONALE.md))
  • 对任意场景类型的参数扫描和带随机种子的蒙特卡罗集合为MODELLED,而不是经独立验证:它对照自身的闭式或解析恒等式进行检查,能发现转录错误和系数错误,但不是外部参考基准(oracle)。(验证矩阵(docs/MODELLED-RATIONALE.md))

另请参阅#