Kumppanidata: mikä mitattu data voisi nostaa tasoa riville, jonka taso on MODELLED

Kshana merkitsee jokaisen ominaisuuden koneellisesti tarkistettuun kirjanpitoon (ledger) (varmennusmatriisi). Useimmat ajoitus- ja anturirivit ovat MODELLED: ne perustuvat ilmoitettuihin malleihin, julkaistuihin datalehtiin ja sisäisiin tarkistuksiin, eikä laiteluokasta ole verrattu niihin yhtään mitattua tallennetta. Tällaisen tallenteen haltija voi muuttaa tämän. Tällä sivulla kerrotaan, mitkä rivit, mitä lähettää, miten lähetys tarkistetaan, miten se pisteytetään ja miten se hyvitetään. Sivu on kirjoitettu laboratoriolle, valmistajalle tai yliopistoryhmälle; se ei ole työtarjous eikä väitä kenenkään tukevan sitä. Vain ohjeellinen: Kshana on tutkimusväline, ei tyyppihyväksytty navigointi- tai ajoituslaite.

Mitä merkinnät tarkoittavat#

Nimike	Merkitys
VALIDATED	riippumaton ulkoinen oraakkeli on samaa mieltä ominaisuuden kanssa kynnyksellä, joka on kiinnitetty ennen vertailua. Kumppanin mitattu tallenne voi olla tuo oraakkeli sille alaväitteelle, jonka se kattaa; matriisin invariantit kieltävät merkinnän ilman sellaista
MODELLED	sisäisesti johdonmukainen ja sanottu ääneen; mikään ulkoinen oraakkeli ei kata väitettä. Rivi, jonka taso on MODELLED ja jota verrataan mitattuun dataan ja joka ei täytä kynnystä, pysyy tasolla MODELLED, ja alitus julkaistaan
PARTNER	osa-alue, johon ajo nojaa ja jonka omistaa laitteistokumppani eikä Kshana tarjoa, esimerkiksi luvut, jotka kuvaavat kumppanin omaa kelloa tai interferometriä. Kshana mallintaa, mitä tällainen laite tekisi navigointi- tai ajoitusketjulle; se ei takaa laitetta

Lähetys voi nostaa rivin tasolle VALIDATED vain sille väitteelle, jota data todella testaa, ja vain jos vertailu täyttää kynnyksensä. Se ei voi tehdä laitteen omista luvuista sellaisia, joista Kshana vastaisi: ne pysyvät kumppanin (PARTNER). Rivin merkinnän muuttuminen on omistajan päätös, kirjattu sen muuttavaan committiin, ja oraakkelitekstissä sanotaan tarkasti, mitä verrattiin mihin.

Rivit, joita kumppanin data voisi nostaa#

Jokainen alla oleva rivi on matriisin sellaisen rivin, jonka taso on MODELLED, tarkka requirement-teksti (testi pitää tämän sivun ja matriisin synkassa). ”Voisi muuttaa” kertoo, mitä ennalta rekisteröity vertailu mitattuun dataan tukisi, jos kynnys täyttyy; se ei ole koskaan lupaus.

Rivi	Data, joka testaisi sen	Voisi muuttaa
`GNSS-denied clock holdover`	usean päivän tallenne nimetyn luokan kellosta, joka käy vapaasti viimeisen ulkoisella viitteellä ohjaamisen jälkeen, verrattuna parempaan viitteeseen, näytteenottovälillä enintään minuutti	luokkakohtaiset punaisen kohinan lattiat, jotka rajaavat holdover-lukuja, pysyvät tällä hetkellä tasolla MODELLED; mitattua pitkän keskiarvoistusajan vakautta voisi verrata kyseisen luokan lattiaan, vain sille luokalle
`Quantum-vs-classical PNT trade & GNSS-denied resilience (13503)`	kumppanin kellon tai atomi-interferometrin mitattu Allanin poikkeama, taulukkona tai vaihetallenteena	kompromissivertailun luvut kvantifioivat (eivät koskaan validoi) kumppanin laitetta, joten ne merkittäisiin kumppanin luvuiksi (PARTNER); mitatun Allan-datan sisäänotto kohinamalliin on jo täsmäytetty riippumattomaan ratkaisijaan
`Oscillator holdover presets from public datasheets`	vaihetallenne jonkin neljän esiasetetun mallin oskillaattorista, vähintään vuorokauden ajalta	toistaako esiasetuksen datalehdestä johdettu kohinamalli mitatun yksilön vakauden datalehden omilla keskiarvoistusajoilla
`Measured clock device cards (held-out prediction)`	vaihetallenne kellosta, jonka luokalle ei vielä ole korttia (OCXO, rubidium, cesium, maseri, optinen kello)	ensimmäiselle kolmannekselle sovitettu kortti, joka ennustaa lopun Allanin poikkeaman ennalta rekisteröidyn kertoimen sisällä, kuten jo on tehty GNSS-satelliittikelloille ja yhdelle vastaanottimelle
`Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series`	loki todellisesta asennuksesta (mikä tahansa daemon-versio) ja daemonin omat yhteenvetorivit	lukijat on rakennettu julkisista rivirakenteista ja testiaineistoista; todellinen loki verrattuna riippumattomaan lukijaan olisi ensimmäinen ulkoinen tarkistus
`Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series`	todellinen laskurin tai analyysiohjelmiston vienti	sama näille muodoille
`Holdover test scored from an operator-supplied time-error record`	todellinen holdover-testi: tallenne, hetket, jolloin käyttäjä poisti ja palautti viitteen, sekä laboratorion omat MTIE-, TDEV- ja maskitulokset sen analyysiohjelmistosta	riippumaton laskenta samoista suureista, jota verrataan moottorin laskentaan
`IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters`	loki paikallaan olevasta inertiayksiköstä, jonka kohinaparametrit joku muu on julkaissut tai mitannut	sovite palauttaa riippumattomat parametrit ilmoitetun kertoimen sisällä
`Quantum inertial dead-reckoning resilience`	staattinen loki tai kumppanin kylmäatomi-inertia-anturin kohinaparametrit	laitteen luvut ovat kumppanin (PARTNER); ne yhdistävä paikkavirhebudjetti pysyy Kshana-järjestelmän omana mallina

Aloita kahdella ensimmäisellä: ne ratkaisevat, nojaavatko luokkakohtaiset holdover-lattiat ja kvantti–klassinen-kompromissivertailu mihinkään omaan mitattuun dataan.

Mitä lähettää#

Lähetys on kaksi tiedostoa yhdessä kansiossa: data ja sen pieni kuvaus, TOML-tiedosto (kshana.partner-submission/1; toimiva, keksitty esimerkki on examples/partner-submission/submission.toml).

Kellodata. Jokin muodoista, jotka Kshana lukee (ks. kellologimuodot): TAPR TICC -lokit, TimeLab-tyyppinen ASCII-vaihe tai -taajuus, RINEX-kello, linuxptp-lokit ptp4l, phc2sys ja ts2phc, chronyn seuranta- ja tilastolokit. Vaihe on parempi kuin taajuus; ilmoita yksiköt ja näytteenottoväli. Anna pisin keskeytymätön tallenne, joka sinulla on: vakaus pitkillä keskiarvoistusajoilla vaatii päiviä, ja alle vuorokauden tallenne otetaan vastaan mutta siitä varoitetaan.

Inertiadata. Nimetyillä sarakkeilla varustettu CSV (t_s, gx, gy, gz, ax, ay, az, rad/s ja m/s^2) tai EuRoC-asettelu, paikallaan olevasta laitteesta, riittävän pitkä sovitteelle (vähintään 2000 näytettä; tunnit on parempi).

Kuvaus kertoo seuraavat, ja tarkistin varmentaa ne, missä voi:

organisaation tyyppi (tyyppi kuten ”kansallinen ajoituslaboratorio”, ei nimi; nimi on valinnainen ja vain hyvitystä varten);
laite (laji, luokka ja malli luokalle other);
miten data otettiin: mihin sitä verrattiin, aloitusaika (UTC), ympäristö ja onko se raakaa vai käsiteltyä (ja mitä sille tehtiin);
datatiedoston SHA-256, jotta pisteytetty tiedosto on kuvattu tiedosto;
rivit, joiden taso on MODELLED ja joita vasten data tarjotaan, yllä olevan tarkan vaatimustekstin mukaan;
lisenssi (SPDX-tunniste tai sanoin) ja miten dataa saa käyttää arkistossa: public (tallennetaan attribuutiolla), hash-only (vain sen tiiviste ja pisteet julkaistaan) tai private (pisteet jaetaan vain lähettäjälle);
kolme lausuntoa: se on mittaus eikä simulaatio, lähettäjä saa lisensoida sen tähän käyttöön, ja tiedostot eivät sisällä henkilötietoja.

Ei lähetettäväksi. Mitään henkilökohtaista tai yhteystietoja sisältävää (tarkistin hylkää kuvauksessa olevan sähköpostiosoitteen tai puhelinnumeron), mitään vientivalvonnan alaista tai sopimuksella rajoitettua, eikä simuloitua dataa, joka esitetään mitattuna.

Miten lähetys tarkistetaan#

Muoto ja metatiedot, sinun tai meidän toimestamme, ennen kuin mitään ajetaan.
```
kshana partner check <submission.toml>          # add --json for a machine-readable report
```
Tarkistus vahvistaa skeeman, pakolliset kentät, tiivisteen, lisenssi- ja attribuutiosäännöt, että kohderivit ovat olemassa ja niiden taso on MODELLED, ja että data luetaan moottorin omalla lukijalla; se raportoi, mitä luki (näytteet, väli, kesto, aukot), ja varoittaa lyhyistä tallenteista. Poistumistila 0 tarkoittaa täydellistä ja luettavaa; 1 luettelee korjattavat. Se ei pisteytä dataa, validoi riviä eikä lupaa, että dataa käytetään.
Ennakkorekisteröinti ennen mitään pisteytettyä ajoa. Jokaiselle riville asiakirja hakemistossa xval/<name>/ kiinnittää seuraavat, ja se kirjataan committiin ennen datan ajoa: rivi, datatiedoston SHA-256, mikä osa datasta pidetään erillään (pidätetty, holdout; mikään sovitettu ei saa nähdä sitä), mittari ja kynnys. Kellokorteille nykyinen malli on IGS- ja vastaanotintallenteille käytetty pidätetty ennuste: sovita tallenteen ensimmäiseen kolmannekseen, ennusta lopun Allanin poikkeama ja vaadi ennustetun ja mitatun suhteen olevan ilmoitetun kertoimen sisällä jokaisella sovitetulla keskiarvoistusajalla. Kynnystä ei koskaan löysennetä ajon jälkeen.
Yksi pisteytetty ajo. Tulos, jokainen luku ja jokainen alitus mukaan lukien, julkaistaan komennon ja commitin kera, ja testi lukitsee sen. Alitus on havainto, ei piilotettava epäonnistuminen: rivi pysyy tasolla MODELLED ja sivu kertoo sen.
Kirjanpitopäätös (ledger) on omistajan, kirjallisesti, riviä muuttavassa commitissa. Ylennetyn rivin oraakkeliteksti nimeää aineiston, sen lisenssin ja hyvityksen, mitä verrattiin ja mitä ei.

Hyvitys ja oikeudet#

Data pysyy sinun ilmoittamasi lisenssin mukaisesti. hash-only ja private pitävät tiedoston arkiston ulkopuolella.
Lähetys, jonka käyttötapa on public, hyvitetään antamasi attribuutiorivin mukaan rivin oraakkelitekstissä ja tulostiedostossa.
Mitään ei julkaista nimelläsi ilman kirjallista suostumustasi; lähteeksi nimetty organisaatio mainitaan lähteenä, ei koskaan kannattajana. Kumppanin puolesta tai kumppanista ei esitetä väitettä hyväksynnästä eikä kannatuksesta.
Voit peruuttaa lähetyksen ennen kuin sen tulos julkaistaan. Sen jälkeen tulos pysyy kirjattuna; jos peruutat datan lisenssin, tiedosto poistetaan arkistosta ja tiiviste sekä pisteet jäävät.
Kshana ei lähetä mitään eikä ohjaa laitteistoa. Lähetys on tiedostoja sisään, raportti ulos.

Yhteydenotto#

Yhden sivun muistio laboratoriolle on laadittu omistajalle tiedostoon docs/drafts/PARTNER-OUTREACH.md. Se on luonnos: mitään ei lähetetä eikä kehenkään oteta yhteyttä ennen kuin omistaja päättää.