Дані партнерів: які виміряні дані могли б підвищити рядок MODELLED

Kshana позначає кожну можливість у машинно перевірюваному реєстрі (ledger) (матриця верифікації). Більшість рядків щодо синхронізації часу та датчиків має позначку MODELLED: вони спираються на заявлені моделі, опубліковані специфікації й внутрішні перевірки, а жоден виміряний запис пристрою цього класу з ними не порівнювали. Власник такого запису може це змінити. Ця сторінка пояснює, які рядки, що надсилати, як перевіряють подання, як його оцінюють і як зараховують внесок. Вона написана для лабораторії, виробника або університетської групи; це не пропозиція роботи, і вона не стверджує, що хтось її схвалює. Лише консультативно: Kshana — це інструмент дослідження, а не навігаційне чи часове обладнання із затвердженням типу.

Що означають позначки#

Позначка	Значення
VALIDATED	незалежний зовнішній оракул погоджується з можливістю за порогом, визначеним до порівняння. Виміряний запис партнера може бути таким оракулом для твердження, яке він охоплює; інваріанти матриці забороняють цю позначку без нього
MODELLED	внутрішньо узгоджено, і про це сказано прямо; зовнішнього оракула для твердження немає. Рядок MODELLED, який порівняли з виміряними даними і який не досяг порогу, залишається MODELLED, а промах публікується
PARTNER	складова, на яку спирається прогін, якою володіє апаратний партнер і яку Kshana не забезпечує, наприклад показники, що описують власний годинник або інтерферометр партнера. Kshana моделює, що такий пристрій зробив би з навігаційним чи часовим ланцюгом; за сам пристрій вона не ручається

Подання може підвищити рядок до VALIDATED лише для твердження, яке дані справді перевіряють, і лише якщо порівняння досягає свого порогу. Воно не може зробити власні показники пристрою такими, за які ручається Kshana: вони залишаються партнерськими (PARTNER). Чи зміниться позначка рядка, вирішує власник; це фіксується в коміті, який її змінює, а текст оракула точно вказує, що з чим порівнювали.

Рядки, які могли б підвищити дані партнера#

Кожен рядок нижче — це точний текст requirement рядка MODELLED матриці (тест синхронізує цю сторінку з матрицею). «Могло б змінити» вказує, що підтримало б попередньо зареєстроване порівняння з виміряними даними, якщо поріг досягнуто; це ніколи не обіцянка.

Рядок	Дані, які це перевірили б	Могло б змінити
`GNSS-denied clock holdover`	запис тривалістю в кілька діб годинника названого класу, що вільно працює після останнього підстроювання, порівняний із кращим еталоном, з інтервалом відліків не більше хвилини	нижні межі червоного шуму для кожного класу, що обмежують показники holdover, сьогодні залишаються MODELLED; виміряну стабільність за довгих часів усереднення можна було б порівняти з нижньою межею цього класу, лише для цього класу
`Quantum-vs-classical PNT trade & GNSS-denied resilience (13503)`	виміряна девіація Аллана, як таблиця або як запис фази, годинника чи атомного інтерферометра партнера	показники компромісу кількісно оцінюють (але ніколи не підтверджують) пристрій партнера, тож їх позначали б як показники партнера (PARTNER); уведення виміряних даних Аллана в шумову модель уже зіставлено з незалежним розв'язувачем
`Oscillator holdover presets from public datasheets`	запис фази генератора однієї з чотирьох попередньо заданих моделей, щонайменше за добу	чи відтворює шумова модель попередньо заданого пристрою, виведена зі специфікації, стабільність виміряного екземпляра за власними часами усереднення зі специфікації
`Measured clock device cards (held-out prediction)`	запис фази годинника класу, для якого ще немає картки (OCXO, рубідієвий, цезієвий, мазер, оптичний годинник)	картка, підігнана за першою третиною запису, що прогнозує девіацію Аллана решти в межах попередньо зареєстрованого коефіцієнта, як це вже зроблено для годинників супутників GNSS і одного приймача
`Clock-log formats linuxptp (ptp4l, phc2sys, ts2phc) and chrony (tracking, statistics) read to a normalised phase series`	журнал із реальної установки (будь-якої версії демона) з підсумковими рядками самого демона	зчитувачі створено за публічними розкладками рядків і тестовими даними; реальний журнал, порівняний із незалежним зчитувачем, став би першою зовнішньою перевіркою
`Clock-log formats (RINEX clock, TimeLab ASCII, TAPR TICC) read to a normalised phase series`	експорт із реального лічильника або програми аналізу	те саме, для цих форматів
`Holdover test scored from an operator-supplied time-error record`	реальне випробування holdover: запис, моменти, коли оператор вилучав і відновлював еталон, і власні вердикти лабораторії щодо MTIE, TDEV та маски з її програми аналізу	незалежне обчислення тих самих величин для порівняння з величинами рушія
`IMU log ingest, gyro heading input and Allan fit of hybrid sensor parameters`	стаціонарний журнал інерційного блока, шумові параметри якого опубліковані або виміряні кимось іншим	підгонка відновлює незалежні параметри в межах заявленого коефіцієнта
`Quantum inertial dead-reckoning resilience`	статичний журнал або шумові параметри холодноатомного інерційного датчика партнера	показники пристрою належать партнеру (PARTNER); бюджет похибки положення, що їх складає, залишається моделлю Kshana

Почніть із перших двох: вони вирішують, чи спираються нижні межі holdover для кожного класу та порівняння квантового й класичного підходів на будь-які власні виміряні дані.

Що надсилати#

Подання — це два файли в одній теці: дані та їхній короткий опис у файлі TOML (kshana.partner-submission/1; робочий вигаданий приклад — examples/partner-submission/submission.toml).

Дані годинника. Один із форматів, які читає Kshana (див. формати журналів годинника): журнали TAPR TICC, ASCII-фаза або частота у стилі TimeLab, годинник RINEX, журнали linuxptp ptp4l, phc2sys і ts2phc, журнали відстеження й статистики chrony. Фаза краща за частоту; вкажіть одиниці та інтервал відліків. Надайте найдовший безперервний запис, який маєте: стабільність за довгих часів усереднення потребує діб, а запис коротший за добу приймається, але з попередженням.

Інерційні дані. CSV з іменованими стовпцями (t_s, gx, gy, gz, ax, ay, az, рад/с і м/с^2) або розкладка EuRoC зі стаціонарного пристрою, достатньо довгий для підгонки (щонайменше 2000 відліків; години краще).

В описі зазначено таке, а засіб перевірки підтверджує, що може:

тип організації (тип на кшталт «національна лабораторія часу й частоти», а не назва; назва необов'язкова і потрібна лише для зарахування внеску);
пристрій (вид, клас і модель для класу other);
як зібрано дані: з чим їх порівнювали, час початку (UTC), середовище та чи вони необроблені, чи оброблені (і що з ними зроблено);
SHA-256 файла даних, щоб оцінений файл був саме тим, що описано;
рядки MODELLED, для яких їх пропонують, за точним текстом вимоги вище;
ліцензія (ідентифікатор SPDX або словесний опис) і як дані можна використовувати в репозиторії: public (зберігаються з зазначенням авторства), hash-only (публікуються лише хеш і оцінки) або private (оцінка повідомляється лише тому, хто подав);
три твердження: це вимірювання, а не симуляція, особа, що подає, може ліцензувати дані для цього використання, а файли не містять персональних даних.

Чого не надсилати. Будь-що персональне або з контактними даними (засіб перевірки відхиляє адресу електронної пошти чи номер телефону в описі), будь-що під експортним контролем або обмежене угодою, а також будь-які симульовані дані, видані за виміряні.

Як перевіряють подання#

Формат і метадані — вами або нами, до запуску чого б то не було.
```
kshana partner check <submission.toml>          # add --json for a machine-readable report
```
Перевірка підтверджує схему, обов'язкові поля, хеш, правила щодо ліцензії та авторства, що цільові рядки існують і мають статус MODELLED, що дані читаються власним зчитувачем рушія, і повідомляє, що було прочитано (відліки, інтервал, тривалість, прогалини), та попереджає про короткі записи. Код завершення 0 означає «повне й придатне до читання»; 1 перелічує, що слід виправити. Вона не оцінює дані, не підвищує рядок і не обіцяє, що дані буде використано.
Попередня реєстрація до будь-якого оцінюваного прогону. Для кожного рядка документ у xval/<name>/ фіксує, і це комітиться до запуску на даних: рядок, SHA-256 файла даних, яку частину даних відкладено (її не має бачити нічого, що підганяється), метрику та поріг. Для карток годинників наявний шаблон — відкладений прогноз, використаний для записів IGS і приймача: підгонка за першою третиною запису, прогноз девіації Аллана решти та вимога, щоб відношення прогнозованого до виміряного було в межах заявленого коефіцієнта за кожного підігнаного часу усереднення. Поріг ніколи не послаблюється після прогону.
Один оцінюваний прогін. Результат, з усіма числами та всіма промахами, публікується разом із командою та комітом, а тест його закріплює. Промах — це висновок, а не збій, який слід приховувати: рядок залишається MODELLED, і сторінка про це каже.
Рішення щодо реєстру (ledger) ухвалює власник, письмово, у коміті, що змінює рядок. Текст оракула підвищеного рядка називає набір даних, його ліцензію та авторство, що з чим порівнювали і що не порівнювали.

Авторство та права#

Дані залишаються вашими за ліцензією, яку ви вкажете. hash-only і private не допускають файл до репозиторію.
Подання public зараховується за рядком авторства, який ви вкажете, у тексті оракула рядка та у файлі результату.
Нічого не публікується під вашим іменем без вашої письмової згоди; організацію, названу як джерело, цитують як джерело, але ніколи як тих, хто схвалює. Партнер не заявляє про схвалення чи підтримку, і про партнера такого не заявляється.
Подання можна відкликати до публікації його результату. Після цього результат залишається таким, як записано; якщо ви відкличете ліцензію на дані, файл буде вилучено з репозиторію, а хеш і оцінки залишаться.
Kshana нічого не передає і не керує жодним обладнанням. Подання — це файли на вході, звіт на виході.

Зв'язки з лабораторіями#

Одну сторінку-записку для лабораторії підготовлено для власника в docs/drafts/PARTNER-OUTREACH.md. Це чернетка: нічого не надсилається, і ні з ким не зв'язуються, доки власник не вирішить.