combined-altpnt (scenariotyp)
Scenariotyp i motor v0.40.0, familj GPS-nekad alternativ PNT. Rådgivande: analysutdata från ett forsknings- och ingenjörsverktyg, inte typgodkänd navigationsutrustning och inte en livräddande säkerhetstjänst. Varje etikett här är motorns eller verifieringsmatrisens; en typ är MODELLED om inte matrisen säger något annat (hur en etikett förtjänas: avsnittet Evidens i README).
Vad den gör#
Kombinerad navigator för gravitation + magnetfält + terräng i GPS-nekad miljö: tre skalära fältkanaler sammanslagna per vägpunkt för en skarpare positionsbestämning med mindre drift (lägre CRLB) än något enskilt fält.
En körning av scenarios/combined-altpnt.toml sammanfattas som: combined-altpnt | fri tröghetsdrift 70659 m | gravitation 464 m magnetfält 782 m terräng 368 m | FUSED 365 m
Indata#
Från schemat (kshana kinds --json):
- Obligatoriska fält:
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 - Valfria fält:
coeffs,mascons,magnetic_mascons,igrf_alt_km,refine_stages,refine_factor,noise_seed,magnetic_grid
Exemplet scenarios/combined-altpnt.toml anger bland annat:
| Fält | Värde | Enhet |
|---|---|---|
coeffs[0].cbar |
6.0000e-6 | inte angivet |
coeffs[0].m |
0 | inte angivet |
coeffs[0].n |
2 | inte angivet |
coeffs[0].sbar |
0 | inte angivet |
coeffs[1].cbar |
3.0000e-6 | inte angivet |
coeffs[1].m |
1 | inte angivet |
coeffs[1].n |
3 | inte angivet |
coeffs[1].sbar |
2.0000e-6 | inte angivet |
dem_seed |
1 | inte angivet |
drift_lat_deg |
0.5 | deg |
drift_lon_deg |
-0.4 | deg |
gravity_sigma_mgal |
3 | mGal |
Kör den#
kshana scenarios/combined-altpnt.toml
Vad den ger#
De skalära resultaten av den körningen, med de enheter som motorn anger:
| Resultat | Värde | Enhet |
|---|---|---|
combined_m |
364.881333 | m |
evidence.id_rule |
det stabila id:t för matrisraden (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 |
Evidens#
Ingen matrisrad nämner den här typen vid namn; etiketten på dess resultat är motorns egen, ovan.
De rader som själva körningen använde, med den oberoende referens som matrisen anger för var och en (de offentliga källorna nämns där):
- MODELLED Matchning mot gravitationskarta, terrängreferensnavigering (TERCOM/SITAN), magnetisk anomali. Oberoende referens (InternalConsistency): IGRF-14-koefficienter; CRLB för matchat filter från första principer. Fältet i riktmärket för verkligt gravitationsfält är externt kontrollerat (raden 'Gravity-anomaly synthesis from a spherical-harmonic model'), men dess navigeringsutfall har ingen extern oberoende referens
- MODELLED Deterministisk, scenario-hashad, SBOM + golden-grindar över flera plattformar. Oberoende referens (ExternalDataset): SBOM som följer det officiella CycloneDX 1,5 JSON Schema (+ giltiga SPDX-identifierare) — en extern publicerad standard, noll valideringsfel över hela beroendegrafen; delen om FoM-determinism / byte-reproducerbarhet förblir en fastlåst kontroll av inre samstämmighet, så raden förblir MODELLED
Begränsningar#
Vad körningens egen rapport säger inte är modellerat eller inte validerat:
- Alternativ / kompletterande PNT är MODELLED, inte validerad: kontrollerad mot sin egen slutna / analytiska identitet — fångar transkriptions- och koefficientfel, men är ingen extern oberoende referens. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
- Reproducerbarhet och programvarusäkring är MODELLED, inte validerad: ett delpåstående kontrolleras externt, men hela förmågan sätts ihop av modellerade delar, så förmågan förblir Modelled. (verifieringsmatris (docs/MODELLED-RATIONALE.md))
Se även#
- Familjesida: GPS-nekad alternativ PNT
- Alla typer: KINDS.md