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

Seiten zu den SzenariotypenAuf GitHub bearbeitenQuelle: docs/kinds/by-kind/combined-altpnt.md

combined-altpnt (Szenariotyp)

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-gesperrter kombinierter Schwere-, Magnet- und Gelände-Navigator: drei skalare Feldkanäle, je Wegpunkt fusioniert, für eine schärfere Driftkorrektur (niedrigere CRLB) als mit jedem einzelnen Feld.

Ein Lauf von scenarios/combined-altpnt.toml ergibt zusammengefasst: combined-altpnt | freie Inertialdrift 70659 m | Schwere 464 m Magnetik 782 m Gelände 368 m | FUSED 365 m

Eingaben#

Aus dem Schema (kshana kinds --json):

  • Pflichtfelder: start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, search_half_deg, search_step_deg, nmax, gravity_sigma_mgal, igrf_year, magnetic_sigma_nt, dem_seed, terrain_sigma_m
  • Optionale Felder: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

Das Beispiel scenarios/combined-altpnt.toml setzt unter anderem:

Feld Wert Einheit
coeffs[0].cbar 6.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 3.0000e-6 nicht angegeben
coeffs[1].m 1 nicht angegeben
coeffs[1].n 3 nicht angegeben
coeffs[1].sbar 2.0000e-6 nicht angegeben
dem_seed 1 nicht angegeben
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

Ausführen#

kshana scenarios/combined-altpnt.toml

Was es liefert#

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

Ergebnis Wert Einheit
combined_m 364.881333 m
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 70658.643788 m
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
Das Diagramm, das die Engine für scenarios/combined-altpnt.toml schreibt, Typ combined-altpnt

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#