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

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

Дорошенко, А.Ю. ; Бекетов, О.Г. ; Прусов, В.А. ; Тирчак, Ю.М. ; Яценко, О.А.

Інші назви: Formalized designing and generation of parallel program for numerical weather forecasting task

Тема: Паралельне програмування. Розподілені системи і мережі

УДК: 681.3

URI: http://dspace.nbuv.gov.ua/handle/123456789/113216

Посилання: Формалізоване проектування та генерація паралельної програми чисельного прогнозування погоди / А.Ю. Дорошенко, О.Г. Бекетов, В.А. Прусов, Ю.М. Тирчак, О.А. Яценко // Проблеми програмування. — 2014. — № 2-3. — С. 72-81. — Бібліогр.: 12 назв. — укр.

Дата: 2014

Завантажень: 662

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

Анотація:

Розроблено алгеброалгоритмічні специфікації алгоритмів метеорологічного прогнозування із застосуванням створеного інтегрованого інструментарію проектування та синтезу програм. Розроблено послідовну та паралельну програмні реалізації для вирішення задачі прогнозування погоди для території України. Проведено експеримент з виконання паралельної програми на відеографічному прискорювачі.

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.

Показати повний запис статті