Konekäännös, jota äidinkielinen puhuja ei ole tarkistanut. Viitteenä on englanninkielinen versio.

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/terrain-nav.md

terrain-nav (skenaariolaji)

Moottorin v0.40.0 skenaariotyyppi, perhe Vaihtoehtoinen PNT GPS:n estyessä. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

GPS-denied-maastoon perustuva navigointi (TERCOM/SITAN): tutka- tai ilmanpainekorkeusmittari sovittaa maanpinnan korkeusprofiilin SRTM-tyyppiseen DEM:iin INS-ajautuman korjaamiseksi.

Yksi ajo, jossa on scenarios/terrain-nav.toml, tiivistyy seuraavasti: terrain-nav | free-inertial drift 70659 m | terrain-matched 53 m (1342x cut) | matching sigma 17,0 m

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: 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
  • Valinnaiset kentät: refine_stages, refine_factor, noise_seed

Esimerkki scenarios/terrain-nav.toml asettaa muun muassa seuraavat:

Kenttä Arvo Yksikkö
altimeter_sigma_m 8 m
dem_seed 1 ei ilmoitettu
drift_lat_deg 0.5 deg
drift_lon_deg -0.4 deg
kind terrain-nav teksti
map_sigma_m 15 m
noise_seed 1 ei ilmoitettu
refine_factor 8 ei ilmoitettu
refine_stages 3 ei ilmoitettu
search_half_deg 0.8 deg
search_step_deg 0.08 deg
start_lat_deg 12.05 deg

Aja se#

kshana scenarios/terrain-nav.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Tulos Arvo Yksikkö
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
free_inertial_drift_m 70658.643788 m
matched_error_m 52.665375 m
measurement_sigma_m 17 m
Moottorin kirjoittama kaavio skenaariolle scenarios/terrain-nav.toml, laji terrain-nav

Todisteet#

MODELLED: varmennusmatriisin rivit, jotka nimeävät tämän lajin.

  • MODELLED Laji ja vaihe lunar-descent: viisitilainen akselikohtainen inertiavirhemalli (paikka, nopeus, kiihtyvyysmittarin harha, kallistuma, gyron harha) moottoroidun laskeutumisen ajalta, tukena AFS-korjaukset (yksinään tai differentiaalisena, kolmen releen kellotuella

Rivit, joita ajo itse käytti, ja kullekin matriisin antama oraakkeli (julkiset lähteet on nimetty siellä):

  • MODELLED Painovoimakartan sovitus, maastoviitteinen (TERCOM/SITAN), magneettinen poikkeama. Oraakkeli (InternalConsistency): IGRF-14-kertoimet; ensiperiaatteista johdettu sovitetun suodattimen CRLB. Todellisen kentän painovoimabenchmarkin kenttä tarkistetaan ulkoisesti (rivi 'Gravity-anomaly synthesis from a spherical-harmonic model'), mutta sen navigointituloksella ei ole ulkoista oraakkelia
  • MODELLED Deterministinen, skenaariohajautettu, SBOM + alustat ylittävät golden-portit. Oraakkeli (ExternalDataset): SBOM-yhteensopivuus virallisen CycloneDX 1,5 JSON Schema -skeeman kanssa (+ kelvolliset SPDX-tunnisteet) — ulkoinen julkaistu standardi, nolla validointivirhettä koko riippuvuuskaaviossa; FoM-determinismin / tavutason toistettavuuden osa on edelleen kiinnitetty itseään vasten tehtävä johdonmukaisuustarkistus, joten rivi pysyy MODELLED-tasolla

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

  • Vaihtoehtoinen / täydentävä PNT on MODELLED, ei validoitu: se on tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vasten — se havaitsee kirjoitus- ja kerroinvirheet, mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
  • Toistettavuus ja ohjelmistovarmistus on MODELLED, ei validoitu: alaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys kokoaa yhteen mallinnettuja osia, joten kyvykkyys pysyy mallinnettuna. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#