Maskinoversettelse, ikke gjennomgått av en morsmålsbruker. Engelsk er referansen.

Sider for scenariotyperRediger på GitHubKilde: docs/kinds/by-kind/gravity-map.md

gravity-map (scenariotype)

Scenariotype i motoren v0.40.0, familie Alternativ PNT uten GPS. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).

Hva den gjør#

Navigasjon med gravitasjonskartsammenstilling uten GPS: et kaldatom-gravimeter gjenvinner en konstant INS-drift fra sekvensen av gravitasjonsanomalier den flyr gjennom.

Én kjøring av scenarios/gravity-map-nav.toml oppsummeres slik: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Inndata#

Fra skjemaet (kshana kinds --json):

  • Obligatoriske felt: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
  • Valgfrie felt: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

Eksemplet scenarios/gravity-map-nav.toml setter blant annet:

Felt Verdi Enhet
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 ikke oppgitt
coeffs[0].m 0 ikke oppgitt
coeffs[0].n 2 ikke oppgitt
coeffs[0].sbar 0 ikke oppgitt
coeffs[1].cbar 2.0000e-6 ikke oppgitt
coeffs[1].m 1 ikke oppgitt
coeffs[1].n 3 ikke oppgitt
coeffs[1].sbar 1.0000e-6 ikke oppgitt
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 ikke oppgitt

Kjør den#

kshana scenarios/gravity-map-nav.toml

4 medfølgende scenarioer bruker denne typen; de andre står i scenarios/.

Hva den gir#

Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:

Resultat Verdi Enhet
evidence.id_rule den stabile id-en til matriseraden (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
free_inertial_drift_m 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Diagrammet motoren skriver for scenarios/gravity-map-nav.toml, typen gravity-map

Evidens#

Ingen matriserad nevner denne typen ved navn; etiketten på resultatet er motorens egen, ovenfor.

Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):

  • MODELLED Matching mot gravitasjonskart, terrengreferert (TERCOM/SITAN), magnetisk anomali. Uavhengig referanse (InternalConsistency): IGRF-14-koeffisienter; CRLB for matchet filter fra grunnprinsipper. Feltet i referansetesten med virkelig gravitasjonsfelt er eksternt kontrollert (rad «Gravity-anomaly synthesis from a spherical-harmonic model»), men navigasjonsresultatet har ingen ekstern uavhengig referanse
  • MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED

Begrensninger#

Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:

  • Alternativ / komplementær PNT er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
  • Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))

Se også#