lunar-frame-realisation (вид сценария)

Вид сценария движка v0.40.0, семейство Луна и цислунное пространство. Носит консультативный характер: результат анализа исследовательского и инженерного инструмента; это не навигационное оборудование с утверждённым типом и не служба обеспечения безопасности жизни. Каждая метка здесь принадлежит движку или матрице верификации; вид имеет уровень MODELLED, если матрица не указывает иное (как заслуживается метка: раздел README «Evidence»).

Что делает#

Modelled-реализация лунной системы отсчёта: подгонка 7-параметрического датума Гельмерта (преобразования подобия) — 3 сдвига, 3 малых угла поворота, 1 масштаб — привязывающая методом взвешенных наименьших квадратов (crate::batch_ls::gauss_newton) оценённый набор координат точек MCMF, выведенных из селенографических, к датуму, плюс простая привязка ориентации, выражающая реализованный малый поворот вокруг осей ICRF относительно ориентации тела по IAU 2015 WGCCRE. Сценарий вводит известное малое преобразование (сдвиг порядка десятков м, поворот порядка мкрад, масштаб порядка 1e-7) в хорошо распределённую синтетическую сеть точек, добавляет гауссов шум с заданным начальным значением, восстанавливает датум и сообщает восстановленное преобразование, ошибку восстановления по каждому параметру относительно введённой истины и остаточную СКО после подгонки. MODELLED, самосогласованность — восстанавливает введённое преобразование подобия (без шума с точностью до машинной), НЕ является реализацией по реальным данным слежения или VLBI; детерминирован (с заданным начальным значением); никакого TRL, лётного наследия или одобрения агентств.

Один прогон scenarios/lunar-frame-realisation.toml сводится к следующему: lunar-frame-realisation | 8 точек | ошибка сдвига 3.125e-1 м, ошибка поворота 3.418e-7 рад, ошибка масштаба -5.891e2 ppb | остаточная СКО 0,887 м | converged false

Входные параметры#

Из схемы (kshana kinds --json):

• Обязательные поля: нет
• Необязательные поля: n_points, tx_m, ty_m, tz_m, rot_x_urad, rot_y_urad, rot_z_urad, scale_ppb, noise_sigma_m, seed, epoch_year, epoch_month, epoch_day

Пример scenarios/lunar-frame-realisation.toml задаёт, среди прочего:

Запустите#

kshana scenarios/lunar-frame-realisation.toml

Что он даёт#

Скалярные результаты этого прогона с единицами, которые указывает движок:

Доказательства#

Ни одна строка матрицы не называет этот вид по имени; метка его результата принадлежит самому движку и приведена выше.

Строки, которые задействовал сам прогон, с оракулом, который указывает им матрица (публичные источники названы там):

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• VALIDATED Подгонка 7-параметрического датума Гельмерта и привязка ориентации к ICRF по сети точек. Оракул (ExternalDataset): независимый решатель преобразования подобия Умеямы (Хорна) в замкнутой форме с весами (на основе SVD в numpy/scipy; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — алгоритм, отличный от итеративной подгонки Гаусса–Ньютона в kshana, который приходит к тому же однозначно определённому оптимуму взвешенного метода наименьших квадратов на побайтово идентичных сетях точек

Ограничения#

Что отчёт самого прогона называет не смоделированным или не проверенным:

• MODELLED, самосогласованность — восстанавливает введённое преобразование подобия (без шума с точностью до машинной), НЕ является реализацией по реальным данным слежения или VLBI; детерминирован (с заданным начальным значением); никакого TRL, лётного наследия или одобрения агентств. (каталог видов (kshana kinds --json))
• Честная оценка: MODELLED, самосогласованность. Оракул — это восстановление введённого 7-параметрического преобразования подобия (без шума с точностью до машинной) плюс алгебраическое тождество круговой проверки apply_helmert. Это НЕ реализация лунной системы отсчёта по реальным данным слежения или VLBI, и никакой абсолютной точности системы отсчёта не заявляется. Детерминирован (с заданным начальным значением). Никакого TRL, лётного наследия или одобрения агентств не заявляется. (комментарий в файле сценария, строки 23–27)
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

• Страница семейства: Луна и цислунное пространство
• Все виды: KINDS.md