lunar-joint-od-clock (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ý společný vícetechnikový odhadovač dávky pro lunární určování oběžné dráhy a hodin na SIMULOVANÉ síti: snímkový fit Gauss-Newton, který slučuje geodetická zpoždění VLBI na zemských základnách, lunárně místní vzdálenosti stanice↔družice a vzdálenosti mezi družicemi, aby společně obnovil 3D polohu lunární povrchové stanice, polohy malé konstelace a posun hodin každého prvku z vložené pravdy. Hlavní čestný výsledek — VLBI činí úplnou 3D polohu stanice pozorovatelnou tam, kde samotné lunárně místní měření vzdálenosti ponechává slabě pozorovaný směr — se uvádí jako kontrast chyby stanice s VLBI a bez VLBI. MODELLED simulovaná obnova uzavřenou smyčkou (pravda sdílí model pozorování), deterministické (seedované), NEOVĚŘENO na reálných datech; bez propagace silového modelu uvnitř řešiče; bez TRL/heritage/podpory agentury.

Jeden běh scenarios/lunar-joint-od-clock.toml se shrne takto: lunar-joint-od-clock | 3 družice, 6 pozemních stanic | 3D chyba stanice s VLBI 3,54 m oproti samotným vzdálenostem 2184,02 m (617,5× ostřejší) | RMS polohy družic 2,20 m | chyba hodin stanice 2.87e-10 s | obs 40/16 parametrů

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: n_sat, n_earth, seed, sigma_vlbi_s, sigma_range_m, sigma_isl_m, station_lat_deg, station_lon_deg, station_alt_m, orbit_radius_km, sigma_clock_s, orbit_ecc, orbit_inc_deg, orbit_argp_deg, orbit_planes, epoch_year, epoch_month, epoch_day

Příklad scenarios/lunar-joint-od-clock.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/lunar-joint-od-clock.toml

Co poskytuje#

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

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
• VALIDATED Dávková fúze VLBI + lunárně místní vzdálenosti + vzdálenosti mezi družicemi pro obnovu poloh a hodin stanice a konstelace. Orákulum (ExternalDataset): P2: numpy 2.4.6 (numpy.linalg.lstsq s LAPACK gelsd, numpy.linalg.inv; BSD-3) znovu vypočte každý krok Gauss-Newton, konvergované řešení vážených nejmenších čtverců, formální sigma a chybu stanice na uložených Jacobiánech a pozorováních šesti simulovaných sítí, předregistrováno (5094bc31) na relativní max(1e-8, 100 kappa eps). První běh selhal na síti bez VLBI (6.1e-7 proti 1e-8, normální rovnice v
• VALIDATED Fisherova informace M=HᵀWH, dolní mez Cramér–Rao, hodnost pozorovatelnosti / nulový prostor defektu datumu (pseudoinverze Moore–Penrose) a D/A/E/T-optimální návrh experimentu. Orákulum (ExternalDataset): NumPy 2.4.1 (numpy.linalg.eigh / .inv; BSD-3-Clause, na bázi LAPACK) — nezávislá autorita třetí strany počítající tytéž jednoznačně definované vlastní hodnoty, kovarianci σ²(XᵀX)⁻¹ Cramér–Rao a faktory DOP GNSS jiným algoritmem (LAPACK rozděl a panuj + LU) než cyklické Jacobiho kroky a spektrální pseudoinverze v Kshana; shoda na 1e-9. Tatáž třída externích knihoven již ověřuje D
• MODELLED Pozorovatelnost společného lunárního řešení pomocí Fisherovy informace: bez zemských základen leží datum absolutního rámce v nulovém prostoru HᵀWH (poloha stanice neu. Orákulum (InternalConsistency): Analytická struktura defektu datumu — nepozorovatelný mód absolutního rámce leží v nulovém prostoru Fisherovy informace (uzavřený tvar), práh hodnosti odpovídá publikovanému zdůvodnění návrhu se 3 stanicemi a odhadovač dosahuje výsledné CRLB v Monte Carlo. Samotná lunární geometrie je reprezentativní síť (nikoli odlétaná efemerida), takže řádek zůstává MODELLED; podkladový engine FIM/CRLB je kontrolován proti

Omezení#

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

• MODELLED simulovaná obnova uzavřenou smyčkou (pravda sdílí model pozorování), deterministické (seedované), NEOVĚŘENO na reálných datech; bez propagace silového modelu uvnitř řešiče; bez TRL/heritage/podpory agentury. (katalog druhů (kshana kinds --json))
• Čestnost: MODELLED simulovaná obnova uzavřenou smyčkou. Vložená pravda se převede na syntetické pozorovatelné veličiny STEJNÝM modelem geometrie, který řešič invertuje, přidá se seedovaný gaussovský šum a odhadovač obnoví vloženou pravdu v rámci šumu. Orákulum je vnitřní konzistence (obnova pravdy + realističnost kovariance NEES), NIKOLI validace na reálných datech. Uvnitř řešiče není žádná propagace silového modelu — druž (komentář v souboru scénáře, řádky 24 až 29)
• 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))
• Pozorovatelnost absolutní lunární stanice (defekt datumu) je MODELLED, nikoli ověřená: je kontrolována 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é#

• Stránka rodiny: Lunární a cislunární
• Všechny druhy: KINDS.md