Masintõlge, mida emakeelne kõneleja pole üle vaadanud. Võrdlusallikaks on ingliskeelne versioon.

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/gravity-map.md

gravity-map (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond GPS-ita alternatiivne PNT. Nõuandev: uurimis- ja inseneeriatööriista analüüsitulemus; mitte tüübikinnitust omav navigatsiooniseade ega inimelu ohutusega seotud teenus. Iga siinne silt on mootori või kontrollimaatriksi oma; liik on MODELLED, kui maatriks ei ütle teisiti (kuidas silt teenitakse: README jaotis Evidence).

Mida see teeb#

GPS-ita gravitatsioonikaardi sobitamise navigatsioon: külmaatomi gravimeeter taastab konstantse INS-i triivi gravitatsioonianomaalia jadast, mille läbi see lendab.

Ühe scenarios/gravity-map-nav.toml jooksu kokkuvõte: gravity-map | vaba inertsiaalne triiv 78302 m | gravitatsiooniga sobitatud 1882 m | sobitamise sigma 2.000e0 mGal

Sisendid#

Skeemist (kshana kinds --json):

  • Kohustuslikud väljad: 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
  • Valikulised väljad: coeffs, mascons, refine_stages, refine_factor, noise_seed, reference, map_error_mc

Näide scenarios/gravity-map-nav.toml määrab muu hulgas:

Väli Väärtus Ühik
averaging_time_s 100 s
coeffs[0].cbar 4.0000e-6 ei ole märgitud
coeffs[0].m 0 ei ole märgitud
coeffs[0].n 2 ei ole märgitud
coeffs[0].sbar 0 ei ole märgitud
coeffs[1].cbar 2.0000e-6 ei ole märgitud
coeffs[1].m 1 ei ole märgitud
coeffs[1].n 3 ei ole märgitud
coeffs[1].sbar 1.0000e-6 ei ole märgitud
drift_lat_deg 0.55 deg
drift_lon_deg -0.45 deg
gravimeter_asd 1.0000e-7 ei ole märgitud

Käivitamine#

kshana scenarios/gravity-map-nav.toml

4 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tulemus Väärtus Ühik
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
free_inertial_drift_m 78301.878584 m
map_matched_error_m 1881.790568 m
measurement_sigma_mgal 2 mGal
Diagramm, mille mootor kirjutab failile scenarios/gravity-map-nav.toml, liik gravity-map

Tõendid#

Ükski maatriksirida ei nimeta seda liiki nimepidi; selle tulemuse silt on mootori enda, ülal.

Read, mida käivitus ise kasutas, koos sõltumatu etaloniga, mille maatriks igaühele annab (avalikud allikad on seal nimetatud):

  • MODELLED Gravitatsioonikaardi sobitamine, maastikureferentsiga (TERCOM/SITAN), magnetanomaalia. Sõltumatu etalon (InternalConsistency): IGRF-14 koefitsiendid; esimestest printsiipidest sobitusfiltri CRLB. Päris välja gravitatsiooni bench-i väli on väliselt kontrollitud (rida „Gravity-anomaly synthesis from a spherical-harmonic model“), kuid selle navigatsioonitulemusel pole välist sõltumatut etaloni
  • MODELLED Deterministlikud, stsenaariumi räsiga, SBOM-i + platvormideülesed golden-väravad. Sõltumatu etalon (ExternalDataset): SBOM-i standardi järgimine ametliku CycloneDX-i 1,5 JSON-skeemi suhtes (+ kehtivad SPDX-i identifikaatorid) — väline avaldatud standard, null valideerimisviga kogu sõltuvusgraafil; FoM-i determinismi / baitide tasemel reprodutseeritavuse osa jääb fikseeritud sisemise kooskõla kontrolliks, mistõttu rida jääb MODELLED

Piirangud#

Mida jooksu oma aruanne ütleb, et pole modelleeritud või valideeritud:

  • Alternatiivne / täiendav PNT on MODELLED, mitte valideeritud: kontrollitud oma suletud kujul / analüütilise samasuse vastu — tabab ülekirjutus- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Reprodutseeritavus ja tarkvara kvaliteedi tagamine on MODELLED, mitte valideeritud: alamväide on väliselt kontrollitud, kuid kogu võimekus koosneb modelleeritud osadest, seega jääb võimekus modelleerituks. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#