Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди

• Опубліковано в: : Проблеми програмування
• Дата: 2014
• Автори: Дорошенко, А.Ю., Бекетов, О.Г., Прусов, В.А., Тирчак, Ю.М., Яценко, О.А.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут програмних систем НАН України 2014
• Теми: Паралельне програмування. Розподілені системи і мережі
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/113216
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди / А.Ю. Дорошенко, О.Г. Бекетов, В.А. Прусов, Ю.М. Тирчак, О.А. Яценко // Проблеми програмування. — 2014. — № 2-3. — С. 72-81. — Бібліогр.: 12 назв. — укр.

Розроблено алгеброалгоритмічні специфікації алгоритмів метеорологічного прогнозування із застосуванням створеного інтегрованого інструментарію проектування та синтезу програм. Розроблено послідовну та паралельну програмні реалізації для вирішення задачі прогнозування погоди для території України. Проведено експеримент з виконання паралельної програми на відеографічному прискорювачі. Algebra-algorithmic specifications for meteorological forecasting algorithms were developed using the integrated toolkit for designing and synthesis of programs. Sequential and parallel programs for solving the task of weather forecasting for the territory of Ukraine. The results of the experiment of parallel program execution on a graphics accelerator are also provided.