Data od partnerů: jaká naměřená data by mohla povýšit řádek MODELLED

Kshana označuje každou schopnost ve strojově kontrolovaném registru (verifikační matice). Většina řádků o časování a senzorech je MODELLED: opírají se o uvedené modely, zveřejněné datasheety a vnitřní kontroly a žádný naměřený záznam zařízení dané třídy s nimi nebyl porovnán. Držitel takového záznamu to může změnit. Tato stránka říká, kterých řádků se to týká, co poslat, jak se podání kontroluje, jak se hodnotí a jak se připisuje. Je psána pro laboratoř, výrobce nebo univerzitní skupinu; není nabídkou práce a netvrdí žádné schválení od nikoho. Pouze poradní charakter: Kshana je studijní nástroj, nikoli typově schválené navigační ani časovací zařízení.

Co štítky znamenají#

Podání může povýšit řádek na VALIDATED jen pro tvrzení, které data skutečně testují, a jen pokud porovnání splní svůj práh. Nemůže z čísel zařízení udělat čísla, za něž Kshana ručí: ta zůstávají partnerova (PARTNER). Zda se štítek řádku změní, je rozhodnutí vlastníka, zaznamenané v commitu, který jej mění, s textem orákula, který přesně říká, co bylo s čím porovnáno.

Řádky, které by data partnera mohla povýšit#

Každý řádek níže je přesný text requirement řádku MODELLED v matici (test udržuje tuto stránku a matici v souladu). „Mohlo by změnit“ říká, co by předregistrované porovnání s naměřenými daty podpořilo, pokud je práh splněn; nikdy to není příslib.

Začněte prvními dvěma: rozhodují o tom, zda prahy holdoveru pro jednotlivé třídy a srovnání kvantového a klasického řešení stojí na nějakých vlastních naměřených datech.

Co poslat#

Podání tvoří dva soubory v jedné složce: data a jejich stručný popis, soubor TOML (kshana.partner-submission/1; vymyšlený příklad je examples/partner-submission/submission.toml).

Data hodin. Jeden z formátů, které Kshana čte (viz formáty logů hodin): logy TAPR TICC, ASCII fáze nebo frekvence ve stylu TimeLab, RINEX clock, logy linuxptp ptp4l, phc2sys a ts2phc, logy sledování a statistik chrony. Fáze je výhodnější než frekvence; uveďte jednotky a interval vzorků. Dodejte nejdelší nepřerušený záznam, jaký máte: stabilita při dlouhých časech průměrování vyžaduje dny a záznam kratší než den se přijme, ale s varováním.

Inerciální data. CSV s pojmenovanými sloupci (t_s, gx, gy, gz, ax, ay, az, rad/s a m/s^2) nebo rozložení EuRoC, z nehybného zařízení, dostatečně dlouhé pro fit (alespoň 2000 vzorků; hodiny jsou lepší).

Popis uvádí následující a kontrola to ověřuje, kde může:

• typ organizace (typ, například „národní časová laboratoř“, nikoli název; název je volitelný a slouží jen k připsání);
• zařízení (druh, třída a model pro třídu other);
• jak byla data pořízena: s čím byla porovnávána, čas zahájení (UTC), prostředí a zda jsou surová, nebo zpracovaná (a co se s nimi udělalo);
• SHA-256 datového souboru, aby hodnocený soubor byl souborem popsaným;
• řádky MODELLED, pro které je podání nabízeno, přesným textem požadavku uvedeným výše;
• licence (identifikátor SPDX nebo slovy) a jak lze data v repozitáři používat: public (zapsáno s uvedením autora), hash-only (zveřejní se jen jeho hash a skóre) nebo private (skóre se sdílí pouze s podatelem);
• tři prohlášení: jde o měření, nikoli o simulaci, podatel může data pro toto použití licencovat a soubory neobsahují žádné osobní údaje.

Neposílat. Cokoli osobního nebo s kontaktními údaji (kontrola odmítne e-mailovou adresu nebo telefonní číslo v popisu), cokoli podléhajícího kontrole vývozu nebo omezenému dohodou a jakákoli simulovaná data vydávaná za naměřená.

Jak se podání kontroluje#

1. Formát a metadata, vámi nebo námi, než se cokoli spustí.

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

   Potvrzuje schéma, povinná pole, hash, pravidla licence a uvedení autora, že cílové řádky existují a jsou MODELLED, že se data dají přečíst čtečkou samotného enginu, a hlásí, co přečetla (vzorky, interval, rozsah, mezery) a varuje před záznamy, které jsou krátké. Stavový kód 0 znamená úplné a čitelné; 1 vypíše, co opravit. Data nehodnotí, žádný řádek neověřuje a neslibuje, že budou použita.

2. Předregistrace před jakýmkoli hodnoceným během. Pro každý řádek dokument v xval/<name>/ stanoví a ještě před během dat se zapíše: řádek, SHA-256 datového souboru, která část dat je zadržena (nic nafitovaného ji nesmí vidět), metriku a práh. Pro karty hodin je stávající šablonou zadržená předpověď použitá pro záznamy IGS a přijímačů: fit na první třetině záznamu, předpověď Allanovy odchylky zbytku a požadavek, aby poměr předpovězené k naměřené hodnotě ležel v uvedeném faktoru při každém nafitovaném čase průměrování. Práh se po běhu nikdy nezmírňuje.

3. Jeden hodnocený běh. Výsledek, každé číslo i každé nesplnění, se zveřejní s příkazem a commitem a pinuje jej test. Nesplnění je zjištění, nikoli selhání, které by se skrývalo: řádek zůstává MODELLED a stránka to říká.

4. Rozhodnutí o registru je věcí vlastníka, písemně, v commitu, který řádek mění. Text orákula povýšeného řádku uvádí soubor dat, jeho licenci a uvedení autora, co bylo porovnáno a co ne.

Uvedení autora a práva#

• Data zůstávají vaše podle licence, kterou uvedete. hash-only a private drží soubor mimo repozitář.
• Podání public se připisuje řádkem uvedení autora, který zadáte, v textu orákula řádku a ve výsledném souboru.
• Nic se nezveřejní pod vaším jménem bez vašeho písemného souhlasu; organizace uvedená jako zdroj se cituje jako zdroj, nikdy jako ta, která by za něco ručila. Partner ani o něm nikdo netvrdí žádné schválení ani podporu.
• Podání můžete před zveřejněním výsledku stáhnout. Poté výsledek zůstává, jak byl zaznamenán; pokud odvoláte licenci k datům, soubor se z repozitáře odstraní a hash i skóre zůstanou.
• Kshana nic nevysílá a neovládá žádný hardware. Podání jsou soubory na vstupu, zpráva na výstupu.

Oslovení#

Jednostránková zpráva pro laboratoř je pro vlastníka připravena jako koncept v docs/drafts/PARTNER-OUTREACH.md. Je to koncept: nic se neodesílá a nikdo není kontaktován, dokud se vlastník nerozhodne.