Данные партнёров: какие измеренные данные могли бы повысить строку MODELLED

Kshana помечает каждую возможность в машинно проверяемом реестре (матрица верификации). Большинство строк о времени и датчиках — 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, рубидиевые, цезиевые, мазер, оптические часы)	карточка, подогнанная по первой трети и предсказывающая девиацию Аллана остальной части в пределах заранее зарегистрированного множителя, как это уже сделано для часов спутников ГНСС и одного приёмника
`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, и страница говорит об этом.
Решение по реестру принимает владелец, письменно, в коммите, который меняет строку. Текст оракула повышенной строки называет набор данных, его лицензию и указание авторства, что с чем сравнивалось и что нет.

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

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

Обращение к партнёрам#

Одностраничная записка для лаборатории подготовлена для владельца в docs/drafts/PARTNER-OUTREACH.md. Это черновик: ничего не отправляется и ни с кем не связываются, пока владелец не примет решение.