Maschinelle Übersetzung, nicht von einem Muttersprachler geprüft. Englisch ist die maßgebliche Fassung.

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/gravity-map.md

gravity-map (Szenarioart)

Szenariotyp der Engine v0.40.0, Familie GPS-gesperrtes alternatives PNT. Nur beratend: Analyseausgabe eines Forschungs- und Engineering-Werkzeugs, keine typzugelassene Navigationsausrüstung und kein Safety-of-Life-Dienst. Jede Kennzeichnung hier stammt von der Engine oder von der Verifikationsmatrix; ein Typ ist MODELLED, sofern die Matrix nichts anderes angibt (wie eine Kennzeichnung erworben wird: Abschnitt „Evidence“ der README).

Was es tut#

GPS-verweigerte Navigation mit Schwerefeld-Kartenabgleich: Ein Kaltatom-Gravimeter ermittelt aus der Folge von Schwereanomalien, die es durchfliegt, eine konstante INS-Drift.

Ein Lauf von scenarios/gravity-map-nav.toml fasst sich so zusammen: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: 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
  • Optionale Felder: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

Das Beispiel scenarios/gravity-map-nav.toml setzt unter anderem:

Feld Wert Einheit
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 nicht angegeben
coeffs[0].m 0 nicht angegeben
coeffs[0].n 2 nicht angegeben
coeffs[0].sbar 0 nicht angegeben
coeffs[1].cbar 2.0000e-6 nicht angegeben
coeffs[1].m 1 nicht angegeben
coeffs[1].n 3 nicht angegeben
coeffs[1].sbar 1.0000e-6 nicht angegeben
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 nicht angegeben

Ausführen#

kshana scenarios/gravity-map-nav.toml

4 mitgelieferte Szenarien verwenden diesen Typ; die übrigen stehen in scenarios/.

Was es liefert#

Die skalaren Ergebnisse dieses Laufs, mit den Einheiten, die die Engine angibt:

Ergebnis Wert Einheit
evidence.id_rule die stabile Kennung der Matrixzeile (die 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
Das Diagramm, das die Engine für scenarios/gravity-map-nav.toml schreibt, Art gravity-map

Nachweise#

Keine Matrixzeile nennt diesen Typ beim Namen; die Kennzeichnung seines Ergebnisses stammt von der Engine selbst, siehe oben.

Die Zeilen, die der Lauf selbst ausgeübt hat, mit der unabhängigen Referenz, die die Matrix jeder gibt (die öffentlichen Quellen sind dort genannt):

  • MODELLED Schwerekarten-Abgleich, geländebezogen (TERCOM/SITAN), magnetische Anomalie. Unabhängige Referenz (InternalConsistency): IGRF-14-Koeffizienten; CRLB des Matched-Filters aus ersten Prinzipien. Das Feld des Schwere-Benchmarks mit realem Feld ist extern geprüft (Zeile „Gravity-anomaly synthesis from a spherical-harmonic model“), aber sein Navigationsergebnis hat keine externe Referenz
  • MODELLED Deterministisch, szenario-gehasht, SBOM- und plattformübergreifende Golden-Gates. Unabhängige Referenz (ExternalDataset): SBOM-Übereinstimmung mit dem offiziellen CycloneDX-1,5-JSON-Schema (+ gültige SPDX-Kennungen) — ein externer veröffentlichter Standard, null Validierungsfehler über den gesamten Abhängigkeitsgraphen; der Teil FoM-Determinismus / Byte-Reproduzierbarkeit bleibt eine festgelegte Selbstkonsistenzprüfung, daher bleibt die Zeile MODELLED

Einschränkungen#

Was der eigene Bericht des Laufs als nicht modelliert oder nicht validiert nennt:

  • Alternatives / ergänzendes PNT ist MODELLED, nicht validiert: gegen seine eigene geschlossene bzw. analytische Identität geprüft – erkennt Übertragungs- und Koeffizientenfehler, ist aber keine externe Referenz. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Reproduzierbarkeit und Software-Assurance ist MODELLED, nicht validiert: Eine Teilbehauptung ist extern geprüft, aber die gesamte Fähigkeit setzt sich aus modellierten Teilen zusammen, daher bleibt die Fähigkeit modelliert. (Verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Siehe auch#