Итоги года

... и заодно всех восьми лет работы в ИПА РАН.

• Исследованы перспективы размещения радиотелескопа на Луне. Кратко: такой инструмент, работая в совокупности с земными радиотелескопами, позволит многократно уточнить точность привязки лунной системы координат к земной и точность карты внегалактических радиоисточников; а также открыть новые явления в динамике лунной коры и строении активных ядер галактик. Статья (препринт).
• Показано, что лазерная локация Луны при нынешней точности и частоте наблюдений (благодаря инфракрасному лазеру) может быть применена не только для анализа динамики Луны и системы «Земля-Луна», но и — впервые с 1980-х годов — для уточнения суточных параметров вращения Земли, что актуально для реализации связи между земной и небесной системами отсчёта. Статья (препринт).
• Показано, что радиоинтерферометрические наблюдения внегалактических радиоисточников, расположенных близко к Солнцу на небесной сфере, чувствительны не просто к электронной плотности плазмы в солнечной короне, но и к асимметрии этой плотности, что открывает возможности для использования радиоинтерферометрии со сверхдлинными базами (РСДБ) для сравнения различных моделей строения солнечной короны. Статья (препринт). Презентация.
• Разработан метод численного интегрирования систем дифференциальных уравнений с запаздывающим аргументом (включая отрицательное запаздывание, т. е. опережение). Такие уравнения встречаются в описании движения небесных тел, подверженных приливам, в частности системы «Земля-Луна». Метод является расширением классического многошагового метода численного интегрирования с предиктором и корректором. Статья (препринт). Презентация. Исходный код.
• Придуман предметно-ориентированный язык программирования (DSL) под названием Landau для описания динамических систем. Особенность Landau и его компилятора — в поддержке автоматической генерации кода для вычисления производных вычисляемых величин по произвольным параметрам, в т. ч. при интегрировании этих производных вместе с самими уравнениями, описывающими динамическую систему. Создан транслятор (на Racket), преобразующий код на Landau в код на Racket или C. Статья. Презентация. Исходный код.