Maskinöversättning, inte granskad av en modersmålstalare. Engelska är referensen.

Validering och evidensÄnnu inte på GitHubKälla: docs/PARTNER-DATA.md

Partnerdata: vad uppmätta data kan lyfta en MODELLED-rad till

Kshana märker varje förmåga i ett maskinkontrollerat register (verifieringsmatrisen). De flesta rader för tidssynkronisering och sensorer är MODELLED: de vilar på angivna modeller, publicerade datablad och interna kontroller, och ingen uppmätt post för enhetsklassen har jämförts med dem. Den som har en sådan post kan ändra på det. Den här sidan säger vilka rader, vad man ska skicka, hur ett bidrag kontrolleras, hur det poängsätts och hur det tillgodoräknas. Den är skriven för ett laboratorium, en tillverkare eller en universitetsgrupp; den är inte ett arbetserbjudande och gör inte anspråk på stöd från någon. Endast rådgivande: Kshana är ett studieinstrument, inte typgodkänd navigations- eller tidsutrustning.

Vad etiketterna betyder#

Etikett Betydelse
VALIDATED en oberoende extern referens stämmer med förmågan under en tröskel som fastställts före jämförelsen. En uppmätt post från en partner kan vara den oberoende referensen för det delpåstående den täcker; matrisens invarianter förbjuder etiketten utan en
MODELLED internt konsistent och sagt högt; ingen extern oberoende referens täcker påståendet. En MODELLED-rad som jämförs med uppmätta data och missar förblir MODELLED, och missen publiceras
PARTNER en disciplin som körningen förlitar sig på och som en hårdvarupartner äger och Kshana inte tillhandahåller, till exempel siffrorna som beskriver en partners egen klocka eller interferometer. Kshana modellerar vad en sådan enhet skulle göra med en navigerings- eller tidskedja; den går inte i god för enheten

Ett bidrag kan flytta en rad till VALIDATED bara för det påstående som data faktiskt testar, och bara om jämförelsen når sin tröskel. Det kan inte göra en enhets egna siffror till något Kshana går i god för: de förblir partnerns (PARTNER). Om en rads etikett ändras är ägarens beslut, registrerat i den incheckning som ändrar den, med text för den oberoende referensen som säger exakt vad som jämfördes med vad.

Rader som en partners data kan lyfta#

Varje rad nedan är den exakta texten i requirement för en MODELLED-rad i matrisen (ett test håller den här sidan och matrisen i takt). "Kan ändra" säger vad en jämförelse med uppmätta data som förhandsregistrerats skulle stödja om tröskeln nås; det är aldrig ett löfte.

Rad Data som skulle testa den Kan ändra
GNSS-denied clock holdover en post över dygn från en klocka av en namngiven klass, fritt gående efter sin sista styrning, jämförd med en bättre referens, med ett provintervall på en minut eller mindre golven för rött brus per klass som begränsar holdover-siffror förblir MODELLED i dag; en uppmätt stabilitet vid långa medelvärdestider kunde jämföras med golvet för den klassen, för den klassen enbart
Quantum-vs-classical PNT trade & GNSS-denied resilience (13503) den uppmätta Allan-deviationen, som en tabell eller som fasposten, för en partners klocka eller atominterferometer avvägningssiffrorna kvantifierar (validerar aldrig) partnerns enhet, så de skulle märkas som partnerns siffror (PARTNER); inläsningen av uppmätta Allan-data i en brusmodell är redan avstämd mot en oberoende lösare
Oscillator holdover presets from public datasheets en fasserie från en oscillator av en av de fyra förinställda modellerna, över minst ett dygn om förinställningens brusmodell härledd från databladet återger en uppmätt enhets stabilitet vid databladets egna medelvärdestider
Measured clock device cards (held-out prediction) en fasserie från en klockklass som ännu inte har något kort (en OCXO, en rubidium, en cesium, en maser, en optisk klocka) ett kort anpassat på den första tredjedelen som förutsäger Allan-deviationen för resten inom den förhandsregistrerade faktorn, så som redan gjorts för GNSS-satellitklockor och en mottagare
Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series en logg från en verklig installation (vilken daemonversion som helst) med daemonens egna sammanfattningsrader läsarna byggdes utifrån offentliga radlayouter och fixturer; en verklig logg jämförd med en oberoende läsare vore den första externa kontrollen
Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series en export från en verklig räknare eller analysprogramvara samma, för de formaten
Holdover test scored from an operator-supplied time-error record ett verkligt holdover-test: posten, de tider då operatören tog bort och återställde referensen, och laboratoriets egna MTIE-, TDEV- och maskutfall från dess analysprogramvara en oberoende beräkning av samma storheter att jämföra med motorns
IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters en stillastående logg från en tröghetsenhet vars brusparametrar är publicerade eller uppmätta av någon annan anpassningen återfinner de oberoende parametrarna inom en angiven faktor
Quantum inertial dead-reckoning resilience en statisk logg eller brusparametrarna för en partners tröghetssensor med kalla atomer enhetens siffror är partnerns (PARTNER); positionsfelsbudgeten som sätter ihop dem förblir Kshanas modell

Börja med de två första: de avgör om golven för holdover per klass och avvägningen mellan kvant och klassiskt vilar på några egna uppmätta data alls.

Vad man ska skicka#

Ett bidrag är två filer i en mapp: data och en kort beskrivning av dem, en TOML-fil (kshana.partner-submission/1; ett genomarbetat, påhittat exempel är examples/partner-submission/submission.toml).

Klockdata. Ett av de format som Kshana läser (se klockloggformat): TAPR TICC-loggar, ASCII-fas eller -frekvens i TimeLab-stil, RINEX clock, linuxptp-loggarna ptp4l, phc2sys och ts2phc, chrony tracking- och statistics-loggar. Fas är att föredra framför frekvens; ange enheterna och provintervallet. Ge den längsta oavbrutna post du har: stabilitet vid långa medelvärdestider kräver dygn, och en post under ett dygn accepteras men ger en varning.

Tröghetsdata. En CSV med namngivna kolumner (t_s, gx, gy, gz, ax, ay, az, rad/s och m/s^2) eller EuRoC-layouten, från en stillastående enhet, tillräckligt lång för anpassningen (minst 2000 prov; timmar är bättre).

Beskrivningen anger, och kontrollen verifierar där den kan:

  • organisationens typ (en typ som "ett nationellt tidslaboratorium", inte ett namn; ett namn är valfritt och bara för tillskrivning);
  • enheten (typ, klass, och en modell för klassen other);
  • hur data togs: vad de jämfördes mot, starttiden (UTC), miljön, och om de är råa eller bearbetade (och vad som gjordes med dem);
  • SHA-256 för datafilen, så att den fil som poängsätts är den fil som beskrivs;
  • de MODELLED-rader den erbjuds mot, med den exakta kravtexten ovan;
  • licensen (en SPDX-identifierare eller ord) och hur data får användas i arkivet: public (incheckade, med tillskrivning), hash-only (bara dess hash och poängen publiceras) eller private (poängen delas bara med den som skickade in);
  • tre uttalanden: det är en mätning och inte en simulering, den som skickar in får licensiera det för den här användningen, och filerna innehåller inga personuppgifter.

Skicka inte. Allt som är personligt eller har kontaktuppgifter (kontrollen avvisar en e-postadress eller ett telefonnummer i beskrivningen), allt som omfattas av exportkontroll eller är begränsat av avtal, och alla simulerade data som presenteras som uppmätta.

Hur ett bidrag kontrolleras#

  1. Format och metadata, av dig eller oss, innan något körs.

    kshana partner check <submission.toml>          # add --json for a machine-readable report

    Den bekräftar schemat, de obligatoriska fälten, hashen, reglerna för licens och tillskrivning, att målraderna finns och är MODELLED, att data går att läsa med motorns egen läsare, och den redovisar vad den läste (prov, intervall, spann, glapp) och varnar för poster som är korta. Slutstatus 0 betyder fullständig och läsbar; 1 listar vad som ska rättas. Den poängsätter inte data, validerar inte en rad och lovar inte att de kommer att användas.

  2. En förhandsregistrering, före varje poängsatt körning. För varje rad fastställer ett dokument i xval/<name>/, och checkas in innan data körs: raden, datafilens SHA-256, vilken del av data som hålls undan (inget som anpassas får se den), måttet och tröskeln. För klockkort är den befintliga mallen den undanhållna prediktion som används för IGS- och mottagarposterna: anpassa på den första tredjedelen av posten, förutsäg Allan-deviationen för resten, och kräv att kvoten förutsagd mot uppmätt ligger inom en angiven faktor vid varje anpassad medelvärdestid. En tröskel luckras aldrig upp efter en körning.

  3. En poängsatt körning. Resultatet, varje tal och varje miss inräknade, publiceras med kommandot och incheckningen, och ett test låser fast det. En miss är ett fynd, inte ett misslyckande att dölja: raden förblir MODELLED och sidan säger det.

  4. Beslutet om registret är ägarens, skriftligt, i den incheckning som ändrar raden. Texten för den oberoende referensen för en lyft rad namnger datamängden, dess licens och tillskrivning, vad som jämfördes och vad som inte jämfördes.

Tillskrivning och rättigheter#

  • Data förblir dina under den licens du anger. hash-only och private håller filen utanför arkivet.
  • Ett bidrag med public tillskrivs med den tillskrivningsrad du anger, i radens text för den oberoende referensen och i resultatfilen.
  • Ingenting publiceras under ditt namn utan ditt skriftliga samtycke; en organisation som anges som källa citeras som källa, aldrig som någon som stöder. Inget påstående om att en partner har gett sitt gillande eller stöd görs av eller om en partner.
  • Du kan dra tillbaka ett bidrag innan dess resultat publiceras. Efter det förblir resultatet som registrerat; om du drar tillbaka datalicensen tas filen bort från arkivet och hashen och poängen finns kvar.
  • Kshana sänder ingenting och styr ingen hårdvara. Ett bidrag är filer in, en rapport ut.

Kontakt#

En ensidig not till ett laboratorium är utkastad åt ägaren i docs/drafts/PARTNER-OUTREACH.md. Det är ett utkast: ingenting skickas, och ingen kontaktas, förrän ägaren bestämmer.