`lunar-station-coverage` (skenaariotyyppi)

Moottorin v0.40.0 skenaariolaji, perhe Kuu ja kuunläheinen avaruus. 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#

Mallinnettu kuun referenssiasemien kattavuus: Monte Carlo -pyyhkäisy kuun differentiaalisesta PNT-mallista etelänapa-alueen käyttäjäruudukon ja yhden päivän epookkien yli. Tunnetulla etelänapa-paikalla oleva differentiaalinen referenssiasema korjaa ilmoitetun satelliittitähdistön (havainnollistava Kepler-tähdistö tai taulukoitu efemeridi) ilmoitetulla signaali avaruudessa -virheellä, mittausvirheellä, korjauksen viiveellä ja linkin kvantisoinnilla; pistettä kohti ja koko alueella se raportoi korjatun ja korjaamattoman paikkavirheen prosenttipisteet (3D, vaaka, pysty), saatavuuden, kattavuuden ilmoitettua kynnystä vastaan, DO-229E-suojaustasot, kattavuussäteen atsimuuttia kohti ja korjauslinkin linkkibudjetin asemalla ja huonoimmassa pisteessä. Ei väite minkään todellisen järjestelmän suorituskyvystä; ei yhteyttä eikä hyväksyntää miltään virastolta. MODELLED.

Skenaarion scenarios/lunar-station-coverage.toml yksi ajo tiivistyy seuraavasti: lunar-station-coverage | 346 pistettä x 144 epookkia x 200 toistoa | saatavuus 92,2 % | kattavuus 76,5 % (p95 <= 20 m) | korjattu p95 3D 15,592 m (korjaamaton 1056,892 m) | HPL max 480,385 m | MODELLED; ei väite minkään todellisen järjestelmän suorituskyvystä

Syötteet#

Skeemasta (kshana kinds --json):

Pakolliset kentät: ei yhtään
Valinnaiset kentät: 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

Esimerkki scenarios/lunar-station-coverage.toml asettaa muun muassa:

Kenttä	Arvo	Yksikkö
`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	teksti
`latency_s`	10	s
`mask_deg`	5	deg
`n_sats`	8	lukumäärä

Aja se#

kshana scenarios/lunar-station-coverage.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ö
`budget_at_station_and_at_edge.epoch_s`	0	s
`budget_at_station_and_at_edge.station.ageing_clock_class`	rafs	teksti
`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

Tuloksen nimike (moottorin oma): MODELLED

Moottorin kirjoittama kaavio skenaariolle scenarios/lunar-station-coverage.toml, tyyppi lunar-station-coverage

Todisteet#

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

MODELLED Monte Carlo -pyyhkäisy kuun differentiaalisesta PNT-mallista etelänapa-alueen käyttäjäruudukon ja yhden päivän epookkien yli (tyyppi lunar-station-coverage): tunnetulla etelänapa-paikalla olevalle differentiaaliselle referenssiasemalle pistettä kohti ja koko alueella, Testit: lunar_station_coverage_reference.rs.

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

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
MODELLED NovaMoon-luokan differentiaalinen vertailuasema: yhteismoodin kumoutuminen + baselinen mukana kasvava jäännös + DGNSS-suojaustasot. Oraakkeli (InternalConsistency): Differentiaalisen virheen kumoutumisidentiteetti + DO-229E SBAS -suojaustasokoneiston uudelleenkäyttö; yksittäisdifferenssi + WLS-ratkaisu tarkistetaan lisäksi ristiin RTKLIB:n lsq()/matinv()-funktioita vastaan (Takasu, BSD-2-Clause, käännetty C) — riippumaton ratkaisijakoodi, mutta sama ensimmäisen kertaluvun näköyhteyserotuksen algebra, joten edelleen InternalConsistency
MODELLED Kolme termiä, jotka differentiaalikorjaus kerää hetken, jolla se lasketaan, ja hetken, jolla sitä käytetään, välillä, kukin aiemmin jätetty mallintamattomaksi varakapasiteetiksi:. Oraakkeli (InternalConsistency): Suljetun muodon identiteetit ja sisäinen johdonmukaisuus: tasaisen kvantisoijan askel²/12-varianssi, tarkka (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹-kovarianssin eteneminen, joka supistuu muotoon σ·PDOP yhtäsuurille σ:ille, mittaustermin 1:1-siirtyminen seurauksena ehdosta û_user ≈ û_ref, sekä kytkennän pois päältä oleva neliöllinen sulkeutuminen. PDOP-ristiintarkistus orbit::dop-moduulia vastaan jakaa normaalimatriisin [−û, 1], joten se on johdonmukaisuustarkistus ja merkitty sellaiseksi eikä in
MODELLED Monte Carlo -pyyhkäisy kuun differentiaalisesta PNT-mallista etelänapa-alueen käyttäjäruudukon ja yhden päivän epookkien yli (tyyppi lunar-station-coverage): differentiaaliselle r. Oraakkeli (InternalConsistency): Aritmetiikka laskettu uudelleen riippumattomalla numpy-skriptillä viedyistä tapauksista (scripts/gen_lunar_station_ref.py, numpy 2.5.4; ennakkorekisteröity tiedostossa tests/fixtures/lunar_station/PREREGISTRATION.md, kirjattu yksin versiossa 9caedf97 ennen ensimmäistä ajoa): 20 tapauksessa, joissa kaikki virhetermit ovat päällä, näkyvät joukot ja tila ovat identtiset, raakaetäisyysvirheet täsmäävät tarkkuuteen 1.4e-14 m, paikkavirhevektorit ja niiden suuruudet tarkkuuteen 1.4e-9 m vasten

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

MODELLED (tulos label)
MODELLED. (lajiluettelo (kshana kinds --json))
REHELLISYYS: MODELLED. Alla ilmoitetuilla oletuksilla malli antaa nämä luvut. Ei väite minkään todellisen järjestelmän suorituskyvystä; ei yhteyttä eikä hyväksyntää miltään virastolta; ei TRL- eikä perintöväitettä. Jätetty pois: maasto ja horisontin peittäminen navalla (ensimmäinen rajoitus), monitie-eteneminen, vastaanottimen laitteisto. (skenaariotiedoston kommentti, rivit 15 - 18)
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))
Kuun differentiaalinen PNT on MODELLED, ei validoitu: tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vastaan, mikä paljastaa kirjoitus- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
Kuun differentiaalinen PNT — korjauslinkin jäännösbudjetti on MODELLED, ei validoitu: tarkistettu sen omaa suljetun muodon / analyyttistä identiteettiä vastaan, mikä paljastaa kirjoitus- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))
Kuun referenssiaseman kattavuus- ja tarkkuuskartta on MODELLED, ei validoitu: sitä on tarkistettu omaa suljetun muodon tai analyyttistä identiteettiään vasten, mikä paljastaa kopiointi- ja kerroinvirheet mutta ei ole ulkoinen oraakkeli. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))