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

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

oem-interop(场景类型)

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

作用#

CCSDS OEM互操作桥:导入由外部飞行动力学工具生成的轨道星历消息(GMAT/Orekit/STK均可输出OEM),报告其分段/对象/坐标系/历元跨度,并附速度一致性检查;没有输入时,则对生成的参考轨道做往返处理,并报告导入与导出之间的保真度。MODELLED的结构/物理导入检查,并非对源数据的轨道精度核对验证。

scenarios/oem-interop.toml的一次运行汇总如下:oem-interop:往返处理了2个分段、12个状态;最大往返误差4.88e-7 km / 4.61e-10 km/s(MODELLED互操作)

输入#

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

  • 必填字段:无
  • 可选字段:oem_text

示例scenarios/oem-interop.toml设置了以下内容等:

字段 取值 单位
kind oem-interop 文本

运行#

kshana scenarios/oem-interop.toml

给出什么#

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

结果 取值 单位
evidence.id_rule 矩阵行的稳定标识(ID 文本
evidence.matrix docs/VERIFICATION-MATRIX.md 文本
evidence.tier MODELLED 文本
n_segments 2 计数
n_states_total 12 计数
originator KSHANA 文本
round_trip_max_pos_error_km 4.8822e-7 km
round_trip_max_vel_error_km_s 4.6115e-10 km/s
source round-trip 文本

结果标签(引擎给出):MODELLED:CCSDS OEM导入/往返互操作桥(GMAT/Orekit/STK均可输出OEM);一项结构加物理的导入检查,并非对源数据的轨道精度核对验证

引擎为scenarios/oem-interop.toml(类型oem-interop)绘制的图表

证据#

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

  • VALIDATED CCSDS 502.0 OEM导入器(parse_oem),可容忍COMMENT行 /额外的元数据关键字 /协方差块,且是写出器的精确逆过程;往返处理加外部文件导入,并附速度一致性检查。测试:ccsds_oem_interop_reference.rs。

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

  • MODELLED确定性、场景哈希、SBOM加跨平台golden门限。参考基准(ExternalDataset):SBOM与官方CycloneDX 1.5 JSON Schema(加有效的SPDX标识符)一致,这是已发布的外部标准,整个依赖图上零验证错误;FoM确定性与逐字节可复现性部分仍是固定的自洽性检查,因此该行仍为MODELLED
  • VALIDATED CCSDS 502.0 OEM导入器(parse_oem),可容忍COMMENT行 /额外的元数据关键字 /协方差块,且是写出器的精确逆过程;往返处理加 . 参考基准(ExternalDataset):独立的第三方CCSDS-502解析器oem 0.4.5(MIT,https://pypi.org/project/oem/),这是一个独立的代码库,能逐字节一致地解码kshana输出的EME2000/UTC OEM(2个测试数据文件中的24个状态,位置/速度 Δ = 0),其严格读取器也确认了元数据记号;kshana的解析器在一份随仓库提供的外部OEM上同样与之一致。两项如实的互操作发现(oem库拒绝kshana的逐卫星mu

局限#

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

  • MODELLED:CCSDS OEM导入/往返互操作桥(GMAT/Orekit/STK均可输出OEM);一项结构加物理的导入检查,并非对源数据的轨道精度核对验证(结果label)
  • MODELLED的结构/物理导入检查,并非对源数据的轨道精度核对验证。(类型目录(kshana kinds --json))
  • 诚实范围:MODELLED的结构加物理导入检查,并非对源星历的轨道精度核对验证。运行:kshana scenarios/oem-interop.toml(场景文件注释,第11至13行)
  • 可复现性与软件保障为MODELLED,而不是经独立验证:其中一项子声明经过外部核对,但整项能力由模型计算的部分组合而成,因此该能力仍属于由模型计算得出一级。(验证矩阵(docs/MODELLED-RATIONALE.md))

另请参阅#