Все выпуски

В настоящее время интенсивное развитие получило направление в рамках теории распределенных вычислений, когда вычислительные задачи решаются распределенно коллективом ресурсно ограниченных устройств. На практике такой сценарий реализуется при обработке данных в системах интернета вещей, когда с целью снижения латентности систем и загруженности сетевой инфраструктуры данные обрабатываются на вычислительных устройствах края сети, в то время как стремительный рост и распространение систем интернета вещей ставят вопрос о необходимости разработки методов снижения ресурсоемкости производимых вычислений. Ресурсная ограниченность вычислительных устройств ставит следующие вопросы распределения вычислительных ресурсов: во-первых, необходимость учета ресурсной стоимости транзита данных между решаемыми на различных устройствах задачах, во-вторых, необходимость учета ресурсной стоимости непосредственно процесса распределения вычислительных ресурсов, что особенно актуально для групп автономных устройств (роботы различных типов, сенсорные сети и др.). Анализ современных публикаций, представленных в открытом доступе, продемонстрировал отсутствие предложенных моделей или методов распределения вычислительных ресурсов, которые бы совместно учитывали перечисленное, что делает создание новой математической модели организации распределенных вычислений в системах интернета вещей и методов ее решения актуальными.

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

Результаты экспериментального исследования продемонстрировали целесообразность использования предложенных моделей и эвристических методов: достигается распределение вычислительных ресурсов со снижением ресурсной стоимости решения вычислительной задачи до 52 % при учете ресурсной стоимости транзита данных, экономия ресурсов до 73 % при дополнении основных критериев оптимизации распределения задач критерием минимизации количества и расстояний миграций подзадач вычислительной задачи (ВЗ), а также снижение ресурсной стоимости решения задачи распределения вычислительных ресурсов до 28 раз со снижением качества полученного распределения до 10 %.

Currently, a significant development has been observed in the direction of distributed computing theory, where computational tasks are solved collectively by resource-constrained devices. In practice, this scenario is implemented when processing data in Internet of Things systems, with the aim of reducing system latency and network infrastructure load, as data is processed on edge network computing devices. However, the rapid growth and widespread adoption of IoT systems raise questions about the need to develop methods for reducing the resource intensity of computations. The resource constraints of computing devices pose the following issues regarding the distribution of computational resources: firstly, the necessity to account for the transit cost between different devices solving various tasks; secondly, the necessity to consider the resource cost associated directly with the process of distributing computational resources, which is particularly relevant for groups of autonomous devices such as drones or robots. An analysis of modern publications available in open access demonstrated the absence of proposed models or methods for distributing computational resources that would simultaneously take into account all these factors, making the creation of a new mathematical model for organizing distributed computing in IoT systems and its solution methods topical. This article proposes a novel mathematical model for distributing computational resources along with heuristic optimization methods, providing an integrated approach to implementing distributed computing in IoT systems. A scenario is considered where there exists a leader device within a group that makes decisions concerning the allocation of computational resources, including its own, for distributed task resolution involving information exchanges. It is also assumed that no prior knowledge exists regarding which device will assume the role of leader or the migration paths of computational tasks across devices. Experimental results have shown the effectiveness of using the proposed models and heuristics: achieving up to a 52% reduction in resource costs for solving computational problems while accounting for data transit costs, saving up to 73% of resources through supplementary criteria optimizing task distribution based on minimizing fragment migrations and distances, and decreasing the resource cost of resolving the computational resource distribution problem by up to 28 times with reductions in distribution quality up to 10%.

Предложен метод численного решения квазигидродинамических уравнений на неструктурированных треугольных сетках. В качестве сетки была использована триангуляция Делоне. Система уравнений аппроксимировалась с помощью метода конечных объемов. Граница области аппроксимировалась прямоугольными треугольниками. На основе данного алгоритма была разработана программа и проведена серия тестов, результаты которых показали, что данный алгоритм дает результаты, которые хорошо совпадают с результатами расчетов, выполненных на регулярных сетках.

A new flow modeling method on unstructured grid was proposed. As a basis system this method used quasi-hydro-dynamic equations. The finite volume method vas used for solving these equations. The Delaunay triangulation was used for constructing mesh. This proposed method was tested in modeling of incompressible flow through a channel with complex profile. The acquired results showed that the proposed method could be used in flow modeling in unstructured grid.

Первое решение для ветрового движения однородной жидкости было найдено в 1905 г. Экманом и представляло собой сумму двух слагаемых: дрейфовой составляющей, определяемой напряжением ветра, и геострофической, определяемой наклоном свободной поверхности. Дрейфовая составляющая определяется конкретной формулой и легко поддается анализу. Нахождение геострофической составляющей требует решения уравнения эллиптического типа в области, ограниченной береговой линией, и представляет собой более сложную задачу. В данной работе приводятся примеры областей и ветровых напряжений, когда уравнения для нахождения геострофической составляющей решаются аналитически.

The first solution for wind-induced flow of homogeneous fluid was found in 1905 by Ekman and it involved the sum of two components: the drift current determined by wind stress and the geostrophic current determined by slope of the free surface. Drift current is defined by the specific formula and can be easily analyzed. In order to find the geostrophic current it is necessary to solve an elliptic type equation in the area bounded by coastline and it is a more difficult problem. In this paper examples of areas and wind stresses are given for the case when the equations for finding the geostrophic current are solved analytically.

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

Mathematical model of infiltrative tumour growth taking into account transitions between two possible states of malignant cell is investigated. These transitions are considered to depend on oxygen level in a threshold manner: high oxygen concentration allows cell proliferation, while concentration below some critical value induces cell migration. Dependence of infiltrative tumour spreading rate on model parameters has been studied. It is demonstrated that if the level of tissue oxygenation is high, tumour spreading rate remains almost constant; otherwise the spreading rate decreases dramatically with oxygen depletion.

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

An approach to evaluation of a parametric portrait of integral equations of the theory of liquids in the RISM approximation was proposed. To obtain all associated solutions the continuation method was used. The equations reduced to a two-centered molecule model for symmetry reasons were deduced for molecular liquids. For molecular liquids, some equations were obtained which could be reduced, for symmetry reasons, to a two-center molecular model. To avoid critical points we changed the dependence of RISM-equations on reverse compressibility. The suggested method was used to perform numerical computations of methane reverse compressibility isotherms with three closures. No bifurcation of solutions was observed in the case of the partially linearized hypernetted chain closure. For other closures bifurcations of solutions were obtained and the model behavior nontypical for simple liquids was observed. In the case of Percus-Yevick closure nonphysical solutions were obtained at low temperature and density. Additional solution branch with a kink in the bifurcation point was obtained in the case of hypernetted chain closure at temperature above the critical point.

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

Numerical methods of obtaining collective and one-particle states were used for the quantum description of two-nuclear systems behavior at the initial stage of near-barrier heavy nuclei fusion. The collective exited states in such systems represent concordant oscillations of surfaces of spherical nuclei. The one-particle states of the external neutrons are similar to the states of valence electrons of diatomic molecules.

Двумерная система электрически связанных возбудимых клеток, описанных моделью ФитцХью-Нагумо, была использована для теоретического анализа механизмов распространения потенциала действия (ПД) в тканях высших растений. Показано, что в системе, состоящей из одинаковых элементов, увеличение электрической проводимости между клетками повышало как скорость распространения, так и порог возбуждения ПД. Для имитации симпласта проводящих пучков растений была использована система, состоящая из элементов со слабой электрической связью, которые описывали паренхимные клетки проводящих пучков, и элементов с сильной электрической связью, которые описывали ситовидные элементы. При этом показано,
что порог возбуждения ПД приближался к порогу системы, состоящей только из элементов со слабой электрической связью, а скорость распространения сигнала была значительно выше, нежели в такой системе.

A two-dimensional system of excitable cells, describing by the FitzHugh-Nagumo model, has been used for a theoretical investigation of an action potential propagation (AP) in vascular plant tissues. It is shown that growth of electrical conductivity between cells increases the AP generation threshold and its propagation velocity in the homogeneous system, which has been formed by equal elements. The plant symplast has been
described by the heterogeneous system, including elements with low electrical conductivity, which simulate parenchyma cells, and elements with high electrical conductivity, which simulate sieve elements. Analysis of this system shows that the threshold of the AP generation is similar with this threshold in the homogeneous system
with low electrical conductivity; the velocity of the AP propagation is faster than one in this system.

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

A mathematical model for the evolution of microbial populations during prolonged cultivation in a chemostat has been constructed. This model generalizes the sequence of the well-known mathematical models of the evolution, in which such factors of the genetic variability were taken into account as chromosomal mutations, mutations in plasmid genes, the horizontal gene transfer, the plasmid loss due to cellular division and others. Liapunov’s function for the generic model of evolution is constructed. The existence proof of bounded, positive invariant and globally attracting set in the state space of the generic mathematical model for the evolution is presented because of the application of La-Salle’s theorem. The analytic description of this set is given. Numerical methods for estimate of the number of limit sets, its location and following investigation in the mathematical models for evolution are discussed.

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

The method of modelling of a compact bone tissue microstructure is presented. The modelling sample is considered as set of the structural elements containing reinforcing element – osteon and a matrix. The form of structural elements is defined by distances to next osteons and directions of next osteons arrangement. Calculation of the stress and strain state of the modelling sample is carried out at tension in program complex ANSYS. Results of calculation have shown, that haversian canals are stress concentrators.

Предложена модель расчета межслоевой магнитостатической энергии и оценка ее вклада в общую магнитную энергию многослойных пленок. Данная модель была применена для расчета трехслойной структуры Co/Cu/Co. Сравнение полученных теоретических результатов с экспериментальными данными позволило оценить влияние магнитостатического взаимодействия на величину и характер поведения поля насыщения подобных структур.

The computation model of the interlayer magnetostatic energy and its contribution into the total magnetic energy of multilayer films has been proposed. The model has been used for the energy computation of three-layer Co/Cu/Co structure. The comparison of obtained theoretical results with experimental data has been allowed made an estimation of magnetostatic interaction influence on a value and a character of saturation field behavior for such structures.