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

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/mars-pnt.md

mars-pnt (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Satelliidikonstellatsioonid, katvus ja geomeetria. 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#

Kaugkosmose Marsi PNT: simuleeritud MARCONI releekonstellatsioon (areostatsionaarsed + kaldega releed, mis edastavad ühesuunaliselt + releestavad kahesuunaliselt kaugkosmose jaamale) navigeerib etalonkasutajat (transfer | lmo | surface) ühise ühe-/kahesuunalise radiomeetrilise liitmise hindaja kaudu. Esitab epohhipõhise geomeetria/nähtavuse, saavutatud RMS-i tõe suhtes ja formaalse kovariatsiooni (1σ / 3σ asukoht) — aus simuleeritud kvaliteedinäitaja, MITTE sertifitseeritud kaitsetase.

Ühe scenarios/mars-pnt-lmo.toml käivituse kokkuvõte: mars-pnt 5aad87fcc94a | lmo kasutaja, uso kell | 5 releed (keskmiselt 3,1 nähtaval) | koondunud asukoha RMS 0,25 m, formaalne 1σ 0,31 m (3σ 0,93 m — kovariatsiooni kvaliteedinäitaja, mitte sertifitseeritud PL) | kella sageduse σ 3.71e-13 | cov-PD true

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

Näide scenarios/mars-pnt-lmo.toml määrab muu hulgas:

Väli Väärtus Ühik
clock_class uso tekst
doppler_sigma_mps 1.0000e-4 m/s
duration_s 7200 s
dynamic_tightness 0.1 ei ole märgitud
kind mars-pnt tekst
nmax 4 ei ole märgitud
range_sigma_m 1 m
seed 331514052 ei ole märgitud
step_s 60 s
two_way_period_s 1800 s
user lmo tekst

Käivitamine#

kshana scenarios/mars-pnt-lmo.toml

3 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
areostationary_radius_m 2.0428e7 m
clock_class uso tekst
evidence.id_rule maatriksi rea stabiilne id (ID tekst
evidence.matrix docs/VERIFICATION-MATRIX.md tekst
evidence.tier MODELLED tekst
fom.converged_pos_3sigma_m 0.927387 m
fom.converged_pos_rms_m 0.245604 m
fom.converged_pos_sigma_m 0.309129 m
fom.covariance_pd_throughout true lipp
fom.epochs 120 arv
Mootori joonistatud diagramm failile scenarios/mars-pnt-lmo.toml, liik mars-pnt

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Liik body-pnt: orbiter või pinnaleandur nimega valitud keha ümber navigeerib ühesuunaliste pseudovahemaadega keha ümber oleva Walkeri navigatsioonikonstellatsiooni abil (kahe keha orbiidid keha J2 sekulaarse triiviga, tundmatu kasutaja c

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

  • VALIDATED Epohhi oleku [r,v] taastamine maajaama ulatustest Gaussi–Newtoni kobardiferentsiaalparandaja ja järjestikfiltri kaudu kahe keha+J2 jõumudelil. Sõltumatu etalon (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) BatchLSEstimator (Levenberg–Marquardt) + KalmanEstimator (EKF) — sõltumatu kolmanda osapoole hindamisteek sobitatud jõumudelil; taastatud epohhi olek + sobitusjärgne jäägi RMS ühtivad täpsusega <1e-3 m müravabalt ja <3 m müratasemel 5 m
  • MODELLED 3-olekuline (faas/sagedus/triiv) van-Loani Kalmani kell, Joseph-stabiliseeritud. Sõltumatu etalon (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), F funktsiooniga scipy.linalg.expm ja Q Van-Loani 1978 plokkmaatriksiga — sõltumatu etalonteostus, mis reprodutseerib kshana täieliku filtri trajektoori. Teostustevaheline kooskõla: kella füüsikat / Alani kalibreerimist ei ole väliselt valideeritud, seega jääb see MODELLED. 0,30 väline võrdlus, tulemus (jääb MODELLED): IGS-i lõplikel 30 s kelladel 11 GPS Blo
  • 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:

  • Pardakella oleku hindamine on MODELLED, mitte valideeritud: kontrollitud eraldi teostuse vastu samas koodibaasis — testitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (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#