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

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

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

Коваріація координат станцій місячного VLBI: часткові похідні затримки спостережуваної величини lunar-vlbi, накопичені за явним РОЗКЛАДОМ (бази x епохи) у матрицю інформації Фішера, обернені й подані як коваріація координат станцій та sigma станції для кожної координати — обчислений вихід рушія, а не скалярна точність затримки, пропущена через припущений ізотропний коефіцієнт рівнорозподілу g = 3. Стан містить ЗЕМНІ (ITRS) координати станцій, тож якобіан — це інерційна часткова похідна, повернута матрицею GCRS->ITRS кожної епохи: обертання Землі робить ці координати спостережуваними, і звіт ВИМІРЮЄ розгортку променя візування в земній системі та схилення маяка, а не припускає їх. Одне спостереження — це одна пара (база, епоха), у якій ОБИДВІ станції вище маски кута місця, з вагою 1/delay_sigma_s^2. Звітує про ранг, дефект датуму, число обумовленості, повний спектр інформації, матрицю коваріації, sigma для кожної станції за кожною віссю та 3-D, а також нульовий простір вільної мережі в кожному прогоні; за дефіциту рангу головна sigma публікується як NULL зі статусом і ніколи не зчитується з майже виродженої оберненої матриці. Значення рівнорозподілу cdelay_sigma_ssqrt(g/N) для ТОГО САМОГО розкладу виводиться поряд з обчисленим значенням із відношенням, разом з ізотропною межею за слідом sqrt(p/trace(M)), яку нерівність AM-HM робить жорсткою нижньою межею — тож відношення — це анізотропія, яку відкинуло припущення. Замикання затримки tau_ik = tau_ij + tau_jk робить геометрично незалежними лише n-1 з n(n-1)/2 баз; звіт наводить обидві кількості. MODELLED: ефемерида центра Місяця, годинники станцій, тропосфера та параметри орієнтації Землі ЗАФІКСОВАНІ, а спостереження вважаються незалежними, тож коваріація є межею Крамера–Рао для скороченого набору параметрів, а не передбаченим результатом сесії; sigma затримки, координати станцій і розклад — вхідні дані. Часткову похідну, яку якобіан геометричної затримки пропускає (диференційований складник Шапіро), вимірюють скінченною різницею й виводять. Не геодезичний продукт.

Один прогін scenarios/lunar-vlbi-fim.toml підсумовується так: lunar-vlbi-fim | 3 станції / 3 бази x 49 епох = 16 спост. (маска 10,0 град.) | датум anchor-first-station | ранг 6/6 cond 2.209e4 | sigma станції 0,0926 м проти рівнорозподілу g=3 0,0013 м (відношення 71,360)

Входи#

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

• Обов'язкові поля: немає
• Необов'язкові поля: stations, beacon_lat_deg, beacon_lon_deg, beacon_alt_m, epoch_year, epoch_month, epoch_day, arc_hours, step_min, delay_sigma_s, elevation_mask_deg, datum, estimate_beacon, rel_tol, equipartition_g, planetary_kernel_path

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

Запуск#

kshana scenarios/lunar-vlbi-fim.toml

Що це дає#

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

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

Докази#

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

• VALIDATED Часткові похідні затримки, накопичені за розкладом баз × епох у матрицю інформації Фішера, обернені до коваріації координат станцій і sigma станції для кожної координати, що замінює припущений ізотропний зв'язок рівнорозподілу з
• MODELLED Третій вибір датуму, all-stations-fixed, який утримує кожну земну станцію й оцінює лише координати МАЯКА в системі, пов'язаній з тілом Місяця, — конфігурація, для якої насправді наводять невизначеність точки на місячній поверхні, оскільки координати земних станцій
• VALIDATED Коваріація маяка lunar-vlbi-fim за всіх фіксованих станцій (кожна земна станція утримується, координати маяка в системі, пов'язаній з тілом Місяця, оцінюються окремо), де маяк розміщено на Місяці JPL DE440, який зчитує власний читач ядер рушія
• MODELLED Семипараметричний датум Гельмерта, поширений із СИМУЛЬОВАНОЇ КАМПАНІЇ СПОСТЕРЕЖЕНЬ замість відновлення з введеного перетворення.
• і ще 1 у матриці.

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

• MODELLED Детерміновані, хешовані за сценарієм, SBOM + міжплатформні еталонні шлюзи. Оракул (ExternalDataset): відповідність SBOM офіційній схемі JSON CycloneDX 1,5 (+ дійсні ідентифікатори SPDX) — зовнішній опублікований стандарт, нуль помилок валідації на всьому графі залежностей; частина щодо детермінованості FoM / побайтової відтворюваності залишається закріпленою перевіркою самоузгодженості, тому рядок залишається MODELLED
• VALIDATED Часткові похідні затримки, накопичені за розкладом баз × епох у матрицю інформації Фішера, обернені до коваріації координат станцій і sigma станції для кожної коор. Оракул (ExternalDataset): незалежний шлях у репозиторії. Кожен рядок якобіана виведено заново центральною скінченною різницею lunar_vlbi::vlbi_delay_s, обчисленої зі власних земних і пов'язаних з тілом Місяця координат стану, повернутих уперед ланцюжком систем відліку — шлях, який не обчислює жодної похідної й не має спільних виразів з аналітичними частковими похідними — а інформаційні матриці, які будують обидва шляхи, збігаються до < 1e-6 від найбільшого діагонального елемента. Те
• MODELLED Третій вибір датуму, all-stations-fixed, який утримує кожну земну станцію й оцінює лише координати МАЯКА в системі, пов'язаній з тілом Місяця, — конфігурація, для якої насп. Оракул (ReferenceImpl): замкнені тотожності, без заявленого чи наявного зовнішнього оракула. Плече важеля перевірено за ρ/B, а дві форми рівнорозподілу — одна за одною до 1e-15 — алгебраїчні тотожності, тож вони виявляють лише помилку з'єднання й нічого більше, і позначені як такі. Суттєвий результат MEASURED, а не стверджується: затримка від фіксованої бази обмежує НАПРЯМОК маяка, тож складник уздовж променя візування реа

Обмеження#

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

• MODELLED коваріація координат станцій місячного VLBI. Коваріація накопичується з власних аналітичних часткових похідних затримки рушія за явним розкладом баз і епох та обертається; вона НЕ перетворюється зі скалярної точності затримки припущеним геометричним коефіцієнтом. Sigma затримки для кожного спостереження, координати станцій, майданчик маяка та розклад — вхідні дані. Ефемерида центра Місяця, годинники станцій (результат label)
• Коваріація координат станцій місячного VLBI: часткові похідні затримки спостережуваної величини lunar-vlbi, накопичені за явним РОЗКЛАДОМ (бази x епохи) у матрицю інформації Фішера, обернені й подані як коваріація координат станцій та sigma станції для кожної координати — обчислений вихід рушія, а не скалярна точність затримки, пропущена через припущений ізотропний коефіцієнт рівнорозподілу g = 3. (каталог видів (kshana kinds --json))
• Стан містить ЗЕМНІ (ITRS) координати станцій, тож якобіан — це інерційна часткова похідна, повернута матрицею GCRS->ITRS кожної епохи: обертання Землі робить ці координати спостережуваними, і звіт ВИМІРЮЄ розгортку променя візування в земній системі та схилення маяка, а не припускає їх. (каталог видів (kshana kinds --json))
• Значення рівнорозподілу cdelay_sigma_ssqrt(g/N) для ТОГО САМОГО розкладу виводиться поряд з обчисленим значенням із відношенням, разом з ізотропною межею за слідом sqrt(p/trace(M)), яку нерівність AM-HM робить жорсткою нижньою межею — тож відношення — це анізотропія, яку відкинуло припущення. (каталог видів (kshana kinds --json))
• MODELLED: ефемерида центра Місяця, годинники станцій, тропосфера та параметри орієнтації Землі ЗАФІКСОВАНІ, а спостереження вважаються незалежними, тож коваріація є межею Крамера–Рао для скороченого набору параметрів, а не передбаченим результатом сесії; sigma затримки, координати станцій і розклад — вхідні дані. (каталог видів (kshana kinds --json))
• Опублікований ланцюжок D3 веде від точності затримки для кожного спостереження до невизначеності координат станції через припущений ІЗОТРОПНИЙ коефіцієнт рівнорозподілу g = 3. Цей крок у резюме самої статті названо модельованим, а не виміряним. Цей сценарій його усуває: часткові похідні затримки місячного VLBI накопичуються за реальним розкладом пар (база x епоха) у матрицю інформації Фішера, обертаються й подаються як (коментар у файлі сценарію, рядки 3–8)
• Стан містить ЗЕМНІ (ITRS) координати, тож якобіан — це інерційна часткова похідна, повернута матрицею GCRS->ITRS кожної епохи: обертання Землі взагалі робить ці координати спостережуваними, і звіт ВИМІРЮЄ розгортку променя візування в земній системі та схилення маяка, а не припускає їх. Одне спостереження — це одна пара (база, епоха), у якій ОБИДВІ станції вище маски кута місця, з вагою 1/delay (коментар у файлі сценарію, рядки 10–14)
• Що читати у звіті * sigma для кожної станції за кожною віссю та 3-D — обчислена відповідь; * значення рівнорозподілу cdelay_sigma_ssqrt(g/N) для ТОГО САМОГО розкладу, надруковане поряд із відношенням. Це відношення Є анізотропією, яку відкинуло припущення, а ізотропна межа за слідом sqrt(p/trace(M)) робить AM-HM жорсткою нижньою межею, тож припущення може лише занижувати; * ранг, дефект датуму, число обумовленості, повний сп (коментар у файлі сценарію, рядки 16–26)

Див. також#

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