Все выпуски

В работе приведены различные модификации алгоритма Frank–Wolfe для задачи поиска равновесного распределения потоков. В качестве модели для экспериментов используется модель Бекмана. В этой статье в первую очередь уделяется внимание выбору направления базового шага алгоритма Frank–Wolfe (FW). Будут представлены алгоритмы: Conjugate Frank–Wolfe (CFW), Bi-conjugate Frank–Wolfe (BFW), Fukushima Frank–Wolfe (FFW). Каждой модификации соответствуют различные подходы к выбору этого направления. Некоторые из этих модификаций описаны в предыдущих работах авторов. В данной статье будут предложены алгоритмы N-conjugate Frank–Wolfe (NFW) и Weighted Fukushima Frank–Wolfe (WFFW). Эти алгоритмы являются некоторым идейным продолжением алгоритмов BFW и FFW. Таким образом, если первый алгоритм использовал на каждой итерации два последних направления предыдущих итераций для выбора следующего направления, сопряженного к ним, то предложенный алгоритм NFW использует $N$ предыдущих направлений. В случае же Fukushima Frank –Wolfe в качестве следующего направления берется среднее от нескольких предыдущих направлений. Соответственно этому алгоритму предложена модификация WFFW, использующая экспоненциальное сглаживание по предыдущим направлениям. Для сравнительного анализа были проведены эксперименты с различными модификациями на нескольких наборах данных, представляющих городские структуры и взятых из общедоступных источников. За метрику качества была взята величина относительного зазора. Результаты экспериментов показали преимущество алгоритмов, использующих предыдущие направления для выбора шага, перед классическим алгоритмом Frank–Wolfe. Кроме того, было выявлено улучшение эффективности при использовании более двух сопряженных направлений. Например, на многих датасетах модификация 3-conjugate FW сходилась наилучшим образом. Кроме того, предложенная модификация WFFW зачастую обгоняла FFW и CFW, хотя и проигрывала модификациям NFW.

The paper presents various modifications of the Frank–Wolfe algorithm in the equilibrium traffic assignment problem. The Beckman model is used as a model for experiments. In this article, first of all, attention is paid to the choice of the direction of the basic step of the Frank–Wolfe algorithm. Algorithms will be presented: Conjugate Frank–Wolfe (CFW), Bi-conjugate Frank–Wolfe (BFW), Fukushima Frank –Wolfe (FFW). Each modification corresponds to different approaches to the choice of this direction. Some of these modifications are described in previous works of the authors. In this article, following algorithms will be proposed: N-conjugate Frank–Wolfe (NFW), Weighted Fukushima Frank–Wolfe (WFFW). These algorithms are some ideological continuation of the BFW and FFW algorithms. Thus, if the first algorithm used at each iteration the last two directions of the previous iterations to select the next direction conjugate to them, then the proposed algorithm NFW is using more than $N$ previous directions. In the case of Fukushima Frank–Wolfe, the average of several previous directions is taken as the next direction. According to this algorithm, a modification WFFW is proposed, which uses a exponential smoothing from previous directions. For comparative analysis, experiments with various modifications were carried out on several data sets representing urban structures and taken from publicly available sources. The relative gap value was taken as the quality metric. The experimental results showed the advantage of algorithms using the previous directions for step selection over the classic Frank–Wolfe algorithm. In addition, an improvement in efficiency was revealed when using more than two conjugate directions. For example, on various datasets, the modification 3FW showed the best convergence. In addition, the proposed modification WFFW often overtook FFW and CFW, although performed worse than NFW.

Данная работа лежит в области неравновесной статистической механики. Она посвящена изучению пространственно-временного поведения изолированных многочастичных систем. Сформулирована феноменологическая модель, сочетающая законы классической динамики с присутствием случайных переходов между различными микроскопическими состояниями системы. Все процессы, происходящие с такой системой, имеют место на замкнутой гиперповерхности в фазовом пространстве координат-импульсов. Эта поверхность соответствует фиксированному значению энергии системы; она обозначена как ${\mathrm Surf}_{\mathrm E}^{}$. Кинетическое уравнение для плотности вероятностей распределения системы в фазовом пространстве $f(\vec{x},\,t)$ приведено к форме, удобной для нахождения решений этого уравнения ($\vec{x}$ — совокупность фазовых переменных). Дано доказательство того, что экстремум энтропии системы, который находится методом вариационного исчисления, является максимумом. Вблизи своего максимума энтропия пропорциональна интегралу от квадрата вариации $f(\vec{x},\,t)$ по всему объему гиперповерхности ${\mathrm Surf}_{\mathrm E}^{}$. Найдена зависимость энтропии от вариации плотности распределения $f(\vec{x},\,t)$, когда эта вариация имеет постоянные значения в двух подобластях гиперповерхности, причем эти значения могут быть весьма велики. Сформулировано кинетическое уравнение для $D(\vec{x},\,t)$ — отклонения плотности распределения частиц $f(\vec{x},\,t)$ от ее равновесного значения. Найдены аналитические решения этого уравнения для нескольких вариантов зависимости скорости случайных переходов от расстояния между начальным и конечным микроскопическими состояниями перехода. Если эта скорость не зависит от вышеназванного расстояния, то исходная форма $D(\vec{x},\,t)$ сохраняется в течение всего процесса экспоненциального затухания величины $D(\vec{x},\,t)$. Рассмотрен переходный процесс в более общем случае, когда случайные переходы возможны только в ограниченном диапазоне расстояний между микросостояниями. Тогда величина $D(\vec{x},\,t)$ равна сумме пространственных мод, каждая из которых при стремлении плотности распределения к равновесному значению затухает со своей скоростью. Чем выше порядок моды, тем быстрее она затухает. Поэтому в данном случае переходный процесс приводит не только к общему уменьшению $D(\vec{x},\,t)$, но и к сглаживанию первоначальной формы $D(\vec{x},\,t)$. Найдена общая зависимость разности между равновесным и неравновесным значениями энтропии от величины $D(\vec{x},\,t)$.

This work lies in the field of nonequilibrium statistical mechanics. It investigates the spatiotemporal behavior of isolated many-particle systems. A phenomenological model has been formulated that combines the laws of classical dynamics and random transitions between various microscopic states of the system. All processes occurring with such a system take place on a closed hypersurface in a coordinate-momentum phase space. This surface corresponds to a fixed value of energy of the system; it is designated as ${\mathrm Surf}_{\mathrm E}^{}$. The kinetic equation for the probability density distribution of a system in a phase space,~$f(\vec{x},\,t)$, is reduced to a form convenient for finding solutions to this equation ($\vec{x}$ is a set of phase variables). Proof is given that the extremum of the entropy of the system, which is found by the calculus of variations, is a maximum. Near its maximum, entropy is proportional to the integral of the squared variation of $f(\vec{x},\,t)$ over the entire volume of the hypersurface~${\mathrm Surf}_{\mathrm E}^{}$. The dependence of entropy on density variation distribution $f(\vec{x},\,t)$ has been found, when this variation has constant values in two subregions of the hypersurface; these values can be rather large. A kinetic equation has been formulated for the $D(\vec{x},\,t)$, deviation of particle distribution density $f(\vec{x},\,t)$ from its equilibrium value. Analytical solutions of this equation have been found for several variants of the dependence of the rate of random transitions on the distance between the initial and final microscopic states of the transition. If this rate does not depend on the above-mentioned distance, the initial shape of $D(\vec{x},\,t)$ is maintained throughout the entire process of the exponential decay of the quantity $D(\vec{x},\,t)$. The transition process is considered in a more general case, when random transitions are possible only in a limited range of distances between microstates. Then the value $D(\vec{x},\,t)$ is equal to the sum of spatial modes, each of which, as the distribution density tends to the equilibrium, decays at its own rate. The higher the order of the mode, the faster it decays. Therefore, in this case, the transition process leads not only to a general decrease of $D(\vec{x},\,t)$, but also to a smoothing of the $D(\vec{x},\,t)$ original shape. The general dependence of the difference between the equilibrium and nonequilibrium entropy values on $D(\vec{x},\,t)$ has been found.

Число работ, посвященных прогнозированию инфекционной заболеваемости, стремительно растет по мере появления статистики, позволяющей провести анализ. В настоящей статье представлен обзор основных решений, доступных сегодня для формирования как краткосрочных, так и долгосрочных проекций заболеваемости; указаны их ограничения и возможности практического применения. Рассмотрены традиционные методы анализа временных рядов — регрессионные и авторегрессионные модели; подходы, опирающиеся на машинное обучение — байесовские сети и искусственные нейронные сети; рассуждения на основе прецедентов; техники, базирующиеся на решении задачи фильтрации. Перечислены важнейшие направления разработки математических моделей распространения заболевания: классические аналитические модели, детерминированные и стохастические, а также современные имитационные модели, сетевые и агентные.

The number of papers addressing the forecasting of the infectious disease morbidity is rapidly growing due to accumulation of available statistical data. This article surveys the major approaches for the shortterm and the long-term morbidity forecasting. Their limitations and the practical application possibilities are pointed out. The paper presents the conventional time series analysis methods — regression and autoregressive models; machine learning-based approaches — Bayesian networks and artificial neural networks; case-based reasoning; filtration-based techniques. The most known mathematical models of infectious diseases are mentioned: classical equation-based models (deterministic and stochastic), modern simulation models (network and agent-based).

Предлагается пространственно распределенная математическая модель эволюции пяти состояний миокардиальной ткани — здорового миокарда, воспалительного инфильтрата, некроза, замещающего фиброза и интерстициального фиброза — в виде многокомпонентной реакционно-диффузионной системы параболического типа. Разработка таких моделей имеет ключевое значение для понимания механизмов постинфарктного ремоделирования левого желудочка и прогнозирования структурных аритмогенных субстратов. В каждой точке области состояние ткани описывается вектором параметров распределения Дирихле, что позволяет одновременно учитывать средний тканевой состав и уровень неопределенности классификации, связанный с гетерогенными переходными зонами повреждения. Дополнительной особенностью предложенной постановки является использование нелинейного анизотропного тензора диффузии, интенсивность направленной компоненты которого локально управляется суммарной долей поврежденной ткани.

Для усеченной системы, совпадающей с исходной в инвариантной области, устанавливаются локальная липшицевость и квазиположительность расширенного реакционного оператора. Доказаны глобальное существование слабого решения, неотрицательность, явная априорная верхняя оценка и количественная экспоненциальная нижняя оценка. Из этих результатов следуют инвариантность допустимой области и существование глобального слабого решения исходной модели. Доказана единственность в усиленном классе решений, задаваемом дополнительной регулярностью градиентов. Для обратимого вспомогательного варианта матрицы переходов формально выводится энтропийный баланс для гладких положительных решений; для клинически обоснованной необратимой матрицы переходов формулируется модовое условие спектральной устойчивости линеаризации.

В вычислительной части получено условие положительности для реакционного подшага схемы расщепления относительно адаптивного верхнего барьера траектории и выполнены численные эксперименты для воспроизводимой калиброванной вычислительной версии. В одномерном сценарии к $60$-м суткам в центре очага доля замещающего фиброза возрастает с $0,091$ до $0,855$, а суммарный параметр концентрации $\alpha_0$ — с $11,0$ до $15,9$; в двумерном сценарии на $14$-е сутки средняя величина $\overline p_4^{}$ составляет $0,431$ в ядре повреждения против $0,097$ в здоровой зоне. Доказана корректность модели для анализа процессов рубцевания и переходных зон, что формирует математическую базу для интеграции алгоритма с данными пациент-специфической клинической визуализации.

A spatially distributed mathematical model is proposed for the evolution of five myocardial tissue states — healthy myocardium, inflammatory infiltrate, necrosis, replacement fibrosis, and interstitial fibrosis — in the form of a multicomponent parabolic reaction – diffusion system. At each spatial point the tissue state is described by a vector of Dirichlet concentration parameters, which allows one to encode both the expected tissue composition and the uncertainty of classification associated with transition zones of damage. For a truncated system that coincides with the original one inside an invariant region, local Lipschitz continuity and quasi-positivity of the extended reaction operator are established. Global existence of a weak solution, non-negativity, an explicit a priori upper bound, and a quantitative exponential lower bound are proved. These results imply invariance of the admissible region and hence existence of a global weak solution to the original model. Uniqueness is established in a strengthened class of solutions characterized by additional gradient regularity. For an auxiliary reversible transition matrix, a formal entropy balance is derived for smooth positive solutions; for the clinically motivated irreversible transition matrix, a modal spectral stability condition is formulated for the linearized problem. On the numerical side, a positivity condition is derived for the reaction substep of a splitting scheme relative to an adaptive upper trajectory bound, and numerical experiments are conducted for a reproducible calibrated computational variant. In the one-dimensional scenario, by day $60$ the replacement-fibrosis fraction at the lesion center increases from $0.091$ to $0.855$, while the total concentration parameter $\alpha_0$ rises from $11.0$ to $15.9$; in the two-dimensional scenario, on day $14$ the mean value of $\overline p_4^{}$ is $0.431$ in the lesion core versus $0.097$ in the healthy region. These results confirm the mathematical well-posedness of the proposed model and its applicability for the quantitative description of post-infarction scar formation and heterogeneous transition zones.