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

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

sweep（场景类型）

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

作用#

针对时钟包参数的1-D权衡研究扫描。

scenarios/sweep-clock-stability.toml的一次运行汇总为：sweep holdover_s over classical_q_wf (1.00e-24..1.00e-18, 25 pts, log scale) | quantum 6600.000->6600.000 | classical 2610.000->250.000

输入#

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

  • 必填字段：parameter、metric、start、stop、steps、base
  • 可选字段：scale

示例scenarios/sweep-clock-stability.toml设置了以下各项（节选）：

字段 取值 单位
base.clock_classical.flicker_floor 2.0000e-11 未说明
base.clock_classical.id csac-sa45s 文本
base.clock_classical.provenance Microchip SA.45s CSAC数据手册sigma_y(1s)=3e-10；q_wf为 文本
base.clock_classical.q_rw 0 未说明
base.clock_classical.q_wf 9.0000e-20 未说明
base.clock_classical.y0 5.0000e-10 未说明
base.clock_quantum.flicker_floor 1.0000e-16 未说明
base.clock_quantum.id optical-sr-lattice 文本
base.clock_quantum.provenance 锶光晶格钟，面向空间应用的目标sigma_y 文本
base.clock_quantum.q_rw 0 未说明
base.clock_quantum.q_wf 1.0000e-30 未说明
base.clock_quantum.y0 5.0000e-17 未说明

运行#

kshana scenarios/sweep-clock-stability.toml

给出什么#

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

结果 取值 单位
evidence.id_rule 矩阵行的稳定标识（ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier MODELLED 文本
metric holdover_s 文本
parameter classical_q_wf 文本
scale 对数 文本
引擎为scenarios/sweep-clock-stability.toml（场景类型sweep）生成的图表

证据#

MODELLED：列出此类型的验证矩阵各行。

  • MODELLED一次运行输入一份接触计划（一组aos_s/los_s窗口，每个窗口请求孔径用于导航或通信，其窗口词汇与passes::predict_passes输出的相同，由aperture_duty::windows_from_passes转换）、一个孔径
  • MODELLED gnss-ssv类型的可用性扫描：按星座（GPS、GLONASS、Galileo、BDS、QZSS、NavIC）及合计，统计（用户，历元）对中至少有一个信号和至少有四个信号的占比及最长中断时间，针对位于球面上的用户
  • MODELLED tli-and-cruise阶段：平均状态由引擎的Cowell传播器给出（地球点质量和J2、作为第三体的太阳和月球；月球取自任务链的DE440星历文件（在其覆盖该航段时），太阳取自解析级
  • MODELLED campaign类型的sweep（一至三个任意类型的点分键，取通用扫描的轴值，可在每个节点上附带一个集合）和monte_carlo部分：第k次实现以base_seed + k运行；各指标报告均值、标准 测试：campaign_composition_reference.rs。

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

  • MODELLED闭式滑行误差增长加守时到阈值；量子时钟等级。参考基准（ReferenceImpl）：多步clock_state协方差递推（同一代码库内的交叉检查）；底层的滑行方差与守时反演核对照scipy经外部验证（见“Clock-holdover coast-variance & threshold inversion”）。各等级的红噪声底守时数字仍为MODELLED
  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
  • MODELLED campaign类型的扫描（在任意类型的一至三个点分隔的键上，使用通用扫描的坐标轴取值，可选地在每个节点上做一个集合）以及monte_carlo部。参考基准（InternalConsistency）：白频率噪声下相位随机游走的闭式，方差q_wf tau（NIST Technical Note 1337），用于统计机制；以及与独立运行逐字节相等，用于随机种子设定。它检查的是引擎自身时钟模型上的集合运算，而不是外部数据集

局限#

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

  • GNSS拒止下的时钟守时为MODELLED，而不是经独立验证：它对照同一代码库中另一个独立实现进行检查，独立于被测单元，但不具外部权威性。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 对任意场景类型的参数扫描和带随机种子的蒙特卡罗集合为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#