"Записки научных семинаров ПОМИ"
Том 485, стр. 78-89
Landau: язык для динамических систем с автоматическим дифференцированием
И. Долгаков, Д. Павлов
Institute of Applied Astronomy
of the Russian Academy of Sciences,
%Kutuzova Embankment 10,
191187 St. Petersburg, Russia
ia.dolgakov@iaaras.ru
- Аннотация:
Несмотря на наличие множества средств для автоматического дифференцирования,
ни одно из них не является практически применимым для моделирования
динамических систем.
``Landau'' -- это неполный по Тьюрингу, статически типизированный
проблемно-ориентированный язык,
созданный с целью заполнить этот пробел. Неполнота по Тьюрингу открывает
возможности для
продвинутого синтаксического анализа и, в конечном итоге, генерации
оптимизированного кода.
Синтаксис языка поддерживает объявление функций, циклы for с известными на
момент компиляции
пределами, конструкции ветвления if/else, переменные и массивы
действительных чисел, а также
возможность избирательно опускать вычисление пренебрежимо малых значений
производных. Несмотря на
ограничения, язык достаточно выразителен для удобного задания и
дифференцирования любого
выражения.
Библ. -- 12 назв.
- Ключевые слова: автоматическое дифференцирование, динамические системы,
компиляторы
[automatic differentiation, dynamical systems, compilers]
Полный текст(.pdf)