lunar-vlbi (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á geodetická pozorovatelná zpoždění lunárního VLBI: zemská základna (dvě pozemní stanice, GCRS) pozoruje jednosměrný signál z majáku třídy NovaMoon na lunárním povrchu. Vydává zpoždění jako rozdíl dvou vzdáleností v blízkém poli, jeho rychlost a korekci zakřivení vlnoplochy v blízkém poli přes přelet — křížově ověřeno proti pozorovatelné Δ-DOR s rovinnou vlnou ve stejné kódové základně v limitě dalekého pole, s parciálními derivacemi ověřenými konečnou diferencí. Výchozí analytická cesta je MODELLED a nese výhrady ke konzistenci rámců, k pohybu pólu xp=yp=0 a k rovinné vlně oproti blízkému poli. Nastavení planetary_kernel_path, earth_orientation_kernel_path a moon_orientation_kernel_path spustí místo toho cestu přes jádra (DE440, MOON_PA_DE440, ITRF93; konvergované barycentrické doby letu světla; přidává parciální derivace majáku a stanice v dané epoše), jejíž newtonovské zpoždění a parciální derivace se shodují s konvergovanými dobami letu světla NAIF SPICE na 0,06 ps a 7.4e-9. Neověřeno proti skutečným datům VLBI.

Jeden běh scenarios/lunar-vlbi.toml se shrne takto: lunar-vlbi | základna 10727 km | vzdálenost majáku 402900 km | zpoždění -10049.126 µs (rychlost 1.312e-6 s/s) | blízké pole 58,9 µs | 13 vzorků za 6,0 h

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

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

Spusťte jej#

kshana scenarios/lunar-vlbi.toml

Co poskytuje#

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

Důkazy#

MODELLED 3 · VALIDATED 3: řádky verifikační matice, které tento druh uvádějí.

• MODELLED Zpoždění VLBI v blízkém poli pro zemskou základnu pozorující lunární maják + parciální derivace
• VALIDATED Zpoždění VLBI v blízkém poli pro zemskou základnu pozorující lunární maják, s parciálními derivacemi majáku a stanice, na cestě přes jádra (lunar_vlbi::KernelGeometry): DE440 Země a Měsíc, hlavní osy Měsíce DE440, orientace Země ITRF93 s UT1 a Testy: naif_kernel_reader_check.rs.
• VALIDATED Parciální derivace zpoždění akumulované přes plán základen × epoch do Fisherovy informační matice, invertované na kovarianci souřadnic stanic a sigma stanice pro každou souřadnici, čímž se nahrazuje předpokládaná izotropní vazba ekvipartice z
• MODELLED Třetí volba datumu, all-stations-fixed, která drží každou pozemní stanici a odhaduje samotné souřadnice MAJÁKU vázané na těleso Měsíce — konfigurace, pro kterou se nejistota lunárního povrchového bodu skutečně uvádí, protože souřadnice pozemních stanic
• a 2 další v matici.

Řá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 Zpoždění VLBI v blízkém poli pro zemskou základnu pozorující lunární maják + parciální derivace. Orákulum (ReferenceImpl): Rovinná vlna delta_dor (ve stejné kódové základně) v limitě dalekého pole; parciální derivace konečnou diferencí. 0,30 externí srovnání, zjištění (zůstává MODELLED): proti konvergovaným dobám letu světla ANISE 0,10 přes DE440 (75 zpoždění dne 2024-01-01 přes tři základny DSN, vygenerovaných pomocí xval/anise-lunar-od bez kódu Kshana) není žádné zpoždění v rámci tolerance 1 ps. Největší rozdíl je 24 µs, z analytického středu Měsíce (asi 200 km od DE

Omezení#

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

• Výchozí analytická cesta je MODELLED a nese výhrady ke konzistenci rámců, k pohybu pólu xp=yp=0 a k rovinné vlně oproti blízkému poli. (katalog druhů (kshana kinds --json))
• Čestnost: MODELLED, NEOVĚŘENO proti skutečným datům VLBI. Pohyb pólu je vypuštěn (xp = yp = 0), takže inerciální polohy stanic nesou chybu rámce několika metrů; maják míchá řadu Měsíce střední rovník data s posunem vázaným na těleso v ICRF (jd_tdb ~ jd_tt), nesoulad konzistence rámců pod věrností modelu; žádná iterace doby letu světla, média ani aberace nad rámec diferencovaného Shapira. Žádné TRL, letové heritage ani podpora agentury (komentář v souboru scénáře, řádky 17 až 21)
• 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í geodetické VLBI je MODELLED, nikoli ověřené: je kontrolováno proti samostatné implementaci ve stejné kódové základně — nezávislé na testované jednotce, ale není externě autoritativní. (verifikační matice (docs/MODELLED-RATIONALE.md))

Viz také#

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