Strojový překlad, nekontrolovaný rodilým mluvčím. Referenční je anglická verze.

Stránky druhů scénářůUpravit na GitHubuZdroj: docs/kinds/by-kind/lunar-differential-pnt.md

lunar-differential-pnt (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á#

Modelovaný lunární DIFERENCIÁLNÍ PNT (analogie lunárního DGNSS/SBAS): referenční stanice třídy NovaMoon na ZNÁMÉM selenografickém místě počítá diferenciální korekce jednotlivých družic z ILLUSTRATIVE konstelace třídy Moonlight/LCNS z veřejných zdrojů (NovaMoon uváděn jen jako TŘÍDA systému, bez spojení s ESA) a uživatel posunutý o baseline_km je aplikuje, takže SPOLEČNÉ orbitální a hodinové chyby se vyruší. Hodinový člen se vyruší PŘESNĚ (algebraická identita); u orbitálního členu zůstane jen projekce rozdílu směrů přímé viditelnosti, která → 0 pro základnu → 0 (podlaha prostorové dekorelace) a roste ≈ lineárně se základnou. Uvádí 3D chybu polohy uživatele S korekcemi a BEZ nich, faktor snížení, křivku chyby v závislosti na základně a ochrannou úroveň uživatele, která POUŽÍVÁ ZNOVU aparát SBAS DO-229E (crate::sbas) s diferenciálním reziduálním σ. MODELLED — přesná identita zrušení + dekorelační model prvního řádu; neověřeno na reálných datech; bez TRL/heritage/podpory agentury. Deterministický, je-li seedovaný.

Jeden běh scenarios/lunar-differential-pnt.toml se shrne takto: lunar-differential-pnt | 8 družic (ilustrativní třídy LCNS, bez spojení) | základna 50 km | chyba uživatele 24,46 m → 0,0077 m (snížení 3186×) | HPL 23,1 m (σ_resid 5,0 m) | MODELLED

Vstupy#

Ze schématu (kshana kinds --json):

  • Povinná pole: žádná
  • Volitelná pole: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ref_lat_deg, ref_lon_deg, baseline_km, orbit_err_m, clock_err_m, noise_m, seed, t_s, residual_sigma_m, p_hmi, survey_sigma_m, latency_s, quantization_bits

Příklad scenarios/lunar-differential-pnt.toml mimo jiné nastavuje:

Pole Hodnota Jednotka
argp_deg 90 deg
baseline_km 50 km
clock_err_m 30 m
eccentricity 0.6 neuvedeno
inc_deg 57.7 deg
kind lunar-differential-pnt text
latency_s 10 s
n_sats 8 počet
noise_m 0 m
orbit_err_m 100 m
p_hmi 1.0000e-4 neuvedeno
quantization_bits 8 bit

Spusťte jej#

kshana scenarios/lunar-differential-pnt.toml

Co poskytuje#

Skalární výsledky tohoto běhu s jednotkami, které engine uvádí:

Výsledek Hodnota Jednotka
baseline_km 50 km
clock_err_ns 100.069229 ns
correction_link.ageing_clock_class rafs text
correction_link.ageing_clock_time_error_s 3.1623e-11 s
correction_link.ageing_orbit_rate_m_per_s 0.006035 m/s
correction_link.latency_clock_position_sigma_m 0.011305 m
correction_link.latency_clock_range_sigma_m 0.00948 m
correction_link.latency_orbit_position_sigma_m 0.093596 m
correction_link.latency_orbit_range_sigma_m 0.060348 m
correction_link.latency_position_sigma_m 0.094276 m
Graf, který engine zapisuje pro scenarios/lunar-differential-pnt.toml, druh lunar-differential-pnt

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):

  • 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
  • MODELLED Diferenciální referenční stanice třídy NovaMoon: zrušení společného módu + reziduál rostoucí se základnou + ochranné úrovně DGNSS. Orákulum (InternalConsistency): Identita diferenciálního zrušení chyb + opětovné použití aparátu PL SBAS DO-229E; jednoduchý rozdíl + řešení WLS je navíc křížově ověřeno proti lsq()/matinv() z RTKLIB (Takasu, BSD-2-Clause, kompilované C) — nezávislý kód řešiče, ale stejná algebra rozdílu LOS prvního řádu, takže stále InternalConsistency
  • MODELLED Tři členy, které diferenciální korekce nabere mezi epochou, ve které je vypočtena, a epochou, ve které je použita, každý dříve ponechaný jako nemodelovaná rezerva:. Orákulum (InternalConsistency): Identity v uzavřeném tvaru a vnitřní konzistence: rozptyl rovnoměrného kvantizéru step²/12, přesné šíření kovariance (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ splývající na σ·PDOP pro stejné σ, přenos 1:1 členu zaměření jako důsledek û_user ≈ û_ref a kvadraturní uzavření vypínání. Křížová kontrola PDOP proti orbit::dop sdílí normální matici [−û, 1], takže jde o kontrolu konzistence a je tak označena, nikoli jako nezá

Omezení#

Co zpráva samotného běhu uvádí jako nemodelované nebo neověřené:

  • MODELLED — přesná identita zrušení + dekorelační model prvního řádu; neověřeno na reálných datech; bez TRL/heritage/podpory agentury. (katalog druhů (kshana kinds --json))
  • ČESTNOST: MODELLED. Zrušení společného módu je PŘESNÁ algebraická identita; reziduál prostorové dekorelace je geometrický model PRVNÍHO ŘÁDU (projekce rozdílu LOS vložené orbitální chyby), nikoli model dekorelace nafitovaný na reálném lunárním sledování. Ochranná úroveň uživatele POUŽÍVÁ ZNOVU aparát ochranných úrovní SBAS DO-229E (crate::sbas) s diferenciálním reziduálním sigma jako chybou jednotlivé družice (komentář v souboru scénáře, řádky 23 až 28)
  • ── KOREKČNÍ SPOJ ────────────────────────────────────────────────────────────── Výše uvedená identita předpokládá DOKONALOU korekci: vypočtenou stanicí, která přesně ví, kde stojí, doručenou okamžitě, s nekonečným rozlišením. Nic z toho neplatí a tři níže uvedené vstupy modelují, co každé z nich stojí. Vstupují POUZE do bloku correction_link dokumentu výsledku -- když jsou všechny tři na hodnotách napsaných h (komentář v souboru scénáře, řádky 57 až 62)
    1. CHYBA ZAMĚŘENÍ. Stanice tvoří korekci vůči souřadnici, o které se DOMNÍVÁ, že platí. Chyba v ní se přenáší na každou vysílanou korekci a k uživateli se dostane jako -delta . u_ref -- což neobsahuje žádnou geometrii uživatele, takže na rozdíl od orbitálního členu ani nemizí při nulové základně, ani s ní neroste, a přenáší se zhruba jedna ku jedné do polohy uživatele. Výchozí hodnota 0,30 m je vlastní lunární reference balíku (komentář v souboru scénáře, řádky 64 až 70)
    1. STÁRNUTÍ KOREKCE. Korekce vypočtená v t a použitá v t+tau je zastaralá dvojím způsobem. Orbita: družice se POSUNULA, takže zmrazený vektor orbitální chyby se nyní promítá na pootočenou přímou viditelnost; rotace pochází z propagátoru tohoto balíku, takže se nikde nepředpokládá rychlost orbitální chyby. Hodiny: hodiny družice se vychýlily o c*sigma_y(tau)*tau pro mocninný zákon plného RAFS v crate::clock_specs, kalibrovaný (komentář v souboru scénáře, řádky 73 až 79)
  • 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))
  • Lunární diferenciální PNT je MODELLED, nikoli ověřené: je kontrolováno proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))
  • Lunární diferenciální PNT — rozpočet reziduí korekčního spoje je MODELLED, nikoli ověřený: je kontrolován proti vlastní identitě v uzavřeném tvaru / analytické — zachytí chyby přepisu a koeficientů, ale není vnějším orákulem. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#