lunar-integrity (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

ARAIM-beskyttelsesniveau ved Månens sydpol mod et repræsentativt LunaNet-relæsæt. sigma_ure_m udstiller signal-in-space-afstandsnøjagtigheden (beskyttelsesniveauerne skalerer lineært med den, så et sweep over den besvarer, hvilken afstandsnøjagtighed en alarmgrænse kræver). Standard er det historiske sydpolstilfælde af LNIS-klassen.

Én kørsel af scenarios/lunanet-araim.toml opsummeres som: lunar-integrity | south pole | 0/24 epochs available (0,0%) | AL 50 m | σ_URE 30 m | HPL 263–452 m

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: step_s, duration_s, alert_limit_m, p_hmi, sigma_ure_m

Eksemplet scenarios/lunanet-araim.toml sætter blandt andet:

Kør den#

kshana scenarios/lunanet-araim.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Evidens#

Ingen matrixrække nævner denne type ved navn; mærkaten på dens resultat er motorens egen, ovenfor.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• VALIDATED ARAIM-løsningsseparation med flere hypoteser efter ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels og add_v42_protecti. Uafhængig reference (ExternalDataset): Tre uafhængige værktøjer, præregistreret (0123cee1), før noget fixture- eller referenceoutput fandtes, med tolerancer fastsat dengang. (1) ARAIM: Stanford MAAST for ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, kørt som et separat program under GNU Octave 8,4 med en kompatibilitets-shim for unique() på driversiden (oplyst, ingen algoritmeændring), ved ADD TOL_PL på 0,05 m: Rust gengiver ADD-referenceimplementeringen på
• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• VALIDATED Det lunare beskyttelsesniveaus trin fra geometri til kovarians — (GᵀG)⁻¹ over hele synsfeltet og hver enkeltfejls-delgeometri, projiceret på den lokale lodlinje a. Uafhængig reference (ExternalDataset): To etablerede tredjepartsimplementeringer sammensat, begge kørt offline, med fixturen gendannet fra ende til anden og kontrolleret byte-identisk. RTKLIB 2.4.2-p13 (T. Takasu, BSD-2-Clause), commit 71db0ff, src/rtkcmn.c kompileret fra C-kilde med -ULAPACK: lsq() → matinv() → ludcmp()/lubksb() inverterer normalmatrixen ved Crout-LU med partiel pivotering, en algoritme uden forbindelse til kshanas håndskrevne Gauss-Jordan-invert4()

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md