lunar-vlbi-fim (scenariosoort)

Scenariokind van de engine v0.40.0, familie Maan en cislunair. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Covariantie van de stationscoördinaten bij lunar VLBI: de vertragingspartiëlen van de waarneembare grootheid lunar-vlbi, opgeteld over een expliciet SCHEMA (basislijnen x epochs) tot een Fisher-informatiematrix, geïnverteerd, en gerapporteerd als de covariantie van de stationscoördinaten en de sigma van het station per coördinaat — een berekende uitvoer van de engine in plaats van een scalaire vertragingsprecisie die door een aangenomen isotrope equipartitiefactor g = 3 wordt geduwd. De toestand draagt VASTE aardstationscoördinaten (ITRS), zodat de Jacobiaan de inertiale partiële is, gedraaid met de GCRS->ITRS-matrix van elke epoch: de aardrotatie maakt die coördinaten waarneembaar, en het rapport MEET de aardvaste zichtlijnsweep en de declinatie van het baken in plaats van ze aan te nemen. Eén waarneming is één paar (basislijn, epoch) met BEIDE stations boven het hoogtemasker, gewogen met 1/delay_sigma_s^2. Rapporteert rang, datumdefect, conditiegetal, het volledige informatiespectrum, de covariantiematrix, sigma's per station per as en in 3D, en de nulruimte van het vrije netwerk bij elke run; bij een rangdeficiëntie wordt de kernsigma gepubliceerd als NULL met een status en nooit uit een bijna singuliere inverse afgelezen. De equipartitiewaarde cdelay_sigma_ssqrt(g/N) voor HETZELFDE schema wordt naast de berekende waarde uitgegeven met de verhouding, samen met de isotrope sporengrens sqrt(p/trace(M)) die AM-HM tot een harde ondergrens maakt — zodat de verhouding de anisotropie is die de aanname heeft weggegooid. De vertragingssluiting tau_ik = tau_ij + tau_jk maakt slechts n-1 van de n(n-1)/2 basislijnen geometrisch onafhankelijk; het rapport vermeldt beide aantallen. MODELLED: de efemeride van het maanmiddelpunt, stationsklokken, troposfeer en aardoriëntatieparameters worden VAST gehouden en waarnemingen worden als onafhankelijk behandeld, zodat de covariantie een Cramer-Rao-grens is voor een verkleinde parameterverzameling, geen voorspeld sessieresultaat; de vertragingssigma, de stationscoördinaten en het schema zijn invoer. De partiële die de Jacobiaan van de geometrische vertraging weglaat (de gedifferentieerde Shapiro-term) wordt via een eindig verschil gemeten en uitgegeven. Geen geodetisch product.

Eén run van scenarios/lunar-vlbi-fim.toml vat zich samen als: lunar-vlbi-fim | 3 stations / 3 basislijnen x 49 epochs = 16 obs (masker 10,0 deg) | datum anchor-first-station | rang 6/6 cond 2.209e4 | stationssigma 0,0926 m tegenover equipartitie g=3 0,0013 m (verhouding 71,360)

Invoer#

Uit het schema (kshana kinds --json):

• Vereiste velden: geen
• Optionele velden: 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

Het voorbeeld scenarios/lunar-vlbi-fim.toml stelt onder meer in:

Uitvoeren#

kshana scenarios/lunar-vlbi-fim.toml

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaatlabel (dat van de engine): MODELLED covariantie van de stationscoördinaten bij lunar VLBI. De covariantie wordt opgebouwd uit de eigen analytische vertragingspartiëlen van de engine over een expliciet schema van basislijnen en epochs en geïnverteerd; ze wordt NIET omgerekend uit een scalaire vertragingsprecisie met een aangenomen geometriefactor. De vertragingssi

Bewijs#

MODELLED 3 · VALIDATED 2: de rijen van de verificatiematrix die deze soort noemen.

• VALIDATED Vertragingspartiëlen, opgeteld over een schema van basislijnen × epochs tot een Fisher-informatiematrix, geïnverteerd tot de covariantie van de stationscoördinaten en de sigma van het station per coördinaat, ter vervanging van een aangenomen isotrope equipartitieschakel uit een
• MODELLED Een derde datumkeuze, all-stations-fixed, die elk aardstation vasthoudt en alleen de maanlichaamsvaste coördinaten van het BAKEN schat — de configuratie waarvoor een onzekerheid van een punt op het maanoppervlak daadwerkelijk wordt opgegeven, aangezien de coördinaten van aardstations
• VALIDATED De covariantie van het baken met alle stations vast, uit het scenario lunar-vlbi-fim (elk aardstation vastgehouden, de maanlichaamsvaste coördinaten van het baken alleen geschat), met het baken geplaatst op de maan van JPL DE440 zoals gelezen door de eigen kernellezer van de engine
• MODELLED Het zevenparameter-Helmert-datum, voortgeplant uit een GESIMULEERDE WAARNEMINGSCAMPAGNE in plaats van teruggevonden uit een geïnjecteerde transformatie.
• en 1 meer in de matrix.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

• MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED
• VALIDATED Vertragingspartiëlen, opgeteld over een schema van basislijnen × epochs tot een Fisher-informatiematrix, geïnverteerd tot de covariantie van de stationscoördinaten en de sigma van het station per coörd. Onafhankelijke referentie (ExternalDataset): Een onafhankelijke route binnen de repository. Elke Jacobiaanrij wordt opnieuw afgeleid via een centraal eindig verschil van lunar_vlbi::vlbi_delay_s, geëvalueerd uit de eigen aardvaste en maanlichaamsvaste coördinaten van de toestand, vooruit geroteerd door de stelselketen — een pad dat geen afgeleide berekent en geen uitdrukking deelt met de analytische partiëlen — en de informatiematrices die de twee routes opbouwen komen overeen tot < 1e-6 van de grootste diagonaal. De
• MODELLED Een derde datumkeuze, all-stations-fixed, die elk aardstation vasthoudt en alleen de maanlichaamsvaste coördinaten van het BAKEN schat — de configuratie waarvoor een. Onafhankelijke referentie (ReferenceImpl): Identiteiten in gesloten vorm, zonder dat een externe onafhankelijke referentie wordt geclaimd of beschikbaar is. De hefboomarm wordt gecontroleerd aan ρ/B en de twee equipartitievormen onderling tot 1e-15 — algebraïsche identiteiten, dus ze vangen een bedradingsfout op en niets anders, en worden ook zo genoemd. Het inhoudelijke resultaat is MEASURED in plaats van beweerd: een vertraging uit een vaste basislijn legt de RICHTING van het baken vast, zodat de component langs de zichtlijn rea

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

• MODELLED covariantie van de stationscoördinaten bij lunar VLBI. De covariantie wordt opgebouwd uit de eigen analytische vertragingspartiëlen van de engine over een expliciet schema van basislijnen en epochs en geïnverteerd; ze wordt NIET omgerekend uit een scalaire vertragingsprecisie met een aangenomen geometriefactor. De vertragingssigma per waarneming, de stationscoördinaten, de locatie van het baken en het schema zijn invoer. De efemeride van het maanmiddelpunt, de stationsklokken (resultaat label)
• Covariantie van de stationscoördinaten bij lunar VLBI: de vertragingspartiëlen van de waarneembare grootheid lunar-vlbi, opgeteld over een expliciet SCHEMA (basislijnen x epochs) tot een Fisher-informatiematrix, geïnverteerd, en gerapporteerd als de covariantie van de stationscoördinaten en de sigma van het station per coördinaat — een berekende uitvoer van de engine in plaats van een scalaire vertragingsprecisie die door een aangenomen isotrope equipartitiefactor g = 3 wordt geduwd. (soortencatalogus (kshana kinds --json))
• De toestand draagt VASTE aardstationscoördinaten (ITRS), zodat de Jacobiaan de inertiale partiële is, gedraaid met de GCRS->ITRS-matrix van elke epoch: de aardrotatie maakt die coördinaten waarneembaar, en het rapport MEET de aardvaste zichtlijnsweep en de declinatie van het baken in plaats van ze aan te nemen. (soortencatalogus (kshana kinds --json))
• De equipartitiewaarde cdelay_sigma_ssqrt(g/N) voor HETZELFDE schema wordt naast de berekende waarde uitgegeven met de verhouding, samen met de isotrope sporengrens sqrt(p/trace(M)) die AM-HM tot een harde ondergrens maakt — zodat de verhouding de anisotropie is die de aanname heeft weggegooid. (soortencatalogus (kshana kinds --json))
• MODELLED: de efemeride van het maanmiddelpunt, stationsklokken, troposfeer en aardoriëntatieparameters worden VAST gehouden en waarnemingen worden als onafhankelijk behandeld, zodat de covariantie een Cramer-Rao-grens is voor een verkleinde parameterverzameling, geen voorspeld sessieresultaat; de vertragingssigma, de stationscoördinaten en het schema zijn invoer. (soortencatalogus (kshana kinds --json))
• De gepubliceerde keten van D3 gaat van een vertragingsprecisie per waarneming naar een onzekerheid van de stationscoördinaten via een aangenomen ISOTROPE equipartitiefactor g = 3. Die stap noemt het eigen abstract van de paper gemodelleerd in plaats van gemeten. Dit scenario verwijdert hem: de lunar-VLBI-vertragingspartiëlen worden over een echt schema van paren (basislijn x epoch) opgeteld tot een Fisher-informatiematrix, geïnverteerd, en gerapporteerd a (commentaar in het scenariobestand, regels 3 tot 8)
• De toestand draagt VASTE aardcoördinaten (ITRS), zodat de Jacobiaan de inertiale partiële is, gedraaid met de GCRS->ITRS-matrix van elke epoch: de aardrotatie maakt die coördinaten überhaupt waarneembaar, en het rapport MEET de aardvaste zichtlijnsweep en de declinatie van het baken in plaats van ze aan te nemen. Eén waarneming is één paar (basislijn, epoch) met BEIDE stations boven het hoogtemasker, gewogen met 1/delay (commentaar in het scenariobestand, regels 10 tot 14)
• Wat u in het rapport moet lezen * sigma's per station per as en in 3D — het berekende antwoord; * de equipartitiewaarde cdelay_sigma_ssqrt(g/N) voor HETZELFDE schema, ernaast afgedrukt met de verhouding. Die verhouding IS de anisotropie die de aanname heeft weggegooid, en de isotrope sporengrens sqrt(p/trace(M)) maakt AM-HM tot een harde ondergrens, zodat de aanname alleen maar kan onderschatten; * rang, datumdefect, conditiegetal, het volledige sp (commentaar in het scenariobestand, regels 16 tot 26)

Zie ook#

• Familiepagina: Maan en cislunair
• Alle kinds: KINDS.md