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

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

araim-reference-check（场景类型）

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

作用#

已发布的ARAIM认证参考向量：引擎的ARAIM水平与垂直保护级，对照WG-C ARAIM技术子组自己的数值算例运行，容差（TOL_PL = 5e-2 m）即这些文档自身所述的容差。有两个向量作为夹具提交，各自附有获取URL、获取日期、源文件SHA-256和页码：《Reference Airborne Algorithm Description Document》v3.1（2019年）附录D（自洽，也是验收向量），以及《Milestone 3 Report》（2016年）附件A第A.IX节，即研究文献所引用的陈述。每个已发布的输入（10颗卫星、2个星座的几何矩阵，C_int和C_acc方差对角线，b_nom、P_sat、P_const以及LPV-200常数集）和每个已发布的输出（VPL、HPL、EMT、sigma_v_acc、K_fa_3，以及两种星座故障模式的sigma_3、sigma_ss_3和b_3）都与引擎自己的数值及二者的绝对差一并报告。保护级方程在此并不重新求解：参考算法的模式列表交给引擎现有的raim::araim_protection_level / araim_integrity_risk，因此被测的二分法和高斯尾部代数运算是引擎自己的；只有几何、子解、检测门限和已发布的预算划分是为它构建的。已由外部核对，对照2019年向量：VPL 18.2926 m，已发布值为18.3 m；HPL 13.4063 m，已发布值为13.45 m；EMT 7.2997 m，已发布值为7.2998 m；sigma_v_acc 1.3694 m，已发布值为1.3694 m；全部六个已发布的中间量均在最后一位打印小数的半个单位之内。2016年向量带有两处内部缺陷，报告予以说明而不是掩盖：G的第3行存在符号笔误，以及K_fa_3按57个故障模式计算，而文档声明N_fault_max = 1（12个模式）；因此其几何中间量完全复现，而其保护级作为实测差异报告，并被排除在验收数字之外；容差从不放宽以容纳它们。每个输出的数值字段都带有单位和来源类别，转录的数字被标注为published，因此绝不会被误认为是计算得出的。范围：仅实现了N_fault_max = 1（单卫星和单星座故障模式），先验要求同时出现多事件故障子集的情形被REFUSED，而不是被悄悄截断；参考算法中的故障检测、排除、卡方一致性检验和重复计数再分配步骤不在范围之内。这是对已发布参考算法算例的复现：它不是认证、适航工件或批准。

运行一次scenarios/araim-reference-check.toml的摘要为：araim-reference-check: 2个已发布的WG-C参考向量；在1个验收向量上，VPL/HPL最差吻合0.0437 m，对照参考自身的TOL_PL = 0.05 m

输入#

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

  • 必填字段：无
  • 可选字段：vector

示例scenarios/araim-reference-check.toml设置了以下内容等：

字段 取值 单位
kind araim-reference-check 文本

运行#

kshana scenarios/araim-reference-check.toml

给出什么#

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

结果 取值 单位
acceptance_met true 标志
acceptance_tolerance_m 0.05 m
acceptance_vectors 1 计数
evidence.id_rule 矩阵行的稳定标识（ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier MODELLED 文本
vectors_checked 2 计数
worst_acceptance_error_m 0.043709 m

结果标签（引擎给出的）：已由外部核对：引擎的ARAIM保护级，对照欧美C工作组ARAIM技术子组参考机载算法已发布的数值算例运行，容差（TOL_PL）即这些文档自身所述的容差。每个已发布的数字都附有其来源UR

引擎为scenarios/araim-reference-check.toml（类型araim-reference-check）生成的图表

证据#

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

  • VALIDATED多假设解分离保护级方程本身：在每个星座有一个时钟状态的东/北/天几何上，做全视场与逐故障模式的加权最小二乘，子解的sigma，解分离 测试：araim_reference_vectors.rs。

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

  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准（ExternalDataset）：SBOM与官方CycloneDX 1.5 JSON Schema（加有效的SPDX标识符）一致，这是已发布的外部标准，整个依赖图上零验证错误；FoM确定性与逐字节可复现性部分仍是固定的自洽性检查，因此该行仍为MODELLED
  • VALIDATED多假设解分离保护级方程本身：在东/北/天几何上，做全视场与逐故障模式的加权最小二乘。参考基准（ExternalDataset）：欧美C工作组ARAIM技术子组，《Reference Airborne Algorithm Description Document》v3.1（2019年6月20日），附录D数值算例，已发布的输入（10颗卫星、2个星座的几何矩阵，C_int/C_acc对角线，b_nom、P_sat、P_const，LPV-200常数）和已发布的输出（VPL 18.3 m、HPL 13.45 m、EMT 7.2998 m、σ_v_acc 1.3694 m、K_fa_3 5.1083，以及六个星座故障中间

局限#

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

  • 可复现性与软件保障为MODELLED，而不是经独立验证：其中一项子声明经过外部核对，但整项能力由模型计算的部分组合而成，因此该能力仍属于由模型计算得出一级。（验证矩阵（docs/MODELLED-RATIONALE.md））

另请参阅#