lunar-vlbi (scenarietype)

Scenarietype i motoren v0.40.0, familie Måne og cislunart rum. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Modelleret geodætisk lunar VLBI-delay som observabel: en jordbaseline (to jordstationer, GCRS) observerer et enkeltvejssignal fra et fyr af NovaMoon-klassen på månens overflade. Udsender delayen som forskel mellem to afstande i nærfeltet, dens rate og korrektionen for bølgefrontens krumning i nærfeltet over en overflyvning — krydskontrolleret mod den plane-bølge-Δ-DOR-observabel i samme kodebase i fjernfeltsgrænsen, med partialer verificeret ved differenskvotient. Standardvejen med analytik er MODELLED og bærer forbeholdene om konsistens mellem referencesystemer, polbevægelse xp=yp=0 og plan bølge mod nærfelt. Hvis planetary_kernel_path, earth_orientation_kernel_path og moon_orientation_kernel_path sættes, kører kernevejen i stedet (DE440, MOON_PA_DE440, ITRF93; konvergerede barycentriske lystider; tilføjer epokens partialer for fyr og stationer), hvis newtonske delay og partialer stemmer med NAIF SPICE's konvergerede lystider til 0,06 ps og 7.4e-9. Ikke valideret mod reelle VLBI-data.

Én kørsel af scenarios/lunar-vlbi.toml opsummeres som: lunar-vlbi | baseline 10727 km | beacon range 402900 km | delay -10049.126 µs (rate 1.312e-6 s/s) | near-field 58,9 µs | 13 samples over 6,0 h

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: 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

Eksemplet scenarios/lunar-vlbi.toml sætter blandt andet:

Kør den#

kshana scenarios/lunar-vlbi.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Evidens#

MODELLED 3 · VALIDATED 3: rækkerne i verifikationsmatrixen, som nævner denne type.

• MODELLED Nærfelts-VLBI-delay for en jordbaseline, der observerer et lunart fyr + partialer
• VALIDATED Nærfelts-VLBI-delay for en jordbaseline, der observerer et lunart fyr, med partialer for fyr og stationer, på kernevejen (lunar_vlbi::KernelGeometry): DE440 for Jorden og Månen, DE440 for Månens hovedakser, ITRF93-jordorientering med UT1 og Tests: naif_kernel_reader_check.rs.
• VALIDATED Delay-partialer akkumuleret over en plan af baselines × epoker til en Fisher-informationsmatrix, inverteret til kovariansen for stationskoordinaterne og sigma pr. koordinat for stationen, i stedet for et antaget isotropt equipartition-led fra en
• MODELLED Et tredje valg af datum, all-stations-fixed, der holder hver jordstation fast og estimerer KUN FYRETs Måne-legemsfaste koordinater — den konfiguration, som usikkerheden for et punkt på månens overflade faktisk angives for, da jordstationernes koordinater
• og 2 flere i matrixen.

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

• MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED
• MODELLED Nærfelts-VLBI-delay for en jordbaseline, der observerer et lunart fyr + partialer. Uafhængig reference (ReferenceImpl): Plan-bølge-delta_dor (samme kodebase) i fjernfeltsgrænsen; partialer ved differenskvotient. 0,30 ekstern sammenligning, et fund (forbliver MODELLED): mod ANISE 0,10 konvergerede lystider gennem DE440 (75 delays den 2024-01-01 over tre DSN-baselines, genereret af xval/anise-lunar-od uden Kshana-kode) ligger ingen delay inden for tolerancen på 1 ps. Den største afvigelse er 24 µs, fra det analytiske Måne-centrum (omkring 200 km fra DE

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

• Standardvejen med analytik er MODELLED og bærer forbeholdene om konsistens mellem referencesystemer, polbevægelse xp=yp=0 og plan bølge mod nærfelt. (kategori-katalog (kshana kinds --json))
• Ærlighed: MODELLED, IKKE valideret mod reelle VLBI-data. Polbevægelsen er udeladt (xp = yp = 0), så stationernes inertiale positioner bærer en referencesystemfejl på nogle få meter; fyret blander en serie for Månen med middelækvator for datoen med en ICRF-legemsfast forskydning (jd_tdb ~ jd_tt), en uoverensstemmelse mellem referencesystemer under modellens troværdighed; ingen iteration af lystid, medier eller aberration ud over det differentierede Shapiro-led. Ingen TRL, flyvehistorik eller myndighedsstøtte (kommentar i scenariefilen, linje 17 til 21)
• Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
• Lunar geodætisk VLBI er MODELLED, ikke valideret: kontrolleret mod en separat implementering i selve denne kodebase — uafhængig af enheden under test, men ikke eksternt autoritativ. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#

• Familieside: Måne og cislunart rum
• Alle typer: KINDS.md