Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Sidor för scenariotyperRedigera på GitHubKälla: docs/kinds/by-kind/gravity-map.md

gravity-map (scenario kind)

Scenariotyp i motor v0.40.0, familj GPS-nekad alternativ PNT. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).

Vad den gör#

GPS-nekad navigering med gravitationskartmatchning: en kallatomsgravimeter återskapar en konstant INS-drift ur den sekvens av gravitationsanomalier som den flyger genom.

En körning av scenarios/gravity-map-nav.toml sammanfattas som: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Indata#

Från schemat (kshana kinds --json):

  • Obligatoriska fält: 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
  • Valfria fält: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

Exemplet scenarios/gravity-map-nav.toml anger bland annat:

Fält Värde Enhet
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 inte angivet
coeffs[0].m 0 inte angivet
coeffs[0].n 2 inte angivet
coeffs[0].sbar 0 inte angivet
coeffs[1].cbar 2.0000e-6 inte angivet
coeffs[1].m 1 inte angivet
coeffs[1].n 3 inte angivet
coeffs[1].sbar 1.0000e-6 inte angivet
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 inte angivet

Kör den#

kshana scenarios/gravity-map-nav.toml

4 medföljande scenarier använder den här typen; de övriga finns i scenarios/.

Vad den ger#

De skalära resultaten av den körningen, med de enheter som motorn anger:

Resultat Värde Enhet
evidence.id_rule det stabila id:t för matrisraden (ID text
evidence.matrix docs/VERIFICATION-MATRIX.md text
evidence.tier MODELLED text
free_inertial_drift_m 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Diagrammet som motorn skriver för scenarios/gravity-map-nav.toml, kind gravity-map

Evidens#

Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.

De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):

  • MODELLED Matchning mot gravitationskarta, terrängreferensnavigering (TERCOM/SITAN), magnetisk anomali. Oberoende referens (InternalConsistency): IGRF-14-koefficienter; CRLB för matchat filter från första principer. Fältet i riktmärket för verkligt gravitationsfält är externt kontrollerat (raden 'Gravity-anomaly synthesis from a spherical-harmonic model'), men dess navigeringsutfall har ingen extern oberoende referens
  • MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED

Begränsningar#

Vad körningens egen rapport säger inte är modellerat eller inte validerat:

  • Alternativ / kompletterande PNT är MODELLED, inte validerad: kontrollerad mot sin egen slutna / analytiska identitet — fångar transkriptions- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))

Se även#