Partnerdata: wat gemeten data een MODELLED rij zou kunnen bevorderen

Kshana labelt elke mogelijkheid in een machinaal gecontroleerd register (verificatiematrix). De meeste rijen voor tijdsynchronisatie en sensoren zijn MODELLED: ze berusten op vermelde modellen, gepubliceerde datasheets en interne controles, en er is geen gemeten opname van de apparaatklasse mee vergeleken. Wie zo'n opname heeft, kan dat veranderen. Deze pagina zegt welke rijen, wat u moet sturen, hoe een inzending wordt gecontroleerd, hoe ze wordt gescoord en hoe ze wordt toegekend. Ze is geschreven voor een laboratorium, een fabrikant of een universitaire groep; ze is geen aanbod van werk en beweert geen onderschrijving door wie dan ook. Alleen adviserend: Kshana is een studie-instrument, geen typegoedgekeurde navigatie- of tijdsynchronisatieapparatuur.

Wat de labels betekenen#

Label	Betekenis
VALIDATED	een onafhankelijke externe referentie komt met de mogelijkheid overeen onder een drempel die vóór de vergelijking is vastgelegd. Een gemeten opname van een partner kan die referentie zijn voor de deelbewering die ze dekt; de invarianten van de matrix verbieden het label zonder een referentie
MODELLED	intern consistent en hardop gezegd; geen externe onafhankelijke referentie dekt de bewering. Een MODELLED rij die met gemeten data wordt vergeleken en mist blijft MODELLED, en de misser wordt gepubliceerd
PARTNER	een discipline waarop de run leunt en die een hardwarepartner bezit en Kshana niet levert, bijvoorbeeld de cijfers die de eigen klok of interferometer van een partner beschrijven. Kshana modelleert wat zo'n apparaat met een navigatie- of tijdsynchronisatieketen doet; het staat niet in voor het apparaat

Een inzending kan een rij alleen naar VALIDATED verplaatsen voor de bewering die de data werkelijk toetst, en alleen als de vergelijking haar drempel haalt. Ze kan de eigen cijfers van een apparaat niet tot iets maken waarvoor Kshana instaat: die blijven die van de partner (PARTNER). Of het label van een rij verandert is het besluit van de eigenaar, vastgelegd in de commit die het wijzigt, met de tekst van de onafhankelijke referentie die precies zegt wat met wat is vergeleken.

Rijen die de data van een partner zou kunnen bevorderen#

Elke rij hieronder is de exacte tekst van requirement van een MODELLED rij van de matrix (een test houdt deze pagina en de matrix gelijk). "Zou kunnen veranderen" zegt wat een vooraf vastgelegde vergelijking met gemeten data zou ondersteunen als de drempel wordt gehaald; het is nooit een belofte.

Rij	Data die het zou toetsen	Zou kunnen veranderen
`GNSS-denied clock holdover`	een opname van dagen van een klok van een benoemde klasse, vrij lopend na zijn laatste sturing, vergeleken met een betere referentie, met een steekproefinterval van een minuut of minder	de rode-ruisbodems per klasse die de holdovercijfers begrenzen blijven vandaag MODELLED; een gemeten stabiliteit bij lange middelingstijden zou met de bodem van die klasse kunnen worden vergeleken, alleen voor die klasse
`Quantum-vs-classical PNT trade & GNSS-denied resilience (13503)`	de gemeten Allan-deviatie, als tabel of als faseopname, van de klok of atoominterferometer van een partner	de afwegingscijfers kwantificeren (valideren nooit) het apparaat van de partner, dus ze zouden als de cijfers van de partner worden gelabeld (PARTNER); het inlezen van gemeten Allan-data in een ruismodel komt al overeen met een onafhankelijke oplosser
`Oscillator holdover presets from public datasheets`	een faseopname van een oscillator van een van de vier voorinstellingsmodellen, over ten minste een dag	of het uit de datasheet afgeleide ruismodel van de voorinstelling de stabiliteit van een gemeten exemplaar reproduceert bij de eigen middelingstijden van de datasheet
`Measured clock device cards (held-out prediction)`	een faseopname van een klokklasse die nog geen kaart heeft (een OCXO, een rubidium, een cesium, een maser, een optische klok)	een kaart die op het eerste derde is gefit en de Allan-deviatie van de rest voorspelt binnen de vooraf vastgelegde factor, zoals al gedaan voor GNSS-satellietklokken en één ontvanger
`Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series`	een log van een echte installatie (elke daemonversie) met de eigen samenvattingsregels van de daemon	de lezers zijn gebouwd op openbare regelindelingen en fixtures; een echte log die met een onafhankelijke lezer wordt vergeleken zou de eerste externe controle zijn
`Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series`	een echte export van een teller of analysesoftware	hetzelfde, voor die formaten
`Holdover test scored from an operator-supplied time-error record`	een echte holdovertest: de opname, de tijden waarop de operator de referentie verwijderde en herstelde, en de eigen MTIE-, TDEV- en maskeroordelen van het laboratorium uit zijn analysesoftware	een onafhankelijke berekening van dezelfde grootheden om met die van de engine te vergelijken
`IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters`	een stationaire log van een traagheidseenheid waarvan de ruisparameters door iemand anders zijn gepubliceerd of gemeten	de fit herstelt de onafhankelijke parameters binnen een vermelde factor
`Quantum inertial dead-reckoning resilience`	een statische log of de ruisparameters van de koudeatoom-traagheidssensor van een partner	de apparaatcijfers zijn die van de partner (PARTNER); het positiefoutenbudget dat ze samenstelt blijft het model van Kshana

Begin met de eerste twee: ze bepalen of de holdoverbodems per klasse en de afweging tussen kwantum en klassiek op enige eigen gemeten data berusten.

Wat u moet sturen#

Een inzending bestaat uit twee bestanden in één map: de data en een kleine beschrijving ervan, een TOML-bestand (kshana.partner-submission/1; een uitgewerkt, verzonnen voorbeeld is examples/partner-submission/submission.toml).

Klokdata. Een van de formaten die Kshana leest (zie kloklogformaten): TAPR TICC-logs, fase of frequentie in ASCII in TimeLab-stijl, RINEX clock, linuxptp-logs van ptp4l, phc2sys en ts2phc, chrony-tracking- en statistiekenlogs. Fase heeft de voorkeur boven frequentie; vermeld de eenheden en het steekproefinterval. Geef de langste ononderbroken opname die u hebt: stabiliteit bij lange middelingstijden vraagt dagen, en een opname van minder dan een dag wordt geaccepteerd maar met een waarschuwing.

Traagheidsdata. Een CSV met benoemde kolommen (t_s, gx, gy, gz, ax, ay, az, rad/s en m/s^2) of de EuRoC-indeling, van een stilstaand apparaat, lang genoeg voor de fit (ten minste 2000 samples; uren is beter).

De beschrijving zegt, en de controle verifieert waar mogelijk:

het type organisatie (een type zoals "een nationaal tijdlaboratorium", geen naam; een naam is optioneel en alleen voor vermelding);
het apparaat (soort, klasse, en een model voor klasse other);
hoe de data is vastgelegd: waartegen ze is vergeleken, de starttijd (UTC), de omgeving, en of ze ruw of bewerkt is (en wat ermee is gedaan);
de SHA-256 van het databestand, zodat het gescoorde bestand het beschreven bestand is;
de MODELLED rijen waartegen het wordt aangeboden, met de exacte eistekst hierboven;
de licentie (een SPDX-identifier of woorden) en hoe de data in de repository mag worden gebruikt: public (vastgelegd, met bronvermelding), hash-only (alleen de hash en de scores worden gepubliceerd) of private (de score wordt alleen met de inzender gedeeld);
drie verklaringen: het is een meting en geen simulatie, de inzender mag het voor dit gebruik in licentie geven, en de bestanden bevatten geen persoonsgegevens.

Niet te sturen. Alles wat persoonlijk is of contactgegevens bevat (de controle weigert een e-mailadres of telefoonnummer in de beschrijving), alles wat onder exportcontrole valt of bij overeenkomst beperkt is, en alle gesimuleerde data die als gemeten wordt gepresenteerd.

Hoe een inzending wordt gecontroleerd#

Formaat en metadata, door u of ons, voordat er iets wordt uitgevoerd.
```
kshana partner check <submission.toml>          # add --json for a machine-readable report
```
Het bevestigt het schema, de vereiste velden, de hash, de regels voor licentie en bronvermelding, dat de doelrijen bestaan en MODELLED zijn, dat de data met de eigen lezer van de engine te lezen is, en het meldt wat het las (samples, interval, spanne, gaten) en waarschuwt voor opnamen die kort zijn. Exitstatus 0 betekent compleet en leesbaar; 1 somt op wat moet worden hersteld. Het scoort de data niet, valideert geen rij en belooft niet dat ze zal worden gebruikt.
Een preregistratie, vóór elke gescoorde run. Voor elke rij legt een document in xval/<name>/ vast, en wordt vastgelegd voordat de data wordt uitgevoerd: de rij, de SHA-256 van het databestand, welk deel van de data is achtergehouden (niets wat wordt gefit mag het zien), de maat en de drempel. Voor klokkaarten is de bestaande sjabloon de achtergehouden voorspelling die voor de IGS- en ontvangeropnamen is gebruikt: fit op het eerste derde van de opname, voorspel de Allan-deviatie van de rest, en eis dat de verhouding voorspeld tot gemeten binnen een vermelde factor ligt bij elke gefitte middelingstijd. Een drempel wordt na een run nooit versoepeld.
Eén gescoorde run. Het resultaat, met elk getal en elke misser, wordt gepubliceerd met de opdracht en de commit, en een test legt het vast. Een misser is een bevinding, geen mislukking om te verbergen: de rij blijft MODELLED en de pagina zegt dat.
Het besluit over het register is dat van de eigenaar, schriftelijk, in de commit die de rij wijzigt. De tekst van de onafhankelijke referentie van een bevorderde rij noemt de dataset, haar licentie en vermelding, wat is vergeleken en wat niet.

Vermelding en rechten#

De data blijft van u onder de licentie die u vermeldt. hash-only en private houden het bestand buiten de repository.
Een inzending met public wordt vermeld met de bronvermelding die u opgeeft, in de tekst van de onafhankelijke referentie van de rij en in het resultaatbestand.
Er wordt niets onder uw naam gepubliceerd zonder uw schriftelijke toestemming; een organisatie die als bron wordt genoemd, wordt als bron geciteerd, nooit als onderschrijver. Door of over een partner wordt geen goedkeuring of onderschrijving beweerd.
U kunt een inzending intrekken voordat het resultaat is gepubliceerd. Daarna blijft het resultaat zoals vastgelegd; als u de datalicentie intrekt, wordt het bestand uit de repository verwijderd en blijven de hash en de scores.
Kshana zendt niets uit en stuurt geen hardware aan. Een inzending is bestanden erin, een rapport eruit.

Benadering#

Een bericht van één pagina voor een laboratorium is voor de eigenaar opgesteld in docs/drafts/PARTNER-OUTREACH.md. Het is een concept: er wordt niets verzonden en niemand wordt benaderd, tot de eigenaar besluit.