Параллельная реализация каталитической реакции ($\mathrm{CO+O_2\to CO_2}$) с помощью асинхронного клеточного автомата

Представлена параллельная реализация асинхронного клеточного автомата, моделирующего классическую реакцию гетерогенного катализа – окисление монооксида углерода на поверхности платины. В каталитических реакциях в неравновесных условиях могут возникать различные критические явления (автоколебания, хаос, гистерезис). Помимо фундаментального интереса изучение механизма протекания каталитических процессов на металлах платиновой группы имеет важное практическое применение, связанное с использованием в каталитических преобразователях для очистки выхлопных газов. Сложное поведение нелинейных каталитических систем наиболее эффективно может быть описано с помощью асинхронного клеточного автомата, который еще называют кинетическим методом Монте-Карло. КА-моделирование реакций гетерогенного катализа требует решения задач больших размеров, поэтому необходимо использовать эффективные алгоритмы распараллеливания. Распараллеливание асинхронных КА сопряжено с определёнными трудностями, которых можно избежать, преобразовав асинхронный КА в блочно-синхронный.
Блочно-синхронный режим работы уменьшает стохастичность моделируемого процесса, поэтому необходимо проверить эквивалентность эволюций асинхронного и блочно-синхронного КА. Для этого проводится статистический анализ основных характеристик моделирования реакции окисления: бифуркационных диаграмм, функций распределения концентраций реагентов, математических ожиданий и дисперсий концентраций, полученных с помощью асинхронного и блочно-синхронного КА. Вычисленные характеристики свидетельствуют о совпадении эволюций асинхронного и блочно-синхронного КА. Кроме того, выполнено сравнение эволюций асинхронного и блочно-синхронного КА для моделей «ZGB» и «наивная диффузия». На основе полученных результатов делается вывод о приемлемой точности аппроксимации асинхронного режима блочно-синхронным для класса задач «реакция – диффузия». В статье представлены результаты распараллеливания блочно-синхронного КА и приведены оценки эффективности параллельной реализации.