Partnerdata: hvad målte data kunne opgradere en MODELLED-række til

Kshana mærker hver funktion i et maskinkontrolleret register (verifikationsmatrix). De fleste rækker om tidssynkronisering og sensorer er MODELLED: de hviler på angivne modeller, offentliggjorte datablade og interne kontroller, og ingen målt optagelse af enhedsklassen er sammenlignet med dem. En indehaver af en sådan optagelse kan ændre det. Denne side siger, hvilke rækker, hvad der skal sendes, hvordan en indsendelse kontrolleres, hvordan den scores, og hvordan den krediteres. Den er skrevet til et laboratorium, en producent eller en universitetsgruppe; den er ikke et tilbud om arbejde, og den hævder ingen støtte fra nogen. Kun vejledende: Kshana er et studieinstrument, ikke typegodkendt navigations- eller tidsudstyr.

Hvad etiketterne betyder#

Etiket	Betydning
VALIDATED	en uafhængig ekstern reference er enig med funktionen under en tærskel fastsat før sammenligningen. En målt optagelse fra en partner kan være den reference for den delpåstand, den dækker; matrixinvarianterne forbyder etiketten uden en
MODELLED	internt konsistent og sagt højt; ingen ekstern uafhængig reference dækker påstanden. En MODELLED-række, der sammenlignes med målte data og misser, forbliver MODELLED, og missen offentliggøres
PARTNER	en disciplin, kørslen er afhængig af, som en hardwarepartner ejer, og som Kshana ikke leverer, for eksempel de tal, der beskriver en partners eget ur eller interferometer. Kshana modellerer, hvad en sådan enhed ville gøre ved en navigations- eller tidskæde; den indestår ikke for enheden

En indsendelse kan kun flytte en række til VALIDATED for den påstand, dataene faktisk afprøver, og kun hvis sammenligningen når sin tærskel. Den kan ikke gøre en enheds egne tal til noget, Kshana kan indestå for: de forbliver partnerens (PARTNER). Om en rækkes etiket ændres, er ejerens beslutning, optaget i den commit, der ændrer den, med teksten om den uafhængige reference, der siger præcis, hvad der blev sammenlignet med hvad.

Rækker, en partners data kunne opgradere#

Hver række nedenfor er den nøjagtige tekst for requirement i en MODELLED-række i matricen (en test holder denne side og matricen i takt). "Kunne ændre" siger, hvad en præregistreret sammenligning med målte data ville understøtte, hvis tærsklen nås; det er aldrig et løfte.

Række	Data, der ville afprøve den	Kunne ændre
`GNSS-denied clock holdover`	en optagelse over dage af et ur i en navngiven klasse, fritløbende efter sin sidste disciplinering, sammenlignet med en bedre reference, med et prøveinterval på et minut eller mindre	de røde støjgulve pr. klasse, der begrænser holdover-tal, forbliver MODELLED i dag; en målt stabilitet ved lange middelingstider kunne sammenlignes med gulvet for den klasse, kun for den klasse
`Quantum-vs-classical PNT trade & GNSS-denied resilience (13503)`	den målte Allan-deviation, som tabel eller som faseoptagelse, for en partners ur eller atominterferometer	afvejningstallene kvantificerer (validerer aldrig) partnerens enhed, så de ville blive betegnet som partnerens tal (PARTNER); indlæsningen af målte Allan-data i en støjmodel er allerede afstemt med en uafhængig solver
`Oscillator holdover presets from public datasheets`	en faseoptagelse af en oscillator fra en af de fire forudindstillede modeller, over mindst et døgn	om forudindstillingens støjmodel afledt af databladet gengiver en målt enheds stabilitet ved databladets egne middelingstider
`Measured clock device cards (held-out prediction)`	en faseoptagelse af en urklasse, der endnu ikke har et kort (en OCXO, et rubidium, et cæsium, en maser, et optisk ur)	et kort tilpasset på første tredjedel, der forudsiger Allan-deviationen for resten inden for den præregistrerede faktor, som allerede gjort for GNSS-satelliture og én modtager
`Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series`	en log fra en virkelig installation (enhver daemonversion) med daemonens egne oversigtslinjer	læserne blev bygget ud fra offentlige linjelayouts og fixtures; en virkelig log sammenlignet med en uafhængig læser ville være den første eksterne kontrol
`Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series`	en virkelig tæller- eller analysesoftware-eksport	det samme, for disse formater
`Holdover test scored from an operator-supplied time-error record`	en virkelig holdover-test: optagelsen, de tidspunkter, operatøren fjernede og genoprettede referencen, og laboratoriets egne MTIE-, TDEV- og maskeafgørelser fra dets analysesoftware	en uafhængig beregning af de samme størrelser at sammenligne med motorens
`IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters`	en stationær log fra en inertienhed, hvis støjparametre er offentliggjort eller målt af en anden	tilpasningen genfundet inden for en angivet faktor af de uafhængige parametre
`Quantum inertial dead-reckoning resilience`	en statisk log eller støjparametrene for en partners koldatom-inertisensor	enhedens tal er partnerens (PARTNER); positionsfejlbudgettet, der sammensætter dem, forbliver Kshanas model

Begynd med de to første: de afgør, om holdover-gulvene pr. klasse og afvejningen mellem kvante og klassisk hviler på nogen målte data af deres egne.

Hvad der skal sendes#

En indsendelse er to filer i én mappe: dataene og en kort beskrivelse af dem, en TOML-fil (kshana.partner-submission/1; et udarbejdet, opdigtet eksempel er examples/partner-submission/submission.toml).

Urdata. Et af de formater, Kshana læser (se urlogformater): TAPR TICC-logs, TimeLab-lignende ASCII-fase eller -frekvens, RINEX clock, linuxptp-logs ptp4l, phc2sys og ts2phc, chrony tracking- og statistiklogs. Fase foretrækkes frem for frekvens; angiv enhederne og prøveintervallet. Giv den længste uafbrudte optagelse, du har: stabilitet ved lange middelingstider kræver dage, og en optagelse på under et døgn accepteres, men der advares om den.

Inertidata. En CSV med navngivne kolonner (t_s, gx, gy, gz, ax, ay, az, rad/s og m/s^2) eller EuRoC-layoutet, fra en stationær enhed, lang nok til tilpasningen (mindst 2000 prøver; timer er bedre).

Beskrivelsen angiver, og kontrollen verificerer, hvor den kan:

typen af organisation (en type som "et nationalt laboratorium for tidssynkronisering", ikke et navn; et navn er valgfrit og kun til kreditering);
enheden (type, klasse og en model for klassen other);
hvordan dataene blev optaget: hvad de blev sammenlignet med, starttidspunktet (UTC), miljøet, og om de er rå eller bearbejdede (og hvad der blev gjort ved dem);
SHA-256 for datafilen, så den fil, der scores, er den fil, der er beskrevet;
de MODELLED-rækker, den tilbydes mod, ved den nøjagtige kravtekst ovenfor;
licensen (en SPDX-identifikator eller ord) og hvordan dataene må bruges i repositoriet: public (indlagt, med kildeangivelse), hash-only (kun dens hash og scorerne offentliggøres) eller private (scoren deles kun med indsenderen);
tre erklæringer: det er en måling og ikke en simulering, indsenderen må give licens til denne brug, og filerne rummer ingen personoplysninger.

Må ikke sendes. Alt personligt eller med kontaktoplysninger (kontrollen afviser en e-mailadresse eller et telefonnummer i beskrivelsen), alt, der er under eksportkontrol eller begrænset ved aftale, og enhver simuleret data, der præsenteres som målt.

Hvordan en indsendelse kontrolleres#

Format og metadata, af dig eller os, før noget køres.
```
kshana partner check <submission.toml>          # add --json for a machine-readable report
```
Den bekræfter skemaet, de obligatoriske felter, hashen, reglerne for licens og kildeangivelse, at målrækkerne findes og er MODELLED, at dataene kan læses med motorens egen læser, og den rapporterer, hvad den læste (prøver, interval, spænd, huller) og advarer om optagelser, der er korte. Afslutningsstatus 0 betyder komplet og læsbar; 1 angiver, hvad der skal rettes. Den scorer ikke dataene, validerer ikke en række og lover ikke, at de bliver brugt.
En præregistrering, før nogen scoret kørsel. For hver række fastlægger et dokument i xval/<name>/, der er indlagt, før dataene køres: rækken, datafilens SHA-256, hvilken del af dataene der holdes tilbage (intet tilpasset må se den), målet og tærsklen. For urkort er den eksisterende skabelon den tilbageholdte prædiktion, der blev brugt for IGS- og modtageroptagelserne: tilpas på første tredjedel af optagelsen, forudsig Allan-deviationen for resten og kræv, at forholdet mellem forudsagt og målt ligger inden for en angivet faktor ved hver tilpasset middelingstid. En tærskel lempes aldrig efter en kørsel.
Én scoret kørsel. Resultatet, hvert tal og hver miss medregnet, offentliggøres med kommandoen og commit'en, og en test fastholder det. En miss er et fund, ikke en fejl, der skal skjules: rækken forbliver MODELLED, og siden siger det.
Beslutningen om registeret er ejerens, skriftligt, i den commit, der ændrer rækken. Teksten om den uafhængige reference for en opgraderet række nævner datasættet, dets licens og kreditering, hvad der blev sammenlignet, og hvad der ikke blev.

Kreditering og rettigheder#

Dataene forbliver dine under den licens, du angiver. hash-only og private holder filen ude af repositoriet.
En indsendelse med public krediteres ved den kildeangivelse, du giver, i rækkens tekst om den uafhængige reference og i resultatfilen.
Intet offentliggøres under dit navn uden dit skriftlige samtykke; en organisation, der nævnes som kilde, citeres som kilde, aldrig som støtte. Ingen påstand om godkendelse eller støtte fremsættes af eller om en partner.
Du kan trække en indsendelse tilbage, før dens resultat offentliggøres. Derefter står resultatet, som det er optaget; hvis du trækker datalicensen tilbage, fjernes filen fra repositoriet, og hashen og scorerne forbliver.
Kshana udsender intet og styrer ingen hardware. En indsendelse er filer ind, en rapport ud.

Henvendelse#

En note på én side til et laboratorium er udarbejdet som udkast til ejeren i docs/drafts/PARTNER-OUTREACH.md. Det er et udkast: intet sendes, og ingen kontaktes, før ejeren beslutter det.