lunar-frame-campaign (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#

Helmert-referencesystem (similaritet) med syv parametre, drevet af en SIMULERET OBSERVATIONSKAMPAGNE i stedet for en tilført transformation. Et net af jordstationer observerer et katalog af fyr på månens overflade efter en eksplicit plan; lunar-VLBI-delay-partialerne akkumuleres over planen til en Fisher-informationsmatrix for fyrenes koordinater, nøjagtigt som lunar-vlbi-fim gør; og denne information udbredes gennem Helmert-designet A = [I3 | [p]_x | p] i katalogpunkterne til datumkovariansen H = A^T M_b A, diagnosticeret af crate::fim::crlb. INGEN transformation tilføres, og intet gendannes fra et plantet svar, så den rapporterede datumnøjagtighed udspringer af observationsprogrammet: halveres delay-sigma, halveres den præcist, og en længere bue forbedrer den, fordi den libration, som rapporten MÅLER (sub_earth_direction_sweep_deg), er det, der adskiller fyrets koordinat i sigtelinjen fra koordinaterne i himmelplanet. Rang, datumdefekt, konditionstal, hele spektret, de uobserverbare retninger I DEN SYVPARAMETRIDE BASIS, den svageste retning selv ved fuld rang og hver parameters andel af den udsendes ved hver kørsel; en parameter, som kampagnen ikke begrænser, offentliggøres som NULL med en status, aldrig aflæst fra en næsten singulær invers. Korrelationen mellem fyrenes fejl er målt, ikke antaget: med stationerne holdt fast berører ingen observation to fyr, så informationsmatrixen er præcis blokdiagonal (offblock_fraction 0), og med stationerne estimeret er den Schur-marginaliserede blok koblet, med den inducerede korrelation udskrevet og hele udbredelsen kørt igen uden den, så prisen for en uafhængighedsantagelse er et tal. Den samme udbredelse under en isotrop sigma pr. koordinat og den gendannelsesfejl, som scenariet lunar-frame-realisation rapporterer, køres begge her og udskrives ved siden af kampagneværdien med deres forhold. MODELLED: fyrkataloget har kilder, men KAMPAGNEN er simuleret — stationsnettet og delay-sigma er illustrative input, de enkelte delay-observationer behandles som uafhængige, og Måne-centrets efemeride, stationsure, troposfære og jordorienteringsparametre holdes FASTE, så datumkovariansen er en Cramer-Rao-grænse for et reduceret parametersæt. Ikke et geodætisk produkt.

Én kørsel af scenarios/lunar-frame-campaign.toml opsummeres som: lunar-frame-campaign | 4 beacons x 3 baselines x 49 epochs = 64 obs (delay sigma 1.000e-11 s) | station datum fixed | Helmert rank 7/7 cond 3.798e5 | datum translation sigma 6,397500 m vs injected-transform recovery error 0,3125 m (ratio 0,049)

Input#

Fra skemaet (kshana kinds --json):

• Påkrævede felter: ingen
• Valgfrie felter: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

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

Kør den#

kshana scenarios/lunar-frame-campaign.toml

Hvad den giver#

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

Resultatmærkat (motorens egen): MODELLED kampagnedrevet lunart referencesystem. Helmert-kovariansen med syv parametre udbredes fra en informationsmatrix for fyrenes koordinater, akkumuleret fra motorens egne lunar-VLBI-delay-partialer over en eksplicit plan af fyr, baselines og epoker; INGEN similaritetstransformation tilføres og

Evidens#

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

• MODELLED Helmert-referencesystemet med syv parametre udbredt fra en SIMULERET OBSERVATIONSKAMPAGNE i stedet for gendannet fra en tilført transformation.
• VALIDATED Kovariansen for Helmert-referencesystemet med syv parametre, hvor de to simulerede input er erstattet af målte: planen er jordsendingsepokerne for 337 arkiverede ILRS-normalpunkter fra månelaserafstandsmåling (2015-04-08 til 2015-06-27, Grasse MeO 7 Tests: lunar_llr_real_data.rs.
• MODELLED De valgfrie input extra_reflectors og extra_beacons i scenariet lunar-llr-datum tilføjer en blok station_geodesy: Helmert-informationen med fem arrays fra det arkiverede udsnit af månelaserafstandsmåling plus den information, en tilføjet retroreflektor (ran Tests: lunar_station_geodesy.rs.
• VALIDATED Kovariansen for Helmert-referencesystemet med syv parametre i scenariet lunar-frame-campaign med jordstationerne estimeret (station 1 forankret), som lunar_frame_campaign beregner den i binary64: den fælles Fisher-information for station og fyr akkum Tests: lunar_frame_campaign_mpmath_oracle.rs.
• og 1 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
• VALIDATED Tilpasning af Helmert-referencesystem med 7 parametre + ICRF-orienteringsforbindelse ud fra et net af punkter. Uafhængig reference (ExternalDataset): Uafhængig vægtet Umeyama-løser (Horn) for similaritetstransformation i lukket form (numpy/scipy, SVD-baseret; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — en anden algoritme end kshanas iterative Gauss–Newton-tilpasning, der når samme entydigt definerede vægtede LS-optimum på byte-identiske punktnet
• MODELLED Helmert-referencesystemet med syv parametre udbredt fra en SIMULERET OBSERVATIONSKAMPAGNE i stedet for gendannet fra en tilført transformation. Jordstationer observerer en sourc. Uafhængig reference (ReferenceImpl): Identiteter i lukket form og en uafhængig vej i selve repositoriet, uden at nogen ekstern uafhængig reference gøres gældende. Helmert-designet — den eneste nye afledede i modulet — udledes igen ved central differenskvotient af lunar_frame_realise::apply_helmert, en vej, der ikke deler noget udtryk med den analytiske form. Den akkumulering, den sammensætter, er lunar-vlbi-fim's, hvis Jacobi-matrix differenskvotientberegnes mod lunar_vlbi::vlbi_delay_s dér, og som

Begrænsninger#

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

• MODELLED kampagnedrevet lunart referencesystem. Helmert-kovariansen med syv parametre udbredes fra en informationsmatrix for fyrenes koordinater, akkumuleret fra motorens egne lunar-VLBI-delay-partialer over en eksplicit plan af fyr, baselines og epoker; INGEN similaritetstransformation tilføres, og intet gendannes fra et plantet svar. Fyrkataloget er cratens tabel over navngivne steder med kilder, men KAMPA (resultat label)
• Korrelationen mellem fyrenes fejl er målt, ikke antaget: med stationerne holdt fast berører ingen observation to fyr, så informationsmatrixen er præcis blokdiagonal (offblock_fraction 0), og med stationerne estimeret er den Schur-marginaliserede blok koblet, med den inducerede korrelation udskrevet og hele udbredelsen kørt igen uden den, så prisen for en uafhængighedsantagelse er et tal. (kategori-katalog (kshana kinds --json))
• MODELLED: fyrkataloget har kilder, men KAMPAGNEN er simuleret — stationsnettet og delay-sigma er illustrative input, de enkelte delay-observationer behandles som uafhængige, og Måne-centrets efemeride, stationsure, troposfære og jordorienteringsparametre holdes FASTE, så datumkovariansen er en Cramer-Rao-grænse for et reduceret parametersæt. (kategori-katalog (kshana kinds --json))
• Korrelationen mellem fyrenes fejl er MEASURED, ikke antaget. Med stationerne holdt fast berører ingen observation to fyr, så informationsmatrixen er præcis blokdiagonal (offblock_fraction 0); med stationerne estimeret er den Schur-marginaliserede blok koblet, den inducerede korrelation udskrives, og hele udbredelsen køres igen uden den, så prisen for en uafhængighedsantagelse er et tal frem for en c (kommentar i scenariefilen, linje 17 til 21)
• MODELLED: fyrkataloget har kilder, men KAMPAGNEN er simuleret — stationsnettet og delay-sigma er illustrative input, de enkelte delay-observationer behandles som uafhængige, og Måne-centrets efemeride, stationsure, troposfære og jordorienteringsparametre holdes FASTE. Ikke et geodætisk produkt. (kommentar i scenariefilen, linje 27 til 30)
• 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))
• Lunart referencesystem ud fra en observationskampagne 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