lunar-beacon (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#

Kuun kiertoradalla toimivan navigointipalvelun pintamajakkatäydennys ajettavana ennen/jälkeen-taulukkona. Etelänapaisen alueen käyttäjä näkee harvan kiertoratajoukon kapealla taivaan alueella, joten etäisyysmittausgeometria on huonosti ehdollistettu; muutama KARTOITETTU PINTAMAJAKKA tuottaa matalan korkeuskulman, laajan atsimuutin näköyhteysrivit, joita pelkästään yläpuolella oleva joukko ei tuota, ja vaakasuuntainen tarkkuuden heikkenemiskerroin romahtaa. Skenaario raportoi kolme konfiguraatiota yhdellä epookilla — pelkät satelliitit, satelliitit plus näkyvät majakat ja suurempi tähdistö vaihtoehtoisena reittinä samaan geometriaan — kullakin näkyvien lähteiden lukumäärä, täysi DOP ja saavutettu 1-sigma-tarkkuus METREINÄ, joka saadaan kertomalla majakkakohtaisella käyttäjäekvivalenttisella etäisyysvirheellä, joka on koottu kellosynkronoinnin, monitie-etenemisen ja mittaustermien neliösumman neliöjuurena. Majakan näkyvyys on ilmattoman Kuun kahden korkeuden geometrinen horisontti (ei ilmakehää, joten raja on tarkka), ja DOP-kokoaminen on sama ydin, joka on tarkistettu ristiin gnss_lib_py:tä vastaan tiedostossa tests/dop_reference.rs. MIKSI TÄMÄ TYYPPI ON OLEMASSA: sen takana oleva moduuli on ollut moottorissa ja tarkistettu riippumatonta DOP-polkua vastaan L08/L09:stä lähtien, mutta siihen ei päässyt käsiksi ajosta — ei tyyppiä, ei lähetyshaaraa, ei mukana toimitettua tiedostoa. README mainosti kyvykkyyttä ja varmennusmatriisissa EI ollut siitä lainkaan riviä, joten se oli samanaikaisesti väitetty proosassa ja väittämättä kirjanpidossa (ledger) samalla kun se oli moottorissa tavoittamaton. Oletukset ovat geometria, jolla on jo sitoutettu golden-vertailu (käyttäjä -80 deg:ssa 2 m antennilla, kolme majakkaa kohdissa -80/0, -79/+60 ja -79/-60 korkeudella 2 km, kuuden satelliitin havainnollistava LCNS-tilannekuva hetkellä t=0, 5 deg:n maski), joten paljas ajo toistaa taulukon, jonka oraakkeli jo kattaa, eikä keksi uusia lukuja. MODELLED: tähdistön suunnittelu, majakoiden sijoittelu ja jokainen virhebudjetin suuruus ovat havainnollistavia syötteitä, eivät käytössä oleva mittaus tai mitattu linkki; vain DOP-aritmetiikka, horisontin suljettu muoto ja relaatio sigma = DOP x sigma_URE on ankkuroitu ulkoisesti. Ei ole palvelun suorituskykysitoumus.

Yksi tiedoston scenarios/lunar-beacon.toml ajo tiivistyy seuraavasti: Kuun pintamajakkatäydennys — maski 5,0 deg, epookki +0 s, majakkakohtainen sigma_URE 1,1576 m 6 satelliittia, ei majakoita sats 5 beacons 0 GDOP 11,6627 PDOP 9,6941 HDOP 3,4868 VDOP 9,0454 TDOP 6,4840 saavutettu 1-sigma: 3D 11,222 m H 4,036 m V 10,471 m 6 satelliittia + 1 näkyvää majakkaa sats 5 beacons 1 GDOP 4,9979 PDOP 4,1160 HDOP 1,9721 VDOP 3,6128 TDOP 2,8350 saavutettu 1-sigma: 3D 4,765 m H 2,283 m V 4,182 m 24 satelliittia, ei majakoita sats 19 beacons 0 GDOP 2,8929 PDOP 2,4226 HDOP 1,0199 VDOP 2,1974 TDOP 1,5811 saavutettu 1-sigma: 3D 2,804 m H 1,181 m V 2,544 m majakat parantavat PDOP:ia kertoimella 2.355x; sen sijaan suurempi tähdistö, 4.002x MODELLED: tähdistö, majakoiden sijoittelu ja virhebudjetti ovat havainnollistavia syötteitä. Taustalla oleva DOP-ydin on gnss_lib_py:llä validoitu ja majakan horisontti on L01:n suljettu muoto.

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: ei yhtään
• Valinnaiset kentät: user, beacons, n_satellites, comparison_n_satellites, epoch_s, elevation_mask_deg, clock_sync_m, multipath_m, survey_m

Esimerkki scenarios/lunar-beacon.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/lunar-beacon.toml

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Todisteet#

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

• MODELLED Majakkatäydennetty tarkkuuden heikkenemiskerroin Kuun pinnan käyttäjälle: näkyvien satelliittien näköyhteysrivit ja näkyvien pintamajakoiden etäisyysmittausrivit yhdistetään yhdeksi suunnittelumatriisiksi ja arvioidaan jaetun DOP-ytimen kautta, ja t Testit: validate_p2_beacon_before_after_table.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 Majakkatäydennetty tarkkuuden heikkenemiskerroin Kuun pinnan käyttäjälle: näkyvien satelliittien näköyhteysrivit ja näkyvien pintamajakoiden etäisyysmittausrivit yhdistetään. Oraakkeli (ReferenceImpl): DOP-aritmetiikka on crate::orbit::dop-ydin, validoitu erikseen ulkoisesti gnss_lib_py:tä vastaan tiedostossa tests/dop_reference.rs; tämä rivi ei lainaa sen rivin tilaa uudelleen. Majakan näkyvyyshorisontti on L01:n suljettu muoto, ja sigma = DOP x sigma_URE on GNSS:n vakiorelaatio (Kaplan ja Hegarty, Understanding GPS/GNSS, section 7). Tällä rivillä täydennys itse tarkistetaan riippumatonta

Rajoitukset#

Mitä ajon oma raportti sanoo olevan mallintamatta tai validoimatta:

• MODELLED: tähdistön suunnittelu, majakoiden sijoittelu ja jokainen virhebudjetin suuruus ovat havainnollistavia syötteitä, eivät käytössä oleva mittaus tai mitattu linkki; vain DOP-aritmetiikka, horisontin suljettu muoto ja relaatio sigma = DOP x sigma_URE on ankkuroitu ulkoisesti. (tyyppiluettelo (kshana kinds --json))
• MITÄ ON ANKKUROITU JA MITÄ EI Ankkuroitu: DOP-kokoaminen on ydin, joka on tarkistettu ristiin gnss_lib_py:tä vastaan tiedostossa tests/dop_reference.rs; majakan näkyvyys on ilmattoman Kuun kahden korkeuden geometrinen horisontti suljetussa muodossa (ei ilmakehää, joten ei taittumalaajennusta ja raja on tarkka); ja sigma = DOP x sigma_URE on vakiorelaatio (Kaplan & Hegarty, Understanding GPS/GNSS, section 7). EI ankkuroitu — MODELL (skenaariotiedoston kommentti, rivit 40–49)
• 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 pintamajakoiden DOP-täydennys on MODELLED, ei validoitu: tarkistettu tämän saman koodikannan erillistä toteutusta vastaan: riippumaton testattavasta yksiköstä mutta ei ulkoisesti auktoritatiivinen. (varmennusmatriisi (docs/MODELLED-RATIONALE.md))

Katso myös#

• Perhesivu: Kuu ja kuunläheinen avaruus
• Kaikki lajit: KINDS.md