Machinevertaling, niet beoordeeld door een moedertaalspreker. Engels is de referentie.

Pagina's per scenariotypeBewerken op GitHubBron: docs/kinds/by-kind/gravity-map.md

gravity-map (scenariosoort)

Scenariokind van de engine v0.40.0, familie GPS-denied alternatieve PNT. Adviserend: analyse-uitvoer van een onderzoeks- en engineeringhulpmiddel, geen typegoedgekeurde navigatieapparatuur en geen veiligheidskritieke dienst. Elk label hier is dat van de engine of van de verificatiematrix; een kind is MODELLED tenzij de matrix anders zegt (hoe een label wordt verdiend: de sectie Evidence van de README).

Wat het doet#

Navigatie met zwaartekrachtkaartmatching zonder GPS: een koudeatoomgravimeter herstelt een constante INS-drift uit de reeks zwaartekrachtanomalieën waar hij doorheen vliegt.

Eén run van scenarios/gravity-map-nav.toml vat samen als: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Invoer#

Uit het schema (kshana kinds --json):

  • Verplichte velden: 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
  • Optionele velden: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

Het voorbeeld scenarios/gravity-map-nav.toml stelt onder meer in:

Veld Waarde Eenheid
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 niet vermeld
coeffs[0].m 0 niet vermeld
coeffs[0].n 2 niet vermeld
coeffs[0].sbar 0 niet vermeld
coeffs[1].cbar 2.0000e-6 niet vermeld
coeffs[1].m 1 niet vermeld
coeffs[1].n 3 niet vermeld
coeffs[1].sbar 1.0000e-6 niet vermeld
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 niet vermeld

Uitvoeren#

kshana scenarios/gravity-map-nav.toml

4 meegeleverde scenario's gebruiken dit kind; de overige staan in scenarios/.

Wat het oplevert#

De scalaire resultaten van die run, met de eenheden die de engine noemt:

Resultaat Waarde Eenheid
evidence.id_rule de stabiele id van de matrixrij (de 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
De grafiek die de engine schrijft voor scenarios/gravity-map-nav.toml, soort gravity-map

Bewijs#

Geen rij van de matrix noemt dit kind bij naam; het label op het resultaat is dat van de engine zelf, hierboven.

De rijen die de run zelf heeft beproefd, met de onafhankelijke referentie die de matrix aan elk geeft (de openbare bronnen worden daar genoemd):

  • MODELLED Zwaartekrachtkaartmatching, terreingerefereerd (TERCOM/SITAN), magnetische anomalie. Onafhankelijke referentie (InternalConsistency): IGRF-14-coëfficiënten; matched-filter-CRLB uit eerste principes. Het veld van de zwaartekrachtbenchmark met echt veld is extern gecontroleerd (rij 'Gravity-anomaly synthesis from a spherical-harmonic model'), maar het navigatieresultaat ervan heeft geen externe referentie
  • MODELLED Deterministisch, scenario-gehasht, SBOM + gouden poorten voor meerdere platforms. Onafhankelijke referentie (ExternalDataset): formaatcontrole van de SBOM tegen het officiële CycloneDX 1,5 JSON Schema (+ geldige SPDX-identificatoren) — een externe gepubliceerde standaard, nul validatiefouten over de volledige afhankelijkheidsgraaf; het onderdeel determinisme van de FoM en byte-reproduceerbaarheid blijft een vastgepinde zelfconsistentiecontrole, dus de rij blijft MODELLED

Beperkingen#

Wat het eigen rapport van de run zegt dat niet is gemodelleerd of niet extern getoetst is:

  • Alternatieve / complementaire PNT is MODELLED, niet extern getoetst: gecontroleerd tegen zijn eigen gesloten-vorm- of analytische identiteit — dat vangt transcriptie- en coëfficiëntfouten, maar is geen externe referentie. (verificatiematrix (docs/MODELLED-RATIONALE.md))
  • Reproduceerbaarheid en softwarewaarborging is MODELLED, niet extern getoetst: een deelclaim wordt extern gecontroleerd, maar de hele mogelijkheid is samengesteld uit gemodelleerde onderdelen, dus de mogelijkheid blijft gemodelleerd. (verificatiematrix (docs/MODELLED-RATIONALE.md))

Zie ook#