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

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

realtime-frame-eop(场景类型)

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

作用#

实时月球坐标系 /地球定向预测预算:P4表1(坐标系误差一致性检查:后处理约0.27 m ↔ 约0.010 ms,实时约15 m ↔ 约0.5 ms,每个坐标系位置都经L19杠杆臂 Δr = D_EM·ω⊕·ΔUT1表示为其等效UT1误差)与表2(实测UT1预测误差随预测时长的变化:L18曲线直接取自真实的IERS finals2000A序列,即Bulletin A − Bulletin B最终底限和多日持续性预测器误差,各经L19映射为月球坐标系位置),外加L21的均方根合成实时坐标系误差预算(EOP + 星历 + 框架实现底限)。VALIDATED的闭式解(L19杠杆臂,ω⊕ 与CIO地球自转角交叉核对)和VALIDATED的真实数据(取自真实finals2000A行的L18曲线);MODELLED的是月球中继定轨协方差量级和坐标系实现底限(代表性分配值)以及持续性预测器(不是IERS业务化的Bulletin A算法)。不是经认证的实时坐标系产品。

scenarios/realtime-frame-eop.toml的一次运行汇总如下:realtime-frame-eop | 表1:后处理0.27 m(0.0096 ms UT1)↔ 实时14.4 m(0.514 ms UT1)| 表2:最终底限0.0171 ms → 3天1.6644 ms | 预算合计20.1 m(67.0 ns)| L19杠杆臂 + L18真实数据(已核对验证),定轨协方差(建模)

输入#

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

  • 必填字段:无
  • 可选字段:epoch、horizons_days、ephemeris_pos_sigma_m、ephemeris_vel_sigma_mps、latency_s、frame_realization_floor_m、delta_ut1_ms、delta_xp_mas、delta_yp_mas、eop_finals2000a、eop_finals2000a_later、frame_realization_tie_noise_m、operational_window_days、operational_min_cycle_fraction、operational_anchor_residual

示例scenarios/realtime-frame-eop.toml设置了以下内容等:

字段 取值 单位
epoch 2022-01-01 文本
horizons_days [1, 2, 3] d
kind realtime-frame-eop 文本

运行#

kshana scenarios/realtime-frame-eop.toml

给出什么#

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

结果 取值 单位
earth_moon_distance_m 384400000 m
eop_input.final_rows 30 计数
eop_input.kind bundled-offline-fixture 文本
eop_input.prediction_rows 90 计数
eop_input.rapid_rows 54 计数
eop_input.rows 174 计数
eop_input.source 随库提供的测试数据文件finals2000A_20260930 文本
eop_source 随库提供的测试数据文件finals2000A_20260930 文本
epoch 2022-01-01 文本
evidence.id_rule 矩阵行的稳定标识(ID 文本

结果标签(引擎给出):实时月球坐标系 /地球定向预测预算。VALIDATED闭式解:L19杠杆臂(1 ms ↔ 28.03 m ↔ 93.5 ns),ω⊕ 与CIO地球自转角交叉核对。VALIDATED真实数据:L18 UT1与极移预测误差曲线直接取自真实的IERS finals200

引擎为scenarios/realtime-frame-eop.toml(类型realtime-frame-eop)绘制的图表

证据#

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

  • VALIDATED一张表在每个预测时长的相同历元集上报告月球处的UT1预测误差、极移误差及其正交合成,并给出各分量被测量时的历元。测试:embedded_eop_vintage_astropy_preregistered.rs。
  • VALIDATED realtime-frame-eop的运行时默认值是库自带的、逐字取自IERS finals2000A的摘录副本(tools/finals2000A_20260930.txt:174个连续的逐日行,MJD 61224-61397,截取自2026-09-30的finals2000A.all),带有 测试:operational_eop_predictor_reference.rs。
  • MODELLED对尾随窗口做最小二乘的偏置加变化率拟合,再加主要周期项(UT1为周年项、半年项和两个主要带谐潮汐;极移为钱德勒项、周年项和半年项),并以窗口内最后一个 测试:operational_eop_predictor_reference.rs。

本次运行实际涉及的各行,以及矩阵为每行给出的参考基准(oracle)(公开来源在矩阵中列出):

  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准(ExternalDataset):SBOM与官方CycloneDX 1.5 JSON Schema(加有效的SPDX标识符)一致,这是已发布的外部标准,整个依赖图上零验证错误;FoM确定性与逐字节可复现性部分仍是固定的自洽性检查,因此该行仍为MODELLED
  • VALIDATED一张表在每个预测时长的相同历元集上报告月球处的UT1预测误差、极移误差及其正交合成,给出. 参考基准(ExternalDataset):astropy 8.0.1 utils.iers(BSD-3)按其自身的Bulletin-B优先否则A的规则读取IERS finals2000A产品,以及pyerfa 2.0.1.5(SOFA)完整的天球到地球旋转(c2i06a、sp00、pom00、c2tcio;地球自转角按IERS 2010式5.15以精确算术计算),作为独立程序在冻结的2026-09-30 finals2000A.all的逐字行上运行;预先登记(455b8fb5),修订A1和A2仅固定
  • VALIDATED realtime-frame-eop的运行时默认值是库自带的、逐字取自IERS finals2000A的摘录副本(tools/finals2000A_20260930.txt:174个连续. 参考基准(ExternalDataset):astropy 8.0.1 astropy.utils.iers.IERS_A(BSD-3-Clause),用其自身的读取器读取同样的字节,以及IERS Bulletin A Vol. XXXIX No. 039表,逐数字抄录;在运行astropy之前已预先登记(6fdae01b)六条精确判据。六条全部成立:30个最终、54个快速和90个预测行,MJD列表相同,每个预测行标志均为P,默认运行的统计相同,且预测与Bullet
  • MODELLED对尾随窗口做最小二乘的偏置加变化率拟合,再加主要周期项(UT1为周年项、半年项和两个主要带谐潮汐;. 参考基准(ReferenceImpl):三条独立路径,没有一条是已发表的预测精度数字。(1)已知系数的解析信号:这是检验周期项机制的唯一办法,因为没有任何已提交的序列长到足以容纳周年项。(2)教科书式的闭式最小二乘解,代数形式不同于被测的矩阵求解,作用于真实行。(3)真实存档的Bulletin A预测行,

局限#

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

  • 实时月球坐标系 /地球定向预测预算。VALIDATED闭式解:L19杠杆臂(1 ms ↔ 28.03 m ↔ 93.5 ns),ω⊕ 与CIO地球自转角交叉核对。VALIDATED真实数据:L18 UT1与极移预测误差曲线直接取自真实的IERS finals2000A序列(Bulletin A快速对Bulletin B最终,以及基于真实逐日行的多日持续性)。推导得出:坐标系(结果label)
  • VALIDATED的闭式解(L19杠杆臂,ω⊕ 与CIO地球自转角交叉核对)和VALIDATED的真实数据(取自真实finals2000A行的L18曲线);MODELLED的是月球中继定轨协方差量级和坐标系实现底限(代表性分配值)以及持续性预测器(不是IERS业务化的Bulletin A算法)。(类型目录(kshana kinds --json))
  • 诚实声明:VALIDATED的闭式解(L19杠杆臂,omega_earth与CIO地球自转角交叉核对)和VALIDATED的真实数据(取自真实finals2000A行的L18 UT1与极移曲线)。推导得出的坐标系实现底限(Helmert拟合后残差)。MODELLED的是月球中继定轨协方差量级(后处理0.27 m,一小时延迟下实时约14.4 m,是取整而非反推的,全部(场景文件注释,第27至32行)
  • 可复现性与软件保障为MODELLED,而不是经独立验证:其中一项子声明经过外部核对,但整项能力由模型计算的部分组合而成,因此该能力仍属于由模型计算得出一级。(验证矩阵(docs/MODELLED-RATIONALE.md))
  • 业务化风格的地球定向预测误差(实测的预测值对最终值)是MODELLED,而非经独立核对验证:它与同一代码库中的另一实现进行了核对,该实现独立于被测单元,但不具外部权威性。(验证矩阵(docs/MODELLED-RATIONALE.md))

另请参阅#