moonlight-service-volume (вид сценария)

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

Что делает#

Modelled-анализ лунного навигационного объёма обслуживания по ILLUSTRATIVE орбитальной группировке класса Moonlight/LCNS на лунной орбите из публичных источников (не связана с ESA): перебирает селенографическую сетку широты и долготы на временном горизонте и сообщает DOP, охват и доступность (≥4 спутников И PDOP < порога), а также обобщённую огибающую уровней защиты лунного ARAIM (HPL/VPL) по объёму. Геометрия DOP ПОВТОРНО ИСПОЛЬЗУЕТ ядро, VALIDATED по gnss_lib_py (crate::orbit::dop); уровень защиты ПОВТОРНО ИСПОЛЬЗУЕТ механизм лунного ARAIM LunaNet LNIS (crate::lunar, σ_URE≈30 м) и в частном случае сводится к существующему уровню защиты для южного полюса. Композиция MODELLED: набор ретрансляторов на круговых или эллиптических кеплеровых орбитах (не реальные эфемериды LCNS/NRHO с дифференциальной коррекцией), Луна со средним вращением (без либрации и прецессирующего полюса). Детерминирован (чистая геометрия). Никакого TRL, лётного наследия или одобрения агентств.

Один прогон scenarios/moonlight-service-volume.toml сводится к следующему: moonlight-service-volume | 8 спутн. (иллюстративные, класса LCNS, без связи) | 24 точек × 12 эпох | охват 37,8 % (PDOP<6,0) | спутн. 4–7 | PDOP 2.19/13.74/180.30 | HPL 139–4177 м | доступность PL 0,0 % | MODELLED

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

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

• Обязательные поля: нет
• Необязательные поля: n_sats, sma_km, eccentricity, inc_deg, argp_deg, lat_min_deg, lat_max_deg, lat_step_deg, lon_min_deg, lon_max_deg, lon_step_deg, horizon_hours, step_min, elev_mask_deg, pdop_threshold, alert_limit_m, p_hmi, perturbed, sigma_ure_m, export_site_lat_deg, export_site_lon_deg, export_antenna, ephemeris_path, planetary_kernel_path, epoch_utc, terrain

Пример scenarios/moonlight-service-volume.toml задаёт, среди прочего:

Запустите#

kshana scenarios/moonlight-service-volume.toml

Что он даёт#

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

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

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

• MODELLED Вид и фаза lunar-surface: доступность ретрансляторов и PDOP, видимость Земли и Солнца и дисциплинируемые часы на поверхности для каждой площадки и сезона, с рельефным горизонтом из moonlight-service-volume; прогон для одной площадки равен результату этого вида

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

• MODELLED Детерминированные, хешируемые по сценарию, SBOM и кроссплатформенные эталонные проверки (golden). Оракул (ExternalDataset): соответствие SBOM официальной схеме JSON CycloneDX 1,5 (плюс допустимые идентификаторы SPDX) — внешний опубликованный стандарт, ноль ошибок валидации на всём графе зависимостей; часть о детерминизме FoM и побайтной воспроизводимости остаётся закреплённой проверкой внутренней согласованности, поэтому строка остаётся MODELLED
• VALIDATED DOP, охват и доступность лунной группировки класса Moonlight и обобщённые уровни защиты лунного ARAIM по объёму обслуживания. Оракул (ExternalDataset): независимый сторонний авторитетный источник — кеплеровский пропагатор ANISE 0.10.2 astro::Orbit (Nyx Space, MPL-2.0), путь кода двух тел в равноденственных элементах, отличный от метода Ньютона–Рафсона для уравнения Кеплера в kshana; положение MCI каждого спутника совпадает до <1e-3 м, а выведенное число и набор видимых спутников совпадают точно в каждой точке сетки. Ядро DOP проверено по gnss_lib_py; целостность использует опубликованные параметры LunaNet/LCNS
• VALIDATED Топоцентрические углы наблюдения по каждому спутнику (азимут по часовой стрелке от севера, возвышение) и наклонная дальность на именованной селенографической площадке при заданном спутнике в системе площадки. Оракул (ExternalDataset): ANISE 0.10.2 (Nyx Space, MPL-2.0, запускается как инструмент из xval/anise-service-geometry, двоичный файл lunar-look-angles-xval, не вызывающий кода Kshana): собственная процедура ANISE для азимута, возвышения и дальности (azimuth_elevation_range_sez) для площадок, построенных её конструктором по широте, долготе и высоте на Луне pck00011 (сфера 1737,4 км), со спутниками, повёрнутыми в MOON_PA_DE440 через moon_pa_de440_200625.bpc. 768 отсчётов о

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

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

• Композиция MODELLED: набор ретрансляторов на круговых или эллиптических кеплеровых орбитах (не реальные эфемериды LCNS/NRHO с дифференциальной коррекцией), Луна со средним вращением (без либрации и прецессирующего полюса). (каталог видов (kshana kinds --json))
• ЧЕСТНАЯ ОЦЕНКА: композиция MODELLED. Геометрия DOP проверена ПОВТОРНЫМ ИСПОЛЬЗОВАНИЕМ проверенного ядра; композиция охвата, доступности и целостности имеет уровень MODELLED — набор ретрансляторов на круговых или эллиптических кеплеровых орбитах (не эфемериды LCNS / NRHO 9:2 с дифференциальной коррекцией), Луна со средним вращением (без физической либрации и прецессирующего полюса) и опубликованные параметры целостности LunaNet LNIS. Это демонстрирует объём обслуживания лунной M (комментарий в файле сценария, строки 27–32)
• Воспроизводимость и гарантии качества ПО — MODELLED, а не validated: одно из частных утверждений проверено извне, но вся возможность составлена из смоделированных частей, поэтому возможность остаётся Modelled. (матрица верификации (docs/MODELLED-RATIONALE.md))

См. также#

• Страница семейства: Луна и цислунное пространство
• Все виды: KINDS.md
• Страница темы: LUNAR-REFERENCE-STATION.md
• Тематическая страница: MISSION-THREAD-LUNAR.md