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

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

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

Семипараметричний датум системи відліку Гельмерта (подібності), заданий СИМУЛЬОВАНОЮ КАМПАНІЄЮ СПОСТЕРЕЖЕНЬ, а не введеним перетворенням. Мережа земних станцій спостерігає каталог місячних наземних маяків за явним розкладом; часткові похідні затримки місячного VLBI накопичуються за цим розкладом у матрицю інформації Фішера координат маяків точно так, як це робить lunar-vlbi-fim; ця інформація поширюється через план Гельмерта A = [I3 | [p]_x | p] у точках каталогу на коваріацію датуму H = A^T M_b A, яку діагностує crate::fim::crlb. Жодного перетворення НЕ вводиться, і нічого не відновлюється із закладеної відповіді, тож зазначена точність датуму випливає з програми спостережень: удвічі менша sigma затримки точно вдвічі зменшує її, а подовження дуги покращує її, бо лібрація, яку звіт ВИМІРЮЄ (sub_earth_direction_sweep_deg), відокремлює координату маяка вздовж променя візування від координат у площині неба. Ранг, дефект датуму, число обумовленості, повний спектр, неспостережувані напрямки У СЕМИПАРАМЕТРИЧНОМУ БАЗИСІ, найслабший напрямок навіть за повного рангу та частка кожного параметра в ньому виводяться в кожному прогоні; параметр, який кампанія не обмежує, публікується як NULL зі статусом і ніколи не зчитується з майже виродженої оберненої матриці. Кореляцію похибок маяків ВИМІРЮЮТЬ, а не припускають: за нерухомих станцій жодне спостереження не стосується двох маяків, тож інформаційна матриця точно блочно-діагональна (offblock_fraction 0), а за оцінюваних станцій блок після маргіналізації за Шуром зв'язаний, наведена кореляція виводиться, і все поширення повторюється з її відкиданням, тож ціна припущення про незалежність — це число. Те саме поширення за ізотропної sigma для кожної координати та похибка відновлення, про яку звітує сценарій lunar-frame-realisation, обидва виконуються тут і виводяться поряд зі значенням кампанії з їхніми відношеннями. MODELLED: каталог маяків має джерело, але КАМПАНІЯ симульована — мережа станцій і sigma затримки є ілюстративними вхідними даними, окремі спостереження затримки вважаються незалежними, а ефемерида центра Місяця, годинники станцій, тропосфера й параметри орієнтації Землі ЗАФІКСОВАНІ, тож коваріація датуму є межею Крамера–Рао для скороченого набору параметрів. Не геодезичний продукт.

Один прогін scenarios/lunar-frame-campaign.toml підсумовується так: lunar-frame-campaign | 4 маяки x 3 бази x 49 епох = 64 спост. (sigma затримки 1.000e-11 с) | датум станцій фіксований | ранг Гельмерта 7/7 cond 3.798e5 | sigma трансляції датуму 6,397500 м проти похибки відновлення введеного перетворення 0,3125 м (відношення 0,049)

Входи#

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

• Обов'язкові поля: немає
• Необов'язкові поля: stations, beacons, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, earth_elevation_mask_deg, station_datum, rel_tol, assumed_coordinate_sigma_m, solver

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

Запуск#

kshana scenarios/lunar-frame-campaign.toml

Що це дає#

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

Підпис результату (рушія): MODELLED датум місячної системи відліку, керований кампанією. Семипараметрична коваріація Гельмерта поширюється з матриці інформації координат маяків, накопиченої з власних часткових похідних затримки місячного VLBI рушія за явним розкладом маяків, баз і епох; жодного перетворення подібності НЕ вводиться, і

Докази#

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

• MODELLED Семипараметричний датум Гельмерта, поширений із СИМУЛЬОВАНОЇ КАМПАНІЇ СПОСТЕРЕЖЕНЬ замість відновлення з введеного перетворення.
• VALIDATED Коваріація семипараметричного датуму Гельмерта, у якій два симульовані входи замінено виміряними: розклад — це епохи наземної передачі 337 архівних нормальних точок лазерної локації Місяця ILRS (з 2015-04-08 до 2015-06-27, Grasse MeO 7 Тести: lunar_llr_real_data.rs.
• MODELLED Необов'язкові входи extra_reflectors і extra_beacons у сценарії lunar-llr-datum додають блок station_geodesy: п'ятимасивну інформацію Гельмерта з архівного зрізу лазерної локації Місяця плюс інформацію, яку додає доданий ретрорефлектор (ran Тести: lunar_station_geodesy.rs.
• VALIDATED Коваріація семипараметричного датуму Гельмерта сценарію lunar-frame-campaign з оцінюваними земними станціями (станція 1 закріплена), як її обчислює lunar_frame_campaign у binary64: спільна інформація Фішера станцій і маяків, накопичена Тести: lunar_frame_campaign_mpmath_oracle.rs.
• і ще 1 у матриці.

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

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• VALIDATED Підгонка 7-параметричного датуму Гельмерта + прив'язка орієнтації ICRF з мережі точок. Оракул (ExternalDataset): незалежний замкнений зважений розв'язувач перетворення подібності Умеяма (Хорна) (на основі SVD у numpy/scipy; Umeyama 1991 IEEE TPAMI, Horn 1987 JOSA A) — інший алгоритм, ніж ітеративна підгонка Гаусса–Ньютона в kshana, що досягає того самого однозначно визначеного оптимуму зважених найменших квадратів на ідентичних за байтами мережах точок
• MODELLED Семипараметричний датум Гельмерта, поширений із СИМУЛЬОВАНОЇ КАМПАНІЇ СПОСТЕРЕЖЕНЬ замість відновлення з введеного перетворення. Земні станції спостерігають джерел. Оракул (ReferenceImpl): замкнені тотожності та незалежний внутрішній шлях у репозиторії, без заявленого зовнішнього оракула. План Гельмерта — єдина нова похідна в модулі — виведено заново центральною скінченною різницею від lunar_frame_realise::apply_helmert, шляхом, який не має спільних виразів з аналітичною формою. Накопичення, яке він складає, — це накопичення lunar-vlbi-fim, чий якобіан скінченно-різницево перевіряється за lunar_vlbi::vlbi_delay_s там, і хто

Обмеження#

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

• MODELLED датум місячної системи відліку, керований кампанією. Семипараметрична коваріація Гельмерта поширюється з матриці інформації координат маяків, накопиченої з власних часткових похідних затримки місячного VLBI рушія за явним розкладом маяків, баз і епох; жодного перетворення подібності НЕ вводиться, і нічого не відновлюється із закладеної відповіді. Каталог маяків — це іменована таблиця майданчиків крейта з джерелами, але КАМПА (результат label)
• Кореляцію похибок маяків вимірюють, а не припускають: за нерухомих станцій жодне спостереження не стосується двох маяків, тож інформаційна матриця точно блочно-діагональна (offblock_fraction 0), а за оцінюваних станцій блок після маргіналізації за Шуром зв'язаний, наведена кореляція виводиться, і все поширення повторюється з її відкиданням, тож ціна припущення про незалежність — це число. (каталог видів (kshana kinds --json))
• MODELLED: каталог маяків має джерело, але КАМПАНІЯ симульована — мережа станцій і sigma затримки є ілюстративними вхідними даними, окремі спостереження затримки вважаються незалежними, а ефемерида центра Місяця, годинники станцій, тропосфера й параметри орієнтації Землі ЗАФІКСОВАНІ, тож коваріація датуму є межею Крамера–Рао для скороченого набору параметрів. (каталог видів (kshana kinds --json))
• Кореляцію похибок маяків MEASURED, а не припускають. За нерухомих станцій жодне спостереження не стосується двох маяків, тож інформаційна матриця точно блочно-діагональна (offblock_fraction 0); за оцінюваних станцій блок після маргіналізації за Шуром зв'язаний, наведена кореляція виводиться, і все поширення повторюється з її відкиданням, тож ціна припущення про незалежність — це число, а не c (коментар у файлі сценарію, рядки 17–21)
• MODELLED: каталог маяків має джерело, але КАМПАНІЯ симульована — мережа станцій і sigma затримки є ілюстративними вхідними даними, окремі спостереження затримки вважаються незалежними, а ефемерида центра Місяця, годинники станцій, тропосфера й параметри орієнтації Землі ЗАФІКСОВАНІ. Не геодезичний продукт. (коментар у файлі сценарію, рядки 27–30)
• Відтворюваність і гарантування якості програмного забезпечення — MODELLED, а не перевірено за зовнішнім еталоном: підтвердження частини вимоги перевірено зовні, але вся можливість складається з обчислених за моделлю частин, тому можливість залишається обчисленою за моделлю. (матриця верифікації (docs/MODELLED-RATIONALE.md))
• Місячний датум системи відліку за кампанією спостережень є MODELLED, а не перевіреним за незалежним зовнішнім еталоном: перевірено за окремою реалізацією в цій самій кодовій базі — незалежною від досліджуваного модуля, але не зовнішньо авторитетною. (матриця верифікації (docs/MODELLED-RATIONALE.md))

Див. також#

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