Шаблонное мета-программирование в современном C++ для задач космической баллистики (Леонид Меркин)

Описание: 24 мая в Санкт-Петербурге состоялся первый System Level Meetup от компании YADRO. В рамках мероприятия спикер Леонид Меркин, доктор математических наук, выступил с докладом на тему "Шаблонное мета-программирование в современном C++ для задач космической баллистики".

Он рассказал, как надежность mission-critical IT-решений в российской аэрокосмической индустрии растет благодаря программированию с развитыми системами типов, а именно на C++ стандартов 11–23.

Для этой цели реализованы библиотеки C++ с открытым исходным кодом. SpaceBallistics включает type-safe-модели динамики ракет-носителей и космических аппаратов, методы дизайна и оптимизации траекторий. DimTypes реализует систему размерных типов на основе compile-time Z_p-арифметики.

00:16 - О докладе.
02:22 - Исторический контекст.
08:00 - Уровни зрелости IT процесса (a la CMMI)(Disclaimer: это просто статистическая закономерность!).
13:27 - Надежность ПО в широком смысле.
16:18 - IT в аэрокосмической индустрии.
22:51 - «Размерные типы» в С++.
27:54 - Библиотека DimTypes: Новая реализация размерныхтипов в С++.
31:05 - Макро для «высокоуровневого» объявления размерных типов (реализация — через Macro Map!).
32:54 - Пример: Правило вывода для умножения размерных величин.
33:50 - Примеры ошибок, выявляемых на этапе компиляции (GCC 15): Несовместимые размерности.
34:39 - Примеры ошибок, выявляемых на этапе компиляции (GCC 15): Несовместимые единицы измерения.
35:06 - Следующий уровень: библиотека SpaceBallistics.
37:26 - Примеры типов систем координат в SpaceBallistics.
39:28 - Связанная система координат РН «Союз-2.1б».
39:48 - Type-safe вектора в SpaceBallistics.
40:20 - Модель РН «Союз-2.1б» в библиотеке SpaceBallistics.
41:16 - Остающаяся проблема.
43:29 - Метод моделирования динамических параметров РН.
43:55 - Пример: X-координата центра масс 3-й ступени РН «Союз-2.1б» как функция полетного времени (FlightTime).
45:35 - Интеграция SpaceBallistics с математическими библиотеками.
47:10 - Применение библиотек DimTypes и SpaceBallistics.
48:44 - Вопросы участников.

Подробности о докладах и анонсы следующих митапов вы найдете на нашем Хабре https://habr.com/ru/companies/yadro/a...