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

Тип сценарію рушія v0.40.0, родина Місячний і цисмісячний простір. Лише консультативно: результат аналізу від дослідницького та інженерного інструмента; це не навігаційне обладнання із затвердженням типу і не послуга забезпечення безпеки життя. Кожна позначка тут належить рушієві або матриці верифікації; тип вважається MODELLED, якщо матриця не каже іншого (як заробляється позначка: розділ Evidence у README).

Що він робить#

Модельований аналіз місячного навігаційного обсягу обслуговування за ILLUSTRATIVE орбітальним угрупованням місячної орбіти класу Moonlight/LCNS із відкритих джерел (без афіліації з ESA): перебирає селенографічну сітку широта/довгота на часовому горизонті та звітує про DOP / покриття / доступність (≥4 супутн. І PDOP < порога), а також узагальнену огинаючу місячного рівня захисту ARAIM (HPL/VPL) по всьому обсягу. Геометрія DOP ПОВТОРНО ВИКОРИСТОВУЄ ядро, VALIDATED за gnss_lib_py (crate::orbit::dop); рівень захисту ПОВТОРНО ВИКОРИСТОВУЄ механізм LunaNet LNIS місячного ARAIM (crate::lunar, σ_URE≈30 м) і зводиться до наявного PL південного полюса як окремого випадку. 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 + міжплатформні еталонні шлюзи. Оракул (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, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

• Сторінка родини: Місячний і цисмісячний простір
• Усі різновиди: KINDS.md
• Тематична сторінка: LUNAR-REFERENCE-STATION.md
• Тематична сторінка: MISSION-THREAD-LUNAR.md