clock (stsenaariumi liik)

Mootori v0.40.0 stsenaariumi liik, perekond Kellad, ajastus ja holdover. 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#

Kella holdover võrreldes spetsifikatsiooniga; valikuline Monte Carlo ansambel (jooksud > 1).

Ühe scenarios/clock-ensemble.toml jooksu kokkuvõte: scenario 91d2b6d10d14 | 200 jooksu | kvant-holdover 6600s [6600-6600] p95 8.78e-4ns turvalisus n/a (rünnakut ei ole) | klassikaline holdover 844s [220-2130] p95 167.0ns turvalisus n/a (rünnakut ei ole)

Sisendid#

Skeemist (kshana kinds --json):

• Kohustuslikud väljad: seed, threshold_ns, time, gnss, clock_quantum, clock_classical
• Valikulised väljad: runs, integrity

Näide scenarios/clock-ensemble.toml määrab muu hulgas:

Käivitamine#

kshana scenarios/clock-ensemble.toml

6 kaasasolevat stsenaariumi kasutab seda liiki; ülejäänud on kaustas scenarios/.

Mida see annab#

Selle käivituse skalaartulemused koos ühikutega, mida mootor ütleb:

Tõendid#

MODELLED: kontrollimaatriksi read, mis nimetavad seda liiki.

• MODELLED Kella liigi valikuline [integrity] jaotis (clock_integrity::run): väljaöeldud jaamast ja konstellatsiooni eelseadistustest (geometry::sky_geometry), igal terviklikkuse epohhil, kui GNSS-i ajajoon ei ole keelatud, hetktõmmis RAIM (raim::snapshot_ Testid: clock_integrity.rs.
• MODELLED clock_log::read_input: üks parsimiskiht, mis muudab RINEX-i kellafaili (ühe nimetatud kella AS/AR kirjed, versioonid 2 ja 3,00 kuni 3,04), TimeLab-stiilis ASCII faasi- või sagedusloo või TAPR TICC ajatempli- või intervallilogi ühtseks pha Testid: clock_log_allantools.rs.
• MODELLED clock_log::read_input vormingutega ptp4l, phc2sys, ts2phc, chrony-tracking ja chrony-statistics: linuxptp servorea logitud nihe (ns, rea enda nurksulgudes ajatempel, lugemid enne, kui servo esimest korda teatab s2, jäetud välja a
• MODELLED Liik mission-thread: faaside dokument, millest iga on üks kaheksast registreeritud liigist, käivitatud järjekorras, 6x6 kovariatsiooni, kella ja tugisüsteemi edasiandmisega öeldud reegli järgi (carry; inflate, valge kiirendusmüra öeldud vahemiku jooksul Testid: field_units_global.rs.
• ja veel 1 maatriksis.

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

• VALIDATED Alani / modifitseeritud / Hadamardi hälve + astmeseaduse müra tuvastus χ² usaldusvahemikega. Sõltumatu etalon (ExternalDataset): NIST SP 1065 (Riley) / Stable32 etalonhälbed NBS14
• MODELLED Suletud kujul libisemisvea kasv + holdover läveni; kvantkellade klassid. Sõltumatu etalon (ReferenceImpl): Mitmeastmeline clock_state kovariatsioonirekursioon (sama koodibaasi ristkontroll); aluseks olev libisemisdispersiooni ja holdover-i inversiooni tuum on väliselt valideeritud scipy vastu (vt „Clock-holdover coast-variance & threshold inversion“). Klassipõhised punase müra põranda holdover-i arvud jäävad MODELLED
• MODELLED 3-olekuline (faas/sagedus/triiv) van-Loani Kalmani kell, Joseph-stabiliseeritud. Sõltumatu etalon (ReferenceImpl): filterpy 1.4.5 KalmanFilter (R. Labbe, MIT), F funktsiooniga scipy.linalg.expm ja Q Van-Loani 1978 plokkmaatriksiga — sõltumatu etalonteostus, mis reprodutseerib kshana täieliku filtri trajektoori. Teostustevaheline kooskõla: kella füüsikat / Alani kalibreerimist ei ole väliselt valideeritud, seega jääb see MODELLED. 0,30 väline võrdlus, tulemus (jääb MODELLED): IGS-i lõplikel 30 s kelladel 11 GPS Blo
• MODELLED Kellaga toetatud χ², RAIM, AGC, SQM ühendatud epohhikaupa turvalisuse FoM. Sõltumatu etalon (ExternalDataset): TEXBAT-i stsenaariumi parameetrid (Humphreys 2012) — iseloomustus, mitte fikseeritud vektorid. 0,30 väline võrdlus, tulemus (jääb MODELLED): JammerTest 2024 (Bleik; GPL-3.0 andmed) ei tõstnud vaatlustaseme monitorid (kellaga toetatud hii-ruut, RAIM, lahenduse ebaõnnestumine) alarmi 10 s jooksul ühegi 8 hinnatava avaldatud spuufimise alguse suhtes (kus alguseelne aken oli puhas, tuli esimene alarm 10,2 kuni 39 s pärast pu
• 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

Piirangud#

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

• GNSS-ita kella holdover on MODELLED, mitte valideeritud: kontrollitud eraldi teostuse vastu samas koodibaasis — testitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Pardakella oleku hindamine on MODELLED, mitte valideeritud: kontrollitud eraldi teostuse vastu samas koodibaasis — testitavast üksusest sõltumatu, kuid mitte väliselt autoriteetne. (kontrollimaatriks (docs/MODELLED-RATIONALE.md))
• Spuufimise tuvastamine 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))
• 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))

Vt ka#

• Perekonna leht: Kellad, ajastus ja holdover
• Kõik liigid: KINDS.md
• Teemaleht: CAMPAIGNS.md
• Teemaleht: RECEIVER-TRUST.md