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

Stsenaariumi liikide lehedMuuda GitHubisAllikas: docs/kinds/by-kind/lunar-station-coverage.md

lunar-station-coverage (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kuu ja tsislunaarne ruum. 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#

Modelleeritud Kuu etaloonijaama katvus: Kuu diferentsiaal-PNT mudeli Monte Carlo pühkimine üle lõunapooluse kasutajaruudustiku ja ühe päeva epohhide. Diferentsiaaletaloonijaam teadaoleval lõunapooluse asukohal parandab kindlaksmääratud konstellatsiooni (illustratiivne Kepleri või tabuleeritud efemeriid) kindlaksmääratud signaal-ruumis vea, mõõdistusvea, parandusviivituse ja lingi kvantimisega; punkti kaupa ja üle piirkonna esitab see parandatud ja parandamata asukohavea protsentiili (3-D, horisontaalne, vertikaalne), kättesaadavuse, katvuse kindlaksmääratud läve suhtes, DO-229E kaitsetasemed, katvusraadiuse asimuudi kohta ja paranduslingi eelarve jaamas ja halvimas punktis. Mitte väide ühegi päris süsteemi toimivuse kohta; ei ole seotud ühegi agentuuriga ega ühegi agentuuri heaks kiidetud. MODELLED.

Ühe scenarios/lunar-station-coverage.toml käivituse kokkuvõte: lunar-station-coverage | 346 punkti x 144 epohhi x 200 katset | kättesaadavus 92,2 % | katvus 76,5 % (p95 <= 20 m) | parandatud p95 3-D 15,592 m (parandamata 1056,892 m) | HPL maks 480,385 m | MODELLED; mitte väide ühegi päris süsteemi kohta

Sisendid#

Skeemist (kshana kinds --json):

  • Nõutavad väljad: puuduvad
  • Valikulised väljad: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

Näide scenarios/lunar-station-coverage.toml määrab muu hulgas:

Väli Väärtus Ühik
accuracy_threshold_m 20 m
alert_limit_m 10 m
argp_deg 90 deg
clock_err_m 30 m
eccentricity 0.6 1
grid_lat_max_deg -80 deg
grid_lat_step_deg 1 deg
inc_deg 57.7 deg
kind lunar-station-coverage tekst
latency_s 10 s
mask_deg 5 deg
n_sats 8 arv

Käivitamine#

kshana scenarios/lunar-station-coverage.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
budget_at_station_and_at_edge.epoch_s 0 s
budget_at_station_and_at_edge.station.ageing_clock_class rafs tekst
budget_at_station_and_at_edge.station.ageing_clock_time_error_s 3.1623e-11 s
budget_at_station_and_at_edge.station.ageing_orbit_rate_m_per_s 0.003083 m/s
budget_at_station_and_at_edge.station.latency_clock_position_sigma_m 0.030329 m
budget_at_station_and_at_edge.station.latency_clock_range_sigma_m 0.00948 m
budget_at_station_and_at_edge.station.latency_orbit_position_sigma_m 0.106357 m
budget_at_station_and_at_edge.station.latency_orbit_range_sigma_m 0.03083 m
budget_at_station_and_at_edge.station.latency_position_sigma_m 0.110597 m
budget_at_station_and_at_edge.station.latency_range_sigma_m 0.032254 m

Tulemuse silt (mootori oma): MODELLED

Mootori joonistatud diagramm failile scenarios/lunar-station-coverage.toml, liik lunar-station-coverage

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

  • MODELLED Kuu diferentsiaal-PNT mudeli Monte Carlo pühkimine üle lõunapooluse kasutajaruudustiku ja ühe päeva epohhide (liik lunar-station-coverage): diferentsiaaletaloonijaama jaoks teadaoleval lõunapooluse asukohal, punkti kaupa ja üle piirkonna, Testid: lunar_station_coverage_reference.rs.

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

  • 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
  • MODELLED NovaMoon-klassi diferentsiaaletaloonijaam: ühisrežiimi tühistamine + baseline-iga kasvav jääk + DGNSS kaitsetasemed. Sõltumatu etalon (InternalConsistency): Diferentsiaalvea tühistamise samasus + DO-229E SBAS PL masinavärgi taaskasutus; üksikdiferents + WLS lahendus on lisaks ristkontrollitud RTKLIB lsq()/matinv() vastu (Takasu, BSD-2-Clause, kompileeritud C) — sõltumatu lahendajakood, kuid sama esimest järku LOS-erinevuse algebra, seega siiski InternalConsistency
  • MODELLED Kolm liiget, mille diferentsiaalparandus omandab epohhi vahel, mil see arvutatakse, ja epohhi, mil seda kasutatakse, igaüks varem jäetud modelleerimata varuks:. Sõltumatu etalon (InternalConsistency): Suletud kujuga samasused ja sisemine kooskõla: ühtlase kvantori step²/12 dispersioon, täpne (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹ kovariatsiooni levitamine, mis võrdse σ korral taandub kujule σ·PDOP, mõõdistusliikme 1:1 ülekanne kui û_user ≈ û_ref tagajärg ja väljalülituse kvadratuuri sulgumine. PDOP ristkontroll orbit::dop vastu jagab normaalmaatriksit [−û, 1], seega on see kooskõlakontroll ja on nii märgitud, mitte kui sõltumatu
  • MODELLED Kuu diferentsiaal-PNT mudeli Monte Carlo pühkimine üle lõunapooluse kasutajaruudustiku ja ühe päeva epohhide (liik lunar-station-coverage): diferentsiaal. Sõltumatu etalon (InternalConsistency): Aritmeetika, mille arvutas uuesti sõltumatu numpy skript eksporditud juhtumitel (scripts/gen_lunar_station_ref.py, numpy 2.5.4; eelregistreeritud failis tests/fixtures/lunar_station/PREREGISTRATION.md, kinnitatud üksi commit-is 9caedf97 enne esimest käivitust): 20 juhtumil, kus iga vealiige on sees, on nähtavad hulgad ja olek identsed, toored ulatusvead ühtivad täpsusega 1.4e-14 m, asukohavea vektorid ja suurused täpsusega 1.4e-9 m vastu

Piirangud#

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

  • MODELLED (tulemus label)
  • MODELLED. (liikide kataloog (kshana kinds --json))
  • AUSTUS: MODELLED. Allpool kindlaksmääratud eelduste korral annab mudel need arvud. Mitte väide ühegi päris süsteemi toimivuse kohta; ei ole seotud ühegi agentuuriga ega ühegi agentuuri heaks kiidetud; ei ole TRL-i ega pärandi väidet. Välja jäetud: maastiku ja horisondi varjestus poolusel (esimene piirang), mitmeteelevi, vastuvõtja riistvara. (stsenaariumifaili kommentaar, read 15 kuni 18)
  • 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))
  • Kuu diferentsiaal-PNT on MODELLED, mitte valideeritud: kontrollitud omaenda suletud kujul / analüütilise samasuse vastu — tabab ülekande- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Kuu diferentsiaal-PNT — paranduslingi jäägi eelarve on MODELLED, mitte valideeritud: kontrollitud omaenda suletud kujul / analüütilise samasuse vastu — tabab ülekande- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
  • Kuu etaloonijaama katvuse ja täpsuse kaart on MODELLED, mitte valideeritud: kontrollitud omaenda suletud kujul / analüütilise samasuse vastu — tabab ülekande- ja koefitsiendivigu, kuid ei ole väline sõltumatu etalon. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))

Vt ka#