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

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

combined-altpnt (scenariokind)

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#

GPS-denied gecombineerde navigator op zwaartekracht + magnetisme + terrein: drie scalaire veldkanalen die per waypoint worden gefuseerd voor een scherpere positiebepaling van de drift (lagere CRLB) dan met één enkel veld.

Eén run van scenarios/combined-altpnt.toml vat samen als: combined-altpnt | vrije inertiële drift 70659 m | zwaartekracht 464 m magnetisch 782 m terrein 368 m | GEFUSEERD 365 m

Invoer#

Uit het schema (kshana kinds --json):

  • Verplichte velden: 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
  • Optionele velden: coeffs, mascons, magnetic_mascons, igrf_alt_km, refine_stages, refine_factor, noise_seed, magnetic_grid

Het voorbeeld scenarios/combined-altpnt.toml stelt onder meer in:

Veld Waarde Eenheid
coeffs[0].cbar 6.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 3.0000e-6 niet vermeld
coeffs[1].m 1 niet vermeld
coeffs[1].n 3 niet vermeld
coeffs[1].sbar 2.0000e-6 niet vermeld
dem_seed 1 niet vermeld
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
gravity_sigma_mgal 3 mGal

Uitvoeren#

kshana scenarios/combined-altpnt.toml

Wat het oplevert#

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

Resultaat Waarde Eenheid
combined_m 364.881333 m
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 70658.643788 m
gravity_only_m 464.136358 m
magnetic_only_m 782.430009 m
terrain_only_m 367.623242 m
De grafiek die de engine schrijft voor scenarios/combined-altpnt.toml, kind combined-altpnt

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#