Машинний переклад, не перевірений носієм мови. Еталоном є англійська версія.

Сторінки видів сценаріївРедагувати на GitHubДжерело: docs/kinds/by-kind/lunar-station-coverage.md

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

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

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

Модельоване покриття місячної опорної станції: перебір Монте-Карло місячної диференційної моделі 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 м) | виправлена p95 3-D 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 text
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 text
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): для диференційної опорної станції в відомому південнополярному місці, для кожної точки та по всьому регіону, Тести: lunar_station_coverage_reference.rs.

Рядки, які задіяв сам прогін, з оракулом, що його дає матриця кожному (публічні джерела названі там):

  • MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (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) — незалежний код розв'язувача, але та сама алгебра різниці променів візування першого порядку, тож усе ще 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, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Місячний диференційний PNT є MODELLED, а не перевіреним за незалежним зовнішнім еталоном: перевірено за власною замкненою / аналітичною тотожністю — вона виявляє помилки переписування та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Місячний диференційний PNT — бюджет залишків лінії поправок є MODELLED, а не перевіреним за незалежним зовнішнім еталоном: перевірено за власною замкненою / аналітичною тотожністю — вона виявляє помилки переписування та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))
  • Карта покриття та точності місячної опорної станції є MODELLED, а не перевіреною за незалежним зовнішнім еталоном: перевірено за власною замкненою / аналітичною тотожністю — вона виявляє помилки переписування та коефіцієнтів, але не є зовнішнім оракулом. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#