`moonlight-service-volume`（场景类型）

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

作用#

对一个ILLUSTRATIVE的、基于公开资料的Moonlight/LCNS级月球轨道星座（与ESA无隶属关系）所作的、由模型计算的月球导航服务空间分析：在时间范围内扫描月面经纬度网格，报告DOP /覆盖 /可用性（≥4颗卫星且PDOP < 阈值），以及覆盖该空间的广义月球ARAIM保护级（HPL/VPL）包络。DOP几何复用gnss_lib_py-VALIDATED内核（crate::orbit::dop）；保护级复用LunaNet LNIS月球ARAIM机制（crate::lunar，σ_URE≈30 m），并在特殊情形下退化为现有的南极保护级。MODELLED组合：圆/椭圆开普勒中继星集（不是真实的经微分修正的LCNS/NRHO星历），平均自转的月球（无天平动/进动极）。确定性（纯几何）。无TRL、飞行经历或机构认可。

输入#

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

必填字段：无
可选字段：n_sats、sma_km、eccentricity、inc_deg、argp_deg、lat_min_deg、lat_max_deg、lat_step_deg、lon_min_deg、lon_max_deg、lon_step_deg、horizon_hours、step_min、elev_mask_deg、pdop_threshold、alert_limit_m、p_hmi、perturbed、sigma_ure_m、export_site_lat_deg、export_site_lon_deg、export_antenna、ephemeris_path、planetary_kernel_path、epoch_utc、terrain

示例scenarios/moonlight-service-volume.toml设置了以下内容等：

字段	取值	单位
`alert_limit_m`	50	m
`argp_deg`	90	deg
`eccentricity`	0.6	未说明
`elev_mask_deg`	5	deg
`horizon_hours`	12	h
`inc_deg`	57.7	deg
`kind`	moonlight-service-volume	文本
`lat_max_deg`	-60	deg
`lat_min_deg`	-90	deg
`lat_step_deg`	10	deg
`lon_max_deg`	180	deg
`lon_min_deg`	-180	deg

运行#

kshana scenarios/moonlight-service-volume.toml

给出什么#

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

结果	取值	单位
`alert_limit_m`	50	m
`coverage_pct`	37.847222	%
`elev_mask_deg`	5	deg
`evidence.id_rule`	矩阵行的稳定标识（ID	文本
`evidence.matrix`	docs/VERIFICATION-MATRIX.md	文本
`evidence.tier`	MODELLED	文本
`hpl_max_m`	4176.665443	m
`hpl_min_m`	138.725726	m
`max_sats`	7	计数
`min_sats`	4	计数

引擎为scenarios/moonlight-service-volume.toml（类型moonlight-service-volume）绘制的图表

证据#

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

MODELLED lunar-surface类型与阶段：每个站点和季节的中继星可用性与PDOP、地球和太阳可见性以及受约束的地表时钟，并带有moonlight-service-volume的地形天际线；单站点运行与该类型的结果相等

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

MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
VALIDATED一个服务空间上的Moonlight级月球DOP /覆盖 /可用性，以及广义月球ARAIM保护级。参考基准（ExternalDataset）：独立的第三方权威ANISE 0.10.2 astro::Orbit开普勒传播器（Nyx Space，MPL-2.0），这是一条不同于kshana牛顿-拉弗森开普勒求解的春分点二体代码路径；每颗卫星的MCI位置一致到<1e-3 m，导出的可见卫星数量/集合在每个网格点上完全一致。DOP内核经gnss_lib_py核对验证；完好性采用已发布的LunaNet/LCNS参数
VALIDATED在指定月面站点处，给定卫星在该站点坐标系中的位置，每颗卫星的站心视角（方位角自正北顺时针量起、高度角）与斜距。参考基准（ExternalDataset）：ANISE 0.10.2（Nyx Space，MPL-2.0，作为工具运行自xval/anise-service-geometry，二进制lunar-look-angles-xval，不调用任何Kshana代码）：ANISE自己的方位角、高度角和距离例程（azimuth_elevation_range_sez），站点由其经纬高构造器在pck00011月球（球体1737.4 km）上建立，卫星经moon_pa_de440_200625.bpc旋转到MOON_PA_DE440。768个采样

局限#

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

MODELLED组合：圆/椭圆开普勒中继星集（不是真实的经微分修正的LCNS/NRHO星历），平均自转的月球（无天平动/进动极）。（类型目录（kshana kinds --json））
诚实声明：MODELLED组合。DOP几何通过复用经核对验证的内核而得到验证；覆盖 /可用性 /完好性的组合是MODELLED：圆/椭圆开普勒中继星集（不是经微分修正的LCNS / 9:2 NRHO星历），平均自转的月球（无物理天平动/进动极），以及已发布的LunaNet LNIS完好性参数。这演示了月球服务空间M（场景文件注释，第27至32行）
可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#

类别页面：月球与地月空间
所有类型：KINDS.md
专题页面：LUNAR-REFERENCE-STATION.md
主题页面：MISSION-THREAD-LUNAR.md

moonlight-service-volume（场景类型）

作用#

输入#

运行#

给出什么#

证据#

局限#

另请参阅#

`moonlight-service-volume`（场景类型）