lunar-integrity (druh scénáře)
Druh scénáře enginu v0.40.0, rodina Lunární a cislunární. Pouze poradní charakter: výstup analýzy z výzkumného a inženýrského nástroje; nejde o typově schválené navigační zařízení ani o službu z oblasti bezpečnosti života. Každé označení zde pochází z enginu nebo z verifikační matice; druh je MODELLED, pokud matice neuvádí jinak (jak se označení získává: oddíl Evidence v README).
Co dělá#
Průchod ochrannou úrovní ARAIM u jižního pólu Měsíce proti reprezentativní sadě reléí LunaNet. sigma_ure_m zpřístupňuje přesnost měření vzdálenosti signálem v prostoru (ochranné úrovně se s ní mění lineárně, takže její průchod odpovídá na otázku, jakou přesnost měření vzdálenosti vyžaduje mezní hodnota výstrahy). Výchozí je historický případ jižního pólu třídy LNIS.
Jeden běh scenarios/lunanet-araim.toml se shrne takto: lunar-integrity | jižní pól | 0/24 epoch dostupných (0,0%) | AL 50 m | σ_URE 30 m | HPL 263–452 m
Vstupy#
Ze schématu (kshana kinds --json):
- Povinná pole: žádná
- Volitelná pole:
step_s,duration_s,alert_limit_m,p_hmi,sigma_ure_m
Příklad scenarios/lunanet-araim.toml mimo jiné nastavuje:
| Pole | Hodnota | Jednotka |
|---|---|---|
alert_limit_m |
50 | m |
duration_s |
86400 | s |
kind |
lunar-integrity | text |
p_hmi |
1.0000e-4 | neuvedeno |
step_s |
3600 | s |
Spusťte jej#
kshana scenarios/lunanet-araim.tomlCo poskytuje#
Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:
| Výsledek | Hodnota | Jednotka |
|---|---|---|
alert_limit_m |
50 | m |
evidence.id_rule |
stabilní id řádku matice (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 | počet |
samples_total |
24 | počet |
sigma_ure_m |
30 | m |
%3C/text%3E%3Cline x1=%2270.0%22 y1=%22283.1%22 x2=%22800.0%22 y2=%22283.1%22 stroke=%22%23FF6A5C%22 stroke-dasharray=%224 3%22/%3E%3Cpolyline fill=%22none%22 stroke=%22%233DDCF7%22 points=%2270.0,159.6 101.7,161.7 133.5,164.2 165.2,166.5 197.0,168.2 228.7,168.4 260.4,166.5 292.2,161.7 323.9,153.7 355.7,142.4 387.4,127.4 419.1,107.9 450.9,87.7 482.6,72.9 514.3,66.5 546.1,68.8 577.8,77.7 609.6,90.3 641.3,103.4 673.0,114.1 704.8,118.5 736.5,116.8 768.3,111.8 800.0,105.5%22/%3E%3Cline x1=%2270%22 y1=%2230%22 x2=%2270%22 y2=%22310%22 stroke=%22%23343F57%22/%3E%3Cline x1=%2270%22 y1=%22310%22 x2=%22800%22 y2=%22310%22 stroke=%22%23343F57%22/%3E%3Ctext x=%22812%22 y=%22354%22 text-anchor=%22end%22 fill=%22%238190B0%22 font-size=%2210%22 font-family=%22Geist, ui-sans-serif, system-ui, sans-serif%22%3EKshana v0.40.0 · scenario a543389b33bd · kshana.dev%3C/text%3E%3Cmetadata id=%22kshana-evidence%22 data-tier=%22MODELLED%22 data-rows=%22VM-3cfc418d;VM-cf3cdcd3;VM-dc6ee511%22%3EVM-3cfc418d VALIDATED Integrity (RAIM/ARAIM/SBAS) %7C VM-cf3cdcd3 MODELLED Reproducibility %26amp; software assurance %7C VM-dc6ee511 VALIDATED Lunar ARAIM protection-level kernel%3C/metadata%3E%3Crect x=%220%22 y=%22360%22 width=%22820%22 height=%2216%22 fill=%22%23060A14%22/%3E%3Ctext x=%228%22 y=%22371%22 fill=%22%238190B0%22 font-size=%2210%22 font-family=%22Geist, ui-sans-serif, system-ui, sans-serif%22%3EEvidence: MODELLED · 3 ledger rows VM-3cfc418d VM-cf3cdcd3 VM-dc6ee511%3C/text%3E%3C/svg%3E)
Důkazy#
Žádný řádek matice tento druh nejmenuje; označení jeho výsledku je vlastní označení enginu uvedené výše.
Řádky, které běh sám procvičil, s orákulem, které matice každému dává (veřejné zdroje jsou tam uvedeny):
- VALIDATED Řešení ARAIM s oddělováním řešení pro více hypotéz podle dokumentu ARAIM Airborne Design Document (ADD) v4.2 (araim_reference::add_v42_protection_levels a add_v42_protecti. Orákulum (ExternalDataset): Tři nezávislé nástroje, předregistrované (0123cee1) dříve, než existoval jakýkoli fixture nebo výstup orákula, tolerance stanoveny tehdy. (1) ARAIM: Stanford MAAST pro ARAIM 2 (commit ab70e2a3, BSD-3) mhss_raim_baseline_v5.m, spuštěné jako samostatný program pod GNU Octave 8,4 s kompatibilní vrstvou unique() na straně ovladače (zveřejněno, bez změny algoritmu), při ADD TOL_PL 0,05 m: kód v Rustu reprodukuje referenční implementaci ADD na
- MODELLED Deterministické, hashované po scénářích, brány SBOM a zlatých výsledků mezi platformami. Orákulum (ExternalDataset): shoda SBOM s oficiálním schématem JSON CycloneDX 1,5 (+ platné identifikátory SPDX) — externí publikovaný standard, nula chyb validace přes celý graf závislostí; část o determinismu FoM / bajtové reprodukovatelnosti zůstává zafixovanou kontrolou vlastní konzistence, takže řádek zůstává MODELLED
- VALIDATED Krok od geometrie ke kovarianci u lunární ochranné úrovně — (GᵀG)⁻¹ přes geometrii všech viditelných družic a každou dílčí geometrii s jednou poruchou, promítnutý na místní svislici a. Orákulum (ExternalDataset): Dvě zavedené implementace třetích stran složené dohromady, obě spuštěné offline, s fixturou znovu vygenerovanou od začátku do konce a ověřenou jako bajtově shodná. RTKLIB 2.4.2-p13 (T. Takasu, BSD-2-Clause), commit 71db0ff, src/rtkcmn.c kompilovaný ze zdrojového kódu C s -ULAPACK: lsq() → matinv() → ludcmp()/lubksb() invertuje normální matici Croutovým LU rozkladem s částečným pivotováním, algoritmem nesouvisejícím s ručně psaným Gaussovým–Jordanovým invert4() v kshana
Omezení#
Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:
- Reprodukovatelnost a zajištění softwaru je MODELLED, nikoli ověřeno nezávislou referencí: dílčí tvrzení je externě zkontrolováno, ale celá schopnost skládá modelované části, takže schopnost zůstává vypočtená z modelu. (verifikační matice (docs/MODELLED-RATIONALE.md))
Viz také#
- Stránka rodiny: Lunární a cislunární
- Všechny druhy: KINDS.md