Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/lunar-integrity.md

lunar-integrity (scenariotyp)

Scenariotyp i motor v0.40.0, familj Måne och cislunart. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

Överflygning med skyddsnivå för ARAIM vid lunar sydpol mot en representativ uppsättning LunaNet-reläer. sigma_ure_m visar noggrannheten i avståndsmätningen för signal i rymden (skyddsnivåerna skalar linjärt med den, så en svepning över den svarar på vilken avståndsnoggrannhet en larmgräns kräver). Standardvärdet är det historiska sydpolsfallet av LNIS-klass.

En körning av scenarios/lunanet-araim.toml sammanfattas som: lunar-integrity | sydpolen | 0/24 epoker tillgängliga (0,0%) | AL 50 m | σ_URE 30 m | HPL 263–452 m

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: inga
  • Valfria fält: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

Exemplet scenarios/lunanet-araim.toml anger bland annat:

Fält Värde Enhet
alert_limit_m 50 m
duration_s 86400 s
kind lunar-integrity text
p_hmi 1.0000e-4 inte angivet
step_s 3600 s

Kör den#

kshana scenarios/lunanet-araim.toml

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
alert_limit_m 50 m
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
max_hpl_m 452.18433 m
min_hpl_m 263.02565 m
samples_available 0 antal
samples_total 24 antal
sigma_ure_m 30 m
Diagrammet som motorn skriver för scenarios/lunanet-araim.toml, typ lunar-integrity

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • VALIDATED ARAIM-lösning med multipla hypoteser och lösningsseparation enligt ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels och add_v42_protecti. Oracle (ExternalDataset): Tre oberoende verktyg, förhandsregistrerade (0123cee1) innan någon fixtur eller referensutdata fanns, toleranser fastställda då. (1) ARAIM: Stanford MAAST för ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, körd som separat program under GNU Octave 8,4 med ett kompatibilitetsskal för unique() på drivrutinssidan (redovisat, ingen algoritmändring), vid ADD TOL_PL på 0,05 m: Rust återskapar ADD-referensimplementationen på
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
  • VALIDATED Steget från geometri till kovarians i den lunara skyddsnivån — (GᵀG)⁻¹ över hela geometrin i sikte och varje delgeometri med ett enskilt fel, projicerad på den lokala vertikalen a. Oberoende referens (ExternalDataset): Två etablerade implementationer från tredje part sammansatta, båda körda offline, med fixturen återgenererad från början till slut och verifierad byte-identisk. RTKLIB 2.4.2-p13 (T. Takasu, BSD-2-Clause), commit 71db0ff, src/rtkcmn.c kompilerad från C-källkod med -ULAPACK: lsq() → matinv() → ludcmp()/lubksb() inverterar normalmatrisen med Crout LU med partiell pivotering, en algoritm som inte har med kshanas handskrivna Gauss-Jordan-invertering invert4() att göra

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#