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

SkenaariotyyppisivutMuokkaa GitHubissaLähde: docs/kinds/by-kind/mars-pnt.md

mars-pnt (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe Satelliittitähdistöt, kattavuus ja geometria. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva nimike on moottorin tai varmennusmatriisin; laji on MODELLED, ellei matriisi toisin sano (miten nimike ansaitaan: README:n Evidence-osio).

Mitä se tekee#

Syväavaruuden Mars-PNT: simuloitu MARCONI-releiden tähdistö (areostationaariset + kallistetut releet, jotka lähettävät yksisuuntaisesti + välittävät kaksisuuntaisesti syväavaruuden asemalle) navigoi viitekäyttäjän (transfer | lmo | surface) yhteisen yksi-/kaksisuuntaisen radiometrisen fuusioestimaattorin kautta. Raportoi epookkikohtaisen geometrian ja näkyvyyden, saavutetun RMS:n todellista tilaa vastaan sekä muodollisen kovarianssin (1σ / 3σ paikka) — rehellinen simuloitu laatumittari, EI sertifioitu suojaustaso.

Skenaarion scenarios/mars-pnt-lmo.toml yksi ajo tiivistyy seuraavasti: mars-pnt 5aad87fcc94a | lmo-käyttäjä, uso-kello | 5 relettä (keskimäärin 3,1 näkyvissä) | suppenneen paikan RMS 0,25 m, muodollinen 1σ 0,31 m (3σ 0,93 m — kovarianssin laatumittari, ei sertifioitu PL) | kellotaajuus σ 3.71e-13 | cov-PD true

Syötteet#

Skeemasta (kshana kinds --json):

  • Pakolliset kentät: ei yhtään
  • Valinnaiset kentät: user, clock_class, step_s, duration_s, nmax, range_sigma_m, doppler_sigma_mps, dynamic_tightness, two_way_period_s, seed

Esimerkki scenarios/mars-pnt-lmo.toml asettaa muun muassa:

Kenttä Arvo Yksikkö
clock_class uso teksti
doppler_sigma_mps 1.0000e-4 m/s
duration_s 7200 s
dynamic_tightness 0.1 ei ilmoitettu
kind mars-pnt teksti
nmax 4 ei ilmoitettu
range_sigma_m 1 m
seed 331514052 ei ilmoitettu
step_s 60 s
two_way_period_s 1800 s
user lmo teksti

Aja se#

kshana scenarios/mars-pnt-lmo.toml

3 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ö
areostationary_radius_m 2.0428e7 m
clock_class uso teksti
evidence.id_rule matriisirivin vakaa tunniste (ID teksti
evidence.matrix docs/VERIFICATION-MATRIX.md teksti
evidence.tier MODELLED teksti
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 lippu
fom.epochs 120 lukumäärä
Moottorin kirjoittama kaavio skenaariolle scenarios/mars-pnt-lmo.toml, tyyppi mars-pnt

Todisteet#

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

  • MODELLED Laji body-pnt: kiertäjä tai pintalaskeutuja nimellä valitun kappaleen ympärillä navigoi yhdensuuntaisilla pseudoetäisyyksillä Walker-navigointisatelliittitähdistöstä kappaleen ympärillä (kaksikappaleradat kappaleen J2-sekulaariajautumalla, tuntematon käyttäjän k

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

  • VALIDATED Epookkitilan [r,v] palautus maa-aseman etäisyyksistä Gauss–Newton-eräkorjaimella ja sekventiaalisella suodattimella kahden kappaleen + J2 -voimamallin yli. Oraakkeli (ExternalDataset): Orekit 12,2 (CS GROUP, Apache-2.0) BatchLSEstimator (Levenberg–Marquardt) + KalmanEstimator (EKF) — riippumaton kolmannen osapuolen estimointikirjasto vastaavalla voimamallilla; palautettu epookkitila + jälkisovituksen residuaalin RMS täsmäävät tarkkuuteen <1e-3 m kohinattomana ja <3 m 5 m:n kohinalattialla
  • MODELLED 3-tilainen (vaihe/taajuus/ajautuma) van Loan -Kalman-kello, Joseph-stabiloitu. Oraakkeli (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), jossa F on laskettu scipy.linalg.expm-funktiolla ja Q Van Loanin 1978 lohkomatriisilla — riippumaton viitetoteutus, joka toistaa koko Kshana-suodattimen liikeradan. Toteutusten välinen johdonmukaisuus: kellofysiikkaa / Allan-kalibrointia ei ole validoitu ulkoisesti, joten tämä jää tasolle MODELLED. 0,30 ulkoinen vertailu, havainto (jää tasolle MODELLED): IGS final 30 s -kelloilla, joita on 11 GPS Blo
  • 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:

  • Onboard-kellon tilan estimointi on MODELLED, ei validoitu: se on tarkistettu erillistä toteutusta vasten samassa koodikannassa — riippumaton testattavasta yksiköstä, mutta ei ulkoisesti auktoritatiivinen. (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#