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

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/gravity-map.md

gravity-map (skenaariotyyppi)

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:n estyessä toimiva painovoimakartan sovitusnavigointi: kylmäatomigravimetri palauttaa vakioisen INS-ajautuman painovoimapoikkeamasarjasta, jonka läpi se lentää.

Yksi ajo tiedostolla scenarios/gravity-map-nav.toml tiivistyy seuraavasti: gravity-map | free-inertial drift 78302 m | gravity-matched 1882 m | matching sigma 2.000e0 mGal

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: nmax, start_lat_deg, start_lon_deg, step_lat_deg, step_lon_deg, waypoints, drift_lat_deg, drift_lon_deg, gravimeter_asd, averaging_time_s, map_sigma_mgal, search_half_deg, search_step_deg
  • Valinnaiset kentät: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

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

Kenttä Arvo Yksikkö
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 ei ilmoitettu
coeffs[0].m 0 ei ilmoitettu
coeffs[0].n 2 ei ilmoitettu
coeffs[0].sbar 0 ei ilmoitettu
coeffs[1].cbar 2.0000e-6 ei ilmoitettu
coeffs[1].m 1 ei ilmoitettu
coeffs[1].n 3 ei ilmoitettu
coeffs[1].sbar 1.0000e-6 ei ilmoitettu
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 ei ilmoitettu

Aja se#

kshana scenarios/gravity-map-nav.toml

4 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat kohdassa scenarios/.

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 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Kaavio, jonka moottori kirjoittaa tiedostolle scenarios/gravity-map-nav.toml, skenaariotyyppi gravity-map

Todisteet#

Yksikään matriisin rivi ei nimeä tätä tyyppiä nimellä; sen tuloksen merkintä on moottorin oma, yllä.

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#