Машинный перевод, не проверенный носителем языка. Эталоном служит английская версия.

Страницы видов сценариевПравить на GitHubИсточник: docs/kinds/by-kind/lunar-infrastructure.md

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

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

Что делает#

MODELLED-исследования орбиты и поверхности Луны как навигационной и геодезической инфраструктуры: пять исследований в одном виде, выбираемых полем study: od-consistency (бортовое определение орбиты по Earth-GNSS на NRHO или ELFO в сравнении с независимым наземным радиометрическим определением орбиты, оценка по их собственным ковариациям на Монте-Карло с заданным начальным значением), carrier-phase (совместная двойная разность фазы несущей «поверхность — орбитальный аппарат» и разрешение целочисленных неоднозначностей методом LAMBDA), frame-coestimation (поверхностная станция и орбитальные аппараты, добавленные к дальнометрии земных станций для семипараметрического датума лунной системы отсчёта), space-tie (GNSS, VLBI и лазерная локация на одном космическом аппарате, точность привязки систем отсчёта в сравнении с ошибкой локальной привязки) и geodesy-sensitivity (информация Фишера о числах Лява Луны h2, k2, l2 и физической либрации по лазерной локации, слежению за орбитальными аппаратами, поверхностному гравиметру и поверхностным часам). Ограниченная модель трёх тел с заявленными упрощениями; численные методы проверены независимыми программами, и ничто не сравнивается с измерением лунной величины.

Один прогон scenarios/lunar-infrastructure-space-tie.toml сводится к следующему: lunar-infrastructure space-tie: 4 точки перебора на 1 дугах; сигма сдвига по x для лазера и GNSS 1,0363 м при зарегистрированной локальной привязке

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

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

  • Обязательные поля: study
  • Необязательные поля: seed, orbit, gnss, ground, monte_carlo, surface, llr, orbiter, gravimeter, clock, techniques, nominal

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

Поле Значение Единица
kind lunar-infrastructure текст
orbit.arc_days 6.56 d
orbit.family nrho текст
orbit.sample_s 900 s
orbit.vy0 -0.102 не указано
orbit.x0 1.022 не указано
orbit.z0 -0.18 не указано
seed 20261019 не указано
study space-tie текст
techniques.gnss_sigma_m 10 m
techniques.local_tie_sigma_m 0.001 m
techniques.slr_sigma_m 0.1 m

Запустите#

kshana scenarios/lunar-infrastructure-space-tie.toml

Этот вид используют 6 поставляемых сценариев; остальные находятся в scenarios/.

Что он даёт#

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

Результат Значение Единица
evidence.id_rule стабильный идентификатор строки матрицы (ID текст
evidence.matrix docs/VERIFICATION-MATRIX.md текст
evidence.tier MODELLED текст
local_tie_sigma_m 0.001 m
study space-tie текст
technique_sigma_m.gnss 10 m
technique_sigma_m.slr 0.1 m
technique_sigma_m.vlbi 1 m

Метка результата (движка): MODELLED — ограниченная модель трёх тел (Земля и Луна как точечные массы, без Солнца, без гармоник лунной гравитации) с заявленными упрощениями и ILLUSTRATIVE входными данными, помеченными их публичными источниками. Численные методы проверены независимыми программами; ничто не сравнивается с измерением лунной вели

без графика: пример не создаёт диаграмму

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

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

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

  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
  • MODELLED Определение орбиты на околопрямолинейной гало-орбите (или эллиптической замороженной орбите) по двум независимым типам данных: псевдодальности Earth-GNSS, принимаемые на борту . Оракул (ReferenceImpl): независимая программа на scipy/numpy интегрирует те же вариационные уравнения (порог O1). Ничто не сравнивается с измерением лунной орбиты. Оракул проверяет численные методы заявленных формул, а не физику, поэтому строка остаётся MODELLED. Ограниченная модель трёх тел: без Солнца, без лунных гармоник, ось вращения Земли вдоль нормали к орбите, ILLUSTRATIVE входные данные приёмника и станции.
  • MODELLED Межприёмниковые однократные разности фазы несущей и кода Earth-GNSS на лунной поверхностной станции и орбитальном аппарате, с профилированием разности часов по эпохам . Оракул (ReferenceImpl): независимое решение на numpy тех же нормальных уравнений по экспортированным строкам (Q3) и полный перебор целых чисел (Q4). Ни одно измерение фазы несущей GNSS или лунной не сравнивается с. MODELLED.
  • MODELLED Информация Фишера семипараметрического датума лунной системы отсчёта по лазерной дальнометрии земных станций до пяти рефлекторов отдельно и с дальнометрией «орбитальный аппарат — поверхностная станция». Оракул (ReferenceImpl): независимая конечная разность прямой модели на numpy (F2). Ничто не сравнивается с реальными решениями лунной системы отсчёта. Коэффициент зависит от предполагаемой известной орбиты и сигмы дальности 1 м. MODELLED.
  • MODELLED Точность по Крамеру–Рао межтехнологических смещений сдвига, масштаба и поворота между системами отсчёта GNSS, VLBI и лазерной локации, когда один космический аппарат несёт все . Оракул (ReferenceImpl): независимая стековая система на numpy, в которой неизвестные положения исключены явными дополнениями Шура (T3). Ни данные GRASP, Genesis, ни данные других миссий не сравниваются с. MODELLED.

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

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

  • MODELLED — ограниченная модель трёх тел (Земля и Луна как точечные массы, без Солнца, без гармоник лунной гравитации) с заявленными упрощениями и ILLUSTRATIVE входными данными, помеченными их публичными источниками. Численные методы проверены независимыми программами; ничто не сравнивается с измерением лунной величины, и ничто здесь не является утверждением о какой-либо миссии или системе. Не связано с каким-либо агентством и не одобрено им. Консультативный (результат label)
  • MODELLED-исследования орбиты и поверхности Луны как навигационной и геодезической инфраструктуры: пять исследований в одном виде, выбираемых полем study: od-consistency (бортовое определение орбиты по Earth-GNSS на NRHO или ELFO в сравнении с независимым наземным радиометрическим определением орбиты, оценка по их собственным ковариациям на Монте-Карло с заданным начальным значением), carrier-phase (совместная двойная разность фазы несущей «поверхность — орбитальный аппарат» и целочисленная неоднозначность (каталог видов (kshana kinds --json))
  • Сценарий Kshana lunar-infrastructure: space-tie. MODELLED; конструкция, входные данные и пороги зафиксированы в xval/lunar-infra/PREREGISTRATION.md (зафиксировано до любого прогона). ILLUSTRATIVE входные данные помечены там их публичными источниками. (комментарий в файле сценария, строки 1–3)
  • Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Определение лунной орбиты: Earth-GNSS против наземной радиометрии имеет уровень MODELLED, а не validated: проверено по отдельной реализации в этой же кодовой базе — независимой от проверяемого модуля, но не являющейся внешним авторитетным эталоном. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Разрешение неоднозначностей фазы несущей на Луне: поверхность и орбитальный аппарат имеет уровень MODELLED, а не validated: проверено по отдельной реализации в этой же кодовой базе — независимой от проверяемого модуля, но не являющейся внешним авторитетным эталоном. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Совместная оценка лунной системы отсчёта: поверхностные станции и орбитальные аппараты имеет уровень MODELLED, а не validated: проверено по отдельной реализации в этой же кодовой базе — независимой от проверяемого модуля, но не являющейся внешним авторитетным эталоном. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Точность привязки систем отсчёта в space-tie: совмещённые GNSS, VLBI и лазерная локация имеет уровень MODELLED, а не validated: проверено по отдельной реализации в этой же кодовой базе — независимой от проверяемого модуля, но не являющейся внешним авторитетным эталоном. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#