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

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

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

Модельована місячна геодезична спостережувана величина затримки VLBI: земна база (дві наземні станції, GCRS) спостерігає односторонній сигнал від маяка класу NovaMoon на місячній поверхні. Виводить близькопольову затримку як різницю двох відстаней, її швидкість і поправку на кривину хвильового фронту ближнього поля за проліт — перехресно перевірену за плоскохвильовою спостережуваною величиною Δ-DOR з тієї самої кодової бази в межі дальнього поля, з часткових похідних, перевірених скінченною різницею. Типовий аналітичний шлях є MODELLED і має застереження щодо узгодженості систем відліку, руху полюса xp=yp=0 та плоскої хвилі проти ближнього поля. Задання planetary_kernel_path, earth_orientation_kernel_path і moon_orientation_kernel_path запускає натомість шлях ядер (DE440, MOON_PA_DE440, ITRF93; збіжні баріцентричні часи проходження світла; додає часткові похідні маяка та станції для епохи), чия ньютонівська затримка та часткові похідні збігаються зі збіжними часами проходження світла NAIF SPICE до 0,06 пс і 7.4e-9. Не перевірено за реальними даними VLBI.

Один прогін scenarios/lunar-vlbi.toml підсумовується так: lunar-vlbi | база 10727 км | відстань до маяка 402900 км | затримка -10049.126 мкс (швидкість 1.312e-6 с/с) | ближнє поле 58,9 мкс | 13 відліків за 6,0 год

Входи#

Зі схеми (kshana kinds --json):

• Обов'язкові поля: немає
• Необов'язкові поля: station1_lat_deg, station1_lon_deg, station1_alt_m, station2_lat_deg, station2_lon_deg, station2_alt_m, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, horizon_hours, step_min, planetary_kernel_path, earth_orientation_kernel_path, moon_orientation_kernel_path

Приклад scenarios/lunar-vlbi.toml задає, зокрема:

Запуск#

kshana scenarios/lunar-vlbi.toml

Що це дає#

Скалярні результати цього прогону з одиницями, які вказує рушій:

Докази#

MODELLED 3 · VALIDATED 3: рядки матриці верифікації, що називають цей вид.

• MODELLED Близькопольова затримка VLBI для земної бази, що спостерігає місячний маяк + часткові похідні
• VALIDATED Близькопольова затримка VLBI для земної бази, що спостерігає місячний маяк, із частковими похідними маяка та станції, на шляху ядер (lunar_vlbi::KernelGeometry): Земля й Місяць за DE440, головні осі Місяця за DE440, орієнтація Землі за ITRF93 з UT1 і Тести: naif_kernel_reader_check.rs.
• VALIDATED Часткові похідні затримки, накопичені за розкладом баз × епох у матрицю інформації Фішера, обернені до коваріації координат станцій і sigma станції для кожної координати, що замінює припущений ізотропний зв'язок рівнорозподілу з
• MODELLED Третій вибір датуму, all-stations-fixed, який утримує кожну земну станцію й оцінює лише координати МАЯКА в системі, пов'язаній з тілом Місяця, — конфігурація, для якої насправді наводять невизначеність точки на місячній поверхні, оскільки координати земних станцій
• і ще 2 у матриці.

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

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• MODELLED Близькопольова затримка VLBI для земної бази, що спостерігає місячний маяк + часткові похідні. Оракул (ReferenceImpl): плоскохвильовий delta_dor (з тієї самої кодової бази) у межі дальнього поля; часткові похідні скінченними різницями. 0,30 зовнішнього порівняння, висновок (лишається MODELLED): порівняно зі збіжними часами проходження світла ANISE 0,10 через DE440 (75 затримок на 2024-01-01 за трьома базами DSN, згенерованих xval/anise-lunar-od без коду Kshana), жодна затримка не вкладається в допуск 1 пс. Найбільший розрив — 24 мкс, від аналітичного центра Місяця (приблизно 200 км від DE

Обмеження#

Що, за власним звітом прогону, не обчислено за моделлю або не перевірено за зовнішнім еталоном:

• Типовий аналітичний шлях є MODELLED і має застереження щодо узгодженості систем відліку, руху полюса xp=yp=0 та плоскої хвилі проти ближнього поля. (каталог видів (kshana kinds --json))
• Чесність: MODELLED, НЕ перевірено за реальними даними VLBI. Рух полюса відкинуто (xp = yp = 0), тож інерційні положення станцій містять похибку системи відліку в кілька метрів; маяк поєднує ряд середнього екватора дати для Місяця зі зсувом у зв'язаній з тілом системі ICRF (jd_tdb ~ jd_tt) — невідповідність узгодженості систем відліку нижче точності моделі; без ітерації часу проходження світла, середовищ чи аберації, окрім диференційованого складника Шапіро. Без TRL, льотної спадщини чи схвалення агенцій (коментар у файлі сценарію, рядки 17–21)
• Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
• Місячний геодезичний VLBI є MODELLED, а не перевіреним за незалежним зовнішнім еталоном: перевірено за окремою реалізацією в цій самій кодовій базі — незалежною від досліджуваного модуля, але не зовнішньо авторитетною. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

• Сторінка родини: Місячний і цисмісячний простір
• Усі різновиди: KINDS.md