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

• Published in: Проблеми програмування
• Date: 2014
• Main Authors: Дорошенко, А.Ю., Бекетов, О.Г., Прусов, В.А., Тирчак, Ю.М., Яценко, О.А.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2014
• Subjects: Паралельне програмування. Розподілені системи і мережі
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/113216
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди / А.Ю. Дорошенко, О.Г. Бекетов, В.А. Прусов, Ю.М. Тирчак, О.А. Яценко // Проблеми програмування. — 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.