combined-altpnt (scenariotype)
Scenariotype i motoren v0.40.0, familie Alternativ PNT uten GPS. Veiledende: analyseutdata fra et forsknings- og ingeniørverktøy, ikke typegodkjent navigasjonsutstyr og ikke en sikkerhetskritisk tjeneste for menneskeliv. Hver etikett her er motorens eller verifikasjonsmatrisens; en type er MODELLED med mindre matrisen sier noe annet (hvordan en etikett fortjenes: Evidens-avsnittet i README).
Hva den gjør#
Kombinert navigator uten GPS med gravitasjon + magnetisme + terreng: tre skalare feltkanaler fusjonert per veipunkt for en skarpere posisjonsbestemmelse (lavere CRLB) av drift enn noe enkeltfelt.
Én kjøring av scenarios/combined-altpnt.toml oppsummeres som: combined-altpnt | free-inertial drift 70659 m | gravity 464 m magnetic 782 m terrain 368 m | FUSED 365 m
Inndata#
Fra skjemaet (kshana kinds --json):
- Obligatoriske felt:
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 - Valgfrie felt:
coeffs,mascons,magnetic_mascons,igrf_alt_km,refine_stages,refine_factor,noise_seed,magnetic_grid
Eksempelet scenarios/combined-altpnt.toml setter blant annet:
| Felt | Verdi | Enhet |
|---|---|---|
coeffs[0].cbar |
6.0000e-6 | ikke oppgitt |
coeffs[0].m |
0 | ikke oppgitt |
coeffs[0].n |
2 | ikke oppgitt |
coeffs[0].sbar |
0 | ikke oppgitt |
coeffs[1].cbar |
3.0000e-6 | ikke oppgitt |
coeffs[1].m |
1 | ikke oppgitt |
coeffs[1].n |
3 | ikke oppgitt |
coeffs[1].sbar |
2.0000e-6 | ikke oppgitt |
dem_seed |
1 | ikke oppgitt |
drift_lat_deg |
0.5 | deg |
drift_lon_deg |
-0.4 | deg |
gravity_sigma_mgal |
3 | mGal |
Kjør den#
kshana scenarios/combined-altpnt.toml
Hva den gir#
Skalarresultatene fra den kjøringen, med enhetene motoren oppgir:
| Resultat | Verdi | Enhet |
|---|---|---|
combined_m |
364.881333 | m |
evidence.id_rule |
den stabile id-en til matriseraden (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 |
Evidens#
Ingen matriserad nevner denne typen ved navn; etiketten på resultatet er motorens egen, ovenfor.
Radene kjøringen selv brukte, med den uavhengige referansen matrisen gir hver (de offentlige kildene er navngitt der):
- MODELLED Matching mot gravitasjonskart, terrengreferert (TERCOM/SITAN), magnetisk anomali. Uavhengig referanse (InternalConsistency): IGRF-14-koeffisienter; CRLB for matchet filter fra grunnprinsipper. Feltet i referansetesten med virkelig gravitasjonsfelt er eksternt kontrollert (rad «Gravity-anomaly synthesis from a spherical-harmonic model»), men navigasjonsresultatet har ingen ekstern uavhengig referanse
- MODELLED Deterministisk, scenariohashet, SBOM + gates med gylne verdier på tvers av plattformer. Uavhengig referanse (ExternalDataset): SBOM-overensstemmelse med det offisielle CycloneDX 1,5 JSON Schema (+ gyldige SPDX-identifikatorer), en ekstern publisert standard, null valideringsfeil over hele avhengighetsgrafen; delen om FoM-determinisme / byte-reproduserbarhet er fortsatt en festet selvkonsistenssjekk, så raden forblir MODELLED
Begrensninger#
Hva kjøringens egen rapport sier ikke er modellert eller ikke er validert:
- Alternativ / komplementær PNT er MODELLED, ikke validert: kontrollert mot sin egen lukkede/analytiske identitet – fanger opp transkripsjons- og koeffisientfeil, men er ikke en uavhengig ekstern referanse. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
- Reproduserbarhet og programvarekvalitetssikring er MODELLED, ikke validert: en delpåstand er kontrollert eksternt, men hele funksjonen setter sammen modellerte deler, så funksjonen forblir modellert. (verifikasjonsmatrise (docs/MODELLED-RATIONALE.md))
Se også#
- Familieside: Alternativ PNT uten GPS
- Alle typer: KINDS.md