Быстрое автоматическое дифференцирование в задачах четырехмерного вариационного усвоения данныхтезисы доклада