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

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

lunar-time-offset（场景类型）

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

作用#

由模型计算的地月相对论钟速（月球坐标时，LTC/TCL）：由自身势差和月球动能项得出的长期LTC−TT钟速，与已发布的56–59 µs/天范围一并报告，另加一段时间范围内累积的偏差。

scenarios/lunar-time-offset.toml的一次运行概括如下：lunar-time-offset | 长期LTC−TT钟速57.04 µs/天（范围56–59）| 自身势57.50动能 -0.46 | 偏差 @ 1.00 d = 57.04 µs

输入#

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

  • 必填字段：无
  • 可选字段：epoch_year、epoch_month、epoch_day、horizon_days

示例scenarios/lunar-time-offset.toml设置了下列内容等：

字段 取值 单位
epoch_day 1 d
epoch_month 1 未说明
epoch_year 2000 未说明
horizon_days 1 天
kind lunar-time-offset 文本

运行#

kshana scenarios/lunar-time-offset.toml

给出什么#

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

结果 取值 单位
band_high 59 us/day
band_low 56 us/day
evidence.id_rule 矩阵行的稳定标识（ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier MODELLED 文本
horizon_days 1 天
kinetic_us_per_day -0.458241 us/day
offset_at_horizon_us 57.043632 us
secular_rate_us_per_day 57.043632 us/day
self_potential_us_per_day 57.501873 us/day
引擎为scenarios/lunar-time-offset.toml（类型lunar-time-offset）生成的图表

证据#

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

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

  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
  • VALIDATED地月相对论钟速（LTC/TCL）+ TT/TAI/UTC链接 + 集合。参考基准（oracle，ExternalDataset）：Ashby & Patla 2024，'A Relativistic Framework to Estimate Clock Rates on the Moon'，Astronomical Journal 167:149（NIST；IAU/IAG LunaNet LTC的依据）：月面自身势L_m = 3.13881e-11以及长期总量56.02 µs/天，均作为已发布的数值核对一致；地心月球速度对照JPL DE440（经SPICE取自de440s.bsp）交叉检查

局限#

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

  • 诚实声明：MODELLED，未经认证。头条的us/天数值取决于参考选择（地球大地水准面W0与月球选择面、时间平均窗口、被忽略的亚us/天离心力/J2修正），因此如实的输出是一个区间，而不是单个数字。此处没有任何结果已与独立参考核对到亚纳秒级绝对精度，也没有任何结果经认证可用于业务授时。报告还给出在整个时间范围内累积的LTC-TT偏移（场景文件注释，第11至16行）
  • 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#