Validoinnin tila

Toleransseista. ”Validoitu” tarkoittaa alla, että kalibrointitesti varmistaa simuloidun tilaston vastaavan viiterelaatiota pakotetun rajan sisällä, joka on tällä hetkellä 20–25 % suhteellinen virhe (siemenkeskiarvoistettu) Allan-/kohinabudjettirelaatioille. Mediaanina havaittu yhtäpitävyys on usein paljon tiukempi (muutama prosentti), mutta taattu raja on raja, ei mediaani. Missä esiintyy luku kuten ”~2 %”, se on tyypillinen havainto, ei pakotettu toleranssi. Katso Väitteet vs. todellisuus.

Ylennyssääntö#

Koneellisesti tarkistetun varmennusmatriisin rivi (src/verification.rs) on VALIDATED vain, kun oraakkeli, joka on riippumaton Kshana-ohjelmistosta, on yhtä mieltä toteutuksen kanssa ennen vertailun ajoa ilmoitetun toleranssin sisällä portissa ajettavassa testissä. Tämä osio on ainoa paikka, jossa sääntö on kirjoitettu auki; matriisi, rivikohtainen proosa ja julkaisutiedotteet noudattavat sitä.

Hyväksytyt oraakkelityypit#

Kaksi muuta standardia ratkaisee rajatapaukset. Molemmat on otettu käyttöön julkaisussa 0,30.

• P1, julkaistu laskettu arvo. Julkaistu laskettu arvo, joka on laskettu samasta suljetusta muodosta, jonka rivi toteuttaa, lasketaan julkaistuksi viitevektoriksi, kun julkaisu on riippumaton Kshana-ohjelmistosta ja vertailu kiinnittää ilmoitetun toleranssin. Arvon on oltava painettu lukuna julkaisussa (kuvaajasta luettu arvo kelpaa vain, jos lukuepävarmuus on ilmoitetun toleranssin sisällä), ja testin on laskettava se Kshana-ohjelmistolla julkaisun syötteistä; vakion vertaaminen asiakirjaan, josta se kopioitiin, on transkriptiotarkistus, ei P1.
• P2, riippumaton numeerinen kirjasto. Riippumaton numeerinen kirjasto, kuten numpy tai LAPACK (Linear Algebra PACKage), joka laskee uudelleen yksikäsitteisesti määritellyn lineaarialgebrasuureen ilmoitetuilla syötteillä, lasketaan riippumattomaksi kirjastoksi. Kirjaston on suoritettava hajotelma-, käänteis-, ratkaisu- tai pienimmän neliösumman vaihe omalla algoritmillaan, syötteillä, jotka on tallennettu fikstuurin mukana; validoitu väite on tällöin lineaarialgebra näillä syötteillä, ei edustavan skenaarion fysikaaliset suuruudet. Skripti, joka arvioi skalaarisen suljetun muodon uudelleen numpy-aritmetiikalla, on meidän oman toteutuksemme toinen toteutus, ei P2.

Kaikkiin tyyppeihin sovellettavat ehdot: oraakkelia ei ole kirjoittanut, ajanut tai julkaissut tämä projekti (tämän repositorion oma julkaisusarja ei siis ole siitä riippumaton); toleranssi on testissä ja oli lukittu ennen ensimmäistä vertailua; dataan sidottu testi, joka ohitetaan, kun sen julkinen data puuttuu, kertoo siitä ohittaessaan.

Mikä ei kelpaa#

• Oma toinen toteutuksemme: toinen koodipolku tässä crate-paketissa (ReferenceImpl) tai tämän repositorion skripti, joka arvioi saman suljetun muodon uudelleen.
• Yhtäpitävyys oman aiemman tulosteemme kanssa: golden-tiedostot, regressiolukitukset, tilannekuvat tai taulukko tämän projektin omista julkaisuista.
• Viitteen vakioiden transkriptio: kertoimen, esiasetuksen, datalehden luvun tai parametrilehden tarkistaminen asiakirjaa vasten, josta se kopioitiin.
• Suunnitteluvalinta: allokaatio, painotus, kynnys, hälytysraja tai edustava skenaario. Valinnalle ei ole ulkoista totuutta.
• Sisäinen identiteetti: numeerinen integraali omaa analyyttistä muotoaan vasten, edestakainen muunnos, inversio, ominaisuus- tai monotonisuustesti.
• Integraatioajo oikeaa isäntää vasten (IntegrationRun): liitännäisen lataaminen oikeaan Signal K -palvelimeen tai OpenCPN:ään, tai oikean portin tulosteen syöttäminen TCP-kuluttajalle ja sen tarkistaminen, että isäntä hyväksyy syötteen ja näyttää odotetun tilan. Se osoittaa, että putkisto toimii. Isäntä ei ole oraakkeli millekään arvolle, jota integraatio kuljettaa, joten ei ole mitään ulkoista vertailukohtaa, ja tällainen rivi (meriliikenneintegraatioiden rivi) on MODELLED, ei VALIDATED. Tyyppi IntegrationRun on oma oraakkelityyppinsä, sallittu vain riveillä, joiden taso on MODELLED: testi integration_run_only_on_modelled_rows tiedostossa src/verification.rs epäonnistuu, jos rivillä, jonka taso on VALIDATED, on se, ja validated_rows_require_an_external_oracle vaatii jo, että jokaisen rivin, jonka taso on VALIDATED, tyyppi on ExternalDataset.
• Uskottavuus todellisilla syötteillä: todellista dataa käytetään vain syötteenä, väittämillä suuruusluokasta eikä vertailulla ulkoiseen arvoon.
• Toleranssi, joka on valittu vertailun näkemisen jälkeen.

Kuinka sääntöä valvotaan#

Jokainen rivi, jonka taso on VALIDATED, ilmoittaa funktiossa validated_oracle_basis() tiedostossa src/verification.rs, mihin tyyppiin se perustuu (Measured, Library, Reference, P1 tai P2), riippumattoman lähteen (lainattu rivin oman oraakkelitekstin mukaan) ja yhden testin, joka kantaa vertailun. Taulukon vieressä olevat yksikkötestit epäonnistuvat, kun rivi, jonka taso on VALIDATED, on ilmoittamatta tai ilmoitettu kahdesti, kun ilmoitus nimeää rivin, jonka taso ei ole VALIDATED, kun ilmoitettu lähde ei ole se, jonka rivin oma oraakkeliteksti nimeää, tai on Kshana itse, kun ilmoitettu testi ei ole sellainen, jonka rivi siteeraa, tai kun P2-rivi ei nimeä riippumatonta numeerista kirjastoa. Tiedosto tests/verification_rows_declare_an_oracle_basis.rs vaatii sitten, että ilmoitettu testi on olemassa levyllä todellisena testinä (#[test]), jota ei ohiteta. Konetta ei voi tarkistaa sitä, vertaako nimetty testi ilmoitettua lähdettä vasten; se jää ihmisen luettavaksi. Tyyppikohtaisia lukumääriä ei kirjata tähän: taulukko on lähde.

Olemassa olevat rivit, joiden taso on VALIDATED, tarkasteltuna uudelleen säännön alla#

Sääntöä sovellettiin olemassa oleviin riveihin sekä tuleviin ylennyksiin.

• Validointitutkimuksen 0,30 nimeämät P1-rivit, kukin tuettu: Yhdensuuntainen linkkibudjetti (JPL Pub 82-76 Galileo X-kaistan suunnittelun ohjaustaulukko, koottu uudelleen rivikohdistaan 4.6e-3 dB:n vapaan tilan vaimennukseen asti); Kaistarajoitetut suljetut muodot mille tahansa etäisyysmittaussignaalille (90,3 prosenttia pääkeilatehosta ja julkaistu koherentti early-late-jitter); Matalan Maan kiertoradan navigointisatelliitin suurin Doppler (julkaistut Xona Pulsar X1- ja Iridium-luvut); LEO- tai MEO-radalta staattisen käyttäjän näkemä suurin Doppler (Pulsar-julkaisun taulukko 1, 20 arvoa); Doppler, jota maavastaanottimen on käsiteltävä LEO-navigointisatelliitilta (samat julkaistut luvut lennetyltä radalta). Jokainen julkaisu on riippumaton Kshana-ohjelmistosta, painaa lukunsa, ja testi ilmoittaa toleranssinsa.
• Uudelleentarkastelussa löydetyt muut P1:een perustuvat rivit, kukin tuettu: Etäisyysmittauskoodin suunnittelukompromissi (julkaistu −23,9 dB:n Gold-ristikorrelaatio); Kuun koordinaattiaika (Ashby ja Patla 2024, jonka Kuun nopeuden ristiintarkistus DE440:aa vasten on kirjastotarkistus); Suljetun muodon L-kaistan signaalin tehospektritiheydet (Kaplanin ja Hegartyn Q-arvot); Ensimmäisen kertaluvun ionosfäärin viive kaistaa kohti (IS-GPS-200:n ryhmäviiveen suhde); Maailmanlaajuisen keskiarvon signal-in-space-etäisyysvirheen painot (Montenbruckin, Steigenbergerin ja Hauschildin 2018 taulukko).
• Tutkimuksen nimeämät P2-rivit, kukin tuettu: Fisher-informaatio ja Cramér–Rao-havaittavuus (numpy-funktiot eigh/inv); Kuun datumin tunnistettavuus; Kytketty Kuun koordinaatiston ja aikaskaalan gauge; Autonominen vapaan verkon vian havaittavuuden putki (numpy/SciPy SVD, singulaariarvohajotelma). Kukin laskee yksikäsitteisesti määritellyn lineaarialgebrasuureen uudelleen kommitoiduilla syötteillä eri algoritmilla kuin Kshana-ohjelmiston Jacobi-ominaisarvoratkaisija.
• Uudelleentarkastelussa löydetyt muut P2:een perustuvat rivit, kukin tuettu: MCDA (monikriteeripäätösanalyysi) -prioriteettien johtaminen (AHP, analyyttinen hierarkiaprosessi, ominaisvektori SciPy/LAPACK-kirjastoilla; myös toistettu Random Index -taulukko on transkriptio eikä sitä lasketa); Kellon holdover-ajautumisen varianssi (SciPy-funktio expm Van Loan -laajennetusta matriisista); Kuun koordinaatiston realisointi (numpy SVD Umeyama-ratkaisu); CRPA (hallitun vastaanottokuvion antenni) -keilanmuodostus (LAPACK-kirjaston kompleksiratkaisu); Kuun ARAIM-suojaustasoydin (RTKLIB:n LU-käänteismatriisi SciPy-kvantiileilla); Palveluntarjoajien välinen Kuun koordinaatisto-/dynamiikkajohdonmukaisuus (kolmen julkaistun efemeridin numpy SVD -pienimmän neliösumman sovitus).
• Ensimmäisellä läpikäynnillä liputettu, uudelleen perusteltu kierroksella 2 ajossa 0,30. Kolme riviä liputettiin kirjoitetun säännön tukemattomina. Kukin perustuu nyt vertailuun, joka ennakkorekisteröitiin ennen fikstuurin hakemista, joten yhtään riviä ei ole liputettu; yksikkötesti kohdan validated_oracle_basis() vieressä lukitsee (nyt tyhjän) luettelon.
  • Eheys (RAIM/ARAIM/SBAS). Siteeratut testit väittivät ennen vain uskottavuutta todellisella IGS:n (International GNSS Service) geometrialla. Rivi perustuu nyt kolmeen kirjasto-oraakkeliin: Airborne Design Document v4.2:n ARAIM-monihypoteesiratkaisuerotus Stanford MAAST -työkalua vasten ARAIM 2 varten (270 todellista tapausta, pahin VPL-ero 2.2e-3 m vs. 0,05 m); snapshot-RAIM:n havaitseminen ja poissulkeminen RTKLIB:n raim_fde vasten (2016 päätöstä, yhteensä 2016, identtistä) kaltevuussuojaustasolla; ja SBAS DO-229E L1 -suojaustasot Stanford MAAST -työkalua vasten todellisilla WAAS-lähetyksillä (2868 paria 1.6e-5 m sisällä). Rivi sanoo suoraan, että tasasigma-funktiot raim::araim_raim ja raim::araim_dual_raim eivät ole ADD:n vaatimusten mukaisia ja että kaksitaajuisen L5 SBAS -vertailun tulos on havainto.
  • Planeettojen sijainnit aurinkokunnassa JPL:n Standishin Kepler-elementeistä. Jälkikäteinen kynnys, kaksinkertainen nimellinen virhe, on korvattu ennakkorekisteröidyllä kynnyksellä: RMS enintään Explanatory Supplement -taulukon 8.10.1 luku planeettaa ja komponenttia kohti, JPL Horizons DE441:tä vasten, Maan jako ja ICRF-kierto mukaan lukien.
  • Valoaika aurinkokunnan kappaleiden välillä. Valoaikaratkaisija verrataan nyt Horizonsin valoaikoihin 1e-6 s sisällä DE441-sijainneilla, ennakkorekisteröity kynnys, joka ei peri sijaintikynnystä.
• Rivit, joiden taso on MODELLED ja jotka kaksi käytäntöä tekevät ylennettäviksi (vain rivi riviltä etenevän ajon 0,30 kautta, ei koskaan tämän tekstin perusteella): P1:n alla lähettimen TDOA/FDOA (time and frequency difference of arrival) -paikannusraja, relativistinen kellotaajuuden ja koordinaatiston kytkentä, ITU-T:n (Telecommunication Standardization Sector) synkronointimaskit (vain maskiarvoille, jotka suositukset painavat lukuina; itseään vasten tarkistetut transkriboidut taitepisteet eivät lasketa) ja 5G:n ei-maanpäällisen verkon paikannusraja (vain jos julkaistu laskettu luku löytyy); P2:n alla yhteismoodisen eheyden sokeus, skalaarinen MHSS:n (multiple-hypothesis solution separation) ajoituksen suojaustaso ja GLS:n (generalised least squares) valkaisu. Kaksi ajoituseheyden benchmark-riviä (Stanford-eheysdiagrammin luokittelija ja eheyskattavuuden pisteyttäjä) ovat sääntöpohjaista luokittelua, ei lineaarialgebraa, joten P2 ei ulotu niihin; ne tarvitsevat riippumattoman työkalun, ja ainoa löydetty (gLAB) on ei-kaupallisella lisenssillä.
• Yhdenmukaisuus aiempien hylkäysten kanssa. Laukaisuikkunan rivin Vallado-tarkistus kelpaisi nyt P1:n alla, jos sen testi laskee painetun esimerkin; suunnitelma 0,30 ylentää sen Orekit-kirjaston kautta. Kellolajikohtainen Kuun aikojen ristikkäisyystaulukko pysyy MODELLED: taulukko, jonka se toistaa, on peräisin tämän projektin omasta julkaisusta, joka ei ole riippumaton.

Tila: valkoinen FM ja satunnaiskävely-FM validoitu; vanheneminen mallinnettu ja kalibroitu pois; välkyntä-FM mallinnettu ja validoitu (oletuksena pois siteeratuissa skenaarioissa).

Kypsyys: optisen kellon luvut ovat avaruuteen suuntautuva tavoite maalaitteistolla -- yhtään strontium-optista kelloa ei ole lennetty. Laboratorion Sr-kellot saavuttavat 4.8e-17 (Oelker et al. 2019, Nature Photonics). CSAC-luvut ovat käyttöön otetusta kaupallisesta osasta.

Relaatiot: Riley, NIST SP 1065, yhtälö 67 -- valkoinen FM sigma_y^2(tau)=h0/(2 tau); satunnaiskävely-FM sigma_y^2(tau)=(2 pi^2/3) h_-2 tau, vastaavasti q_rw*tau/3 taajuuden Wiener-prosessille, jonka diffuusio on q_rw.

Paketti 2 — inertiapaikannus (dead-reckoning) (kvantti-inertiamittausyksikkö)#

Rehellinen kehystys: kylmäatomin etu on pitkäaikainen harhan vakaus (~2600x pienempi), joka hallitsee pitkää GNSS-katkoa kaavan 0,5bT^2 kautta. Lyhytaikainen kohina on verrattavissa (kvantti ~22 vs. klassinen ~20 ug/sqrtHz) — kvanttianturi voittaa maratonin, ei pikajuoksua. Kypsyys: kylmäatomikiihtyvyysmittarit ovat laboratorio-/varhaisvaiheessa (JRC122785), navigointiluokan kvartsi on käytössä.

Paketti 3 — ajansiirto (optinen vs. radiotaajuus (RF), optinen satelliittien välinen linkki)#

Rehellinen kehystys: optinen luku on pikosekuntitason synkronointitavoite kiertoradalla (ei lennetty). Maanpäällinen optinen laboratoriolattia on ~1 fs (paljon parempi); hyvin suunniteltu mikroaaltolinkki (ACES (Atomic Clock Ensemble in Space) -mikroaaltolinkki (MWL), ~0,3 ps) voi kilpailla optisen kanssa, joten lähtötaso ”RF = 0,5 ns” tarkoittaa nimenomaan tavallista TWSTFT:ää. Etäisyysmuunnos on yksisuuntainen (etäisyys = cdt); kaksisuuntainen/edestakainen puolittaa sen (etäisyys = cdt/2).

Paketti 4 — hybridifuusio (päätösosa)#

Yhdistää paketin 1 (kello), paketin 2 (inertia) ja paketin 3 (ajansiirto) yhdeksi PNT-paketiksi (paikannus, navigointi ja ajanmääritys). Paketin on pidettävä SEKÄ ajoitus (< ajoitusmäärittely) ETTÄ sijainti (< sijaintimäärittely) rajoissa; pnt_holdover_s on aika, kunnes jompikumpi ylittyy. Valinnainen optinen satelliittien välinen (ISL) ajansiirto synkronoi kellon uudelleen katkon aikana (vain aika-avusteisuus — sijaintia ei synkronoida uudelleen, koska ajansiirto antaa ajan, ei sijaintia).

Tulos: täysin kvanttipaketti pitää täyden PNT:n 1,8 h:n katkon läpi; täysin klassinen paketti on sijainnin rajoittama (navigointiluokan IMU ylittää ensin). Optinen ISL-ajansiirto pitää jopa klassisen KELLON lukittuna, eristäen inertia-anturin klassisen paketin heikoksi lenkiksi — kvantti-inertian ja optisen ajoituksen yhteisen käytön ydinargumentti.

Geometria — GNSS-saatavuus radoista#

Rehellinen kehystys: tämä on deterministinen geometriakerros (ympyräradat, pallomainen Maa keskisäteellä 6371 km, puhdas näköyhteys). Se määrittää saatavuuden ja geometrisen sijaintitarkkuuden (tarkkuuden heikkenemiskerroin × edustava etäisyysvirhebudjetti) todellisesta geometriasta, ei tarkkaan efemeridiin perustuvaa navigointiratkaisua. Viiteskenaario orbit-gnss-challenged.toml sijoittaa avaruusaluksen GNSS-kuoren sisään: se pitää paikkaratkaisun vain ~59 % vuorokaudesta, kvanttikello pitää 5 ns:n ajoitusratkaisun jokaisen aukon läpi (saatavuus 1,0) ja sirutason kello pitää ~0,73.

Numeerinen (Cowell) ratalaskuri ja voimamalli#

Numeerinen ratalaskuri (src/propagator.rs) integroi hierarkkisen voimamallin (src/forces.rs) adaptiivisilla integraattoreilla (src/integrator.rs). Jokainen alla oleva termi on validoitu analyyttistä totuutta tai käsin johdettua suljettua muotoa vasten; häiriöt ovat oletuksena pois, joten julkaistut golden-tiedostot ovat koskemattomia. Koostettu malli on myös ristiintarkistettu toista työkalua vasten: tests/numerical_cowell_propagator_reference.rs ajaa 11 LEO- ja GTO (geostationaarinen siirtorata) -tapausta, 275 tuntiepookkia, Orekit-työkalun versiota 12,2 (DormandPrince853-ratalaskuri) vasten, ja konservatiiviset tasot (kaksi kappaletta → J2–J6 → Aurinko/Kuu → kanuunankuula-SRP) täsmäävät huonoimmillaan 0,08 m 24 h:n yli (taso VALIDATED matriisissa); vetotaso on vain karakterisoitu (333 m) ja pysyy MODELLED.

Rehellinen rajaus: ForceModel: julkaistut oletusarvot integroivat vyöhykekentän. Korkea-asteinen EGM2008-tesseraalikenttä (src/gravity_sh.rs, aste/kertaluku 70), kiinteän Maan, valtamerten ja ilmakehän vuorovedet (src/tides.rs) sekä Lense–Thirring-kehysvetotermi on nyt toteutettu ja yhdistetty tarkkaan efemeridinsovitukseen käytettävään voimamalliin (src/precise_od.rs — katso alla). Tesseraalikenttä on myös Cowellin menetelmän valinnainen termi (rakenne ForceModel, propagator::Geopotential, oletuksena pois päältä), validoitu Orekit 12,2 -ohjelmaa HolmesFeatherstoneAttractionModel vasten asteeseen/kertalukuun 70 asti (6 tapausta 24 tunnin ajalta, huonoin |Δr| 0,036 m; tests/cowell_tesseral_orekit_oracle.rs). Kenttää arvioivia laskijoita on kaksi: historiallinen acceleration (pallomaiset osittaisderivaatat; kelvollinen asteeseen ~180 asti napojen ulkopuolella; tulosteet kiinnitetty) ja acceleration_hf (Holmes–Featherstone 2002 muokattu eteenpäinsarake, gradientti ilman termiä 1/cos φ; kelvollinen asteeseen 2190 asti jokaisella leveysasteella). EGM2008 asteeseen 2190 asti ladataan ajon aikana (from_gfc_file, scripts/fetch_egm2008.sh, ei mukana paketissa). acceleration_hf vastaa Orekit 12,2 -ohjelmaa tarkkuudella 7.3e-17 m/s² kahdeksassa pisteessä asteeseen 2190 asti; se pysyy tilassa MODELLED, koska pyshtools ei täyttänyt ennakkorekisteröityä napojen läheisyyden kynnystä (mpmath-tarkistus sijoittaa virheen pyshtoolsiin; xval/high-degree-gravity/). 24 tunnin 200×200 -rata vastaa Orekitia tarkkuudella 0,13 m, mutta sen ennakkorekisteröity asteen 70 herkkyyskontrolli ei täyttänyt kynnystä (0,73 m < 1 m), joten asteet 71–200 on radalla luonnehdittu, ei validoitu (xval/cowell-tesseral-200-orekit/). NRLMSISE-00-termosfäärin tiheys (NRLMSISE: Naval Research Laboratory Mass Spectrometer and Incoherent Scatter Radar Extended atmosphere model) on porttattu (src/nrlmsise00.rs: bitilleen identtinen julkisen alueen C-portin kanssa 720 pisteessä, pymsisin suhteen 1.9e-6 suhteellisella tarkkuudella, 17 julkaistua testitapausta toistettu; tests/nrlmsise00_reference.rs) ja se on valinnainen vastuksen tiheystaso (forces::DensityModel, ForceModel::drag_density; oletuksena pysyy staattinen Vallado-malli). Tämä validoi portin, ei mallin tarkkuutta mitattuun tiheyteen nähden. DE440 (DE: Development Ephemeris) Aurinko ja Kuu ovat valinnainen efemeridin taso (ForceModel::with_ephemeris). WGS-84-litteän Maan SRP-varjo on valinnainen (ForceModel::srp_shadow), ja se vastaa Orekit 12,2 -ohjelman valaistussuhdetta 7.4e-9 sisällä 2400 geometriassa (tests/srp_oblate_shadow_orekit_oracle.rs); sen reunatummennettulla variantilla ei ole ulkoista oraakkelia (MODELLED). NRLMSISE-00-vastustaso vastaa Orekit 12,2 -ohjelman omaa NRLMSISE-00-vastusta 24 tunnin aikana tarkkuudella 0,03 m, kun vastuksen siirtymä on enimmillään 142 km (tests/drag_tier_orekit_oracle.rs, VALIDATED jaetuin sopimuksin). GMAT-ristiintarkistus (General Mission Analysis Tool) on edelleen jatkotyö.

Geopotentiaalin vuorovedet (src/tides.rs)#

Stokesin kertoimien aikariippuvat korjaukset ΔC̄_nm, ΔS̄_nm (IERS Conventions 2010, luku 6), validoitu sopimusten omia julkaistuja lukuja vasten — ei toista työkalua vasten.

Ohjailut ja lentoradan suunnittelu (src/maneuver.rs)#

Rehellinen rajaus: ei lentoradan optimoijaa, ei usean kierroksen Lambert-haaroja, ja synteettinen samatasoinen ympyrämäinen heliosentrinen malli (ei planeettojen DE-efemeridiä, joten GMAT-ristiintarkistusta Maa–Mars-C3:lle ei ole ajettu).

Radanmääritys (OD) (src/orbit_determination.rs, src/batch_ls.rs)#

| Etäisyysnopeuden / atsimuutti-korkeuskulman eräradanmääritys korkeuskulmamaskilla | modelled (ulkoinen vertailu, yksi ennakkorekisteröity kynnys ei täyttynyt) | tests/od_tracking_measurements_reference.rs: 8 skenaariota Orekit 12,2 -ohjelman erä-pienimmän neliösumman menetelmää vasten mukautetuilla hetkellisillä geometrisilla mittauksilla; näkyvät joukot identtiset, mittausarvot 5.8e-8 m / 6.3e-10 m/s / 1.4e-13 rad sisällä, tilasiirtymämatriisi 1.2e-14 sisällä, kohinaiset tilat 1,74 cm sisällä ja tyyppikohtainen RMS 2.7e-4 sisällä; ennakkorekisteröity kohinattoman tilan kynnys ≤ 1 cm jää saavuttamatta 2 skenaariossa 4:stä (1,46 ja 1,74 cm; Orekitin oma estimaatti on näin kaukana simuloidusta totuudestaan, kshanan 1e-8 m:n sisällä). Katso xval/od-measurements-orekit/RESULTS.md. |

Rehellinen rajaus: opetuskäyttöinen OD käyttää kiinteitä inertiaaliasemia, pallomaista Maata vastaavaa topocentristä kehystä ja hetkellisiä geometrisia mittauksia (ei valoaikaa, aberraatiota, refraktiota eikä Maan pyörimistä); etäisyysnopeus- ja kulmapolun tilasiirtymämatriisi on variaatiollinen (RK4-integroitu analyyttisillä kaksikappale- ja J2-osittaisderivaatoilla), ei suljetussa muodossa; etäisyysnopeudelle tai kulmille ei ole sekventiaalista suodatinta. Pelkän etäisyyden polku säilyttää äärellisen eron Jacobin matriisinsa. (Alla oleva täysvoimainen efemeridinsovitusmoottori kantaa oman variaatiollisen tilasiirtymämatriisinsa.)

Voimamallin validointi efemeridinsovituksella (src/precise_od.rs)#

Tarkka, täysvoimainen paikkahavaintojen pienimmän neliösumman eräestimaattori: EGM2008-tesseraalinen geopotentiaali (arvioituna Maahan kiinnitetyssä kehyksessä CIO-redusoinnin kautta) yhdistettynä Auringon ja Kuun kolmannen kappaleen vaikutukseen, SRP:hen, ilmakehän vastukseen, Schwarzschildin/Lense–Thirringin GR:ään (yleinen suhteellisuusteoria) ja yllä oleviin vuorovesiin, sovitettuna inertiaalisten paikkahavaintojen sarjaan variaatiollisella tilasiirtymämatriisi-Jacobilla. Validoitu synteettisellä datalla, jossa totuus on Kshanan oma integraattori, joten jokainen residuaali kuuluu estimaattorille eikä dynamiikalle.

Rehellinen rajaus: synteettinen aalto käyttää nimellisiä Maan orientaatioparametreja (EOP: UT1 (Universal Time 1, Maan pyörimisaika) ≈ TT (Terrestrial Time), ei napaliikettä) — tarkka itsepalautukselle, koska sama malli tuottaa ja sovittaa kaaren. Virastojen aineistovalidoinnit asettavat todelliset finals2000A EOP- ja SP3/SPK-totuudet (SPK: planeettaefemeridiydin) tämän moottorin päälle CIO-kehysketjun kautta (src/eop.rs, tests/agency_galileo.rs, tests/agency_swarm.rs, tests/agency_lro.rs).

Todelliset virastojen tarkat radat (tests/agency_galileo.rs, tests/agency_swarm.rs, tests/agency_lro.rs)#

Painovoimakartta / alt-PNT-navigointi (src/gravimeter.rs, src/mapmatch.rs, src/particle_filter.rs, src/altpnt/terrain.rs)#

Rehellinen rajaus: painovoimakenttä on matala-asteinen ja synteettisiä massakeskittymiä (mascon), ei täysi EGM2008/EIGEN (EIGEN: European Improved Gravity model of the Earth by New techniques) -kerroinjoukko; magneettikanava nojaa tasaiseen IGRF-pääkenttään ja synteettisiin kuoren anomalian massakeskittymiin (todellinen korkeataajuinen kuorikartta on jatkotyö); navigointipäivitys-benchmarkien CI-maastokenttä on itsenäinen synteettinen DEM, kun taas .hgt-lukija itse on nyt validoitu CI:ssä versionhallintaan tallennettua todellista SRTM v3 -laattaa vasten (yllä); täyden resoluution todelliset laatat pysyvät rajattuina merkinnällä #[ignore]. Karttaesitysvirheen Monte Carlo on edelleen jatkotyö. Kaikki kolme navigaattoria on nyt kytketty skenaariomoottorin kind=-tyyppeihin (gravity-map, terrain-nav, combined-altpnt).

INS / IMU -virhemalli — datalehtiin viittaava validointi (src/inertial/)#

IMU:n stokastinen virhemalli validoidaan julkaistuja valmistajan datalehti- ja aineistomäärittelyjä vasten — ei koskaan arvoa vasten, jonka Kshana itse on tuottanut. Silta kenttäyksiköisestä määrittelystä SI-kohinamalliin (International System of Units) on tavallinen Allanin poikkeaman tunnistus (Riley, NIST SP 1065 §5; IEEE (Institute of Electrical and Electronics Engineers) Std 952): satunnaiskävelykerroin N on päällekkäinen ADEV luettuna kohdassa τ = 1 s kulmakertoimella τ⁻¹ᐟ², ja bias-epävakauden kerroin on Allanin tasanne (tests/imu_allan_spec.rs, hermeettinen — ei latausta).

Rehellinen rajaus: tämä validoi stokastisen virhemallin datalehtien Allan-kertoimia vasten. i2Nav-WHU (WHU: Wuhan University) KF-GINS -ajoneuvoaineistoa käytetään erillisenä, aineistoon sidottuna tarkistuksena: löyhästi kytketty suljetun silmukan virhetila-EKF GNSS-vipuvarsimallilla on varmennusmatriisin VALIDATED-rivi (Loosely coupled GNSS/INS EKF with lever arm on the KF-GINS dataset), ja sitä verrataan KF-GINS C++ -referenssilentorataan ennen ajoa rekisteröidyillä kynnyksillä. Se ajetaan vain, kun aineisto on annettu (KSHANA_KFGINS_DIR); ilman sitä ajetaan synteettinen lataaja ja vipuvarsitestit. Tiukasti kytkettyjä ja kantoaallon vaiheen variantteja tämä rivi ei kata (kantoaallon vaiheen tiukasti kytketty GNSS/INS-rivi on MODELLED).

Syväavaruus ja Mars PNT — D0-perusta (src/body.rs, src/mars_frame.rs, src/ephem_provider.rs, src/radiometric.rs, src/timescales.rs)#

Syväavaruusnavigointimoottorin ensimmäinen välitavoite: Maahan kovakoodatun ytimen yleistäminen mielivaltaiselle keskuskappaleelle, Marsin dynamiikan lisääminen, efemeridintarjoajan rajapinta, alle mikrosekunnin aika sekä valoajan ja relativistisen viiveen perusosat. Jokainen olemassa oleva Maa-skenaario on tavuittain identtinen — alustojen välisen toistettavuuden golden-tiedostot (tests/cross_platform_golden.rs, tests/golden.rs) läpäisevät muuttumattomina ilman uudelleengenerointia, mikä varmistetaan jokaisessa commitissa.

Syväavaruuden radiometriset suureet ja CCSDS Tracking Data Message — D1 (src/radiometric.rs, src/ccsds_tdm.rs)#

Syväavaruusnavigointimoottorin toinen välitavoite: havaintosuuremalli, joka muuntaa D0:n valoaika- ja relativistisen viiveen ytimen niiksi suureiksi, jotka Deep Space Networkin (DSN) tai ESTRACKin (European Space Tracking network) seurantakierros raportoi — etäisyys, yksi-, kaksi- ja kolmitieinen Doppler, koherentti transponderin käännös, regeneratiivinen / PN (PN: pseudo-noise) -etäisyysmittaus, Δ-DOR (DOR: differential one-way ranging) ja etenemisväliaineet — sekä CCSDS (Consultative Committee for Space Data Systems) 503.0-B Tracking Data Message (TDM) -syöttö ja -tuloste, joka lukee ja kirjoittaa standardin viraston seurantatiedoston. Rehellinen rajaus: nämä ovat Moyerin / CCSDS:n käytäntöjä noudattavia tarkkoja geometrisia malleja; mittauskohina on kutsujan antama havaintokohtainen sigma, ei mallin sisään rakennettu. Tietyn todellisen seurantakierroksen toistaminen vaatii todellista TDM-dataa ja syväavaruuden radanmääritysratkaisijan — se on D2, ei D1. Kaikki alla oleva on lisäävää (toistettavuuden golden-tiedostot ovat muuttumattomia; sama SHA, ei uudelleengenerointia).

Syväavaruuden redusoidun dynamiikan OD — D2 (src/deepspace_od.rs, src/clock_state.rs, src/mars_atmos.rs)#

Syväavaruusnavigointimoottorin kolmas välitavoite: estimaattori, joka muuntaa D1:n radiometriset havaintosuureet palautetuksi lentoradaksi — numeerisesti vakaa neliöjuuri-informaatiosuodatin (Square-Root Information Filter, SRIF), jossa on redusoidun dynamiikan empiiriset kiihtyvyydet, kolmitilainen aluksen kello, Marsin ilmakehän vastusmalli ja radiometriset mittausosittaisderivaatat, jotka yhdistävät etäisyyden ja Dopplerin suodattimen tilaan, ja jonka päästä päähän sulkee synteettinen matalan Mars-radan (LMO) radanmäärityksen palautus. Rehellinen rajaus: palautus on synteettinen suljettu silmukka (totuus ja suodatin jakavat saman Marsin propagaattorin, ja havainnot ovat sama geometrinen havaintosuuremalli, jonka suodatin kääntää, sekä lisätty Gaussin kohina) — se validoi estimaattorin koneiston, ei Marsin voimamallin absoluuttista tarkkuutta; DE-luokan ulkoinen ristiintarkistus on ytimeen sidottu xval/anise-mars-od-crate (D0.8b). Kaikki alla oleva on lisäävää (toistettavuuden golden-tiedostot ovat muuttumattomia; sama SHA, ei uudelleengenerointia).

Syväavaruuden PNT-skenaario ja yksi- ja kaksitieinen fuusio — D3 (src/mars_pnt.rs, src/deepspace_od.rs)#

Syväavaruusnavigointimoottorin neljäs välitavoite: ajettava Mars-PNT-tuoteskenaario, joka sitoo D0:n Marsin kappaleen ja kehyksen, D1:n radiometriset havaintosuureet ja D2:n redusoidun dynamiikan OD:n yhdeksi skenaariotyypiksi mars-pnt. Se mallintaa pientä MARCONI-tyyppistä välitystähdistöä, joka lähettää yksitieisen (kellokytketyn) signaalin avaruudessa ja välittää kaksitieisen (koherentin, kellosta vapaan) linkin syväavaruusasemalle, ja navigoi kolme referenssikäyttäjää (Marsin siirtorata, matalan Mars-radan kiertäjä, kiinteä pintapiste) D3.1:n yhteisellä yksi- ja kaksitieisellä fuusioestimaattorilla — kahdentoistatilainen SRIF, joka laajentaa D2:n redusoidun dynamiikan rata- ja empiirisen lohkon kolmitilaisella aluksen kellolla. Rehellinen rajaus: jokainen laatumittari on estimaattorin muodollinen kovarianssiraja (epookkikohtainen 1σ / 3σ paikka) ja saavutettu RMS synteettistä suljettua silmukkaa vasten (totuus ja suodatin jakavat saman Marsin dynamiikan ja saman geometrisen havaintosuuremallin, sekä lisätty Gaussin kohina) — simuloitu navigoinnin laatumittari, EI ilmailun sertifioima suojaustaso ja EI lentoväite (ei sertifioitua vikamallia, ei eheysvalvontaa, ei todellista seurantadataa). Kaikki alla oleva on lisäävää (toistettavuuden golden-tiedostot ovat muuttumattomia; sama SHA, ei uudelleengenerointia).

Kuun koordinaattiaika — relativistinen Maa–Kuu-kellon nopeus (src/lunar_time.rs)#

Kuun koordinaattiaika-asteikko (LTC/TCL (TCL: Temps-Coordonnée Lunaire, Kuun koordinaattiajan ranskankielinen nimi)) vaatii maallisen nopeuden, jolla Kuun pinnan kello kulkee suhteessa Maan geoidin (TT) kelloon. src/lunar_time.rs laskee sen ensimmäisistä periaatteista: ensimmäisen post-Newtonin identiteetti, joka summaa omapotentiaalin eron (IAU:n L_G -sopimuksen mukainen geoidin potentiaali W0 = L_G·c² ≈ 6.26369e7 m²/s² miinus Kuun pinnan omapotentiaali GM_moon/R_moon ≈ 2.822e6 m²/s²) ja kineettisen (toisen asteen Doppler) termin −<v²>/2c² geosentrisestä Kuun nopeudesta (äärellisin erotuksin tiedostossa src/ephem.rs olevasta Montenbruck-Gill-kuusarjasta). Hallitseva omapotentiaalitermi antaa ≈ 57,5 µs/vrk, kineettinen termi ≈ −0,5 µs/vrk, yhteensä ≈ 57 µs/vrk. Skenaario lunar-time-offset raportoi tämän nopeuden, kertyneen LTC−TT-poikkeaman horisontin yli ja tukee minimaalista käänteisvarianssi-ensemblea (Kuun paperikello); TT↔LTC-muunnokset palautuvat edestakaisin tarkkuudella < 1 ns/vrk.

Kuun geodeettinen VLBI — lähikentän viive Maan kantaviivalle, joka havaitsee Kuun majakan (src/lunar_vlbi.rs)#

Geodeettinen VLBI (very-long-baseline interferometry) -havaintosuure kahdelle Maan maa-asemalle (kantaviiva), jotka havaitsevat yksitieisen signaalin Kuun pinnalla olevalta NovaMoon-luokan lähettimeltä. Kuu on lähikentässä, ei tasoaalto, joten geometrinen viive on tarkka kahden etäisyyden erotus tau_geom = (|r2 − r_B| − |r1 − r_B|)/c eikä taivaantason projektio. Täysi havaintosuure lisää asemien kellopoikkeamien eron ja eriytetyn Maan potentiaalin Shapiro-termin (käytetty uudelleen tiedostosta src/radiometric.rs). Asemat sijoitetaan geosentrisiin inertiaalisiin (GCRS) koordinaatteihin tiedostoilla src/frames.rs + src/cio.rs; majakka tiedostoilla src/ephem.rs (geosentrinen Kuu) + src/lunar.rs (selenografinen→MCMF (MCMF: Moon-centred, Moon-fixed)) + src/lunar_frame.rs (IAU-2015 ME kappaleeseen kiinnitetty→inertiaali). Skenaario lunar-vlbi näytteistää viiveen, sen äärellisen eron nopeuden ja lähikentän korjauksen kierroksen yli.

Oraakkeli on saman koodikannan tasoaaltoinen Δ-DOR-havaintosuure delta_dor tiedostossa src/radiometric.rs: kaukokentän rajalla (synteettinen majakka etäisyydellä 1e15 m) geometrisen viiveen on romahdettava arvoon −(B·ŝ_B)/c = delta_dor(r_B, [0,0,0], B) koneen tarkkuudella; todellisella Kuun etäisyydellä aaltorintaman kaarevuuden lähikenttäkorjaus on nollasta poikkeava (kymmeniä tai satoja µs). Majakan osittaisderivaatat dtau/dr_B = ((r_B−r2)/|r_B−r2| − (r_B−r1)/|r_B−r1|)/c (ja asemien osittaisderivaatat) varmennetaan keskeisdifferenssillä (suhteellinen virhe < 1e-5).

Kuun yhteinen usean tekniikan OD ja kello — simuloitu suljetun silmukan palautus (src/lunar_combination.rs)#

Yhden epookin (tilannekuva) erä-pienimmän neliösumman sovitus (crate::batch_ls::gauss_newton_qr, Householder-QR-askel versiosta 0,30 alkaen), joka fuusioi geodeettisen VLBI:n, radiometrisen / Kuun paikallisen etäisyysmittauksen ja satelliittien välisen etäisyysmittauksen tekniikat SIMULOIDUSSA Kuun verkossa ja palauttaa yhdessä Kuun pinta-aseman 3D-paikan, pienen tähdistön satelliittikohtaiset paikat ja jokaisen laitteen kellopoikkeaman. Havaintosuureet ovat: (1) Maan kantaviivan geodeettiset VLBI-viiveet Kuun asemalle, jota käsitellään majakkana (käytetään uudelleen src/lunar_vlbi.rs, geosentrinen inertiaali) — keskeinen tekniikka; (2) Maa-asema→satelliitti -geosentriset radiometriset etäisyydet (jotka multilateroivat tähdistön hyvin hajautetuilta Maan asemilta) ja asema↔satelliitti -Kuun paikalliset etäisyydet (MCI (Moon-centred inertial) euklidinen etäisyys sekä eriytetty kelloterm); (3) satelliittien väliset etäisyydet (sama muoto); sekä yksittäinen aseman kellon synkronoinnin pseudohavainto, joka ankkuroi muuten havaitsemattoman yhteisen kellopoikkeaman. Tilavektori on [station_pos(3), {sat_pos(3)}×N_sat, station_clk, {sat_clk}×N_sat]. Ratkaisijan sisällä ei ole mitään voimamallin propagointia — satelliitit ovat kiinteitä, erillisiä, havainnollistavia pisteitä edustavalla Kuun radalla; tämä on tarkoituksella siisti tilannekuvasovitus. Sisäisesti paikat skaalataan ja kellot estimoidaan etäisyyttä vastaavina metreinä, jotta normaalimatriisi pysyy hyvin ehdollistettuna f64:ssä; VLBI- ja Kuun etäisyysmittaukset poistetaan keskiarvolla nimellisen geometrian ympäriltä, jotta äärellisen eron Jacobi ei kärsi katastrofaalisesta kumoutumisesta. Skenaario lunar-joint-od-clock ajaa ratkaisun VLBI-osuuksien kanssa ja ilman niitä samalla siemenluvulla ja totuudella ja raportoi molemmat ratkaisut sekä aseman havaittavuuden parannuskertoimen.

Keskeinen rehellinen tulos: Kuun paikallinen etäisyysmittaus napa-asemalta kourallisen satelliitteja suuntaan, jotka kaikki sijaitsevat taivaan samalla puolella, jättää aseman paikan heikosti havaituksi yhdessä suunnassa, joten pelkän etäisyyden ratkaisu on huonosti ehdollistettu ja palautettu aseman 3D-virhe on suuri (tai ratkaisu ei konvergoidu). Maan kantaviivan VLBI-viiveiden lisääminen tekee aseman täyden 3D-paikan havaittavaksi, ja palautettu aseman virhe romahtaa metritasolle. Testi vlbi_restores_station_observability varmistaa, että VLBI:n kanssa laskettu aseman virhe on selvästi (≥5×) pienempi kuin pelkän etäisyyden virhe samalla lisätyllä totuudella — VLBI palauttaa muuten havaitsemattoman aseman suunnan, ja se on vaiheen tarkoitus.

Oraakkeli on sisäinen johdonmukaisuus: lisätty totuustila (asema ~50 m/akseli, satelliitit ~30 m/akseli, kellot ~1e-7 s, siemenluvun ohjaamalla komponenttikohtaisella häilynnällä) kuvataan synteettisiksi havaintosuureiksi samalla geometriamallilla, jonka ratkaisija kääntää, siemenluvun ohjaama Gaussin kohina lisätään (havainnollistavat oletukset: VLBI σ ≈ 1e-11 s, etäisyyden σ ≈ 0,1 m, ISL σ ≈ 0,1 m; painot 1/σ²), ja estimaattorin on palautettava lisätty totuus kohinan rajoissa nollien alkuarvauksesta. Monte Carlo -keskiarvoinen NEES Δxᵀ(HᵀWH)Δx siemenluvuilla (formal_covariance_nees) asettuu löyhään vyöhykkeeseen arvon n_params ympärille, kovarianssin realismin tarkistus.

Kuun koordinaatiston realisaatio — 7-parametrinen Helmert-datumsovitus (src/lunar_frame_realise.rs)#

Missä src/lunar_frame.rs soveltaa IAU:n 2015 WGCCRE-kuun kappaleen orientaatiota (suoramalli), tämä moduuli estimoi (realisoi) Kuun koordinaatiston datumiin sidotun estimoitujen pistekoordinaattien verkosta. Estimoinnin ydin on klassinen 7-parametrinen yhdenmuotoisuus- (Helmert-) muunnos — kolme translaatiota, kolme pienen kulman rotaatiota ja yksi skaalaparametri — joka kuvaa pisteet p_i (estimoitu kehys) pisteiksi q_i (datumkehys) muodossa q_i = t + (1 + s)·R(θ)·p_i, jossa R(θ) = rz(θz)·ry(θy)·rx(θx) on rakennettu funktioista crate::precession::{rx, ry, rz, matmul, mat_vec}. Seitsemän parametria [tx, ty, tz, θx, θy, θz, s] estimoidaan ≥ 3 ei-kollineaarisesta pisteparista painotetulla pienimmän neliösumman menetelmällä funktion crate::batch_ls::gauss_newton kautta: suoramalli ennustaa jokaisen pisteen q_i pisteestä p_i ja litistää kaikkien pisteiden kaikki kolme komponenttia havaintovektoriin, havaitut datumkoordinaatit muodostavat vektorin z, painot ovat 1/σ², ja ratkaisu alkaa arvosta x0 = zeros. Kiertokulmat estimoidaan µrad:ssa ja skaala ppb:ssä, jotta äärellisen eron Jacobi pysyy hyvin skaalattuna Kuun pinnan koordinaattien suuruusluokassa (~1.7e6 m). Pieni icrf_orientation_tie koostaa realisoidun pienen kierron IAU:n kappale→ICRF-orientaation kautta (transpose(crate::lunar_frame::icrf_to_iau_moon(jd_tdb))) ja palauttaa realisoidun kehyksen jäännöspienen kulman poikkeaman ICRF-akseleiden ympäri — tarkoituksella yksinkertainen ilmaisukehyksen muutos, ei riippumaton arvio Kuun navasta.

Oraakkeli on sisäinen johdonmukaisuus: tunnettu Helmert-muunnos (translaatio ~kymmeniä m, rotaatio ~µrad, skaala ~1e-7) lisätään hyvin hajautettuun synteettiseen pisteverkkoon (vaihtelevat selenografiset leveys- ja pituusasteet → MCMF, osa pisteistä korkeudessa), siemenluvun ohjaama Gaussin kohina lisätään, ja sovituksen on palautettava lisätyt parametrit. Kohinattomalla datalla palautus on ~koneen tarkkuudella (translaatio < 1e-6 m, rotaatio < 1e-9 rad, skaala < 1e-12); metrin kohinalla palautetut parametrit asettuvat muutaman × muodollisen σ:n sisään ja sovituksen jälkeinen RMS-residuaali on lähellä kohinatasoa. Skenaario lunar-frame-realisation raportoi palautetun datumin, parametrikohtaisen palautusvirheen lisättyyn totuuteen nähden, sovituksen jälkeisen RMS-residuaalin ja realisoidun kierron ICRF-orientaatiosidoksen.

Kuun navigointipalvelun tilavuus — DOP / peitto / saatavuus ja yleistetty Kuun ARAIM PL (src/lunar_service.rs)#

Tämä moduuli koostaa jo rakennetut osat Kuun navigoinnin palvelutilavuuden analyysiksi: se pyyhkäisee selenografisen leveys- ja pituusasteen ruudukon aikahorisontin yli havainnollistavaa, julkisiin lähteisiin perustuvaa Moonlight / LCNS-luokan (LCNS: Lunar Communications and Navigation Services) Kuun kiertoratatähdistöä vasten ja raportoi DOP:n / peiton / saatavuuden sekä yleistetyn Kuun ARAIM-suojaustasojen verhokäyrän. Kaksi uudelleenkäyttöä on kantavia ja eksplisiittisiä. DOP-geometria on VALIDATED (vs gnss_lib_py) -ydin crate::orbit::dop — service_dop on ohut korkeuskulmamaskin suodatin ja tuo ydin, ja testi varmistaa identiteetin (service_dop on yhtä kuin suora orbit::dop samoilla näkyvillä paikoilla). Eheys käyttää uudelleen LunaNet LNIS:n (LunaNet Interoperability Specification) Kuun ARAIM-koneistoa crate::lunar::lunar_araim (σ_URE ≈ 30 m, P_sat ≈ 1e-4); lunar_protection_level yleistää olemassa olevan etelänavan suojaustason mielivaltaiselle pintapisteelle, ja testi varmistaa, että se palautuu etelänavan tapaukseksi (etelänavalla samalla geometrialla ja budjetilla se palauttaa täsmälleen olemassa olevan lunar::lunar_araim -tuloksen tarkkuudella < 1e-9).

Tähdistön parametrit ovat havainnollistava approksimaatio julkisista ESA:n kuvauksista järjestelmäluokasta (≈ 4 satelliittia elliptisillä Kuun jäädytetyillä radoilla, jotka suosivat etelänavan peittoa — apolune eteläisen pallonpuoliskon yllä; 4 on kirjaston oletus, ja mukana toimitettu moonlight-service-volume.toml asettaa 8, koska suojaustaso vaatii vähintään 6 näkyvissä). Ne eivät ole todellinen Moonlight/LCNS-efemeridi eivätkä viittaa mihinkään yhteyteen, hyväksyntään, perintöön, sertifiointiin tai TRL:ään. Koostaminen (peitto / saatavuus / eheys) on MODELLED: ympyrä- tai ellipsi-Kepler-välitinjoukko (ei differentiaalikorjattu LCNS / 9:2 NRHO (near-rectilinear halo orbit) -efemeridi), keskimääräisesti pyörivä Kuu (ei fysikaalista libraatiota / precessoivaa napaa) ja julkaistut LunaNet LNIS -eheysparametrit. Se havainnollistaa palvelutilavuuden menetelmää, ei operatiivista saatavuuslukua. Deterministinen (puhdas geometria; ei satunnaisuutta). Skenaario moonlight-service-volume raportoi peittoprosentin, näkyvien määrän ja PDOP:n verhokäyrät, HPL/VPL-verhokäyrän tilavuuden yli ja suojaustason saatavuuden hälytysrajaa vasten.

Kuun differentiaalinen PNT — yhteismoodin kumoutuminen + kantaviivan mukana kasvava residuaali + DGNSS-suojaustasot (src/lunar_dpnt.rs)#

Kuun DGNSS (differentiaalinen satelliittinavigointi) / SBAS-analogia: NovaMoon-luokan referenssiasema tunnetussa selenografisessa paikassa laskee satelliittikohtaiset differentiaalikorjaukset havainnollistavasta, julkisiin lähteisiin perustuvasta Moonlight / LCNS -luokan tähdistöstä, ja siitä kantaviivan verran poikkeava liikkuva käyttäjä soveltaa niitä niin, että lähetettyjen efemeridien yhteismoodin virheet kumoutuvat. Jokaisella satelliitilla i on lisätty yhteinen 3D-ratavirhevektori e_i ja yhteinen kellovirhe c_i. Referenssiaseman pseudoetäisyysresiduaali on korjaus −e_i · û_ref,i + c_i; käyttäjän raaka virhe on −e_i · û_user,i + c_i; korjattu käyttäjän virhe on niiden erotus −e_i · (û_user,i − û_ref,i). Kelloterm c_i kumoutuu täsmälleen (se on identtinen molemmissa havainnoissa), ja ratatermi romahtaa projektioksi kahden näkölinjan yksikkövektorin erolle, joka → 0, kun kantaviiva → 0 (avaruudellisen dekorrelaation lattia) ja kasvaa ≈ lineaarisesti kantaviivan mukana. Satelliittikohtaiset korjatut etäisyysvirheet kuvataan käyttäjän geometrian kautta pienellä, vähäriippuvuuksisella painotetun pienimmän neliösumman tilannekuvaratkaisulla (tila [x, y, z, clock] funktion crate::orbit::invert4 kautta; vakioetäisyysharha absorboituu kellon tuntemattomaan sen sijaan, että se turmelisi sijainnin) käyttäjän paikkavirheen antamiseksi. Käyttäjän suojaustaso käyttää uudelleen DO-229E SBAS -suojaustason koneistoa (crate::sbas::sbas_protection_level, Precision-Approach K-kertoimet), jossa differentiaalinen residuaali σ on kunkin satelliitin 1-σ-virhebudjetti.

NovaMoon mainitaan vain järjestelmäluokkana (julkinen kuvaus Kuun referenssiasemasta); tähdistö käyttää uudelleen havainnollistavaa, julkisiin lähteisiin perustuvaa crate::lunar_service::LunarConstellation. Nämä ovat havainnollistavia parametreja differentiaalisen menetelmän harjoittamiseen, ei todellinen efemeridi, eivätkä viittaa mihinkään yhteyteen, hyväksyntään, perintöön, sertifiointiin tai TRL:ään. Skenaario lunar-differential-pnt raportoi käyttäjän paikkavirheen korjausten kanssa ja ilman, pienennyskertoimen, virhe–kantaviiva-käyrän ja suojaustason. Oletuskonfiguraatiossa korjattu käyttäjän virhe 50 km:n kantaviivalla on ≈ 0,008 m verrattuna korjaamattomaan ≈ 24 m (~3000-kertainen pienennys), ja ≈ 0 nollakantaviivalla.

Oraakkeli on sisäinen johdonmukaisuus: yhteismoodin kumoutuminen on tarkka algebrallinen identiteetti (kun noise = 0, korjattu virhe < 1e-6 m nollakantaviivalla; kelloterm kumoutuu koneen tarkkuudella millä tahansa kantaviivalla), residuaali kasvaa monotonisesti kantaviivan mukana, ja suojaustaso on sama DO-229E-algoritmi, jota vasten SBAS-pino on kiinnitetty. Avaruudellisen dekorrelaation residuaali on ensimmäisen kertaluvun geometrinen malli, ei todellisesta Kuun seurannasta sovitettu dekorrelaatiomalli.

Kuun yhteentoimivuusvienti — LunaNet/IOAG-linjattu CCSDS OEM + KIF edestakaisen kierron yhdenmukaisuudella (src/lunar_interop.rs)#

Kuun koordinaatisto, Kuun aika-asteikko ja Kuun efemeridi viedään LunaNet/IOAG-linjattuina (IOAG: Interagency Operations Advisory Group), CCSDS-pohjaisina vaihtomuotoina. Tämä vaihe ei keksi omaa siirtomuotoa: se käyttää uudelleen crate-kirjaston olemassa olevaa CCSDS OEM (Orbit Ephemeris Message) 2,0 -tuottajaa ja -jäsennintä (crate::oem::OemFile::to_oem_string / crate::oem::parse_oem) sekä Kshana Interchange Format -kuorta (crate::interchange::Envelope), uudelleenmerkittynä Kuun yhteyteen. export_lunar_oem asettaa OEM:n kentän REF_FRAME arvoksi IAU:n 2015 WGCCRE-kuun kappalekehys (MOON_ME keski-Maa tai MOON_PA pääakseli), kentän TIME_SYSTEM arvoksi Kuun aika-asteikko (LTC / TCL / UTC) ja kentän CENTER_NAME arvoksi MOON, havainnollistavan, julkisiin lähteisiin perustuvan LCNS-luokan näyteefemeridin yli (paikat funktiosta crate::lunar_service::LunarSat::position_mci, nopeus keskeisdifferenssillä). export_lunar_time_metadata tuottaa LunaNet/IOAG-linjatun Kuun ajan kuvaajan (asteikon tunniste, maallinen nopeus µs/vrk funktiosta crate::lunar_time::lunar_rate_breakdown, julkaistu 56–59 µs/vrk -vyöhyke, vertailupinta), joka kiertää edestakaisin serde_jsonin läpi. export_kif_lunar kääntää OEM:n, kuvaajan ja kehysmerkinnän olemassa olevaan KIF-kuoreen MODELLED-rehellisyysmerkinnällä.

Oraakkeli on edestakainen kierto / kenttien yhdenmukaisuus. Koska oem.rs sisältää molemmat suunnat, OEM kierrätetään funktion crate::oem::parse_oem läpi (takaisin yhtä suureksi segmentiksi, Kuun kehys/aika ja tilojen määrä säilyneinä) ja tarkistetaan riippumattomasti funktiolla oem_conformance, joka varmistaa, että jokainen vaadittu CCSDS/LunaNet-otsikon avainsana on läsnä, että REF_FRAME sisältää Kuun MOON_* -tunnuksen ja TIME_SYSTEM on ei-tyhjä, että META_START … META_STOP -kehystys pitää ja että paikka- ja nopeusdatarivit ovat hyvin muodostettuja — palauttaen jäsennellyn läpäisyn sekä läsnä olevien / puuttuvien kenttien luettelon, jotta rikkinäinen vienti (esim. pudotettu TIME_SYSTEM) havaitaan ja nimetään. Aikametadata kiertää edestakaisin funktion parse_lunar_time_metadata läpi, ja KIF-kuori kiertää funktion Envelope::parse läpi yhtä suuriksi artefakteiksi, jotka kantavat MODELLED-merkintää.

Ennakkorekisteröidyt ennusteet#

Ennakkorekisteröity ennuste on MODELLED-tulos, joka jäädytetään ennen kuin mitään sen pisteyttämiseen tarvittavaa dataa on olemassa, ja pisteytysprotokolla kiinnitetään samalla hetkellä. Se ei ole validointi eikä lisää kirjanpidon (ledger) riviä. Jokainen sijaitsee hakemistossa docs/predictions/ kiinteine syötteineen, tuloksineen ja niiden SHA-256-tiivisteineen, ja tests/prediction_frozen.rs epäonnistuu, jos mikään jäädytetty tavu liikkuu; muuttunut oletus ratkaistaan uudella, päivätyllä ennusteella vanhan rinnalle, ei koskaan muokkaamalla vanhaa.

Demonstraation edustavuus ja polku lentoon -aukkojen kirjanpito (ledger) (src/representativeness.rs)#

Simulaatiotulos on hyödyllinen todisteena vain, jos se ilmoittaa julkisivullaan, mihin se on ankkuroitu, mitä se olettaa ja mikä sen vielä erottaa lentojärjestelmästä. Edustavuuskirjanpito (ledger) tekee tästä ensiluokkaisen, koneellisesti tarkistetun tuloksen: tietue Representativeness kantaa demonstraation ulkoiset ankkurit (Anchor), mallinnetut oletukset, aukot lentoon (Gap, kukin sen vaiheen tai toiminnan kanssa, joka sulkisi sen) ja TRL-vyöhykkeen, jolle se on edustava. Se on tuloskohtainen kumppani ominaisuustason varmennusmatriisille (verification).

Oraakkeli on joukko suljetun muodon invariantteja, joita valvoo representativeness::tests: tietueen Validated on lueteltava vähintään yksi ulkoinen aineistoankkuri ExternalDataset (simulaatiota ei voi validoida itseään vasten); tietueen Modelled on lueteltava vähintään yksi aukko lentoon eikä se voi väittää edustavaa TRL-vyöhykettä, joka on yli 4 (sitä pidemmälle kypsyttäminen vaatii laitteisto- tai lentotodisteita, mikä on aukko, ei simulaation tuloste); TRL-vyöhykkeen on oltava hyvin muodostettu; ja tietue PartnerOwned ei saa väittää mitään. Nämä invariantit toteuttavat käytännössä "edustavuus perusteltu + jäljellä olevat aukot kohti lentoa selvästi tunnistettu" -kurin.

Yhtenäinen kvantti vs klassinen -kauppatodiste (src/qtrade.rs)#

Jokainen kvantti-PNT-sovellusalue vastaa samaan kysymykseen samalla tavalla: kiinnitä yksi vertailukehys (skenaario + siemenluku + moottorin versio), reititä kvanttiehdokas ja klassinen lähtötaso yhden neutraalin koodipolun läpi, pisteytä ne yhteisillä laatumittareilla ja raportoi — luottamusvälin ja rehellisen validoitu/mallinnettu-merkinnän kanssa — missä kvantti voittaa ja missä ei. TradeEvidence antaa tälle vastaukselle yhden muodon, jotta ajoitus-, navigointi- ja poikkeamantunnistusalat tuottavat saman toistettavan, rehellisesti merkityn olion. Se ei toteuta uudelleen yhtäkään kauppavertailua: laatumittarikohtaiset luvut tulevat olemassa olevista moottoreista (quantum_trade, crossover ja alakohtaiset moduulit); tämä on sopimus sekä toistettavuuden ja edustavuuden kääre, joka on rakennettu edustavuuskirjanpidon (ledger) ja varmennusmerkintöjen päälle.

Oraakkeli on suljetun muodon hyöty- ja voittajaidentiteetit sekä olemassa olevan kauppatulosteen uskollinen kääre. qtrade::tests: hyötysuhde on napaisuudeltaan oikea (suunnattu niin, että >1 tarkoittaa aina kvanttipuolen olevan parempi, sekä korkeampi-on-parempi holdover- että matalampi-on-parempi virhelaatumittareille); todellisesta quantum_trade::TradeResult rakennettu todisteolio toistaa hyötysuhteensa; epärehelliset todisteet hylätään (Modelled-edustavuus ilman aukkoa tai Validated -laatumittari, jonka kauppatietueella ei ole ulkoista ankkuria); JSON on deterministinen ja kantaa kehys-, siemenluku-, moottori-, laatumittari- ja edustavuuskentät.

Kvanttilaitteiden virhemallikirjasto (src/quantum_devices.rs)#

Yksi paikka, joka tarjoaa kvantti-PNT-laitteet, joilla demonstraattori käy kauppaa — optiset / loukutettujen ionien / elohopeaionikellot, klassiset referenssikellot, kylmäatomi-interferometri ja ajansiirtolinkit — kukin tietueena DeviceCard, joka kantaa tärkeimmän määrittelynsä ja edustavuustietueen. Suurin osa laitefysiikasta käytetään uudelleen (kellojen vakaudet funktioista holdover::QuantumClockClass ja clock_state::ClockClass; kylmäatomi-interferometri funktioista quantum_trade/crossover; klassiset optiset/RF-linkit funktiosta timetransfer_adv). Ainoa aidosti uusi malli on lomittuneisuus- / yksittäisfotoniajansiirtolinkki, jonka ajoitustoistotarkkuus on laukauskohinan rajoittama: σ_t ≈ jitter/√(R·τ) havaitussa yhteensattumanopeudessa R ja integroinnissa τ, heikennettynä pimeälaskentarangaistuksella √(1 + dark/R) ja alarajattuna palautumattomalla systemaattisella virheellä.

Oraakkeli on uudelleenkäytetyt, julkaistut kello/CAI-kertoimet sekä suljetun muodon laukauskohina- ja häviöidentiteetit. quantum_devices::tests: uudelleenkäytetty kellovakauksien järjestys on järkevä (optinen hila < elohopeaioni < CSAC arvossa σ_y(1 s)); lomittuneisuuden toistotarkkuus paranee muodossa 1/√τ (4× integrointi puolittaa σ:n), kun se on laukauskohinan rajoittama; havaittu yhteensattumanopeus laskee 10× jokaista 10 dB linkin häviötä kohti; pimeät laskennat heikentävät toistotarkkuutta monotonisesti; systemaattinen lattia rajaa toistotarkkuutta alhaalta; jokainen laitekortti on kelvollinen Modelled-edustavuustietue.

Luotettu kvanttiajoitus — päästä päähän -ketju, turvallinen jakelu, poikkeama ja kauppavertailu (src/timetransfer_chain.rs)#

Skenaario quantum-time-transfer koostaa ajoitusketjun, jonka kvantti-PNT-demonstraattori tarvitsee: päästä päähän -käyttäjäaikabudjetti (referenssikellon liukuvirhe ja linkin ajoitustoistotarkkuus yhdistettynä neliöllisesti) kvanttiketjulle (optinen hilakello + lomittuneisuus- / yksittäisfotonilinkki) verrattuna klassiseen ketjuun (CSAC + RF-kaksisuuntainen linkki); ajoituksen suojaustaso (TPL, käytetty uudelleen kohteesta tpl), joka rajaa havaitsemattoman aikavirheen; viive/toisto-hyökkäyksen turvallisuuslaatumittari 1 − P_md ilmoitetulla väärän hälytyksen nopeudella (käytetty uudelleen kohteesta detection); kellopoikkeaman havaitsemistodennäköisyys + CUSUM (cumulative sum) -muutoksen havaitsemisviive; ja kvantti vs klassinen -vertailu rehellisenä qtrade::TradeEvidence-oliona, joka kantaa edustavuus- ja aukot lentoon -tietueen.

Oraakkeli on suljetun muodon neliöllinen budjetti uudelleenkäytettyjen, erikseen validoitujen ytimien yli (ADEV vs Stable32/NIST; TPL-raja; detection::analytic_pd/analytic_pmd). timetransfer_chain::tests: kvanttitoistotarkkuus paranee integrointiajan mukana; kvanttiketju voi voittaa ja voi hävitä toistotarkkuuden laatumittarin (rehellistä — ei yleinen voitto; hyvin häviöllinen linkki kääntää tuloksen); suojaustaso on äärellinen ja positiivinen; turvallisuuslaatumittari on välillä [0 1] ja kasvaa hyökkäysviiveen mukana; poikkeaman havaitsemistodennäköisyys on monotoninen vian suuruuden suhteen; ja kauppatodiste on sisäisesti rehellinen (is_honest()).

GNSS-vapaa kvanttinavigointi (src/quantum_nav_od.rs)#

Skenaario quantum-gnss-free-nav vertaa suunnistuslaskentaa GNSS-katkon aikana kvantti-inertiabudjettiin (kylmäatomi-interferometrikiihtyvyysmittari, käytetty uudelleen kohteista inertial::quantum_imu/quantum_trade, jonka CAI:n valkoisen kohinan lattia on validoitu ~2 suuruusluokan tarkkuudella Freier ym. 2016 -työhön nähden) klassiseen navigointiluokan INS:ään. Se raportoi paikkavirheen kasvun liukuvaiheen yli, holdover-ajan paikkakynnykseen ja kvantti vs klassinen -kauppavertailun rehellisenä qtrade::TradeEvidence-oliona. Havaittavuus todetaan rehellisesti: ilman ulkoista paikannusta katkon aikana kiihtyvyysmittarin harha on havaitsematon, joten paikkavirhe kasvaa rajattomasti (≈ ½·harha·t² sekä nopeuden satunnaiskävelytermi); pienempiharhainen kvanttianturi hidastaa tätä kasvua mutta ei sulje eroa — vain ulkoinen paikannus sulkee.

Oraakkeli on uudelleenkäytetyt inertiabudjetit (QuantumNavBudget/ClassicalInsBudget, jotka kumpikin toteuttavat piirteen PositionDrift) sekä suljetun muodon ajautumaidentiteetit. quantum_nav_od::tests: kvanttibudjetti päihittää klassisen pitkän katkon yli (pienempi virhe, pidempi holdover); virhe kasvaa katkon keston mukana molemmilla (havaittavuusaukko); etu riippuu katkosta, ei ole vakio voittokerroin (kvanttikäyrä on kohinadominoitu lyhyellä liu'ulla, harhadominoitu pitkällä); kauppatodiste on sisäisesti rehellinen.

Kvantti-PNT-järjestelmien vika- ja poikkeamantunnistus (src/quantum_faults.rs)#

Skenaario quantum-anomaly-detect määrittelee merkityn luettelon kvantti-PNT-vioista (kellotaajuuden hyppy, ajautuma, lukkiutumisen menetys; anturin harha-askel, katko), pisteyttää havaitsemistunnusluvun nimellisissä ja vikaantuneissa ikkunoissa ja raportoi ilmaisimen erottelukyvyn ROC AUC:na sekä pienimmän havaittavan vian kiinteällä väärän hälytyksen nopeudella. Kvantti vs klassinen -näkökulma: vakaampi kvanttikellon referenssi pienentää valvonnan kohinaa σ, joten se havaitsee pienempiä vikoja — tuotettuna rehellisenä qtrade::TradeEvidence-oliona edustavuustietueen kanssa.

Oraakkeli on suljetun muodon AUC Gaussin havaitsemistunnusluvulle (nimellinen N(0,σ), vika N(μ,σ) ⇒ AUC = Φ(μ/(σ√2))), ristiintarkistettuna ulkoisesti validoitua eval_stats::bootstrap_auc_ci (validoitu vs scikit-learn) ja kohteen detection analyyttisiä kynnyksiä vasten. quantum_faults::tests: analyyttinen AUC vastaa tunnettuja arvoja (0,5 kun μ=0, →1 suurella μ/σ, monotoninen); empiirinen bootstrap-AUC:n luottamusväli ympäröi suljetun muodon arvon; kvanttivalvonnalla on korkeampi AUC ja pienempi pienin havaittava vika; etu katoaa valtavilla vioilla (molemmat havaitsevat täydellisesti — ei yleinen marginaali); luettelossa on viisi merkittyä luokkaa; kauppavertailu on sisäisesti rehellinen.

Standardien yhdenmukaisuus — vaihtomuodot, linkkibudjetti ja eheys (ulkoisen oraakkelin tarkistukset)#

Nämä standardit validoidaan palauttamalla standardeissa itsessään (tai riippumattomassa referenssitoteutuksessa) julkaistut sanatarkat laskuesimerkit / vertailuarvot, ei Kshanan omalla edestakaisella kierrolla. Standardin oman liite-esimerkin palauttaminen on vahvin saatavilla oleva yhdenmukaisuustarkistus vaihtomuodon jäsentimelle.

GNSS-standardit — ulkoisen oraakkelin tila ja rehellisesti jäljellä olevat aukot:

Verkkojen, spektrin, aurinkokunnan, satelliittitähdistöjen, kampanjoiden ja LEO-PNT:n ajoitus#

Versiolinjalla 0,28 lisätyt ominaisuudet arvioidaan rivi riviltä generoidussa tiedostossa VERIFICATION-MATRIX.md; tämä osio tiivistää, millä niistä on ulkoinen oraakkeli. Rivi on VALIDATED vain riippumattoman ulkoisen oraakkelin kanssa; kaikki muu on MODELLED.

Tuotokset, jotka ovat esityksiä eivätkä todisteita, on testattu, mutta niillä ei ole matriisiriviä: tiedonvaihtoviennit (CZML (Cesium Language), KML (Keyhole Markup Language), GeoJSON, STK:n (Systems Tool Kit) efemeridi, SigMF (Signal Metadata Format)), jotka kukin jäsennetään takaisin formaatin määrityksestä kirjoitetulla validaattorilla (tests/interop_formats.rs, 13 testiä; katso INTEROP.md); animaatiot (tests/animation.rs: tavutasolla identtiset uusinta-ajot, täsmälliset kuvamäärät, hyvin muodostettu SVG (Scalable Vector Graphics), ei ulkoista osoitetta HTML-soittimessa (HyperText Markup Language)); sekä ajoraportti (tests/advanced_report.rs, tests/advanced_report_cli.rs: jokainen mukana toimitettu skenaario raportoi ilman tyhjää osiota tai paikkamerkkiarvoa, nimikkeet vastaavat matriisia, ja tallennettu komento toistaa tiedoston result.json ja raportin tavu tavulta).

Toiminta-alue#

Jokaista pakettia harjoitetaan ilmoitetulla syöttöalueellaan testillä tests/scenario_coverage.rs, joka varmistaa, että jokainen numeerinen tulos on äärellinen (ei NaN/Inf (NaN: ei luku)) ja rajattu. Taulukossa on pakettikohtainen testattu syöttöalue, odotettu tulostekäyttäytyminen ja kattava testi.

Flicker-FM- ja fuusioharhariveillä suljetaan kaksi tiettyä realismiaukkoa: kohinatermit ovat oletuksena pois päältä, mutta vaikuttavat osoitettavasti tulosteeseen, kun ne otetaan käyttöön, ja yhteinen fuusiosuodatin ei ole riippuvainen siitä, että harhat nollataan — se konvergoituu myös realistisella kylmäatomiluokan jäännösharhalla.

Tunnetut rajoitukset#

• Kvantti- ja klassisissa ajoissa on nyt riippumattomat RNG (satunnaislukugeneraattori) -siemenluvut (klassinen siemenluku = siemenluku + 0x9e3779b97f4a7c15), joten niiden kohinatoteutumat ovat korreloimattomia — korjattu katselmoinnin jälkeen.
• holdover_s on segmenttitietoinen: katkoaikajanat jaetaan yhtenäisiin segmentteihin GNSS:n uudelleenhankinnassa, ja raportoitu arvo on huonoimman tapauksen (lyhin) vapaa eteneminen niiden joukosta. Sitä rajaa edelleen aikaruudukon erotuskyky (alaraja).
• ISL-ajansiirron uudelleensynkronointi mallintaa jäännöslinkin epävarmuuden tuoreena nollakeskiarvoisena värinänä jokaisella mittausaskeleella sekä uudelleenankkuroinnilla asetetulla välillä.

Väitteet vs. todellisuus — pikaopas#

Vihamielisen arvioijan tarkistuslista. Jokaiselle termille, joka voitaisiin ymmärtää enemmäksi kuin mitä se on: mitä Kshana tekee tänään ja missä todellinen versio on tiekartalla.

Kuun PNT -artikkelien ristiintarkistukset (regressiotodiste, ei matriisirivejä)#

Kuun/kuunläheisen avaruuden sarja (README:n ominaisuudet ”Lunar & cislunar” ja ”Lunar PNT suite”) on riippumattomasti ristiintarkistettu julkaistujen artikkelien väitteiden osalta tiedostoissa tests/validate_p*.rs, kukin eri toteutuksesta peräisin olevaa oraakkelia vastaan:

• kiertoradalta lähetyksen/kaappauksen jalanjälki vs. scipy.special.j1 (Cephesin Bessel J1);
• pintamajakan geometrian DOP vs. riippumaton NumPy-ratkaisu lausekkeelle (HᵀH)⁻¹;
• UT1/EOP-pysyvyysennusteen virheen kasvu vs. samojen sanatarkkojen IERS-rivien (finals2000A) NumPy-uudelleenjäsennys;
• tasomainen kaukaisen vastakulkuisen radan perhe vs. NASA/JPL:n kolmen kappaleen jaksollisten ratojen tietokanta;
• RF-etäisyysmittauksen toistotarkkuusbudjetti vs. ensimmäisistä periaatteista johdettu viite.

Testiaineistot ja oraakkelin generointiskriptit sijaitsevat hakemistossa tests/fixtures/{p1_footprint,lunar_service,eop_prediction,rf_ranging_precision,dro_family_jpl,p2_independent_dop}/. Ne vahvistavat todistepohjaa ominaisuuksille, jotka pysyvät tasolla MODELLED koneellisesti tarkistetussa matriisissa (src/verification.rs); ne ovat regressiotarkistuksia, eivät uusia matriisirivejä tasolla VALIDATED, joten ne eivät itse muuta koneellisesti tarkistetun matriisin lukumäärää. Lukumäärää ei toisteta tässä, koska käsin kirjoitettu kopio siitä ajautuu pois: todellinen jako on tiedoston VERIFICATION-MATRIX.md generoidussa otsikossa, jonka gen_validation_artifacts kirjoittaa funktiosta verification_matrix() ja jonka tests/verification_artifacts_doc_sync.rs kiinnittää.