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

MODELLED studie oběžné dráhy a povrchu Měsíce jako navigační a geodetické infrastruktury, pět studií za jedním druhem vybíraným pomocí study: od-consistency (palubní určování oběžné dráhy z Earth-GNSS na NRHO nebo ELFO proti nezávislému pozemnímu radiometrickému určování oběžné dráhy, posuzované podle jejich vlastních kovariancí přes seedovaný Monte Carlo), carrier-phase (společná dvojitě diferencovaná fáze nosné povrchu a orbiteru a řešení celočíselných nejednoznačností pomocí LAMBDA), frame-coestimation (povrchová stanice a orbitery přidané k měření vzdálenosti z pozemních stanic pro sedmiparametrové datum lunárního rámce), space-tie (GNSS, VLBI a laserové měření vzdálenosti na jedné kosmické lodi, preciznost vazby rámce vůči chybě lokální vazby) a geodesy-sensitivity (Fisherova informace Loveových čísel Měsíce h2, k2, l2 a fyzické librace z laserového měření vzdálenosti, sledování orbiteru, povrchového gravimetru a povrchových hodin). Omezený model tří těles s uvedenými zjednodušeními; numerika je kontrolována nezávislými programy a nic se neporovnává s měřením lunární veličiny.

Jeden běh scenarios/lunar-infrastructure-space-tie.toml se shrne takto: lunar-infrastructure space-tie: 4 bodů průchodu na 1 obloucích; laser-vs-GNSS x sigma translace 1,0363 m při registrované lokální vazbě

Vstupy#

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

• Povinná pole: study
• Volitelná pole: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

Příklad scenarios/lunar-infrastructure-space-tie.toml mimo jiné nastavuje:

Spusťte jej#

kshana scenarios/lunar-infrastructure-space-tie.toml

6 přibalených scénářů používá tento druh; ostatní jsou v scenarios/.

Co poskytuje#

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

Popisek výsledku (od enginu): MODELLED — omezený model tří těles (hmotné body Země a Měsíce, bez Slunce, bez harmonických lunárního gravitačního pole) s uvedenými zjednodušeními a ILLUSTRATIVE vstupy označenými jejich veřejnými zdroji. Numerika je kontrolována nezávislými programy; nic se neporovnává s měřením lunár

bez grafu: příklad nezapisuje žádný graf

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 Určování oběžné dráhy na téměř přímkové halo dráze (nebo eliptické zmrazené dráze) ze dvou nezávislých typů dat: pseudovzdáleností Earth-GNSS přijímaných na palubě. Orákulum (ReferenceImpl): Nezávislý program scipy/numpy integruje stejné variační rovnice (práh O1). Nic se neporovnává s měřením lunární oběžné dráhy. Orákulum kontroluje numeriku uvedených vzorců, nikoli fyziku, takže řádek zůstává MODELLED. Omezený model tří těles: bez Slunce, bez lunárních harmonických, osa rotace Země podél normály dráhy, ILLUSTRATIVE vstupy přijímače a stanice.
• MODELLED Jednoduše diferencovaná fáze nosné a kód Earth-GNSS mezi přijímači na lunární povrchové stanici a orbiteru, s rozdílem hodin v každé epoše vyprofilovaným. Orákulum (ReferenceImpl): Nezávislé řešení týchž normálních rovnic v numpy z exportovaných řádků (Q3) a hrubým výčtem celých čísel (Q4). S ničím se neporovnává žádné měření fáze nosné GNSS ani lunární. MODELLED.
• MODELLED Fisherova informace sedmiparametrového datumu lunárního rámce z laserového měření vzdálenosti z pozemních stanic k pěti odražečům samotnému i s měřením vzdálenosti z orbiteru k povrchové stanici. Orákulum (ReferenceImpl): Nezávislá konečná diference dopředného modelu v numpy (F2). Nic se neporovnává se skutečnými řešeními lunárního rámce. Faktor je podmíněn předpokládanou známou dráhou a sigma vzdálenosti 1 m. MODELLED.
• MODELLED Cramerova–Raova preciznost mezitechnikových posunů translace, měřítka a rotace mezi rámci GNSS, VLBI a laserového měření vzdálenosti, když jedna kosmická loď nese všechny. Orákulum (ReferenceImpl): Nezávislý skládaný systém v numpy s neznámými polohami vyloučenými explicitními Schurovými doplňky (T3). S daty GRASP, Genesis ani jiné mise se neporovnává. MODELLED.

Omezení#

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

• MODELLED — omezený model tří těles (hmotné body Země a Měsíce, bez Slunce, bez harmonických lunárního gravitačního pole) s uvedenými zjednodušeními a ILLUSTRATIVE vstupy označenými jejich veřejnými zdroji. Numerika je kontrolována nezávislými programy; nic se neporovnává s měřením lunární veličiny a nic zde není tvrzením o žádné misi ani systému. Bez spojení s žádnou agenturou ani její podpory. Porad (výsledek label)
• MODELLED studie oběžné dráhy a povrchu Měsíce jako navigační a geodetické infrastruktury, pět studií za jedním druhem vybíraným pomocí study: od-consistency (palubní určování oběžné dráhy z Earth-GNSS na NRHO nebo ELFO proti nezávislému pozemnímu radiometrickému určování oběžné dráhy, posuzované podle jejich vlastních kovariancí přes seedovaný Monte Carlo), carrier-phase (společná dvojitě diferencovaná fáze nosné povrchu a orbiteru a celočíselná nejednoznačnost (katalog druhů (kshana kinds --json))
• Scénář lunar-infrastructure v Kshana: space-tie. MODELLED; návrh, vstupy a prahy jsou zafixovány v xval/lunar-infra/PREREGISTRATION.md (zapsáno před jakýmkoli během). ILLUSTRATIVE vstupy jsou tam označeny svými veřejnými zdroji. (komentář v souboru scénáře, řádky 1 až 3)
• 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))
• Určování lunární oběžné dráhy: Earth-GNSS proti pozemnímu radiometrickému 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))
• Řešení nejednoznačností fáze nosné na Měsíci: povrch a orbiter 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))
• Společný odhad lunárního rámce: povrchové stanice a orbitery je MODELLED, nikoli ověřený: je kontrolován 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))
• Preciznost vazby rámce space-tie: společně umístěné GNSS, VLBI a laserové měření vzdálenosti je MODELLED, nikoli ověřená: je kontrolována 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
• Tematická stránka: LUNAR-INFRASTRUCTURE.md