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

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

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

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

Что делает#

Modelled-охват лунных опорных станций: перебор по методу Монте-Карло лунной модели дифференциального PNT по южно-полярной сетке пользователей и суткам эпох. Дифференциальная опорная станция в известной южно-полярной точке исправляет заданную орбитальную группировку (иллюстративную кеплерову или по табличным эфемеридам) с заданной ошибкой сигнала в пространстве, ошибкой привязки, задержкой поправок и квантованием линии; по каждой точке и по региону сообщаются процентили исправленной и неисправленной ошибки положения (3-D, горизонтальной, вертикальной), доступность, охват относительно заданного порога, уровни защиты DO-229E, радиус охвата по каждому азимуту и бюджет линии поправок на станции и в худшей точке. Не является утверждением о характеристиках какой-либо реальной системы; не связано с каким-либо агентством и не одобрено им. MODELLED.

Один прогон scenarios/lunar-station-coverage.toml сводится к следующему: lunar-station-coverage | 346 точек x 144 эпох x 200 испытаний | доступность 92,2 % | охват 76,5 % (p95 <= 20 м) | исправленная 3-D p95 15,592 м (неисправленная 1056,892 м) | HPL макс. 480,385 м | MODELLED; не является утверждением о какой-либо реальной системе

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

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

  • Обязательные поля: нет
  • Необязательные поля: n_sats, sma_km, eccentricity, inc_deg, argp_deg, ephemeris_path, mask_deg, station_lat_deg, station_lon_deg, station_height_m, survey_sigma_m, orbit_err_m, clock_err_m, sise_sigma_m, sise_orbit_variance_fraction, noise_m, latency_s, quantization_bits, grid_lat_max_deg, grid_lat_step_deg, points, t_start_s, t_span_s, t_step_s, n_trials, accuracy_threshold_m, percentile, alert_limit_m, residual_sigma_m, p_hmi, seed, terrain, orbit_err_growth_m_per_s, receiver, solution

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

Поле Значение Единица
accuracy_threshold_m 20 m
alert_limit_m 10 m
argp_deg 90 deg
clock_err_m 30 m
eccentricity 0.6 1
grid_lat_max_deg -80 deg
grid_lat_step_deg 1 deg
inc_deg 57.7 deg
kind lunar-station-coverage текст
latency_s 10 s
mask_deg 5 deg
n_sats 8 число

Запустите#

kshana scenarios/lunar-station-coverage.toml

3 входящих в поставку сценария используют этот вид; остальные находятся в scenarios/.

Что он даёт#

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

Результат Значение Единица
budget_at_station_and_at_edge.epoch_s 0 s
budget_at_station_and_at_edge.station.ageing_clock_class rafs текст
budget_at_station_and_at_edge.station.ageing_clock_time_error_s 3.1623e-11 s
budget_at_station_and_at_edge.station.ageing_orbit_rate_m_per_s 0.003083 m/s
budget_at_station_and_at_edge.station.latency_clock_position_sigma_m 0.030329 m
budget_at_station_and_at_edge.station.latency_clock_range_sigma_m 0.00948 m
budget_at_station_and_at_edge.station.latency_orbit_position_sigma_m 0.106357 m
budget_at_station_and_at_edge.station.latency_orbit_range_sigma_m 0.03083 m
budget_at_station_and_at_edge.station.latency_position_sigma_m 0.110597 m
budget_at_station_and_at_edge.station.latency_range_sigma_m 0.032254 m

Метка результата (движка): MODELLED

График, который движок строит для scenarios/lunar-station-coverage.toml, вид lunar-station-coverage

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

MODELLED: строки матрицы верификации, называющие этот вид.

  • MODELLED Перебор по методу Монте-Карло лунной модели дифференциального PNT по южно-полярной сетке пользователей и суткам эпох (вид lunar-station-coverage): для дифференциальной опорной станции в известной южно-полярной точке, по каждой точке и по региону, Tests: lunar_station_coverage_reference.rs.

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

  • MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
  • MODELLED Дифференциальная опорная станция класса NovaMoon: сокращение общих ошибок + остаток, растущий с базой + уровни защиты DGNSS. Оракул (InternalConsistency): тождество дифференциального сокращения ошибок + повторное использование аппарата PL SBAS DO-229E; решение по одиночным разностям + WLS дополнительно перекрёстно проверено по lsq()/matinv() из RTKLIB (Takasu, BSD-2-Clause, скомпилированный C) — независимый код решателя, но та же алгебра разности LOS первого порядка, так что по-прежнему InternalConsistency
  • MODELLED Три члена, которые дифференциальная поправка набирает между эпохой её вычисления и эпохой применения, каждый ранее оставленный как немоделируемый запас:. Оракул (InternalConsistency): замкнутые тождества и самосогласованность: дисперсия равномерного квантователя step²/12, точное распространение ковариации (GᵀG)⁻¹GᵀRG(GᵀG)⁻¹, сводящееся к σ·PDOP при равных σ, перенос члена съёмки 1:1 как следствие û_user ≈ û_ref и замыкание квадратурой при отключении. Перекрёстная проверка PDOP по orbit::dop разделяет нормальную матрицу [−û, 1], так что это проверка согласованности, и она названа таковой, а не независимой
  • MODELLED Перебор по методу Монте-Карло лунной модели дифференциального PNT по южно-полярной сетке пользователей и суткам эпох (вид lunar-station-coverage): для дифференциальной р. Оракул (InternalConsistency): арифметика пересчитана независимым скриптом на numpy по экспортированным случаям (scripts/gen_lunar_station_ref.py, numpy 2.5.4; предварительно зарегистрировано в tests/fixtures/lunar_station/PREREGISTRATION.md, зафиксировано отдельно в 9caedf97 до первого прогона): на 20 случаях при включённых всех членах ошибки видимые наборы и статус совпадают, необработанные ошибки дальности согласуются до 1.4e-14 м, векторы и модули ошибки положения — до 1.4e-9 м по сравнению с

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

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

  • MODELLED (результат label)
  • MODELLED. (каталог видов (kshana kinds --json))
  • ЧЕСТНАЯ ОЦЕНКА: MODELLED. При заявленных ниже допущениях модель даёт эти показатели. Не является утверждением о характеристиках какой-либо реальной системы; не связано с каким-либо агентством и не одобрено им; никаких заявлений о TRL или лётном наследии. Опущено: затенение рельефом и горизонтом на полюсе (первое ограничение), многолучевость, аппаратура приёмника. (комментарий в файле сценария, строки 15–18)
  • Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Лунный дифференциальный PNT относится к уровню MODELLED и не проверен независимо: он проверен по собственному замкнутому / аналитическому тождеству — это выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Лунный дифференциальный PNT — бюджет остатка канала поправок относится к уровню MODELLED, а не проверен по внешнему эталону: он проверен по собственному замкнутому / аналитическому тождеству — это выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))
  • Карта охвата и точности лунных опорных станций имеет уровень MODELLED, а не validated: проверена по собственному тождеству в замкнутой или аналитической форме — выявляет ошибки переписывания и коэффициентов, но не является внешним оракулом. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#