БИО-LGCA
В вычислительной и математической биологии биологический клеточный автомат решеточного газа (BIO-LGCA) представляет собой дискретную модель перемещения и взаимодействия биологических агентов, [1] разновидность клеточного автомата . BIO-LGCA основан на модели клеточного автомата решеточного газа (LGCA), используемой в гидродинамике. Модель BIO-LGCA описывает клетки и другие подвижные биологические агенты как точечные частицы, движущиеся по дискретной решетке, тем самым взаимодействуя с близлежащими частицами. В отличие от классических моделей клеточных автоматов, частицы в BIO-LGCA определяются их положением и скоростью. Это позволяет моделировать и анализировать активные флюиды и коллективную миграцию, опосредованную в первую очередь изменениями импульса, а не плотности. Приложения BIO-LGCA включают инвазию рака. [2] и прогрессирование рака . [3]
Определение модели
[ редактировать ]Как и все модели клеточных автоматов, модель BIO-LGCA определяется решеткой. , пространство состояний , район и правило . [4]
- Решетка ( ) определяет набор всех возможных положений частиц. Частицам запрещено занимать только определенные позиции, что обычно является результатом регулярной и периодической мозаики пространства. Математически, представляет собой дискретное подмножество -мерное пространство.
- Государственное пространство ( ) описывает возможные состояния частиц внутри каждого узла решетки . В BIO-LGCA несколько частиц с разными скоростями могут занимать один узел решетки, в отличие от классических моделей клеточных автоматов, где обычно только одна клетка может одновременно находиться в каждом узле решетки. Это делает пространство состояний немного более сложным, чем в классических моделях клеточных автоматов (см. ниже).
- Район ( ) указывает на подмножество узлов решетки, которое определяет динамику данного узла решетки. Частицы взаимодействуют только с другими частицами в пределах своего окружения. Краевые условия необходимо выбирать для окрестностей узлов на границе конечных решеток. Окрестности и граничные условия определяются так же, как и для обычных клеточных автоматов (см. Клеточный автомат ).
- Правило ( ) определяет, как частицы движутся, размножаются или умирают со временем. Как и любой клеточный автомат, BIO-LGCA развивается дискретными шагами во времени. Чтобы смоделировать динамику системы , правило применяется синхронно к каждому узлу решетки на каждом временном шаге. Применение правила изменяет исходное состояние узла решетки на новое состояние. Правило зависит от состояний узлов решетки в окрестности взаимодействия обновляемого узла решетки. В BIO-LGCA правило разделено на два этапа: этап вероятностного взаимодействия, за которым следует этап детерминированного транспорта. Шаг взаимодействия моделирует процессы переориентации, рождения и смерти и определяется специально для моделируемого процесса. На этапе транспорта частицы перемещаются в соседние узлы решетки в направлении их скоростей. Подробности см. ниже.
Государственное пространство
[ редактировать ]Для явного моделирования скоростей частиц предполагается, что узлы решетки имеют определенную субструктуру. Каждый узел решетки связан с соседними узлами решетки через векторы, называемые «каналами скорости», , , где количество каналов скорости равен числу ближайших соседей и, следовательно, зависит от геометрии решетки ( для одномерной решетки для двумерной гексагональной решетки и т. д.). В двух измерениях каналы скорости определяются как . Кроме того, произвольное число можно определить так называемые «каналы покоя», такие, что , . Канал называется занятым, если в узле решетки находится частица со скоростью, равной скорости канала. Оккупация канала обозначается номером профессии . Обычно предполагается, что частицы подчиняются принципу исключения , согласно которому не более одной частицы могут одновременно занимать один канал скорости в узле решетки. В этом случае числа занятий являются логическими переменными, т.е. , и, таким образом, каждая площадка имеет максимальную пропускную способность . Поскольку совокупность всех чисел заполнения каналов определяет количество частиц и их скорости в каждом узле решетки, вектор описывает состояние узла решетки, а пространство состояний определяется выражением .
Динамика правил и моделей
[ редактировать ]Состояния каждого узла в решетке обновляются синхронно с дискретными временными интервалами для моделирования динамики модели. Правило разделено на два этапа. Шаг вероятностного взаимодействия моделирует взаимодействие частиц, а этап детерминированного переноса моделирует движение частиц.
Шаг взаимодействия
[ редактировать ]В зависимости от конкретного приложения этап взаимодействия может состоять из операторов реакции и/или переориентации.
Оператор реакции заменяет состояние узла с новым государством после вероятности перехода , которое зависит от состояния соседних узлов решетки моделировать влияние соседних частиц на реактивный процесс. Оператор реакции не сохраняет количество частиц, что позволяет моделировать рождение и смерть особей. Вероятность перехода оператора реакции обычно определяется ad hoc на основе феноменологических наблюдений.
Оператор переориентации также заменяет состояние с новым государством с вероятностью . Однако этот оператор сохраняет количество частиц и, следовательно, моделирует изменения скорости частиц только за счет перераспределения частиц по каналам скорости. Вероятность перехода для этого оператора может быть определена из статистических наблюдений (с использованием принципа максимального калибра ) или из известной одночастичной динамики (с использованием дискретизированного стационарного углового распределения вероятностей, заданного уравнением Фоккера-Планка , связанным с уравнением Ланжевена описывающую динамику переориентации), [5] [6] и обычно принимает форму где — константа нормализации (также известная как статистическая сумма ), - это энергетическая функция, которую частицы, вероятно, будут минимизировать при изменении направления своего движения. — свободный параметр, обратно пропорциональный случайности переориентации частиц (аналог обратной температуры в термодинамике), и представляет собой дельту Кронекера , которая гарантирует, что количество частиц до и после переориентации неизменен.
Результирующая форма состояния с применением реакции и оператора переориентации известна как конфигурация после взаимодействия и обозначается .
Транспортный этап
[ редактировать ]После этапа взаимодействия этап детерминированного транспорта применяется синхронно ко всем узлам решетки. Этап транспортировки имитирует движение агентов в зависимости от их скорости за счет самодвижения живых организмов.
На этом этапе числа заполнения состояний после взаимодействия будут определяться как новые состояния заполнения того же канала соседнего узла решетки в направлении канала скорости, т.е. .
Новый временной шаг начинается, когда произошли шаги взаимодействия и транспорта. Таким образом, динамику БИО-ЛГКА можно резюмировать как стохастическое конечно-разностное микродинамическое уравнение.
Пример динамики взаимодействия
[ редактировать ]Вероятность перехода для оператора реакции и/или переориентации должна быть определена для надлежащего моделирования моделируемой системы. Ниже перечислены некоторые элементарные взаимодействия и соответствующие вероятности перехода.
Случайное блуждание
[ редактировать ]В отсутствие каких-либо внешних или внутренних стимулов клетки могут двигаться хаотично, без какого-либо предпочтения в направлении. В этом случае оператор переориентации можно определить через вероятность перехода
где . Такая вероятность перехода допускает любую конфигурацию после переориентации. с тем же количеством частиц, что и в конфигурации до переориентации , чтобы быть выбранным равномерно .
Простой процесс рождения и смерти
[ редактировать ]Если организмы размножаются и умирают независимо от других особей (за исключением конечной ёмкости), то можно смоделировать простой процесс рождения/смерти. [3] с вероятностью перехода, определяемой выражением где , — постоянные вероятности рождения и смерти соответственно, - это дельта Кронекера, которая гарантирует, что на каждом временном шаге происходит только одно событие рождения/смерти, и — это функция Хевисайда , которая гарантирует, что число частиц положительно и ограничено несущей способностью. .
Адгезивные взаимодействия
[ редактировать ]Клетки могут прилипать друг к другу за счет молекул кадгерина на поверхности клетки. Взаимодействия кадгеринов позволяют клеткам образовывать агрегаты. Формирование клеточных агрегатов посредством адгезивных биомолекул можно смоделировать. [7] оператором переориентации с вероятностями перехода, определяемыми как
где представляет собой вектор, указывающий в направлении максимальной плотности клеток, определяемый как , где — конфигурация узла решетки в пределах района , и - импульс постпереориентационной конфигурации, определяемый как . Эта вероятность перехода благоприятствует конфигурациям после переориентации, когда клетки движутся в направлении градиента плотности клеток.
Математический анализ
[ редактировать ]Поскольку точная обработка стохастической агентной модели быстро становится невозможной из-за корреляций высокого порядка между всеми агентами, [8] Общий метод анализа модели BIO-LGCA состоит в том, чтобы преобразовать ее в приближенное детерминированное конечно-разностное уравнение (FDE), описывающее среднюю динамику популяции, затем выполнить математический анализ этой приближенной модели и сравнить результаты с исходными. Модель БИО-LGCA.
Во-первых, ожидаемое значение микродинамического уравнения получается где обозначает ожидаемое значение и ожидаемое значение -й номер заполнения узла решетки в на временном шаге . Однако термин справа, сильно нелинейно относительно чисел заполнения обоих узлов решетки и узлы решетки внутри окрестности взаимодействия , из-за вида вероятности перехода и статистика размещения частиц внутри скоростных каналов (например, возникающая из-за принципа исключения, налагаемого на заселенность каналов). Эта нелинейность приведет к корреляциям и моментам высокого порядка среди всех задействованных каналов. Вместо этого обычно предполагается приближение среднего поля, в котором все корреляции и моменты высоких порядков пренебрегаются, так что прямые взаимодействия между частицами заменяются взаимодействиями с соответствующими ожидаемыми значениями. Другими словами, если являются случайными величинами, а является функцией, то в этом приближении. Таким образом, мы можем упростить уравнение до где является нелинейной функцией ожидаемой конфигурации узлов решетки. и ожидаемая конфигурация окрестности зависит от вероятностей перехода и статистики частиц в узле.
Из этого нелинейного FDE можно идентифицировать несколько однородных устойчивых состояний или констант. независимо от и которые являются решениями FDE. Чтобы изучить условия устойчивости этих устойчивых состояний и потенциал формирования структуры модели, линейный анализ устойчивости можно выполнить . Для этого нелинейное FDE линеаризуется как где обозначает однородное устойчивое состояние , и окрестность фон Неймана предполагалась . Чтобы преобразовать его в более знакомое конечно-разностное уравнение только с временными приращениями, дискретное преобразование Фурье к обеим частям уравнения можно применить . После применения теоремы о сдвиге и выделения члена с временным приращением слева можно получить уравнение решетки-Больцмана [4] где это мнимая единица , - размер решетки по одному измерению, Фурье — волновое число , а обозначает дискретное преобразование Фурье. В матричной записи это уравнение упрощается до , где матрица называется пропагатором Больцмана и определяется как Собственные значения пропагатора Больцмана диктуют свойства устойчивости установившегося состояния: [4]
- Если , где обозначает модуль , то возмущения с волновым числом расти со временем. Если , и , то возмущения с волновым числом закономерности с четкой длиной волны будет доминировать, и будут наблюдаться . В противном случае стационарное состояние устойчиво и любые возмущения будут затухать.
- Если , где обозначает аргумент , то возмущения передаются и наблюдается нестационарное поведение популяции. В противном случае популяция будет казаться статичной на макроскопическом уровне.
Приложения
[ редактировать ]Построение BIO-LGCA для изучения биологических явлений в основном включает в себя определение соответствующих вероятностей перехода для оператора взаимодействия, а также точное определение пространства состояний ( для рассмотрения нескольких клеточных фенотипов например, ), граничных условий (для моделирования явлений в ограниченных условиях) , соседство (для количественного соответствия экспериментальным диапазонам взаимодействия) и пропускная способность (для моделирования эффектов скученности для заданных размеров ячеек) могут быть важны для конкретных приложений. Хотя распределение оператора переориентации можно получить с помощью вышеупомянутых статистических и биофизических методов, распределение операторов реакции можно оценить in vitro . , например, на основе статистики экспериментов [9]
Модели BIO-LGCA использовались для изучения нескольких клеточных, биофизических и медицинских явлений. Вот некоторые примеры:
- Ангиогенез : [10] Эксперимент in vitro с эндотелиальными клетками и наблюдаемые результаты моделирования BIO-LGCA сравнивались для определения процессов, участвующих во время ангиогенеза, и их веса. Они обнаружили, что адгезия, выравнивание, контактное наведение и ремоделирование ЕСМ участвуют в ангиогенезе, в то время как долгосрочные взаимодействия не имеют жизненно важного значения для этого процесса.
- Активные жидкости : [11] макроскопические физические свойства популяции частиц, взаимодействующих посредством взаимодействий полярного выравнивания, были исследованы с использованием модели BIO-LGCA. Было обнаружено, что увеличение начальной плотности частиц и силы взаимодействия приводит к фазовому переходу второго рода из однородного неупорядоченного состояния в упорядоченное структурированное движущееся состояние.
- Эпидемиология : [12] пространственная модель SIR BIO-LGCA использовалась для изучения влияния различных стратегий вакцинации, а также эффекта аппроксимации пространственной эпидемии непространственной моделью. Они обнаружили, что стратегии вакцинации барьерного типа гораздо более эффективны, чем стратегии пространственно однородной вакцинации. Более того, они обнаружили, что непространственные модели сильно переоценивают уровень заражения.
- сотовой связи Заклинивание : [13] Модели in vitro и Bio-LGCA использовались для изучения метастатического поведения при раке молочной железы. Модель BIO-LGCA показала, что метастазы могут проявлять различное поведение, такое как случайное газообразное, заклиненное твердое и коррелированное жидкостное состояние, в зависимости от уровня адгезии между клетками, плотности ЕСМ и взаимодействия клеток с ЕСМ.
Ссылки
[ редактировать ]- ^ Дойч, Андреас; Нава-Седеньо, Хосуэ Маник; Сига, Саймон; Хадзикиро, Харалампос (15 июня 2021 г.). «BIO-LGCA: класс моделирования клеточных автоматов для анализа коллективной миграции клеток» . PLOS Вычислительная биология . 17 (6): e1009066. Бибкод : 2021PLSCB..17E9066D . дои : 10.1371/journal.pcbi.1009066 . ISSN 1553-7358 . ПМЦ 8232544 . ПМИД 34129639 .
- ^ Реер, Дэвид; Клинк, Барбара; Дойч, Андреас; Восс-Бёме, Аня (11 августа 2017 г.). «Неоднородность клеточной адгезии усиливает распространение опухолевых клеток: новые выводы из математической модели» . Биология Директ . 12 (1): 18. дои : 10.1186/s13062-017-0188-z . ISSN 1745-6150 . ПМЦ 5553611 . ПМИД 28800767 .
- ^ Перейти обратно: а б Беттгер, Катрин; Хацикиро, Хараламбос; Восс-Бёме, Аня; Кавальканти-Адам, Элизабетта Ада; Эрреро, Мигель А.; Дойч, Андреас (3 сентября 2015 г.). Альбер, Марк С. (ред.). «Новый эффект Аллеи имеет решающее значение для возникновения и устойчивости опухоли» . PLOS Вычислительная биология . 11 (9): e1004366. Бибкод : 2015PLSCB..11E4366B . дои : 10.1371/journal.pcbi.1004366 . ISSN 1553-7358 . ПМЦ 4559422 . ПМИД 26335202 .
- ^ Перейти обратно: а б с «Математическое моделирование формирования биологических паттернов» , клеточно-автоматное моделирование формирования биологических паттернов , моделирование и моделирование в науке, технике и технологиях, Бостон, Массачусетс: Birkhäuser Boston, стр. 45–56, 2005, doi : 10.1007/0-8176- 4415-6_3 , ISBN 978-0-8176-4281-5 , получено 25 мая 2021 г.
- ^ Нава-Седеньо, Ж.М.; Хадзикиро, Х.; Перуани, Ф.; Дойч, А. (27 февраля 2017 г.). «Извлечение правил клеточного автомата из физических моделей уравнений Ланжевена для миграции одиночных и коллективных клеток» . Журнал математической биологии . 75 (5): 1075–1100. дои : 10.1007/s00285-017-1106-9 . ISSN 0303-6812 . ПМИД 28243720 . S2CID 32456636 .
- ^ Нава-Седеньо, Ж.М.; Хадзикиро, Х.; Клагес, Р.; Дойч, А. (05 декабря 2017 г.). «Модели клеточных автоматов для коррелированных по времени случайных блужданий: вывод и анализ» . Научные отчеты . 7 (1): 16952. arXiv : 1802.04201 . Бибкод : 2017НатСР...716952Н . дои : 10.1038/s41598-017-17317-x . ISSN 2045-2322 . ПМК 5717221 . ПМИД 29209065 .
- ^ Буссемакер, Хармен Дж. (1 февраля 1996 г.). «Анализ автомата с решеточным газом, образующего узор: теория среднего поля и не только» . Физический обзор E . 53 (2): 1644–1661. Бибкод : 1996PhRvE..53.1644B . дои : 10.1103/physreve.53.1644 . ISSN 1063-651X . ПМИД 9964425 .
- ^ Оваскайнен, Отсо; Сомервуо, Пану; Финкельштейн, Дмитрий (28 октября 2020 г.). «Общий математический метод прогнозирования пространственно-временных корреляций, возникающих на основе агентных моделей» . Журнал интерфейса Королевского общества . 17 (171): 20200655. doi : 10.1098/rsif.2020.0655 . ПМЦ 7653394 . ПМИД 33109018 .
- ^ Дирксе, Энн; Голебевская, Анна; Будер, Томас; Назаров Петр Владимирович; Мюллер, Арно; Пуватингал, Суреш; Бронс, Николаас ХК; Лейте, Соня; Соважо, Николя; Саркисян, Джемма; Сейфрид, Матье (16 апреля 2019 г.). «Гетерогенность, связанная со стволовыми клетками при глиобластоме, является результатом внутренней пластичности опухоли, формируемой микроокружением» . Природные коммуникации . 10 (1): 1787. Бибкод : 2019NatCo..10.1787D . дои : 10.1038/s41467-019-09853-z . ISSN 2041-1723 . ПМК 6467886 . ПМИД 30992437 .
- ^ Менте, Карстен; Праде, Ина; Бруш, Лутц; Брейер, Георг; Дойч, Андреас (01 октября 2010 г.). «Оценка параметров с помощью нового метода оптимизации на основе градиента для моделей клеточных автоматов биологического решеточного газа» . Журнал математической биологии . 63 (1): 173–200. дои : 10.1007/s00285-010-0366-4 . ISSN 0303-6812 . ПМИД 20886214 . S2CID 12404555 .
- ^ Буссемейкер, Хармен Дж.; Дойч, Андреас; Гейгант, Эдит (30 июня 1997 г.). «Анализ среднего поля динамического фазового перехода в модели клеточного автомата для коллективного движения» . Письма о физических отзывах . 78 (26): 5018–5021. arXiv : физика/9706008 . Бибкод : 1997PhRvL..78.5018B . doi : 10.1103/PhysRevLett.78.5018 . ISSN 0031-9007 . S2CID 45979152 .
- ^ Фукс, Хенрик; Лавничак, Анна Т. (2001). «Индивидуальная решетчатая модель пространственного распространения эпидемий» . Дискретная динамика в природе и обществе . 6 (3): 191–200. дои : 10.1155/s1026022601000206 . hdl : 1807/82157 .
- ^ Ильина, Ольга; Гриценко Павел Георгиевич; Сига, Саймон; Липпольдт, Юрген; Ла Порта, Катерина AM; Чепижко, Александр; Гроссер, Штеффен; Вуллингс, Манон; Баккер, Герт-Ян; Старрус, Йорн; Балт, Питер (24 августа 2020 г.). «Клеточно-клеточная адгезия и ограничение трехмерной матрицы определяют застревание переходов при инвазии рака молочной железы» . Природная клеточная биология . 22 (9): 1103–1115. дои : 10.1038/s41556-020-0552-6 . ISSN 1476-4679 . ПМЦ 7502685 . ПМИД 32839548 .
Внешние ссылки
[ редактировать ]- Bio-LGCA Simulator — онлайн-симулятор с элементарным взаимодействием и персонализированными значениями параметров.
- Пакет Python BIO-LGCA — пакет Python с открытым исходным кодом для реализации моделирования модели BIO-LGCA.