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

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

combined-altpnt（场景类型）

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

作用#

GPS拒止下的重力加磁力加地形组合导航器：每个航路点融合三个标量场通道，得到比任何单一场更精确（CRLB更低）的漂移修正。

运行一次scenarios/combined-altpnt.toml的摘要为：combined-altpnt | 自由惯性漂移70659 m | 重力464 m磁力782 m地形368 m | 融合365 m

输入#

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

  • 必填字段：start_lat_deg、start_lon_deg、step_lat_deg、step_lon_deg、waypoints、drift_lat_deg、drift_lon_deg、search_half_deg、search_step_deg、nmax、gravity_sigma_mgal、igrf_year、magnetic_sigma_nt、dem_seed、terrain_sigma_m
  • 可选字段：coeffs、mascons、magnetic_mascons、igrf_alt_km、refine_stages、refine_factor、noise_seed、magnetic_grid

示例scenarios/combined-altpnt.toml设置了以下内容等：

字段 取值 单位
coeffs[0].cbar 6.0000e-6 未说明
coeffs[0].m 0 未说明
coeffs[0].n 2 未说明
coeffs[0].sbar 0 未说明
coeffs[1].cbar 3.0000e-6 未说明
coeffs[1].m 1 未说明
coeffs[1].n 3 未说明
coeffs[1].sbar 2.0000e-6 未说明
dem_seed 1 未说明
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

运行#

kshana scenarios/combined-altpnt.toml

给出什么#

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

结果 取值 单位
combined_m 364.881333 m
evidence.id_rule 矩阵行的稳定标识（ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier MODELLED 文本
free_inertial_drift_m 70658.643788 m
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
引擎为scenarios/combined-altpnt.toml（类型combined-altpnt）生成的图表

证据#

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

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

  • MODELLED重力地图匹配、地形参考（TERCOM/SITAN）、磁异常。参考基准（InternalConsistency）：IGRF-14系数；第一性原理的匹配滤波器CRLB。真实场重力基准测试的场经过外部核对（行“Gravity-anomaly synthesis from a spherical-harmonic model”），但其导航结果没有外部参考基准
  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED

局限#

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

  • 替代/互补PNT为MODELLED，而不是经独立验证：它对照自身的闭式或解析恒等式进行检查，能发现转录错误和系数错误，但不是外部参考基准（oracle）。（验证矩阵（docs/MODELLED-RATIONALE.md））
  • 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#