E043 Формальні заходи моделювання паралельних процесів та систем

Нестеренко Б.Б., Новотарський М.А.

Національна академія наук України, Інститут математики. — Київ : Академперіодика, 2016. — 194 с. — ISBN 978-966-360-309-4. — (Українська наукова книга іноземною мовою)

Книгу присвячено проблемам математичного моделювання складних систем і процесів, що охоплюють проблеми розвитку засобів формалізації, здатних забезпечити достатній рівень подібності математичних моделей за умови їх ефективної реалізації на сучасних обчислювальних засобах. Для побудови сучасних математичних моделей складних систем і процесів запропоновано використовувати APRO-мережі. Для аналітичного опису складних систем і процесів запропоновано алгебру процесів, яка дозволяє створювати моделі з реальним робочим навантаженням. Наведено приклад формального опису обчислювального середовища для моделювання складних систем і процесів у кластерних системах.

Книга може бути корисна науковцям, інженерам і студентам, які займаються комп’ютерним моделюванням.