clock (skenaariotyyppi)

Moottorin v0.40.0 skenaariotyyppi, perhe Kellot, ajoitus ja holdover. Ohjeellinen: tutkimus- ja suunnittelutyökalun analyysitulos; ei tyyppihyväksytty navigointilaite eikä ihmishengen turvaamiseen tarkoitettu palvelu. Jokainen tässä oleva merkintä on moottorin tai varmennusmatriisin oma; tyyppi on MODELLED, ellei matriisi toisin sano (miten merkintä ansaitaan: README-tiedoston osio Evidence).

Mitä se tekee#

Kellon holdover suhteessa määritykseen; valinnainen Monte Carlo -otosjoukko (runs > 1).

Yksi ajo tiedostolla scenarios/clock-ensemble.toml tiivistyy seuraavasti: scenario 91d2b6d10d14 | 200 runs | quantum holdover 6600s [6600-6600] p95 8.78e-4ns security n/a (no attack) | classical holdover 844s [220-2130] p95 167.0ns security n/a (no attack)

Syötteet#

Skeemasta (kshana kinds --json):

• Pakolliset kentät: seed, threshold_ns, time, gnss, clock_quantum, clock_classical
• Valinnaiset kentät: runs, integrity

Esimerkki scenarios/clock-ensemble.toml asettaa muun muassa seuraavat:

Aja se#

kshana scenarios/clock-ensemble.toml

6 mukana toimitettua skenaariota käyttää tätä tyyppiä; muut ovat hakemistossa scenarios/.

Mitä se antaa#

Tuon ajon skalaaritulokset moottorin ilmoittamilla yksiköillä:

Todisteet#

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

• MODELLED Kellotyypin valinnainen [integrity]-osio (clock_integrity::run): annetusta paikasta ja tähdistöesiasetuksista (geometry::sky_geometry), jokaisella eheysepookilla, kun GNSS-aikajana ei ole estetty, hetkellinen RAIM (raim::snapshot_ Testit: clock_integrity.rs.
• MODELLED clock_log::read_input: yksi jäsennyskerros, joka muuttaa RINEX-kellotiedoston (yhden nimetyn kellon AS/AR-tietueet, versiot 2 ja 3,00–3,04), TimeLab-tyylisen ASCII-vaihe- tai taajuuslokin tai TAPR TICC -aikaleima- tai -väliaikalokin yhtenäiseksi pha Testit: clock_log_allantools.rs.
• MODELLED clock_log::read_input muodoilla ptp4l, phc2sys, ts2phc, chrony-tracking ja chrony-statistics: linuxptp-servorivin kirjattu poikkeama (ns, rivin oma hakasulkeissa oleva aikaleima, lukemat ennen kuin servo ensimmäisen kerran raportoi tilan s2 jätetty pois a
• MODELLED Tyyppi mission-thread: vaiheiden asiakirja, jossa kukin vaihe on yksi kahdeksasta rekisteröidystä tyypistä, ajetaan järjestyksessä ja 6x6-kovarianssi, kello ja koordinaatisto siirretään eteenpäin ilmoitetun säännön mukaan (carry; inflate, valkoinen kiihtyvyyskohina ilmoitetun välin yli Testit: field_units_global.rs.
• ja 1 lisää matriisissa.

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

• VALIDATED Allanin / modifioitu / Hadamardin poikkeama + potenssilakikohinan tunnistus χ²-luottamusväleillä. Oraakkeli (ExternalDataset): NIST SP 1065 (Riley) / Stable32-vertailupoikkeamat NBS14
• MODELLED Suljetun muodon ajelehtimisvirheen kasvu + holdover kynnykseen; kvanttikelloluokat. Oraakkeli (ReferenceImpl): Monivaiheinen clock_state-kovarianssirekursio (saman koodikannan ristiintarkistus); taustalla oleva ajelehtimisvarianssin ja holdover-inversion ydin on validoitu ulkoisesti scipy-kirjastoa vastaan (ks. 'Clock-holdover coast-variance & threshold inversion'). Luokkakohtaiset punakohinalattian holdover-luvut pysyvät MODELLED
• 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 Kelloavusteinen χ², RAIM, AGC, SQM yhdistettynä epookkikohtaiseksi tietoturvan laatumittariksi. Oraakkeli (ExternalDataset): TEXBAT-skenaarioparametrit (Humphreys 2012) — luonnehdinta, ei kiinnitettyjä vektoreita. 0,30 ulkoinen vertailu, havainto (jää tasolle MODELLED): aineistolla JammerTest 2024 (Bleik; GPL-3.0-data) havaintotason monitorit (kelloavusteinen khiin neliö, RAIM, ratkaisun epäonnistuminen) eivät antaneet hälytystä 10 s kuluessa yhdestäkään 8 arvioitavissa olevasta julkaistusta harhautuksen alkamisesta (kun alkamista edeltävä ikkuna oli puhdas, ensimmäinen hälytys tuli 10,2–39 s julk
• 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:

• Kellon holdover GNSS:n ollessa estetty 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))
• 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))
• Harhautuksen (spoofing) havaitseminen on MODELLED, ei validoitu: osaväite tarkistetaan ulkoisesti, mutta koko kyvykkyys koostuu mallinnetuista osista, joten kyvykkyys jää mallinnetuksi. (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#

• Perhesivu: Kellot, ajoitus ja holdover
• Kaikki lajit: KINDS.md
• Aihesivu: CAMPAIGNS.md
• Aihesivu: RECEIVER-TRUST.md