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);一项结构加物理的导入检查,并非对源数据的轨道精度核对验证
证据#
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解析器
oem0.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))
另请参阅#
- 类别页面:任务分析、链路与空间运行
- 所有类型:KINDS.md