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

Kovariance souřadnic stanic lunárního VLBI: parciální derivace zpoždění pozorovatelné lunar-vlbi akumulované přes explicitní PLÁN (základny x epochy) do Fisherovy informační matice, invertované a uváděné jako kovariance souřadnic stanic a sigma stanice pro každou souřadnici — vypočtený výstup enginu, nikoli skalární preciznost zpoždění protlačená předpokládaným izotropním faktorem ekvipartice g = 3. Stav nese souřadnice stanic vázané na Zemi (ITRS), takže Jacobián je inerciální parciální derivace otočená maticí GCRS->ITRS každé epochy: rotace Země je to, co činí tyto souřadnice pozorovatelnými, a zpráva MĚŘÍ zametení přímé viditelnosti vázané na Zemi a deklinaci majáku, místo aby je předpokládala. Jedno pozorování je jedna dvojice (základna, epocha), kdy OBĚ stanice jsou nad elevační maskou, s váhou 1/delay_sigma_s^2. Při každém běhu uvádí hodnost, defekt datumu, číslo podmíněnosti, celé informační spektrum, kovarianční matici, sigma stanic po osách i 3D a nulový prostor volné sítě; při nedostatečné hodnosti se hlavní sigma publikuje jako NULL se stavem, nikdy se nevyčte z téměř singulární inverze. Hodnota ekvipartice cdelay_sigma_ssqrt(g/N) pro TENTÝŽ plán se vydává vedle vypočtené hodnoty s poměrem, spolu s izotropní stopovou mezí sqrt(p/trace(M)), kterou AM-HM činí pevnou podlahou — takže poměr je anizotropie, kterou předpoklad zahodil. Uzávěr zpoždění tau_ik = tau_ij + tau_jk činí geometricky nezávislými jen n-1 z n(n-1)/2 základen; zpráva uvádí oba počty. MODELLED: efemeridy středu Měsíce, hodiny stanic, troposféra a parametry orientace Země jsou drženy PEVNĚ a pozorování se pokládají za nezávislá, takže kovariance je Cramerova–Raova mez pro zredukovanou množinu parametrů, nikoli předpovězený výsledek relace; sigma zpoždění, souřadnice stanic a plán jsou vstupy. Parciální derivace, kterou Jacobián geometrického zpoždění vynechává (diferencovaný Shapirův člen), je měřena konečnou diferencí a vydávána. Nejde o geodetický produkt.

Jeden běh scenarios/lunar-vlbi-fim.toml se shrne takto: lunar-vlbi-fim | 3 stanice / 3 základny x 49 epoch = 16 obs (maska 10,0 deg) | datum anchor-first-station | hodnost 6/6 cond 2.209e4 | sigma stanice 0,0926 m oproti ekvipartici g=3 0,0013 m (poměr 71,360)

Vstupy#

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

• Povinná pole: žádná
• Volitelná pole: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

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

Spusťte jej#

kshana scenarios/lunar-vlbi-fim.toml

Co poskytuje#

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

Popisek výsledku (od enginu): MODELLED kovariance souřadnic stanic lunárního VLBI. Kovariance je akumulována z vlastních analytických parciálních derivací zpoždění enginu přes explicitní plán základen a epoch a invertována; NENÍ převedena ze skalární preciznosti zpoždění předpokládaným geometrickým faktorem. Sigma zpoždění na pozorování

Důkazy#

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

• 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
• VALIDATED Kovariance majáku ve scénáři lunar-vlbi-fim se všemi pevnými stanicemi (každá pozemní stanice držena, souřadnice majáku vázané na těleso Měsíce odhadovány samostatně) s majákem umístěným na Měsíci JPL DE440 čteném vlastním čtečem jader enginu
• MODELLED Sedmiparametrový Helmertův datum propagovaný ze SIMULOVANÉ POZOROVACÍ KAMPANĚ místo obnovy z vložené transformace.
• a 1 dalších 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
• 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 so. Orákulum (ExternalDataset): Nezávislá cesta v repozitáři. Každý řádek Jacobiánu je odvozen znovu centrální konečnou diferencí lunar_vlbi::vlbi_delay_s vyhodnocené z vlastních souřadnic stavu vázaných na Zemi a na těleso Měsíce otočených dopředu přes řetězec rámců — cestou, která nepočítá žádnou derivaci a nesdílí žádný výraz s analytickými parciálními derivacemi — a informační matice, které obě cesty sestaví, se shodují na < 1e-6 největšího diagonálního prvku. Ty
• 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 lu. Orákulum (ReferenceImpl): Identity v uzavřeném tvaru, bez uplatňovaného či dostupného vnějšího orákula. Rameno páky je kontrolováno proti ρ/B a obě formy ekvipartice proti sobě na 1e-15 — algebraické identity, takže zachytí chybné zapojení a nic jiného, a jsou tak označeny. Podstatný výsledek je MEASURED, nikoli tvrzen: zpoždění z pevné základny omezuje SMĚR majáku, takže složka přímé viditelnosti rea

Omezení#

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

• MODELLED kovariance souřadnic stanic lunárního VLBI. Kovariance je akumulována z vlastních analytických parciálních derivací zpoždění enginu přes explicitní plán základen a epoch a invertována; NENÍ převedena ze skalární preciznosti zpoždění předpokládaným geometrickým faktorem. Sigma zpoždění na pozorování, souřadnice stanic, místo majáku a plán jsou vstupy. Efemeridy středu Měsíce, hodiny stanic (výsledek label)
• Kovariance souřadnic stanic lunárního VLBI: parciální derivace zpoždění pozorovatelné lunar-vlbi akumulované přes explicitní PLÁN (základny x epochy) do Fisherovy informační matice, invertované a uváděné jako kovariance souřadnic stanic a sigma stanice pro každou souřadnici — vypočtený výstup enginu, nikoli skalární preciznost zpoždění protlačená předpokládaným izotropním faktorem ekvipartice g = 3. (katalog druhů (kshana kinds --json))
• Stav nese souřadnice stanic vázané na Zemi (ITRS), takže Jacobián je inerciální parciální derivace otočená maticí GCRS->ITRS každé epochy: rotace Země je to, co činí tyto souřadnice pozorovatelnými, a zpráva MĚŘÍ zametení přímé viditelnosti vázané na Zemi a deklinaci majáku, místo aby je předpokládala. (katalog druhů (kshana kinds --json))
• Hodnota ekvipartice cdelay_sigma_ssqrt(g/N) pro TENTÝŽ plán se vydává vedle vypočtené hodnoty s poměrem, spolu s izotropní stopovou mezí sqrt(p/trace(M)), kterou AM-HM činí pevnou podlahou — takže poměr je anizotropie, kterou předpoklad zahodil. (katalog druhů (kshana kinds --json))
• MODELLED: efemeridy středu Měsíce, hodiny stanic, troposféra a parametry orientace Země jsou drženy PEVNĚ a pozorování se pokládají za nezávislá, takže kovariance je Cramerova–Raova mez pro zredukovanou množinu parametrů, nikoli předpovězený výsledek relace; sigma zpoždění, souřadnice stanic a plán jsou vstupy. (katalog druhů (kshana kinds --json))
• Publikovaný řetězec D3 jde od preciznosti zpoždění na pozorování k nejistotě souřadnic stanice přes předpokládaný IZOTROPNÍ faktor ekvipartice g = 3. Tento krok je ten, který abstrakt samotného článku označuje za modelovaný, nikoli měřený. Tento scénář jej odstraňuje: parciální derivace zpoždění lunárního VLBI se akumulují přes skutečný plán dvojic (základna x epocha) do Fisherovy informační matice, invertují se a uvádějí jako (komentář v souboru scénáře, řádky 3 až 8)
• Stav nese souřadnice vázané na Zemi (ITRS), takže Jacobián je inerciální parciální derivace otočená maticí GCRS->ITRS každé epochy: rotace Země je to, co činí tyto souřadnice vůbec pozorovatelnými, a zpráva MĚŘÍ zametení přímé viditelnosti vázané na Zemi a deklinaci majáku, místo aby je předpokládala. Jedno pozorování je jedna dvojice (základna, epocha), kdy OBĚ stanice jsou nad elevační maskou, s váhou 1/delay (komentář v souboru scénáře, řádky 10 až 14)
• Co číst ve zprávě * sigma stanic po osách i 3D — vypočtená odpověď; * hodnota ekvipartice cdelay_sigma_ssqrt(g/N) pro TENTÝŽ plán, vytištěná vedle ní s poměrem. Ten poměr JE anizotropie, kterou předpoklad zahodil, a izotropní stopová mez sqrt(p/trace(M)) činí AM-HM pevnou podlahou, takže předpoklad může hodnotu jedině podhodnotit; * hodnost, defekt datumu, číslo podmíněnosti, celé sp (komentář v souboru scénáře, řádky 16 až 26)

Viz také#

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