Maskinoversættelse, ikke gennemgået af en modersmålstalende. Engelsk er referencen.

Sider om scenarietyperRedigér på GitHubKilde: docs/kinds/by-kind/terrain-nav.md

terrain-nav (scenarietype)

Scenarietype i motoren v0.40.0, familie Alternativ PNT uden GPS. Vejledende: analyseoutput fra et forsknings- og ingeniørværktøj, ikke typegodkendt navigationsudstyr og ikke en sikkerhedskritisk tjeneste (safety-of-life). Hver mærkat her er motorens eller verifikationsmatrixens; en type er MODELLED, medmindre matrixen siger andet (hvordan en mærkat opnås: README'ens afsnit Evidence).

Hvad det gør#

Terrænreferencenavigation uden GPS (TERCOM/SITAN): en radar-/barohøjdemåler afstemmer profilen af terrænhøjden mod en DEM i stil med SRTM for at genfinde INS-driften.

Én kørsel af scenarios/terrain-nav.toml opsummeres som: terrain-nav | fri inertidrift 70659 m | terrænafstemt 53 m (1342x reduktion) | afstemnings-sigma 17,0 m

Input#

Fra skemaet (kshana kinds --json):

  • Påkrævede felter: dem_seed, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, altimeter_sigma_m, map_sigma_m, search_half_deg, search_step_deg
  • Valgfrie felter: refine_stages, refine_factor, noise_seed

Eksemplet scenarios/terrain-nav.toml angiver blandt andet:

Felt Værdi Enhed
altimeter_sigma_m 8 m
dem_seed 1 ikke angivet
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
kind terrain-nav tekst
map_sigma_m 15 m
noise_seed 1 ikke angivet
refine_factor 8 ikke angivet
refine_stages 3 ikke angivet
search_half_deg 0.8 deg
search_step_deg 0.08 deg
start_lat_deg 12.05 deg

Kør den#

kshana scenarios/terrain-nav.toml

Hvad den giver#

De skalare resultater af den kørsel, med de enheder, motoren angiver:

Resultat Værdi Enhed
evidence.id_rule det stabile id for matrixrækken (kolonnen ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
free_inertial_drift_m 70658.643788 m
matched_error_m 52.665375 m
measurement_sigma_m 17 m
Diagrammet, som motoren skriver for scenarios/terrain-nav.toml, type terrain-nav

Evidens#

MODELLED: rækkerne i verifikationsmatrixen, der nævner denne type.

  • MODELLED Typen og fasen lunar-descent: en inertiel fejlmodel med fem tilstande pr. akse (position, hastighed, accelerometerbias, hældning, gyrobias) over en drevet nedstigning, støttet af AFS-positionsbestemmelser (selvstændige eller differentielle, med det urstøttede tilfælde med tre relæ

De rækker, som kørslen selv afprøvede, med den uafhængige reference, som matrixen giver hver (de offentlige kilder er nævnt dér):

  • MODELLED Tyngdekraftskortmatchning, terrænreferenceret (TERCOM/SITAN), magnetisk anomali. Uafhængig reference (InternalConsistency): IGRF-14-koefficienter; matched-filter-CRLB fra grundprincipper. Feltet i benchmarken med reelt tyngdefelt er eksternt kontrolleret (række 'Gravity-anomaly synthesis from a spherical-harmonic model'), men dens navigationsudfald har ingen ekstern uafhængig reference
  • MODELLED Deterministisk, scenarie-hashet, SBOM + gates med golden-filer på tværs af platforme. Uafhængig reference (ExternalDataset): SBOM'ens validering mod det officielle CycloneDX 1,5 JSON-skema (+ gyldige SPDX-identifikatorer) — en ekstern publiceret standard, nul valideringsfejl over hele afhængighedsgrafen; den del, der gælder FoM-determinisme / byte-reproducerbarhed, er fortsat et fastlåst selvkonsistenstjek, så rækken forbliver MODELLED

Begrænsninger#

Hvad kørslens egen rapport siger ikke er modelleret eller ikke er valideret:

  • Alternativ / komplementær PNT er MODELLED, ikke valideret: kontrolleret mod sin egen lukkede/analytiske identitet — fanger transskriptions- og koefficientfejl, men er ikke en ekstern uafhængig reference. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))
  • Reproducerbarhed og softwarekvalitetssikring er MODELLED, ikke valideret: en delpåstand kontrolleres eksternt, men hele funktionen sammensættes af modellerede dele, så funktionen forbliver modelleret. (verifikationsmatrix (docs/MODELLED-RATIONALE.md))

Se også#