Вычислительная гидродинамика ( CFD ) — это раздел механики жидкости , который использует численный анализ и структуры данных для анализа и решения задач, связанных с потоками жидкости . Компьютеры используются для выполнения вычислений, необходимых для моделирования свободного потока жидкости и взаимодействия жидкости ( жидкостей и газов ) с поверхностями, определяемыми граничными условиями . С помощью высокоскоростных суперкомпьютеров можно достичь лучших решений, и они часто требуются для решения самых больших и сложных задач. Текущие исследования дают программное обеспечение, которое повышает точность и скорость сложных сценариев моделирования, таких как трансзвуковые или турбулентные потоки. Первоначальная проверка такого программного обеспечения обычно выполняется с использованием экспериментальных приборов, таких как аэродинамические трубы . Кроме того, для сравнения можно использовать ранее выполненный аналитический или эмпирический анализ конкретной проблемы. Окончательная проверка часто выполняется с использованием полномасштабных испытаний, таких как летные испытания .
Вычислительная гидродинамика применяется к широкому спектру исследовательских и инженерных задач во многих областях науки и промышленности, включая аэродинамику и анализ аэрокосмической техники, гиперзвуковые технологии , моделирование погодных условий , естественные науки и инженерию окружающей среды , проектирование и анализ промышленных систем, биологическую инженерию , потоки жидкостей и теплопередачу , анализ двигателей и процессов сгорания , а также визуальные эффекты для фильмов и игр.
Фундаментальной основой почти всех задач вычислительной гидродинамики являются уравнения Навье–Стокса , которые определяют множество однофазных (газ или жидкость, но не оба одновременно) потоков жидкости. Эти уравнения можно упростить, удалив члены, описывающие вязкие воздействия, чтобы получить уравнения Эйлера . Дальнейшее упрощение, путем удаления членов, описывающих завихренность, дает полные потенциальные уравнения . Наконец, для малых возмущений в дозвуковых и сверхзвуковых потоках (не трансзвуковых или гиперзвуковых ) эти уравнения можно линеаризировать , чтобы получить линеаризованные потенциальные уравнения.
Исторически методы были впервые разработаны для решения линеаризованных потенциальных уравнений. Двумерные (2D) методы, использующие конформные преобразования потока вокруг цилиндра в поток вокруг аэродинамического профиля, были разработаны в 1930-х годах. [1] [2]
Одним из самых ранних типов вычислений, напоминающих современную CFD, являются вычисления Льюиса Фрая Ричардсона , в том смысле, что эти вычисления использовали конечные разности и разделили физическое пространство на ячейки. Хотя они потерпели полную неудачу, эти вычисления вместе с книгой Ричардсона Weather Prediction by Numerical Process [ 3] заложили основу для современной CFD и числовой метеорологии. Фактически, ранние вычисления CFD в 1940-х годах с использованием ENIAC использовали методы, близкие к тем, что были в книге Ричардсона 1922 года. [4]
Доступная вычислительная мощность стимулировала развитие трехмерных методов. Вероятно, первая работа с использованием компьютеров для моделирования потока жидкости, управляемого уравнениями Навье–Стокса, была выполнена в Лос-Аламосской национальной лаборатории в группе T3. [5] [6] Эту группу возглавлял Фрэнсис Х. Харлоу , которого широко считают одним из пионеров вычислительной гидродинамики. С 1957 по конец 1960-х годов эта группа разработала множество численных методов для моделирования переходных двумерных потоков жидкости, таких как метод частиц в ячейках , [7] метод жидкости в ячейках, [8] метод функции потока вихря [9] и метод маркера и ячейки . [10] Метод функции потока вихря Фромма для двумерного переходного несжимаемого потока был первым в мире методом обработки сильно искривленных несжимаемых потоков.
Первая статья с трехмерной моделью была опубликована Джоном Хессом и АМО Смитом из Douglas Aircraft в 1967 году. [11] Этот метод дискретизировал поверхность геометрии с помощью панелей, что дало начало этому классу программ, называемых Панельными методами. Сам их метод был упрощен, поскольку он не включал подъемные потоки и, следовательно, в основном применялся к корпусам кораблей и фюзеляжам самолетов. Первый код подъемной панели (A230) был описан в статье, написанной Полом Рабертом и Гэри Саарисом из Boeing Aircraft в 1968 году. [12] Со временем более продвинутые трехмерные коды панели были разработаны в Boeing (PANAIR, A502), [13] Lockheed (Quadpan), [14] Douglas (HESS), [15] McDonnell Aircraft (MACAERO), [16] NASA (PMARC) [17] и Analytical Methods (WBAERO, [18] USAERO [19] и VSAERO [20] [21] ). Некоторые из них (PANAIR, HESS и MACAERO) были кодами более высокого порядка, использующими распределения поверхностных особенностей более высокого порядка, в то время как другие (Quadpan, PMARC, USAERO и VSAERO) использовали отдельные особенности на каждой поверхностной панели. Преимущество кодов более низкого порядка состояло в том, что они работали намного быстрее на компьютерах того времени. Сегодня VSAERO превратился в многопорядковый код и является наиболее широко используемой программой этого класса. Он использовался при разработке многих подводных лодок , надводных кораблей , автомобилей , вертолетов , самолетов и, в последнее время, ветряных турбин . Его родственный код, USAERO, представляет собой метод нестационарных панелей, который также использовался для моделирования таких вещей, как высокоскоростные поезда и гоночные яхты . Код NASA PMARC из ранней версии VSAERO и производной от PMARC, названной CMARC, [22] также доступен в продаже.
В двумерной области был разработан ряд панельных кодов для анализа и проектирования аэродинамического профиля. Обычно в коды включен анализ пограничного слоя , чтобы можно было моделировать вязкие эффекты. Ричард Эпплер разработал код PROFILE, частично при финансировании NASA, который стал доступен в начале 1980-х годов. [23] За ним вскоре последовал код XFOIL Марка Дрелы . [24] И PROFILE, и XFOIL включают в себя двумерные панельные коды с сопряженными кодами пограничного слоя для анализа аэродинамического профиля. PROFILE использует метод конформного преобразования для проектирования обратного аэродинамического профиля, в то время как XFOIL имеет как конформное преобразование, так и метод обратной панели для проектирования аэродинамического профиля.
Промежуточным шагом между панельными кодами и кодами полного потенциала были коды, которые использовали уравнения трансзвуковых малых возмущений. В частности, трехмерный код WIBCO [25] , разработанный Чарли Боппе из Grumman Aircraft в начале 1980-х годов, нашел широкое применение.
Разработчики обратились к кодам полного потенциала, поскольку панельные методы не могли рассчитать нелинейный поток, присутствующий на околозвуковых скоростях. Первое описание способа использования уравнений полного потенциала было опубликовано Эрлом Мурманом и Джулианом Коулом из Boeing в 1970 году. [26] Фрэнсис Бауэр, Пол Гарабедян и Дэвид Корн из Института Куранта в Нью-Йоркском университете (NYU) написали серию двумерных кодов полного потенциала для аэродинамического профиля, которые широко использовались, наиболее важный из которых был назван Program H. [27] Дальнейшее развитие Program H было разработано Бобом Мельником и его группой в Grumman Aerospace как Grumfoil. [28] Энтони Джеймсон , первоначально работавший в Grumman Aircraft и Институте Куранта Нью-Йоркского университета, работал с Дэвидом Коги над разработкой важного трехмерного кода полного потенциала FLO22 [29] в 1975 году. После этого появилось много кодов полного потенциала, кульминацией которых стал код Tranair (A633) компании Boeing, [30] который до сих пор активно используется.
Следующим шагом стали уравнения Эйлера, которые обещали предоставить более точные решения для трансзвуковых потоков. Методология, использованная Джеймсоном в его трехмерном коде FLO57 [31] (1981), была использована другими для создания таких программ, как программа TEAM компании Lockheed [32] и программа MGAERO компании IAI/Analytical Methods. [33] MGAERO уникальна тем, что является структурированным кодом декартовой сетки, в то время как большинство других подобных кодов используют структурированные сетки, подогнанных под тело (за исключением очень успешного кода CART3D компании NASA, [34] кода SPLITFLOW компании Lockheed [35] и NASCART-GT компании Georgia Tech ). [36] Энтони Джеймсон также разработал трехмерный код AIRPLANE [37] , который использовал неструктурированные тетраэдральные сетки.
В двумерной области Марк Дрела и Майкл Джайлс, тогда аспиранты Массачусетского технологического института, разработали программу ISES Euler [38] (фактически набор программ) для проектирования и анализа аэродинамических профилей. Этот код впервые стал доступен в 1986 году и был дополнительно разработан для проектирования, анализа и оптимизации одно- или многоэлементных аэродинамических профилей как программа MSES. [39] MSES находит широкое применение во всем мире. Производной от MSES для проектирования и анализа аэродинамических профилей в каскаде является MISES, [40] разработанная Гарольдом Янгреном, когда он был аспирантом Массачусетского технологического института.
Уравнения Навье–Стокса были конечной целью разработки. Двумерные коды, такие как код NASA Ames' ARC2D, появились впервые. Было разработано несколько трехмерных кодов (ARC3D, OVERFLOW , CFL3D — три успешных вклада NASA), что привело к появлению многочисленных коммерческих пакетов.
В последнее время методы CFD набирают популярность для моделирования поведения потока гранулированных материалов в различных химических процессах в машиностроении. Этот подход стал экономически эффективной альтернативой, предлагая тонкое понимание сложных явлений потока, минимизируя при этом расходы, связанные с традиционными экспериментальными методами. [41] [42]
CFD можно рассматривать как группу вычислительных методологий (обсуждаемых ниже), используемых для решения уравнений, управляющих потоком жидкости. При применении CFD критическим шагом является решение того, какой набор физических предположений и связанных с ними уравнений необходимо использовать для рассматриваемой проблемы. [43] Чтобы проиллюстрировать этот шаг, ниже приведены физические предположения/упрощения, принятые в уравнениях потока, который является однофазным (см. многофазный поток и двухфазный поток ), однокомпонентным (т. е. состоит из одного химического вида), нереагирующим и (если не указано иное) сжимаемым. Тепловое излучение пренебрегается, а объемные силы, вызванные гравитацией, учитываются (если не указано иное). Кроме того, для этого типа потока следующее обсуждение подчеркивает иерархию уравнений потока, решаемых с помощью CFD. Обратите внимание, что некоторые из следующих уравнений могут быть выведены более чем одним способом.
Во всех этих подходах используется одна и та же базовая процедура.
Устойчивость выбранной дискретизации обычно устанавливается численно, а не аналитически, как в случае простых линейных задач. Особое внимание следует уделить тому, чтобы дискретизация изящно обрабатывала разрывные решения. Уравнения Эйлера и Навье–Стокса допускают как удары, так и контактные поверхности.
Некоторые из используемых методов дискретизации:
Метод конечных объемов (FVM) является распространенным подходом, используемым в кодах CFD, поскольку он имеет преимущество в использовании памяти и скорости решения, особенно для больших задач, турбулентных потоков с высоким числом Рейнольдса и потоков с преобладанием исходных членов (например, горение). [55]
В методе конечных объемов основные дифференциальные уравнения в частных производных (обычно уравнения Навье-Стокса, уравнения сохранения массы и энергии и уравнения турбулентности) переписываются в консервативной форме, а затем решаются по дискретным контрольным объемам. Эта дискретизация гарантирует сохранение потоков через определенный контрольный объем. Уравнение конечного объема дает основные уравнения в виде,
где — вектор сохраняющихся переменных, — вектор потоков (см. уравнения Эйлера или уравнения Навье–Стокса ), — объем элемента контрольного объема, — площадь поверхности элемента контрольного объема.
Метод конечных элементов (FEM) используется в структурном анализе твердых тел, но также применим к жидкостям. Однако формулировка FEM требует особой осторожности для обеспечения консервативного решения. Формулировка FEM была адаптирована для использования с уравнениями динамики жидкости. [56] [57] Хотя FEM должна быть тщательно сформулирована, чтобы быть консервативной, она намного более стабильна, чем подход конечного объема. [58] FEM также обеспечивает более точные решения для гладких задач по сравнению с FVM. [59] Еще одним преимуществом FEM является то, что он может обрабатывать сложные геометрии и граничные условия. Однако FEM может требовать больше памяти и имеет более медленное время решения, чем FVM. [60]
В этом методе формируется взвешенное остаточное уравнение:
где — остаток уравнения в вершине элемента , — уравнение сохранения, выраженное на элементной основе, — весовой коэффициент, — объем элемента.
Метод конечных разностей (FDM) имеет историческое значение [57] и прост в программировании. В настоящее время он используется только в нескольких специализированных кодах, которые обрабатывают сложную геометрию с высокой точностью и эффективностью, используя встроенные границы или перекрывающиеся сетки (с решением, интерполированным по каждой сетке). [ необходима цитата ]
где — вектор сохраняющихся переменных, а , , и — потоки в направлениях , , и соответственно.
Метод спектральных элементов — это метод конечно-элементного типа. Он требует, чтобы математическая задача (частное дифференциальное уравнение) была представлена в слабой формулировке. Обычно это делается путем умножения дифференциального уравнения на произвольную тестовую функцию и интегрирования по всей области. Чисто математически тестовые функции полностью произвольны — они принадлежат бесконечномерному функциональному пространству. Очевидно, что бесконечномерное функциональное пространство не может быть представлено на дискретной сетке спектральных элементов; именно здесь начинается дискретизация спектральных элементов. Самым важным является выбор интерполирующих и тестовых функций. В стандартном МКЭ низкого порядка в 2D для четырехугольных элементов наиболее типичным выбором является билинейная тестовая или интерполирующая функция вида . Однако в методе спектральных элементов интерполирующие и тестовые функции выбираются так, чтобы они были полиномами очень высокого порядка (обычно, например, 10-го порядка в приложениях вычислительной гидродинамики). Это гарантирует быструю сходимость метода. Кроме того, должны использоваться очень эффективные процедуры интегрирования, поскольку число интегрирований, которые должны быть выполнены в числовых кодах, велико. Таким образом, используются квадратуры интегрирования Гаусса высокого порядка, поскольку они достигают наивысшей точности при наименьшем количестве вычислений, которые необходимо выполнить. В настоящее время существуют некоторые академические коды CFD, основанные на методе спектральных элементов, и еще несколько находятся в стадии разработки, поскольку в научном мире возникают новые схемы временного шага.
Метод решеточного Больцмана (LBM) с его упрощенной кинетической картиной на решетке обеспечивает вычислительно эффективное описание гидродинамики. В отличие от традиционных методов CFD, которые решают уравнения сохранения макроскопических свойств (то есть массы, импульса и энергии) численно, LBM моделирует жидкость, состоящую из фиктивных частиц, и такие частицы выполняют последовательные процессы распространения и столкновения по дискретной решетчатой сетке. В этом методе работает с дискретной в пространстве и времени версией кинетического эволюционного уравнения в форме Больцмана Бхатнагара-Гросса-Крука (BGK) .
Метод вихрей, также метод частиц вихрей Лагранжа, является методом без сеток для моделирования несжимаемых турбулентных потоков. В нем вихрь дискретизируется на частицы Лагранжа , эти вычислительные элементы называются вихрями, вортонами или частицами вихрей. [61] Методы вихрей были разработаны как методология без сеток, которая не будет ограничена фундаментальными эффектами сглаживания, связанными с методами на основе сеток. Однако для практического применения методы вихрей требуют средств для быстрого вычисления скоростей из элементов вихрей — другими словами, они требуют решения определенной формы задачи N тел (в которой движение N объектов связано с их взаимным влиянием). Этот прорыв произошел в 1980-х годах с разработкой алгоритмов Барнса-Хата и быстрого мультипольного метода (FMM). Они проложили путь к практическому вычислению скоростей из элементов вихрей.
Программное обеспечение на основе метода вихрей предлагает новые средства для решения сложных задач динамики жидкости с минимальным вмешательством пользователя. [ необходима цитата ] Все, что требуется, это спецификация геометрии задачи и установка граничных и начальных условий. Среди существенных преимуществ этой современной технологии;
В методе граничных элементов граница, занимаемая жидкостью, разбивается на поверхностную сетку.
Схемы высокого разрешения используются там, где присутствуют толчки или разрывы. Для захвата резких изменений в решении требуется использование численных схем второго или более высокого порядка, которые не вносят ложных колебаний. Обычно это требует применения ограничителей потока , чтобы гарантировать, что решение является полным уменьшающим вариацию . [ необходима цитата ]
В вычислительном моделировании турбулентных потоков одной из общих целей является получение модели, которая может предсказывать интересующие величины, такие как скорость жидкости, для использования в инженерных проектах моделируемой системы. Для турбулентных потоков диапазон масштабов длины и сложность явлений, вовлеченных в турбулентность, делают большинство подходов к моделированию чрезмерно дорогими; разрешение, необходимое для разрешения всех масштабов, вовлеченных в турбулентность, выходит за рамки вычислительно возможных. Основной подход в таких случаях заключается в создании численных моделей для аппроксимации неразрешенных явлений. В этом разделе перечислены некоторые часто используемые вычислительные модели для турбулентных потоков.
Модели турбулентности можно классифицировать на основе вычислительных затрат, которые соответствуют диапазону масштабов, которые моделируются по сравнению с разрешенными (чем больше масштабов турбулентности разрешаются, тем выше разрешение моделирования и, следовательно, тем выше вычислительные затраты). Если большинство или все масштабы турбулентности не моделируются, вычислительные затраты очень низкие, но компромисс заключается в снижении точности.
В дополнение к широкому диапазону масштабов длины и времени и связанным с этим вычислительным затратам, основные уравнения динамики жидкости содержат нелинейный член конвекции и нелинейный и нелокальный член градиента давления. Эти нелинейные уравнения должны решаться численно с соответствующими граничными и начальными условиями.
Уравнения Навье–Стокса, усредненные по Рейнольдсу (RANS), являются старейшим подходом к моделированию турбулентности. Решается ансамблевая версия основных уравнений, которая вводит новые кажущиеся напряжения, известные как напряжения Рейнольдса . Это добавляет тензор второго порядка неизвестных, для которого различные модели могут обеспечивать различные уровни замыкания. Распространено заблуждение, что уравнения RANS не применимы к потокам с изменяющимся во времени средним потоком, потому что эти уравнения «усреднены по времени». Фактически, статистически нестационарные (или нестационарные) потоки могут быть обработаны в равной степени. Иногда это называют URANS. В усреднении Рейнольдса нет ничего, что могло бы этому помешать, но модели турбулентности, используемые для замыкания уравнений, действительны только до тех пор, пока время, в течение которого происходят эти изменения среднего, велико по сравнению с временными масштабами турбулентного движения, содержащего большую часть энергии.
Модели RANS можно разделить на два основных подхода:
Моделирование больших вихрей (LES) — это метод, в котором самые мелкие масштабы потока удаляются с помощью операции фильтрации, а их влияние моделируется с использованием моделей подсеточного масштаба. Это позволяет разрешить самые крупные и важные масштабы турбулентности, при этом значительно сокращая вычислительные затраты, связанные с самыми мелкими масштабами. Этот метод требует больших вычислительных ресурсов, чем методы RANS, но гораздо дешевле DNS.
Моделирование отдельных вихрей (DES) представляет собой модификацию модели RANS, в которой модель переключается на формулировку подсеточного масштаба в областях, достаточно мелких для расчетов LES. Областям вблизи твердых границ и там, где масштаб турбулентной длины меньше максимального размера сетки, назначается режим решения RANS. Поскольку масштаб турбулентной длины превышает размер сетки, регионы решаются с использованием режима LES. Поэтому разрешение сетки для DES не такое требовательное, как для чистого LES, что значительно сокращает стоимость вычислений. Хотя DES изначально была сформулирована для модели Спаларта-Аллмараса (Philippe R. Spalart et al., 1997), ее можно реализовать с другими моделями RANS (Strelets, 2001) путем соответствующей модификации масштаба длины, который явно или неявно задействован в модели RANS. Таким образом, в то время как модель Спаларта–Аллмараса на основе DES действует как LES с моделью стенки, DES на основе других моделей (например, двух моделей уравнений) ведут себя как гибридная модель RANS-LES. Генерация сетки сложнее, чем для простого случая RANS или LES из-за переключения RANS-LES. DES является незональным подходом и обеспечивает единое гладкое поле скорости в областях RANS и LES решений.
Прямое численное моделирование (DNS) разрешает весь диапазон масштабов турбулентной длины. Это маргинализирует эффект моделей, но является чрезвычайно дорогим. Вычислительная стоимость пропорциональна . [64] DNS не поддается обработке для потоков со сложной геометрией или конфигурациями потока.
Подход моделирования когерентного вихря разлагает турбулентное поле потока на когерентную часть, состоящую из организованного вихревого движения, и некогерентную часть, которая является случайным фоновым потоком. [65] Это разложение выполняется с использованием вейвлет -фильтрации. Подход имеет много общего с LES, поскольку он использует разложение и разрешает только отфильтрованную часть, но отличается тем, что не использует линейный фильтр нижних частот. Вместо этого операция фильтрации основана на вейвлетах, и фильтр может быть адаптирован по мере развития поля потока. Фардж и Шнайдер протестировали метод CVS с двумя конфигурациями потока и показали, что когерентная часть потока демонстрировала энергетический спектр, демонстрируемый общим потоком, и соответствовала когерентным структурам ( вихревым трубкам ), в то время как некогерентные части потока составляли однородный фоновый шум, который не демонстрировал никаких организованных структур. Голдштейн и Васильев [66] применили модель FDV к моделированию крупных вихрей, но не предполагали, что вейвлет-фильтр устраняет все когерентные движения из масштабов подфильтра. Используя как LES, так и CVS-фильтрацию, они показали, что диссипация SFS доминируется когерентной частью поля потока SFS.
Методы функции плотности вероятности (PDF) для турбулентности, впервые введенные Лундгреном [ 67 ], основаны на отслеживании одноточечной функции распределения вероятностей скорости, , которая дает вероятность того, что скорость в точке находится между и . Этот подход аналогичен кинетической теории газов , в которой макроскопические свойства газа описываются большим числом частиц. Методы распределения вероятностей уникальны тем, что их можно применять в рамках ряда различных моделей турбулентности; основные различия возникают в форме уравнения переноса PDF. Например, в контексте моделирования крупных вихрей PDF становится отфильтрованным PDF. [68] Методы распределения вероятностей также могут использоваться для описания химических реакций [69] [70] и особенно полезны для моделирования химически реагирующих потоков, поскольку химический исходный член закрыт и не требует модели. PDF обычно отслеживается с помощью методов лагранжевых частиц; в сочетании с моделированием крупных вихрей это приводит к уравнению Ланжевена для эволюции частиц подфильтра.
Метод ограничения вихреобразования (VC) — это эйлеров метод, используемый при моделировании турбулентных следов. Он использует подход, подобный уединенной волне, для получения устойчивого решения без численного разброса. VC может захватывать мелкомасштабные особенности с точностью до 2 ячеек сетки. В пределах этих особенностей решается нелинейное разностное уравнение, а не конечно-разностное уравнение . VC похож на методы захвата ударных волн , где выполняются законы сохранения, так что основные интегральные величины вычисляются точно.
Линейная вихревая модель — это метод, используемый для моделирования конвективного перемешивания, которое происходит в турбулентном потоке. [71] В частности, она предоставляет математический способ описания взаимодействий скалярной переменной в векторном поле потока. Она в основном используется в одномерных представлениях турбулентного потока, поскольку ее можно применять в широком диапазоне масштабов длины и чисел Рейнольдса. Эта модель обычно используется в качестве строительного блока для более сложных представлений потока, поскольку она обеспечивает прогнозы с высоким разрешением, которые сохраняются в широком диапазоне условий потока.
Моделирование двухфазного потока все еще находится в стадии разработки. Были предложены различные методы, включая метод объема жидкости , метод установки уровня и отслеживание фронта. [72] [73] Эти методы часто подразумевают компромисс между поддержанием четкой границы раздела или сохранением массы [ по мнению кого? ] . Это имеет решающее значение, поскольку оценка плотности, вязкости и поверхностного натяжения основана на значениях, усредненных по границе раздела. [ необходима цитата ]
Дискретизация в пространстве производит систему обыкновенных дифференциальных уравнений для нестационарных задач и алгебраических уравнений для стационарных задач. Неявные или полунеявные методы обычно используются для интегрирования обыкновенных дифференциальных уравнений, производя систему (обычно) нелинейных алгебраических уравнений. Применение итерации Ньютона [ сломанного якоря ] или Пикара производит систему линейных уравнений, которая является несимметричной при наличии адвекции и неопределенной при наличии несжимаемости. Такие системы, особенно в 3D, часто слишком велики для прямых решателей, поэтому используются итерационные методы, либо стационарные методы, такие как последовательная сверхрелаксация , либо методы подпространства Крылова . Методы Крылова, такие как GMRES , обычно используемые с предобусловливанием , работают путем минимизации остатка по последовательным подпространствам, генерируемым предобусловленным оператором.
Multigrid имеет преимущество асимптотически оптимальной производительности для многих задач. Традиционные [ по мнению кого? ] решатели и предобуславливатели эффективны для уменьшения высокочастотных компонентов остатка, но для уменьшения низкочастотных компонентов обычно требуется много итераций. Работая в нескольких масштабах, multigrid уменьшает все компоненты остатка на схожие коэффициенты, что приводит к независимому от сетки числу итераций. [ необходима цитата ]
Для неопределенных систем предварительные обусловливатели, такие как неполная LU-факторизация , аддитивный метод Шварца и многосеточный метод , работают плохо или полностью не работают, поэтому для эффективной предварительной обработки необходимо использовать структуру задачи. [74] Методы, обычно используемые в вычислительной гидродинамике, — это алгоритмы SIMPLE и Удзавы , которые демонстрируют зависящие от сетки скорости сходимости, но недавние достижения, основанные на блочной LU-факторизации в сочетании с многосеточным методом для полученных определенных систем, привели к предварительным обусловливателям, которые обеспечивают независимые от сетки скорости сходимости. [75]
CFD совершила большой прорыв в конце 70-х годов с введением LTRAN2, двумерного кода для моделирования колеблющихся аэродинамических профилей на основе теории малых околозвуковых возмущений Баллхауса и его коллег. [76] Он использует алгоритм переключения Мурмана-Коула для моделирования движущихся ударных волн. [26] Позднее он был расширен до трехмерного с использованием вращающейся разностной схемы AFWAL/Boeing, что привело к появлению LTRAN3. [77] [78]
Исследования CFD используются для уточнения характеристик аортального потока в деталях, которые выходят за рамки возможностей экспериментальных измерений. Для анализа этих условий извлекаются модели САПР сосудистой системы человека с использованием современных методов визуализации, таких как МРТ или компьютерная томография . Из этих данных реконструируется 3D-модель, и поток жидкости может быть вычислен. Необходимо учитывать такие свойства крови, как плотность и вязкость, а также реалистичные граничные условия (например, системное давление). Таким образом, становится возможным анализировать и оптимизировать поток в сердечно-сосудистой системе для различных приложений. [79]
Традиционно моделирование вычислительной гидродинамики выполняется на центральных процессорах. [80]
В более поздней тенденции моделирование также выполняется на графических процессорах. Они обычно содержат более медленные, но больше процессоров. Для алгоритмов CFD, которые показывают хорошую производительность параллелизма (т. е. хорошее ускорение за счет добавления большего количества ядер), это может значительно сократить время моделирования. Методы Fluid-implicit частиц [81] и решетка-Больцман [82] являются типичными примерами кодов, которые хорошо масштабируются на графических процессорах.
{{cite book}}
: CS1 maint: multiple names: authors list (link){{cite book}}
: CS1 maint: multiple names: authors list (link){{cite book}}
: CS1 maint: multiple names: authors list (link){{cite book}}
: CS1 maint: multiple names: authors list (link){{cite book}}
: CS1 maint: multiple names: authors list (link){{cite journal}}
: CS1 maint: multiple names: authors list (link){{cite journal}}
: CS1 maint: multiple names: authors list (link){{cite journal}}
: CS1 maint: multiple names: authors list (link)