Dane partnera: co mogłyby awansować zmierzone dane w wierszu MODELLED

Kshana oznacza każdą możliwość etykietą w sprawdzanym maszynowo rejestrze (macierz weryfikacji). Większość wierszy czasu i czujników jest MODELLED: opiera się na podanych modelach, opublikowanych kartach katalogowych i kontrolach wewnętrznych, a żaden zmierzony zapis tej klasy urządzeń nie został z nimi porównany. Posiadacz takiego zapisu może to zmienić. Ta strona mówi, które to wiersze, co przesłać, jak zgłoszenie jest sprawdzane, jak jest oceniane i jak jest zaliczane. Jest napisana dla laboratorium, producenta lub grupy uniwersyteckiej; nie jest ofertą pracy i nie twierdzi poparcia ze strony nikogo. Wyłącznie doradczo: Kshana jest narzędziem badawczym, nie jest to sprzęt nawigacyjny ani czasowy z zatwierdzeniem typu.

Co oznaczają etykiety#

Etykieta	Znaczenie
VALIDATED	niezależna wyrocznia zewnętrzna zgadza się z możliwością przy progu ustalonym przed porównaniem. Zmierzony zapis od partnera może być tą wyrocznią dla podtwierdzenia, które obejmuje; niezmienniki macierzy zabraniają etykiety bez niej
MODELLED	wewnętrznie spójne i powiedziane wprost; żadna wyrocznia zewnętrzna nie obejmuje twierdzenia. Wiersz MODELLED porównany ze zmierzonymi danymi, który nie osiąga progu, pozostaje MODELLED, a niespełnienie jest publikowane
PARTNER	dyscyplina, na której opiera się przebieg, a za którą odpowiada partner sprzętowy i której Kshana nie zapewnia, na przykład wartości opisujące własny zegar lub interferometr partnera. Kshana modeluje, co takie urządzenie zrobiłoby z łańcuchem nawigacji lub czasu; nie ręczy za urządzenie

Zgłoszenie może przenieść wiersz do VALIDATED tylko dla twierdzenia, które dane faktycznie testują, i tylko jeśli porównanie osiąga swój próg. Nie może sprawić, by własne wartości urządzenia były wartościami, za które ręczy Kshana: pozostają one wartościami partnera (PARTNER). To, czy etykieta wiersza się zmienia, jest decyzją właściciela, zapisaną w zatwierdzeniu, które ją zmienia, z tekstem wyroczni mówiącym dokładnie, co z czym porównano.

Wiersze, które mogłyby awansować dzięki danym partnera#

Każdy wiersz poniżej to dokładny tekst requirement wiersza MODELLED macierzy (test utrzymuje tę stronę i macierz w zgodzie). „Mogłoby zmienić” mówi, co poparłoby porównanie zarejestrowane wstępnie ze zmierzonymi danymi, jeśli próg zostanie osiągnięty; nigdy nie jest to obietnica.

Wiersz	Dane, które by to przetestowały	Mogłoby zmienić
`GNSS-denied clock holdover`	zapis dni pracy zegara nazwanej klasy, swobodnie biegnącego po ostatnim dyscyplinowaniu, porównany z lepszym wzorcem, z odstępem próbek minuty lub mniejszym	podłogi szumu czerwonego dla klas, które ograniczają wartości holdover, pozostają dziś MODELLED; zmierzoną stabilność przy długich czasach uśredniania można by porównać z podłogą tej klasy, tylko dla tej klasy
`Quantum-vs-classical PNT trade & GNSS-denied resilience (13503)`	zmierzone odchylenie Allana, jako tabela lub zapis fazy, zegara albo interferometru atomowego partnera	wartości kompromisu określają ilościowo (nigdy nie walidują) urządzenie partnera, więc byłyby oznaczone jako wartości partnera (PARTNER); wczytanie zmierzonych danych Allana do modelu szumu jest już dopasowane do niezależnego solvera
`Oscillator holdover presets from public datasheets`	zapis fazy oscylatora jednego z czterech modeli predefiniowanych, co najmniej przez dobę	czy model szumu predefiniowanego oscylatora, wyprowadzony z karty katalogowej, odtwarza stabilność zmierzonego egzemplarza przy czasach uśredniania z tej karty
`Measured clock device cards (held-out prediction)`	zapis fazy zegara klasy, która nie ma jeszcze karty (OCXO, rubid, cez, maser, zegar optyczny)	karta dopasowana na pierwszej trzeciej części i przewidująca odchylenie Allana reszty w granicach współczynnika zarejestrowanego wstępnie, jak to już zrobiono dla zegarów satelitów GNSS i jednego odbiornika
`Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series`	dziennik z rzeczywistej instalacji (dowolna wersja demona) z własnymi wierszami podsumowania demona	czytniki zbudowano na podstawie publicznych układów wierszy i zestawów danych; rzeczywisty dziennik porównany z niezależnym czytnikiem byłby pierwszym zewnętrznym sprawdzeniem
`Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series`	eksport z rzeczywistego licznika lub oprogramowania analitycznego	to samo, dla tych formatów
`Holdover test scored from an operator-supplied time-error record`	rzeczywisty test holdover: zapis, czasy, w których operator odłączył i przywrócił wzorzec, oraz własne werdykty MTIE, TDEV i maski laboratorium z jego oprogramowania analitycznego	niezależne obliczenie tych samych wielkości do porównania z obliczeniami silnika
`IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters`	nieruchomy dziennik jednostki inercjalnej, której parametry szumu są opublikowane lub zmierzone przez kogoś innego	dopasowanie odzyskane w granicach podanego współczynnika od niezależnych parametrów
`Quantum inertial dead-reckoning resilience`	statyczny dziennik lub parametry szumu zimnoatomowego czujnika inercjalnego partnera	wartości urządzenia są wartościami partnera (PARTNER); budżet błędu pozycji, który je składa, pozostaje modelem Kshana

Zacznij od pierwszych dwóch: rozstrzygają, czy podłogi holdover dla klas i kompromis kwantowy a klasyczny opierają się na jakichkolwiek własnych zmierzonych danych.

Co przesłać#

Zgłoszenie to dwa pliki w jednym folderze: dane i krótki ich opis, plik TOML (kshana.partner-submission/1; przykład roboczy, wymyślony, to examples/partner-submission/submission.toml).

Dane zegara. Jeden z formatów odczytywanych przez Kshana (zob. formaty dzienników zegara): dzienniki TAPR TICC, faza lub częstotliwość ASCII w stylu TimeLab, RINEX clock, dzienniki linuxptp ptp4l, phc2sys i ts2phc, dzienniki chrony tracking i statistics. Faza jest preferowana wobec częstotliwości; podaj jednostki i odstęp próbek. Podaj najdłuższy nieprzerwany zapis, jaki masz: stabilność przy długich czasach uśredniania wymaga dni, a zapis krótszy niż doba jest przyjmowany, ale z ostrzeżeniem.

Dane inercjalne. CSV z nazwanymi kolumnami (t_s, gx, gy, gz, ax, ay, az, rad/s i m/s^2) lub układ EuRoC, z nieruchomego urządzenia, dostatecznie długie do dopasowania (co najmniej 2000 próbek; godziny są lepsze).

Opis podaje następujące rzeczy, a sprawdzanie weryfikuje je, gdzie może:

typ organizacji (typ, taki jak „krajowe laboratorium czasu”, a nie nazwa; nazwa jest opcjonalna i tylko do uznania zasług);
urządzenie (rodzaj, klasa oraz model dla klasy other);
jak zebrano dane: z czym je porównano, czas początku (UTC), środowisko oraz czy są surowe, czy przetworzone (i co z nimi zrobiono);
SHA-256 pliku danych, aby oceniany plik był plikiem opisanym;
wiersze MODELLED, dla których jest oferowane, według dokładnego tekstu wymagania powyżej;
licencja (identyfikator SPDX lub słowa) i sposób, w jaki dane mogą być używane w repozytorium: public (zatwierdzone, z atrybucją), hash-only (publikowany jest tylko ich skrót i oceny) lub private (ocena jest udostępniana wyłącznie zgłaszającemu);
trzy oświadczenia: to jest pomiar, a nie symulacja, zgłaszający może licencjonować to do tego użycia, a pliki nie zawierają danych osobowych.

Czego nie przesyłać. Niczego osobistego ani z danymi kontaktowymi (sprawdzanie odrzuca adres e-mail lub numer telefonu w opisie), niczego objętego kontrolą eksportu lub ograniczonego umową ani żadnych danych symulowanych przedstawionych jako zmierzone.

Jak zgłoszenie jest sprawdzane#

Format i metadane, przez Ciebie lub nas, zanim cokolwiek zostanie uruchomione.
```
kshana partner check <submission.toml>          # add --json for a machine-readable report
```
Potwierdza schemat, wymagane pola, skrót, zasady licencji i atrybucji, że docelowe wiersze istnieją i są MODELLED, że dane odczytują się własnym czytnikiem silnika, i podaje, co odczytano (próbki, odstęp, zakres, przerwy), oraz ostrzega o zapisach krótkich. Kod wyjścia 0 oznacza kompletne i czytelne; 1 wymienia, co poprawić. Nie ocenia danych, nie waliduje wiersza ani nie obiecuje, że zostaną użyte.
Rejestracja wstępna, przed jakimkolwiek ocenianym przebiegiem. Dla każdego wiersza dokument w xval/<name>/ ustala i jest zatwierdzany przed uruchomieniem danych: wiersz, SHA-256 pliku danych, którą część danych zapieczętowano (nic dopasowywanego nie może jej widzieć), metrykę i próg. Dla kart zegarów istniejącym szablonem jest predykcja na zapieczętowanej części użyta dla zapisów IGS i odbiornika: dopasowanie na pierwszej trzeciej części zapisu, przewidzenie odchylenia Allana reszty i wymaganie stosunku przewidzianego do zmierzonego w granicach podanego współczynnika przy każdym dopasowanym czasie uśredniania. Próg nigdy nie jest luzowany po przebiegu.
Jeden oceniany przebieg. Wynik, z każdą liczbą i każdym niespełnieniem, jest publikowany z poleceniem i zatwierdzeniem, a test go przypina. Niespełnienie jest ustaleniem, a nie porażką do ukrycia: wiersz pozostaje MODELLED, a strona o tym mówi.
Decyzja o rejestrze należy do właściciela, na piśmie, w zatwierdzeniu, które zmienia wiersz. Tekst wyroczni awansowanego wiersza nazywa zbiór danych, jego licencję i uznanie zasług, co porównano, a czego nie.

Uznanie zasług i prawa#

Dane pozostają Twoje na licencji, którą podasz. hash-only i private trzymają plik poza repozytorium.
Zgłoszenie public jest uznawane przez podany przez Ciebie wiersz atrybucji, w tekście wyroczni wiersza i w pliku wyników.
Nic nie jest publikowane pod Twoim nazwiskiem bez Twojej pisemnej zgody; organizacja wymieniona jako źródło jest cytowana jako źródło, nigdy jako poparcie. Żadne twierdzenie o zatwierdzeniu ani poparciu nie jest składane przez partnera ani o nim.
Możesz wycofać zgłoszenie przed opublikowaniem jego wyniku. Potem wynik pozostaje taki, jak zapisano; jeśli wycofasz licencję na dane, plik jest usuwany z repozytorium, a skrót i oceny pozostają.
Kshana niczego nie nadaje i nie steruje żadnym sprzętem. Zgłoszenie to pliki na wejściu, raport na wyjściu.

Kontakt z partnerami#

Jednostronicowa notatka dla laboratorium jest przygotowana dla właściciela w docs/drafts/PARTNER-OUTREACH.md. To szkic: nic nie jest wysyłane i nikt nie jest kontaktowany, dopóki właściciel nie zdecyduje.