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

Шаблонное мета-программирование в современном 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...