Аннотация: Современные информационные системы требуют масштабируемых архитектур для обработки больших данных и обеспечения доступности. Микросервисная архитектура, разделяющая приложения на автономные сервисы по бизнес-функциям, решает эти задачи. Однако оптимальная гранулярность микросервисов влияет на производительность, масштабируемость и управляемость. Неоптимальная декомпозиция приводит к антипаттернам, таким как избыточная мелкость или косметическая микросервисность, усложняя сопровождение. Цель исследования — сравнительный анализ методов определения гранулярности микросервисов для выявления подходов, обеспечивающих баланс производительности, гибкости и управляемости в высоконагруженных системах. Объект исследования – микросервисная архитектура высоконагруженных информационных систем, включая их структурные и функциональные характеристики, определяемые методами декомпозиции на автономные сервисы. Предмет исследования – методы определения гранулярности микросервисов (монолитная архитектура, Domain-Driven Design, Data-Driven Approach, Monolith to Microservices Approach). Применён экспериментальный подход, включающий реализацию приложения Task Manager в четырёх архитектурных конфигурациях. Нагрузочное тестирование проводилось с использованием Apache JMeter при нагрузке 1000 пользователей. Метрики производительности (время отклика, пропускная способность, CPU), доступности, масштабируемости, безопасности и согласованности собраны через Prometheus и обработаны с вычислением средних значений и стандартного отклонения. Научная новизна исследования заключается в разработке унифицированной методологии количественного анализа методов гранулярности микросервисов (монолит, DDD, Data-Driven, Monolith to Microservices), основанной на метриках (время отклика, пропускная способность, CPU, доступность, запуск, безопасность, ошибки), адаптированных для высоконагруженных систем. В отличие от качественных исследований, работа предлагает комплексный подход, включая реализацию приложения Task Manager и нагрузочное тестирование (Apache JMeter, Prometheus), решая проблему выбора оптимальной декомпозиции для повышения производительности и масштабируемости. Методология применима для автоматизации оценки архитектур в CI/CD. Монолит показал минимальное время отклика (0.76 с) и пропускную способность (282.5 запросов/с), но ограничен масштабируемостью. Data-Driven обеспечивает согласованность, DDD эффективен для сложных доменов, Monolith to Microservices имеет низкую производительность (15.99 с) из-за перегрузки авторизации. Ограничение — хост-система (8 ГБ RAM), снижающая масштабируемость. Рекомендации: оптимизировать сетевые вызовы в DDD, доступ к данным в Data-Driven, декомпозицию в Monolith to Microservices.

Ключевые слова: микросервисная архитектура, гранулярность микросервисов, Domain-Driven Design, Data-Driven Approach, Monolith to Microservices, производительность, масштабируемость, согласованность данных, экспериментальный анализ, высоконагруженные системы

Abstract: Modern information systems require scalable architectures for processing big data and ensuring availability. Microservice architecture, based on decomposing applications into autonomous services focused on business functions, addresses these challenges. However, the optimal granularity of microservices impacts performance, scalability, and manageability. Suboptimal decomposition leads to anti-patterns, such as excessive fineness or cosmetic microservice architecture, complicating maintenance. The aim of the study is a comparative analysis of methods for determining the granularity of microservices to identify approaches that provide a balance of performance, flexibility, and manageability in high-load systems. The object of the study is the microservice architecture of high-load systems. The subject of the research is the comparison of granularity methods, including monolith, DDD, Data-Driven Approach, Monolith to Microservices, and their impact on the system. The study employs an experimental approach, including the implementation of a Task Manager application in four architectural configurations. Load testing was conducted using Apache JMeter under a load of 1000 users. Performance metrics (response time, throughput, CPU), availability, scalability, security, and consistency were collected via Prometheus and processed to calculate averages and standard deviations. The scientific novelty lies in the development of a methodology for comparative analysis of decomposition methods using unified metrics adapted for high-load systems, setting this study apart from works that focus on qualitative assessments. The results of the experiment showed that the monolithic architecture provides the minimum response time (0.76 s) and high throughput (282.5 requests/s) under a load of 1000 users, but is limited in scalability. The Data-Driven Approach ensures data consistency, DDD is effective for complex domains, while Monolith to Microservices demonstrates low performance (response time 15.99 s) due to the overload of the authorization service. A limitation of the study is the use of a single host system (8 GB RAM), which may restrict the scalability of the experiment. The obtained data are applicable for designing architectures of high-load systems. It is recommended to optimize network calls in DDD (based on response time of 1.07 s), data access in Data-Driven (response time of 5.49 s), and to carefully plan decomposition for Monolith to Microservices to reduce the load on services (response time of 15.99 s).

Keywords: experimental analysis, data consistency, scalability, performance, Monolith to Microservices, Data-Driven Approach, Domain-Driven Design, granularity of microservices, microservice architecture, high-load systems

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

Ключевые слова: многословные выражения, идиомы, двуязычные корпусы, машинный перевод, нейронный машинный перевод, немецкий язык, русский язык, лингвистические пары, системы, набор данных

Abstract: There has been a debate in various circles of the public for decades about whether a "machine can replace a person." This also applies to the field of translation. And so far, some are arguing, others are "making a dream come true." Therefore, now more and more research is aimed at improving machine translation systems (hereinafter MP). To understand the advantages and disadvantages of MP systems, it is necessary, first of all, to understand their algorithms. At the moment, the main open problem of neural machine translation (NMP) is the translation of idiomatic expressions. The meaning of such expressions does not consist of the meanings of their constituent words, and NMT models tend to translate them literally, which leads to confusing and meaningless translations. The research of idioms in the NMP is limited and difficult due to the lack of automatic methods. Therefore, despite the fact that modern NMP systems generate increasingly high-quality translations, the translation of idioms remains one of the unsolved tasks in this area. This is due to the fact that idioms, as a category of verbose expressions, represent an interesting linguistic phenomenon when the general meaning of an expression cannot be made up of the meanings of its parts. The first important problem is the lack of special data sets for learning and evaluating the translation of idioms. In this paper, we solve this problem by creating the first large-scale dataset for translating idioms. This data set is automatically extracted from the German translation corpus and includes a target set in which all sentences contain idioms, and a regular training corpus in which sentences containing idioms are marked. We have released this dataset and are using it to conduct preliminary experiments on NMP as a first step towards improving the translation of idioms.

Keywords: Russian, German, Neural Machine Translation, machine translation, bilingual corpora, idioms, multiword expression, language pairs, systems, Data Set

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

Ключевые слова: многочлены, нахождение корней, итерационные методы, численные методы, численные алгоритмы, алгебраическое уравнение, сопряженные комплексные корни, рекурсивные алгоритмы, корни многочленов, локализация корней

Abstract: The subject of the article is the consideration and analysis of a set of algorithms for numerically finding the roots of polynomials, primarily complex ones based on methods for searching for an approximate decomposition of the initial polynomials into multipliers. If the numerical finding of real roots usually does not cause difficulties, then a number of difficulties arise with finding complex roots. This article proposes a set of algorithms for sequentially finding multiple roots of polynomials with real roots, then real roots by highlighting intervals that potentially contain roots and obviously do not contain them, and then complex roots of polynomials. To find complex roots, an iterative approximation of the original polynomial by the product of a trinomial by a polynomial of a lesser degree is used, followed by the use of the tangent method in the complex domain in the vicinity of the roots of the resulting trinomial. To find the roots of a polynomial with complex coefficients, we propose a solution to an equivalent problem with real coefficients.  The implementation of the tasks is carried out by step-by-step application of a set of algorithms. After each stage, a group of roots is allocated and the same problem is solved for a polynomial of lesser degree. The sequence of the proposed algorithms makes it possible to find all the real and complex roots of the polynomial. To find the roots of a polynomial with real coefficients, an algorithm is constructed that includes the following main steps: determining multiple roots with a corresponding decrease in the degree of the polynomial; allocating a range of roots; finding intervals that are guaranteed to contain roots and finding them, after their allocation, it remains to find only pairs of complex conjugate roots; iterative construction of trinomials that serve as an estimate of the values of such pairs with minimal the accuracy sufficient for their localization; the actual search for roots in the complex domain by the tangent method. The computational complexity of the proposed algorithms is polynomial and does not exceed the cube of the degree of the polynomial, which makes it possible to obtain a solution for almost any polynomials arising in real problems. The field of application, in addition to the polynomial equations themselves, is the problems of optimization, differential equations and optimal control that can be reduced to them.

Keywords: recursive algorithms, roots of polynomials, conjugate complex roots, algebraic equation, numerical algorithms, numerical methods, iterative methods, root finding, polynomials, root localization

Аннотация: В настоящей работе был выполнен расчет статической прочности лопасти БПЛА из композиционного материала. Композиционные материалы имеют преимущество над традиционными материалами (металлами и сплавами) в области авиации – выигрыш в весе, низкая чувствительность к повреждениям, высокая жесткость, высокие механические характеристики. При этом определение уязвимых мест в слоистой конструкции является сложной задачей и на практике решается с помощью разрушающего контроля. При моделировании были использованы композитные материалы, имеющиеся в библиотеке материалов ANSYS: Epoxy Carbon Woven (230 Gpa) Prepreg тканный углепластик в виде препрега – полуфабриката, пропитанной эпоксидной смолой углеткани с модулем Юнга Е=230 ГПа и Epoxy Carbon (230 Gpa) Prepreg однонаправленный углепластик-препрег, пропитанный эпоксидной смолой с модулем Юнга Е=230 ГПа. Комплексно исследовать слоистую конструкцию позволяют современные программные продукты, такие как, ANSYS WorkBench. Были исследованы несколько вариантов конструкций лопасти с разными наполнителями в качестве срединного материала. Был использован прямой и обратный критерий разрушения на основе теории Цая-Хилла. Влияние силы тяжести не учитывалось. Показано, что разработанная конструкция лопасти соответствует предъявляемым требованиям. В качестве срединного материала лопасти были выбраны материалы – древесина бальзы, сосны, осины и пенополиуретан. Древесина сосны и осины были выбраны по критерию их доступности и имеющие наименьшую плотность. В библиотеке материалов используемого программного комплекса ANSYS WorkBench имеются характеристики не на все из них, поэтому характеристики выбранных материалов (сосны и осины) были добавлены вручную. Для моделирования и расчетов в программе ANSYS WorkBench необходимы такие характеристики как плотность, модули упругости по осям, коэффициенты Пуассона, модули сдвига и пределы прочности при растяжении и сжатии.

Ключевые слова: композиционный материал, лопасть, статическая прочность, ANSYS WorkBench, напряжение, критерий разрушения, теории Цая-Хилла, углеткань, стеклопластик, срединные наполнители

Abstract: In this paper, the static strength of a UAV blade made of composite material was calculated. Composite materials have an advantage over traditional materials (metals and alloys) in the field of aviation – gain in weight, low sensitivity to damage, high rigidity, high mechanical characteristics. At the same time, the identification of vulnerabilities in a layered structure is a difficult task and in practice is solved with the help of destructive control. Composite materials available in the ANSYS materials library were used in the modeling: Epoxy Carbon Woven (230 Gpa) Prepreg woven carbon fiber in the form of a semi–finished prepreg impregnated with epoxy resin carbon fiber with Young's modulus E=230 GPa and Epoxy Carbon (230 Gpa) Prepreg is a unidirectional carbon fiber prepreg impregnated with epoxy resin with a Young's modulus E=230 GPa. Modern software products, such as ANSYS WorkBench, allow comprehensive investigation of the layered structure. Several variants of blade designs with different fillers as the median material were investigated. The forward and reverse destruction criteria based on the Tsai-Hill theory were used. The influence of gravity was not taken into account. It is shown that the developed blade design meets the requirements. Balsa wood, pine, aspen and polyurethane foam were chosen as the middle material of the blade. Pine and aspen wood were selected according to the criteria of their availability and having the lowest density. The materials library of the ANSYS WorkBench software package used does not have characteristics for all of them, so the characteristics of the selected materials (pines and aspens) were added manually. For modeling and calculations in the ANSYS WorkBench program, such characteristics as density, axial elastic modulus, Poisson's coefficients, shear modulus and tensile and compressive strength limits are required.

Keywords: middle fillers, fiberglass, carbon fabrics, Tsai-Hill theory, failure criterion, stress, ANSYS WorkBench, static strength, blade, composite material

Аннотация: Объектом исследования являются математические методы моделирования. Предметом исследования является применение математических методов при моделировании цифровых двойников социальной группы. Целью работы является моделирование цифровых двойников социальной группы. Цифровой двойник представляет собой цифровую копию физического объекта или процесса, при правильном подходе помогает улучшать основные и вспомогательные бизнес-процессы. Данная концепция является частью четвертой промышленной революции и призвана помочь быстрее обнаруживать проблемы, выяснить, что будет происходить с оригиналом в различных условиях и, как следствие, производить более качественную продукцию. В настоящей статье рассмотрены некоторые прикладные аспекты, приведены основные положения математической теории цифровых двойников социальных групп. Для решения задачи создания цифрового двойника социальной группы (студентов) в качестве одного из инструментов авторами предложено использовать технологии популяционных алгоритмов. Новизна исследования состоит в применении алгоритма роя части для моделировании цифровых двойников социальной группы. В качестве инструмента исследования был выбран метод роя частиц. Как исследуемая социальная группа находит оптимальное положение в пространстве, так и элемент цифрового двойника модели роя частиц на их основе может осуществлять поиск в пространстве, в частности, экстремумы функций. Что, например, применимо для поиска минимума функции потерь в машинном обучении. Проведена графическая симуляция на языке Java Script с использованием библиотеки three.js. Обработка данных производилась с применением C# Job System, которая обеспечивает параллелизацию процессов вычислений и интегрирована в Entity Component System. Была реализована программа, имитирующая деятельность студенческой группы как одной из составляющих элементов цифрового двойника социальной группы. Роевые алгоритмы перспективны в области практического применения. На их основе можно не только решать задачи цифровых двойников, но и управлять группами роботов, роботизированных систем и комплексов.

Ключевые слова: цифровой двойник, социальная группа, математическая модель, роевые алгоритмы, модель boids, язык Java Script, популяционные алгоритмы, библиотека Job System, алгоритм поиска, параллелизация модели

Abstract: The object of the study is mathematical modeling methods. The subject of the study is the application of mathematical methods in modeling digital twins of a social group. The aim of the work is to model the digital counterparts of a social group. A digital double is a digital copy of a physical object or process, with the right approach, it helps to improve the main and auxiliary business processes. This concept is part of the fourth industrial revolution and is designed to help detect problems faster, find out what will happen to the original in different conditions and, as a result, produce better products. In this article, some applied aspects are considered, the main provisions of the mathematical theory of digital twins of social groups are presented. To solve the problem of creating a digital double of a social group (students) as one of the tools, the authors proposed to use the technologies of population algorithms. The novelty of the research consists in the application of the swarm part algorithm for modeling digital twins of a social group. The particle swarm method was chosen as a research tool. As the social group under study finds the optimal position in space, so the element of the digital twin of the particle swarm model based on them can search in space, in particular, the extremes of functions. Which, for example, is applicable to finding the minimum of the loss function in machine learning. A graphical simulation in the Java Script language was performed using the three library.js. Data processing was performed using the C# Job System, which provides parallelization of computing processes and is integrated into the Entity Component System. A program was implemented that simulates the activity of a student group as one of the constituent elements of a digital twin of a social group. Swarm algorithms are promising in the field of practical application. On their basis, it is possible not only to solve the problems of digital twins, but also to manage groups of robots, robotic systems and complexes.

Keywords: library Job System, population algorithms, JavaScript language, boids model, swarm algorithms, mathematical model, social group, digital twin, search algorithm, model parallelization

Аннотация: В статье предлагается описание параметрических объектов со сферическими порами методом обобщенной линейной интерполяции. Увеличение объема данных изображений с высоким разрешением требует разработки алгоритмов, способных обрабатывать изображения большого размера с уменьшением вычислительных затрат. Числовые данные о геометрии пор исследуемого объекта преобразовываются в геометрию тел, состоящих из восьмиугольных порций кубической формы. Параметрические пористые объекты могут моделировать как форму, так и изопараметрическую внутреннюю часть. Часто в качестве начальных или граничных условий в численном моделировании для демонстрации внутреннего моделирования используется данный тип параметрических тел. Для формирования тела сложной формы параметрические твердотельные элементы могут быть соединены вместе. Непрерывность между элементами можно определить также как при моделировании кубических параметрических сплайнов. Много исследований посвящено реконструкции геометрической структуры пористых материалов на основе цифровых изображений объектов для лучшего понимания и представления физических процессов в пористой среде. Детальное понимание микроструктуры может быть использовано для определения физических свойств, а затем для оценки и улучшения характеристик моделируемых объектов и процессов в них. В статье представлены результаты работы предлагаемого алгоритма в среде MathCAD и программная обработка пористого тела на основе цифровых изображений.

Ключевые слова: цифровое изображение, параметрические сплайны, метод Кунса, линейная интерполяция, пористые тела, геометрическое моделирование, сферические поры, булевы операции, MathCAD, OpenSCAD

Abstract: The article offers a description of parametric objects with spherical pores by generalized linear interpolation. Increasing the volume of high-resolution image data requires the development of algorithms capable of processing large images with reduced computational costs. Numerical data on the geometry of the pores of the object under study are transformed into the geometry of bodies consisting of octagonal portions of cubic shape. Parametric porous objects can model both the shape and the isoparametric interior. Often, this type of parametric bodies is used as initial or boundary conditions in numerical modeling to demonstrate internal modeling. To form a body of complex shape, parametric solid-state elements can be connected together. The continuity between the elements can be determined in the same way as when modeling cubic parametric splines. A lot of research is devoted to the reconstruction of the geometric structure of porous materials based on digital images of objects for a better understanding and representation of physical processes in a porous medium. A detailed understanding of the microstructure can be used to determine physical properties, and then to evaluate and improve the characteristics of simulated objects and processes in them. The article presents the results of the proposed algorithm in the MathCAD environment and software processing of a porous body based on digital images.

Keywords: OpenSCAD, MathCAD, boolean operations, spherical pores, digital image, parametric splines, the Koons method, linear interpolation, porous bodies, geometric modeling

Аннотация: Предметом исследования данной работы являются модели турбулентности, базирующиеся на введении нейросетевых компонентов в известные стандартные полуэмпирические модели. Утверждается, что такой прием позволяет, обучив нейросетевые компоненты по данным, полученным с помощью достаточно точных и совершенных моделей, заменив или дополнив такими компонентами отдельные фрагменты исходных моделей, добиться существенного ускорения расчета при сохранении достаточных точности и устойчивости. Автор проводит обзор существующих классических подходов к моделированию турбулентности, на основании которого выделяет V2-F модель Дурбина, как одну из наиболее совершенных и, соответственно, перспективных в плане последующих нейросетевых модификаций. Предлагается новая модель турбулентности на базе K-W модели в сочетании с нейросетевым компонентом, обучаемым по данным V2-F модели Дурбина. Приводятся все необходимые соотношения. Свойства полученной модели исследуются в численном эксперименте по обтеканию одиночного препятствия. Результаты сравниваются с данными, полученными по иным известным полуэмпирическим моделям (K-E, K-W), а также по прямой нейросетевой модели. Показано, что предложенная модель при меньшей вычислительной трудоемкости в сравнении с иными моделями (за исключением прямой нейросетевой, которая, однако, менее точна) дает весьма высокую точность, близкую к точности модели Дурбина.

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

Abstract: The subject of this article is the models of turbulence based on introduction of neural network components into the widespread standard semi-empirical models. It is stated that such technique allows achieving significant acceleration of calculation while maintaining sufficient accuracy and stability, by training neural network components based on the data acquires with the use of fairly accurate and advanced models, as well as replacing and complementing separate fragments of the initial models with such components. An overview is give on the existing classical approaches towards modeling of turbulence, which allows determining the V2-F model suggested by Durbin as one of the most advanced, and thereby promising, with regards to subsequent neural network modifications. The author offers the new model of turbulence based on K-W models paired with a neural network component trained in accordance with the V2-F Durbin model. All necessary ratios are provided. The properties of the obtained model are examined in terms of the numerical experiment on the flow over of a single obstacle. The results are compared with data acquired from other semi-empirical models (K-E, K-W), as well as via direct neural network model. It is demonstrated that the proposed model, with less computational labor output in comparison with other models (excluding direct neural network, which, however, is less accurate), provides high precision close to precision of the Durbin model.

Keywords: aerodynamics, flow near obstacle, feed-forward network, numerical experiment, continuous media mechanics, Durbin's model, neural network, turbulence model, calculation speedup, semi-empirical models

Аннотация: The subject of this research is the frequency planning algorithm for networks with an arbitrary topology of links over radio channels. The algorithm determines the total number of non-overlapping frequency ranges for the entire network and provides the distribution of each frequency range between communication nodes. The algorithm consists of two stages: at the first stage, there is a search and simultaneous distribution of frequency channels, the so-called main frequency range, as a result, only one frequency range is allocated to each node; at the second stage, additional frequency channels are searched for, which can be used by a separate subset of nodes, thus , some nodes can use more than one frequency range, but several at once. The novelty of this research lies in the developed frequency planning algorithm for wireless communication systems with an arbitrary topology of communications over radio channels. The result of the operation of the algorithm for a wireless communication system is the allocation of radio frequencies for communication nodes from the common frequency band allocated for the wireless communication system, in terms of reuse, eliminating the effect of interference. The result for communication nodes is the allocation of a baseband and an additional frequency band, taking into account the topology of the radio network, which can be used by a separate subset that makes wireless communication systems resistant to narrowband random interference.

Ключевые слова: Communication center, Matrix, Algorithm, Communication channel, Frequency band, Radio communication, Frequency planning, Reservation, Dynamic allocation, Static distribution

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

Ключевые слова: Преследование, Преследователь, Цель, Кривизна, Линия, Траектория, Конус, Достижение, Параллельный, Плоскость

Abstract:   This article examines the model of pursuit task, when the pursuer while moving in space, adheres to the strategy of constant-bearing approach. The velocity modules of the pursuer and target are constant. The object moves evenly and straightforwardly, for certainty of the model, since the test program is written based on the materials of the article. The velocity vectors of the target and the pursuer in the beginning of the pursuit are directed arbitrarily. The iterative process consists of the three parts. Calculation of trajectory of the pursuer in space, calculation of trajectory of the pursuer in a plane, calculation of the transition of trajectory from space to a plane are conducted. All parts of the iterative process have to meet the conditions specified in a task. An important condition is that the minimum radius of curvature of the trajectory should not exceed a certain set value. The scientific novelty of the geometric model consists in the possibility to regulate the time of reaching the target by changing the length of trajectory of the pursuer, as well as the orientation of a plane of pursuit. Calculation of the point of next position of the pursuer in space is the point of intersection of the sphere, cone and plane of constant-bearing approach. A plane of constant-bearing approach is perpendicular to a plane of pursuit. In the model under review, a plane of pursuit is determined by the target velocity vector and direct target that connects the pursuer and the target (sight line). The radius of the sphere is equal to the step of the pursuer for the time interval the time of the iterative process is divided into. The angle of solution of the cone is the angle by which the velocity vector of the pursuer can turn. The mathematical model presented in the article may be of interest to developers of unmanned aerial vehicles.  

Keywords: Parallel, Attainment, Cone, Trajectory, Line, Curvature, Target, Pursuer, Persuit, Plane

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

Ключевые слова: Управление проектами, Задача о назначениях, Многофазные системы, Метод критического пути, PERT, Метод критической цепи, Метод набегающей волны, Оптимизационная задача, Временные ограничения, Случайная длительность обслуживания

Abstract: The object of this research is the modern service and production systems, the specific functioning of which lies in a set of sequential and parallel operations with a random duration. A fundamental peculiarity of such systems is the stochastic nature of the duration of a single operation, which depends not only on the external random factors, but also on the choice of resources, and namely on the operator. This substantiates the parallel solution of the task on making a schedule of mutually dependent operations and the task on assigning the operators. In the conditions of resource and time limits, this task is NP difficult and requires the development of algorithms for developing the solution that is close to optimal in the limited time. For the development of mathematical and algorithmic software to solve this task, the author used the critical path method and PERT method, incident wave method, and methods for solving the assignment tasks. As a result, the author acquired a mathematical model that considers the stochastic nature of the duration of a single operation, which depends not only on random factors, but also on the operators. Based on such model, is formulated the optimization task that allows finding the launch time and the corresponding operators to gain the most profit. Based on the analysis of existing approaches and the specificity of the task at hand, the author proposes the algorithm for solving the task founded on successive refinement of the time characteristics of operations.

Keywords: Optimization problem, Rolling wave planning, Critical chain method, PERT, Critical path method, Multiphase systems, Task assignment, Project management, Time constraints, Random service duration

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

Ключевые слова: численное моделирование, облако, кислотные дожди, водность, распределение капель, математическая модель, апробация, интерполяционные соотношения, конденсация, столкновения

Abstract: The problem of numerical modeling of the formation (as a result of condensation growth and droplet collisions) and development of primary acidulous cloud considers various factors: the presence of temperature gradients, turbulence, direct solar radiation heating the air and walls of buildings, diffuse solar radiation (which describes radiation cooling), transfer of gaseous pollutants and their absorption by droplets. The author earlier formulated the corresponding complex mathematical model that takes into account the aforementioned factors. This article sets the task of testing the droplet component of this model through numerical modeling of the processes in the emerging cloud, with subsequent comparison of the results with theoretical and empirical correlations. The author obtained the new results of numerical modeling of acidulous cloud in the air over a vast urban area with high-density development  on the basis of the comprehensive mathematical model that takes into account the above listed factors and relies on the interpolation-sectional submodel of droplet phase. The author models the dynamics and kinetics of such cloud that absorbs gaseous sulphur dioxide; and obtains results on the intensity of absorption of this pollutant in the forming cloud. The comparison of these results with the known data (Hrgian-Mazin droplet distribution and interpolation ratio for the water level of the cloud) demonstrated quite a coincidence of droplet distribution and water level of the cloud. The conclusion is made on sufficient adequacy of application of the ecological model that includes a special submodel of droplet phase.  

Keywords: approbation, mathematical model, droplet’s size distribution, water content, acid rain, cloud, numerical simulation, interpolation relations, condensation, coalescence

Аннотация: Объектом исследования в данной работе являются существующие средства компьютерного моделирования бактериальных сообществ – биоплёнок. Такие сообщества включают в себя большую часть (95-99%) бактерий и распространены повсеместно. Биоплёнки намного устойчивее одиночных бактерий к антибиотикам и другим антибактериальным средствам из-за слабой проницаемости межклеточной среды и замедления метаболизма части особей сообщества. Исследование методов воздействия на биоплёнки является важной проблемой биологии, при решении которой часто используют разнообразные средства компьютерного моделирования, позволившие добиться значительных научных результатов. Предметом исследования работы являются математические модели, используемые в современных средствах моделирования биоплёнок, и реализующее их программное обеспечение.   Основной вывод из проведённого исследования состоит в том, что существующие программы моделирования биоплёнок способны успешно воспроизводить многие аспекты поведения этих сообществ, в том числе рост, разрушение, саморегуляцию, но решение с их помощью многих актуальных проблем пока затруднено. Связано это с тем, что современные программы двумерного и трёхмерного агентного моделирования биоплёнок – BSim, iDynoMiCS, CellModeller – требуют участия в разработке квалифицированных программистов для описания взаимодействий моделируемых объектов, что затрудняет создание моделей. Наиболее перспективным направлением дальнейшего развития этого ПО представляется более активное использование средств описания поведения и взаимодействия агентов, применяемых в сфере искусственного интеллекта, например конечных автоматов или систем продукционных правил, но с обязательным сохранением биологической содержательности моделей.

Ключевые слова: конечный автомат, моделирование индивидов, клеточная модель, чувство кворума, компьютерное моделирование, модель поведения, агентная модель, биоплёнка, система правил, очистные сооружения

Abstract: The object of this research is the available means of computer modeling of bacterial communities-biofilms. Such communities include the majority (95-99%) of bacteria and are ubiquitous. Biofilms are much more resistant than single bacteria to antibiotics and other antibacterial means due to weak permeability of intercellular environment and moderation of metabolism of some specimen of the community. Examination of influence techniques on biofilms is an important problem of biology; its solution requires various computer modeling tools that allow achieving significant scientific results. The subject of this research is the mathematical models used in modern techniques of biofilm modeling, and as well as the software for their implementation. The conclusion is made that the available methods of biofilm modeling are capable of successful reproduction of multiple behavioral aspects of these bacteria communities, including growth, destruction, and self-regulation; however, certain relevant problems are yet to be resolved. This is associated with the fact that the development of modern software for two-dimensional and three-dimensional agent modeling of biofilms – BSim, iDynoMiCS, CellModeller, require competent programmers for describing the interactions between simulated objects. Most promising direction in further development of this software implies a more active usage of tools for describing behavior and interaction of agents applied in the sphere of artificial intelligence, for example, fin-state automaton or production rules systems, with mandatory preservation of biological content of the models.

Keywords: rule-based system, finite state machine, individual-based modelling, cell model, quorum sense, computer modeling, behavior model, agent model, biofilm, water treatment plant

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

Ключевые слова: радиоэлектронная аппаратура, оребрённые стержни, аддитивные технологии, вычислительный метод, расчетная сетка, поддержки, оптимизация геометрии, термоплата, термодинамические характеристики, испытание термоплат

Abstract: The authors consider a geometric model of a thermal board based on actual data obtained using the methodology of adaptation to additive manufacturing technologies of heat exchangers. The question of solving the problem of finding the most effective thermal card option by the computational method among the selected options is investigated and a comparison is made with the experimental sample made by the additive technology method to verify the selected method for obtaining computational data. The authors analyze 62 selected options for thermal boards, with the adaptation of the computational grid in the thermal board matrix. For testing, a special installation was assembled and samples were made on an EOS M290 printer. The main research methods used in the work: computational and comparative-analytical methods to obtain data on the selected options and determine the effective sample, as well as experimental to verify the data.The novelty of the study lies in the development of an effective geometric form of the thermal board and the manufacture of the selected sample by the method of additive technologies. The selected geometric model of the thermal board is manufactured using the additive technology method at the lowest cost, the rods and bases of the thermal board are self-supporting elements that do not need support. The results of research tests of a prototype thermal board confirm the correctness of the selected calculation method for determining the effective design of a thermal board manufactured by the additive technology method.

Keywords: type of heat exchanger, geometry optimization, supports, computational grid, computational method, additive manufacturing, finned rods, radioelectronic equipment, thermodynamic characteristic, test type of heat exchanger

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

Ключевые слова: распределения капель, интерполяция, сплайны, многофазные среды, конденсация, испарение, поглощение загрязнителей, многокомпонентные потоки, метод моментов, ускорение расчета

Abstract: In this article the author considers the problem of increasing the accuracy of the search for adequate droplet distributions in the numerical simulation of multiphase media including the droplet phase. This problem is especially relevant when calculating the distributions with discontinuities that occur during intercellular droplet transfer, which have their own speed, as well as in the presence of sharp drops droplets, for example, of a technogenic nature. Tasks of this kind are often encountered in calculating the processes of formation and spread of pollutants in the air, in particular when modeling acid rain. The problem of constructing distributions is considered using the methods of computational mathematics (theory of interpolation), taking into account the physical laws of conservation of mass and number of drops. The elements of the method of moments (Hill method) and the sectional approach to modeling the droplet phase are used. A new approach is proposed for modeling droplet distributions by piecewise spline interpolation according to the density and concentration of droplet components, also relying on the constructed preliminary piecewise linear distributions. The results were compared with data obtained by direct modeling of many drops, as well as data obtained using exclusively piecewise linear distributions. The higher accuracy of the proposed approach is demonstrated in comparison with the original method using only piecewise linear distributions and a rather high calculation speed is shown in comparison with the Lagrangian approach.

Keywords: multi-component flows, pollutant absorption, evaporation, condensation, multi-phase media, splines, interpolation, droplet distribution, method of moments, calculation speedup

Аннотация: Объектом исследования является космический аппарат "Спектр-Р" с космическим радиотелескопом на борту. В качестве сенсоров используется аппаратура двух бортовых водородных стандартов частоты. Многолетний мониторинг телеметрической и научной информации, передаваемой с борта космического аппарата, позволил предположить наличие внешних физических воздействий на оборудование космического радиотелескопа. Эволюционирующая эллиптическая орбита космического аппарата "Спектр-Р" позволила просканировать область орбитального резонанса космического аппарата с Луной и оценить величину физического воздействия на бортовой водородный стандарт частоты. В качестве метода измерения дальности космического аппарата "Спектр-Р" использовался реверберационно-корреляционный метод, который позволяет выполнять синхронные измерения дальности во время сеансов радиоастрономических наблюдений. Представленная технология подтвердила предположение о гравитационной природе физического воздействия на элементы космического радиотелескопа. Получен новый способ детектирования орбитального резонанса на борту космического аппарата. Изменение давления молекулярного водорода в условиях орбитального резонанса позволило существенно снизить погрешность синхронизации бортовой и наземной квантовых шкал времени.

Ключевые слова: водородный стандарт частоты, высокоинформативный радиоканал, давление молекулярного водорода, гравитационная волна, ионный насос, космический радиотелескоп, молекулярный детектор, замедление времени, космический аппарат, квантовая шкала времени

Abstract: The object of study is the Spektr-R spacecraft with a space radio telescope on board. As sensors, the equipment of two onboard hydrogen frequency standards is used. Long-term monitoring of telemetric and scientific information transmitted from the spacecraft, suggested the presence of external physical influences on the equipment of the space radio telescope. The evolving elliptical orbit of the Spektr-R spacecraft allowed us to scan the region of the orbital resonance of the spacecraft with the Moon and estimate the magnitude of the physical effect on the onboard hydrogen frequency standard. As a method of measuring the range of the Spectrum-R spacecraft, the reverberation-correlation method was used, which allows synchronous range measurements to be made during radio astronomy observations. The presented technology confirmed the assumption of the gravitational nature of the physical impact on the elements of the space radio telescope. A new method for detecting orbital resonance on board a spacecraft has been obtained. Changing the pressure of molecular hydrogen under conditions of orbital resonance significantly reduced the synchronization error of the onboard and ground quantum time scales.

Keywords: molecular detector, space radio telescope, ion pump, gravitational wave, molecular hydrogen pressure, highly informative radio channel, hydrogen frequency standard, time dilation, spacecraft, quantum time scale

Аннотация: Объектом исследования является формообразование кривой линии по дискретному множеству исходных данных. При этом в качестве исходных данных принимается дискретный ряд точек-узлов с касательными в них и значение кривизны первого сегмента в его начальном узле. Предметом исследования является дробно-рациональная кривая Безье второго порядка. Авторы подробно исследуют аспекты получения сегментов дробно-рациональных кривых Безье в направлении стыковки их по гладкости С2 с целью получения сплайна Безье. Применяется математический метод, основанный на аналитическом представлении дробно рациональных сегментов Безье 2-го порядка с использованием аппарата математического анализа и дифференциального исчисления. Новизна исследования заключается в том, что полученная математическая модель сплайна позволяет напрямую указывать в процессе формообразования типы составляющих его сегментов: параболический, эллиптический или гиперболический. Показано, что стандартная форма представления кривой Безье может быть приведена к более простой форме. Этим предлагаемая модель качественно отличается от существующих моделей. Рассмотрены численные примеры получения незамкнутого и замкнутого сплайна Безье.

Ключевые слова: сплайн интерполяция, кривая Безье, дробно-рациональная кривая, порядок гладкости С2, замкнутый контур, параметрическое представление кривой, параметризация, формообразование, аналитический метод, дискретное множество

Abstract: The object of study is shaping of the curve of the line on a discrete set of source data. In this case, a discrete series of points-nodes with tangents in them and the value of the curvature of the first segment in its initial node are taken as initial data. The subject of the study is a fractional rational Bezier curve of the second order. The authors investigate in detail the aspects of obtaining segments of rational Bezier curves in the direction of docking their C2 smoothness in order to obtain a Bezier spline.A mathematical method is applied based on the analytical representation of fractional rational Bezier segments of the second order using the apparatus of mathematical analysis and differential calculus. The novelty of the study lies in the fact that the obtained mathematical model of the spline allows you to directly indicate in the process of shaping the types of segments that make it up: parabolic, elliptical or hyperbolic. It is shown that the standard form of the Bezier curve representation can be reduced to a simpler form. This proposed model is qualitatively different from existing models. Numerical examples of obtaining open and closed Bezier spline are considered.

Keywords: parametric representation of the curve, closed loop, C2 smoothness order, rational fractional curve, Bezier curve, spline interpolation, parameterization, shaping, analytical method, discrete set

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

Ключевые слова: инкрементальная формовка, послойное деформирование, листовая штамповка, чертеж Радищева, оптимизация, оптимизация параметров, оптимизирующие факторы, параметры процесса, многомерная геометрия, моделирование

Abstract: The object of study is the geometric model of the incremental molding process of parts from sheet material.The subject of the study is a graphical model for finding the optimal values of the parameters of the molding process based on multidimensional descriptive geometry. The author in the article examined the main optimizing factors and process parameters. Particular attention is paid to the problems of constructing geometric models for determining optimizing factors (contact zone, processing time and surface quality of the resulting part) and parameter optimization (profile and trajectory of the shaping tool) for incremental shaping.The research method is a method of constructing a graphical optimization model of the process using the projection drawing of Radishchev for multidimensional space. Mathematical modeling was also applied to verify the correctness of the obtained optimal parameters. The novelty of the study lies in the application of multidimensional descriptive geometry methods for a multifactor, multicomponent system in the study of the incremental molding process in order to improve the quality of manufactured parts. Main conclusions. Using a graphical optimization model based on multidimensional descriptive geometry, a range of values of incremental molding parameters was obtained for a product of predicted quality. The process was simulated with the obtained parameters. An incremental molding of a conical-shaped sheet metal part was carried out. The results obtained correspond to the specified quality criteria.

Keywords: optimizing factors, parameter optimization, optimization, Radishchev's drawing, sheet stamping, layer-by-layer deformation, incremental sheet forming, process parameters, multidimensional geometry, modeling

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

Ключевые слова: инверсно-сегментные последовательности, генераторы псевдослучайных последовательностей, регистра сдвига, фильтр Блума, автокорреляция, анализ алгоритмов, оптимизация, вычислительная сложность, красно-черные деревья, вероятностные структуры данных

Abstract: The problem of synthesis of search algorithms for a set of inverse-segment sequences with a given period is considered. Inverse-segment sequences are pseudorandom sequences having the likelihood of the occurrence of symbols 0 and 1 and the variety of their autocorrelation functions. In hardware implementation, the most widely used are inverse-segment sequences formed by pseudorandom sequence generators based on an n-bit shift register with linear feedbacks. To use inverse-segment sequences in applied problems, as well as further study of their properties, it is necessary to solve the problem of finding a set of inverse-segment sequences with a given period, and the number of disjoint sequences increases significantly with increasing n. A number of basic approaches to the synthesis of inverse-segment sequence search algorithms are considered, and the analysis of the obtained algorithms, their algorithmic complexity, and memory consumption are carried out. Inverse segment sequences are of practical interest due to the equiprobability of the occurrence of symbols 0 and 1 and the variety of their autocorrelation functions. A number of algorithms for finding inverse-segment sequences with a given period, with the principle of enumerating the initial states of the shift register at the base, are investigated. All the considered algorithms use an abbreviated method of storing inverse segment sequences in various data structures using the number of one-to-one given inverse segment sequences. Studied their algorithmic complexity and memory consumption. Recommendations have been made for choosing an algorithm for searching inverse-segment sequences and the synthesis of new algorithms.

Keywords: computational complexity, optimization, algorithm analysis, autocorrelation, Bloom Filter, shift register, pseudo-random number generators, inverse-segmental sequences, red-black trees, probabilistic data structures

Аннотация: Предметом исследования являются алгоритмы преобразования данных на предмет устранения выбросов во временных рядах. Автором рассматриваются алгоритмы преобразования данных, основанные на среднем арифметическом и медиане, а также комбинированные методы сглаживания, как 4253Н и 3RSSH. Автор рассматривает такие аспекты темы, как изменение статистических характеристики временного ряда при применении трансформаций, а также уделяет внимание вопросам визуального представления данных и изменению поведения ряда при внедрении выбросов во временной ряд. При написании работы использовались как теоретические, так и эмпирические методы исследования: изучены работы и программные комплексы, затрагивающие данные вопросы, а также проведена серия экспериментов. Проведены вычислительные эксперименты по обработке временного ряда как без выбросов, так и с выбросами на предмет сглаживания. Проведено сравнение результатов обработки временных рядов. Предложено программное средство, позволяющее применять различные сглаживающие фильтры. Программное средство протестировано на предмет работы с различными характеристиками входных данных.

Ключевые слова: преобразование временных рядов, трансформация, фильтр, сглаживание, медианное сглаживание, сглаживание по среднему, выбросы, обработка информации, 4253H-фильтр, 3RSSH-фильтр

Abstract: The subject of the research is data conversion algorithms for eliminating outliers in time series. The author considers data conversion algorithms based on arithmetic mean and median, as well as combined smoothing methods like 4253Н and 3RSSH. The author considers such aspects of the topic as changing the statistical characteristics of the time series when applying transformations, and also pays attention to the issues of visual presentation of data and changing the behavior of the series when introducing outliers into the time series. When writing the work, both theoretical and empirical research methods were used: the work and software systems that affect these issues were studied, and a series of experiments was conducted. Computational experiments on processing the time series have been carried out both without emissions and with emissions for smoothing. A comparison of the results of processing time series. A software tool is proposed that allows the use of various smoothing filters. The software tool has been tested for working with various characteristics of the input data.

Keywords: outliers, smoothing by average, smoothing by median, smoothing, filter, transformation, time series transformation, information processing, 4253H filter, 3RSSH filter

Аннотация: The paper is dedicated to the generalization of Matheron’s theorem about covariogram to the case where possible estimation error occurs, modelled by fuzzification of convex bodies. The classic case of identification of convex bodies does not consider the cases when input information and measurement contain error term. This is general issue when applying line segment distributions to recover covariogram and later the body itself. The authors define a body and ask what result will be for the length distribution for the given fuzzy body‎. Through this procedure the authors generalize Matheron’s theorem for this case‎. The authors extensively use fuzzy statistics and fuzzy random variables to extend convex bodies and length ‎distribution functions to the fuzzy case‎. The authors use several properties of fuzzy numbers and fuzzy calculus techniques (mainly Aumann integration)‎.The authors introduce generalized fuzzy distribution to apply them in a general setting of fuzzy convex bodies. Fuzzy convex bodies are defined by adding to the convex body and subtracting (in Hukuhara sense) from its fuzzy numbers in Rn. Then the generalization of Matheron’s theorem for a fuzzy case is derived, based on fuzzy function calculus techniques. Fuzzy convex bodies can be seen as a collection of convex bodies. The authors introduced fuzzy covariogram based on fuzzy convex bodies. ‎

Ключевые слова: Еstimation error, V-lines, Gaussian field, Aumann integration, Integral geometry, Fuzzy covariogram, Fuzzy distribution, Сonvex body, Matheron’s theorem, Hukuhara Differentiability

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

Ключевые слова: Крауд-вычисления, Краудсорсинг, Разметка изображений, Аннотирование изображений, Обработка данных, Комплексирование данных, Байесовские сети, Вероятностные графические модели, Коллективный интеллект, Информационный поиск

Abstract: The article is devoted to the problem of ensuring the quality of results in information processing systems, where some operations are performed with the involvement of people, interaction with whom is carried out via the Internet. Such systems are widely used in solving various tasks, but the involvement of a person in information processing tasks is associated with a set of fundamental limitations inherent in a person: low speed of information processing, the need for motivation, the possibility of errors or purposeful distortion of information. Thus, the development of methods and tools for managing the quality of results obtained with the help of such systems is an urgent task. The article proposes a model of data aggregation to improve the quality of results obtained using large-scale human-machine computing. The application of the model is considered by the example of solving the problem of marking and searching for images obtained as part of mass athletics events (runs). The assessment of the effect of aggregation is carried out on the basis of simulation modeling. The results of the study of the proposed approach have shown that integration is especially effective in conditions of poor-quality markup. However, even in conditions of high-quality markup, the use of aggregation allows you to increase the completeness of search results. In general, it can be concluded that the use of data aggregation in the processing of human-machine computing results is a promising approach, and the use of probabilistic graphical models for aggregation allows you to smoothly increase the accuracy of the results of the system with an increase in the amount of available information.

Keywords: Probabilistic graphical models, Bayesian networks, Data aggregation, Data processing, Annotating images, Image markup, Crowdsourcing, Crowd computing, Collective intelligence, Information search

Аннотация: Автор подробно рассматривает такие аспекты темы как результат обнаружения нового эффекта, который заключается в появлении характерных откликов из-за ретрансляции сигнала в направлении от космического радиотелескопа к наземной станции слежения в режиме «КОГЕРЕНТ». Этот режим предусматривает использование сигнала наземного стандарта частоты для формирования необходимых наборов гетеродинных, а также тактовых частот на борту космического радиотелескопа. Включение аппаратуры петли фазовой синхронизации высокоинформативного радиоканала необходимо для реализации режима «КОГЕРЕНТ». Предложена технология, позволяющая выполнять измерения дальности от космического аппарата «Спектр-Р» до наземной станции слежения во время сеансов радиоастрономических наблюдений наземно-космическим интерферометром проекта РадиоАстрон. Новизна и практическое значение исследования заключается в том, что в сравнении с технологиями лазерных измерений, эта технология существенно меньше зависит от погодных условий в атмосфере Земли. Перечислены пути повышения разрешающей способности и снижения погрешности измерений дальности с использованием обнаруженного эффекта. Использование представленной технологии позволяет нивелировать недостаток проекта РадиоАстрон.

Ключевые слова: космический радиотелескоп, реверберация, РадиоАстрон, КОГЕРЕНТ, Спектр-Р, атмосфера Земли, интерферометр, космический аппарат, петля фазовой синхронизации, сдвиг Доплера

Abstract: The author considers in detail such aspects of the topic as a result of the discovery of a new effect, which consists in the appearance of characteristic responses due to the signal being retransmitted in the direction from the space radio telescope to the ground tracking station in the "KOGERENT" mode. This mode involves the use of a terrestrial frequency standard signal to form the necessary sets of heterodyne, as well as clock frequencies on board the space radio telescope. Switching on the equipment of the phase synchronization loop of the highly informative radio channel is necessary for the implementation of the "KOGERENT" mode. A technology is proposed that allows measurements of the range from the Spektr-R spacecraft to the ground tracking station during radio astronomy sessions by the ground-space interferometer of the RadioAstron project. The novelty and practical significance of the study lies in the fact that in comparison with laser measurement technologies, this technology is significantly less dependent on weather conditions in the Earth’s atmosphere. Lists ways to increase resolution and reduce range measurement error using the detected effect. The use of the presented technology allows to level the disadvantage of the RadioAstron project.

Keywords: phase lock loop, spacecraft, interferometer, Earth's atmosphere, Spektr-R, KOGERENT, RadioAstron, reverberation, space radio telescope, Doppler shift

Аннотация: Предметом исследования является вероятностная модель иерархических битовых индексов баз данных. Объектом исследования являются выходные данные модели - трехпараметрическое дискретное распределение количества индексов для реализации запросов к базе данных, параметризуемое интенсивностью занесения записей в базу, средней длиной запроса и размером крупного индекса. Автор рассматривает такие аспекты темы как выбор гипотезы из известных теоретических распределений, методика проверки гипотезы, подбор функций для приближения зависимости математического ожидания от третьего параметра, подбор функции для приближения зависимости точки минимума математического ожидания по третьему параметру от первых двух. Исследование таких зависимостей объясняется тем, что оптимальный выбор именно третьего параметра является целью проектировщика, а первые два - это исходные данные модели. Методологией исследования являются методы математической статистики, в частности, оценка параметров и критерий Пирсона проверки гипотез, методы построения наилучших приближений, в частности, метод наименьших квадратов, теория кривых третьего порядка. Основные выводы проведенного исследования: наилучшей аппроксимацией для исследуемого семейства распределений является распределение Пойа; наилучшими приближениями для зависимости математического ожидания от третьего параметра являются модель Бэкона-Уаттса и теплоемкостная модель. Особым вкладом автора в исследование темы является вывод эмпирической формулы, имеющей практическое значение. Она позволяет проектировщику на основе первых двух параметров сразу, без использования громоздких расчетов по модели, получить приближенное оптимальное значение третьего параметра и построить таким образом индекс базы данных оптимального размера. Новизна исследований заключается в получении приближенных зависимостей для нового вида распределения, которое невозможно описать замкнутой формулой.

Ключевые слова: анализ выходных данных, метод наименьших квадратов, теплоемкостная модель, кривые третьего порядка, модель Бэкона-Уаттса, отрицательное биномиальное распределение, распределение Пойа, дискретное распределение вероятностей, иерархические битовые индексы, степенная функция

Abstract: The subject of the study is a probabilistic model of hierarchical bit indexes of databases. The object of the study is the output of the model — a three-parameter discrete distribution of the number of indexes for implementing queries to the database, parametrized by the intensity of recording records in the database, the average query length, and the size of a large index. The author considers such aspects of the topic as the choice of a hypothesis from known theoretical distributions, a method for testing a hypothesis, selection of functions for approximating the dependence of the expectation on the third parameter, selection of a function for approximating the dependence of the minimum point of the expectation for the third parameter from the first two. The study of such dependencies is explained by the fact that the optimal choice of the third parameter is the goal of the designer, and the first two are the initial data of the model. The methodology of the research is the methods of mathematical statistics, in particular, the estimation of parameters and the Pearson criterion of testing hypotheses, methods for constructing the best approximations, in particular, the method of least squares, the theory of curves of the third order. The main conclusions of the study: the best approximation for the studied family of distributions is the Polya distribution; The best approximations for the dependence of the expectation on the third parameter are the Bacon-Watts model and the heat capacity model. A special contribution of the author to the study of the topic is the derivation of an empirical formula that has practical significance. It allows the designer on the basis of the first two parameters at once, without using cumbersome calculations on the model, to obtain an approximate optimal value of the third parameter and thus construct an index of the database of the optimal size. The novelty of the research lies in obtaining approximate dependencies for a new type of distribution that cannot be described by a closed formula.

Keywords: power function, output analysis, least square method, heat capacity model, third order curves, Bacon-Watts model, Polia distribution, negative binomial distribution, discrete probability distribution, hierarchical bitmap indexes

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

Ключевые слова: цифровая модель, система Рёсслера, цифро-аналоговое преобразование, полунеявный метод, гибридная модель, нелинейная динамика, хаос, аналоговая модель, хаотические системы, хаотическая синхронизация

Abstract: The article explores the technology of hybrid modeling of chaotic systems in the form of synchronization of digital and analog models of the Rossler system, interacting via analog-digital and digital-analog conversion paths. The unidirectional and bidirectional variants of chaotic synchronization are considered, and the synchronization error is estimated for each of the specified cases. For the analog implementation of the Rössler system, a circuit has been developed based on operational amplifiers, multipliers, and precision passive elements. The digital model of the system is based on a semi-implicit hardware-oriented method of numerical integration of the second order of algebraic accuracy. In order to substantiate the choice of the method, graphs of the performance of various solvers of ordinary differential equations are presented when simulating the Rössler system. It is shown that the chosen semi-implicit numerical integration method has the highest computational efficiency among all second-order methods. Experimentally demonstrated the ability to synchronize analog and digital models of a chaotic system. The synchronization of two and three models of the Rossler system in various variants of the connection topology is considered. By analyzing the synchronization error, it is shown that the greatest accuracy is achieved when using a fully coupled topology, which is based on the bi-directional synchronization method of the three models of the Rössler system.

Keywords: semi-implicit method, Rossler system, digital-to-analog conversion, chaotic systems, nonlinear dynamics, hybrid model, chaos, chaotic synchronization, digital model, analog model

Аннотация: Актуальность темы исследования обусловлена тем, что деятельность органов власти заключается в принятии управленческих решений в рамках реализации своих полномочий. Внедрение системы документооборота и делопроизводства является одной из приоритетных задач органов, успешная реализация которой позволит обеспечить переход на более качественный уровень их функционирования. Эффективность данного процесса определяется системой документооборота и делопроизводства, которая и является объектом моделирования. Цель исследования заключается в разработке математической модели оценки эффективности внедрения системы электронного документооборота и делопроизводства в органах власти для повышения результативности работы. Результаты исследования были получены на основе использования теории системного анализа, теории множеств, теоретико-графических моделей, модели системной динамики. Научная новизна связана с разработкой модели оценки эффективности внедрения системы электронного документооборота и делопроизводства в органах власти для имитационного моделирования и прогнозирования их основных показателей. Основными выводами проведенного исследования является то что, авторами рассмотрено построение математической модели оценки эффективности внедрения системы электронного документооборота и делопроизводства в органах власти с применением метода системной динамики Форрестера. Разработанная модель записана в виде системы дифференциальных уравнений и представлена в виде задачи Коши. По итогам проведенного исследования было выявлено, что к решению данной системы целесообразно применить метод Рунге-Кутты четвертого порядка, так как, несмотря на увеличение объема вычислений метод четвертого порядка имеет преимущество перед методами первого и второго порядков, так как он обеспечивает малую локальную ошибку, что позволяет увеличивать шаг интегрирования и, следовательно, сокращать время расчета.

Ключевые слова: документооборот, электронный документооборот, система электронного документооборота, модели мягкого моделирования, модель системной динамики, дифференциальные уравнения, задача Коши, метод Эйлера, модифицированный метод Эйлера, метод Рунге-Кутты

Abstract: The relevance of the research topic is due to the fact that the activity of the authorities is to make management decisions in the framework of the implementation of their powers. The introduction of a document management and records management system is one of the priority tasks of the authorities, the successful implementation of which will allow for a transition to a higher quality level of their functioning.The effectiveness of this process is determined by the workflow and workflow system, which is the object of modeling. The purpose of the study is to develop a mathematical model for assessing the effectiveness of the implementation of an electronic document management and workflow system in government to improve performance. The results of the study were obtained on the basis of the use of the theory of system analysis, set theory, graphical models, and the model of system dynamics. The scientific novelty is connected with the development of a model for evaluating the effectiveness of introducing an electronic document management and workflow system in government for simulation modeling and forecasting of their main indicators.The main conclusions of the study are that the authors considered the construction of a mathematical model for evaluating the effectiveness of introducing an electronic document management system and office work in government using the Forrester system dynamics method. The developed model is written in the form of a system of differential equations and presented in the form of a Cauchy problem. According to the results of the study, it was found that the fourth order Runge-Kutta method is appropriate for solving this system, since, despite the increase in the volume of calculations, the fourth order method has an advantage over the first and second order methods, since it provides a small local error, which allows you to increase the step of integration and, consequently, reduce the calculation time.

Keywords: Euler method, Cauchy problem, differential equations, system dynamics model, soft modeling models, electronic document flow system, electronic document flow, document flow, modified Euler method, Runge-Kutta method

Аннотация: Рассматривается задача поиска на взвешенном ориентированном графе k непересекающихся путей минимальной суммарной длины из заданной начальной вершины во все остальные вершины при неотрицательных весах дуг. Показывается, что нельзя использовать «жадный» подход, то есть находить лучший путь, удалять из графа вершины этого пути вместе с инцидентными дугами и повторять поиск. Задача сводится к поиску кратчайших путей на неявном графе из n^k вершин с некоторыми дополнительными ограничениями, где n – число вершин исходного графа. Разреженность неявного графа позволяет использовать рациональные структуры данных, уменьшая сложность алгоритма поиска путей. Выполнена программная реализация описанного алгоритма. В процессе тестирования генерировались полные графы с такими значениями весов дуг, при которых пути минимальной суммарной длины состояли из большого числа дуг. В практических целях и по вычислительным возможностям интерес представляют небольшие значения k. В этом случае корректно считать значение k константой, и сложность алгоритма оценивается величиной O(n^(k+1)log n). Необходимые затраты памяти составляют O(n^k). Время работы программы на различных тестах не противоречит полученным оценкам сложности алгоритма.

Ключевые слова: Граф, Ориентированный граф, Взвешенный граф, Неявный граф, Разреженный граф, Длина пути, Кратчайший путь, Алгоритм Дейкстры, Алгоритм Йена, Сложность алгоритмов

Abstract: Author considers the problem of finding non-intersecting paths of the minimal total length from a given initial vertex to all other vertices on a weighted oriented graph k for non-negative arcs. The author shows that one can not use the "greedy" approach, that is, find the best way, remove the vertices of this path from the graph along with the incident arcs and repeat the search. The problem reduces to finding the shortest paths on an implicit graph of n ^ k vertices with some additional constraints, where n is the number of vertices of the original graph. The sparseness of the implicit graph allows us to use rational data structures, reducing the complexity of the path finder algorithm. The author executed the software implementation of the described algorithm. In the testing process, complete graphs were generated with the values of the arc weights at which the paths of the minimum total length consisted of a large number of arcs. For practical purposes and for computational possibilities, small values of k are of interest. In this case, it is correct to consider the value of k as a constant, and the complexity of the algorithm is estimated by the value O (n ^ (k + 1) log n). The necessary memory costs are O (n ^ k). The running time of the program on various tests does not contradict the obtained estimates of the complexity of the algorithm.

Keywords: Dijkstra's algorithm, Shortest path, Length of a path, Sparse graph, Implicit graph, Weighted graph, Directed graph, Graph, Yen's algorithm, Complexity of algorithms

Аннотация: Автор рассматривает проблему выбора вейвлета для применения его в непрерывном вейвлет преобразовании. Все преимущество вейвлет-анализа заключается в возможности выбора базиса среди большого количества вейвлетов. Выбор анализирующего вейвлета, как правило, определяется тем, какую информацию необходимо извлечь из исследуемого сигнала. Каждый вейвлет имеет характерные особенности, как во временном, так и в частотном пространстве. Поэтому с помощью разных вейвлетов можно полнее выявить и подчеркнуть те или иные свойства анализируемого сигнала. Выбор анализирующей вейвлет-функции для создания базиса вейвлет-преобразования является одним из вопросов, успешность решения которой влияет на успешность использования вейвлет-анализа в решаемой задаче. Обход этого вопроса отталкивает начинающих в этой области исследователей от использования вейвлет-анализа или значительно ссужает область его применения. Выбор вейвлет-функции особенно важен при непрерывном вейвлет-преобразовании, где результат преобразования трехмерный непрерывный вейвлет-спектр. Это затрудняет его анализ, который зачастую ограничивается визуальным анализом проекции вейвлет-спектра на оси масштаб-время. Это также усложняет выбор вейвлет-функции, так как при смене вейвлета в проекции вейвлет-спектра иногда происходят многочисленные изменения неподдающиеся анализу. Цель данной работы показать методику обоснования выбора анализирующей вейвлет-функции для использования ее в непрерывном вейвлет-преобразовании на примере задачи локализации точек экстремумов цифрового сигнала. В работе используется непрерывное вейвлет-преобразование. Рассматриваются вейвлет-коэффициенты на разных масштабах для анализа изменений не на вейвлет-спектре в целом, а на отдельных ее частях. В предложенной методике показывается алгоритм анализа непрерывных вейвлет-спектров с разными вейвлет-функциями с целью оценки их пригодности для поиска экстремумов. Важным моментом в данной методики является переход с визуального анализа трехмерных вейвлет-спектров к количественному анализу двухмерных вейвлет-коэффициентов на разных масштабах. Такой переход показывает, как работает вейвлет-анализ внутри трехмерных вейвлет-спектров (анализируемых в основном визуально) и позволяет автоматизировать анализ сигналов. Это же позволяет уже численно оценить точность нахождения экстремумов при использовании конкретного вейвлета. В результате показано, что в задаче поиска экстремумов сигнала с помощью непрерывного вейвлет-анализа наиболее точным является вейвлет Хаара. Данную методику выбора базиса можно использовать в задачах, где возможна приемлемая количественная оценка точности работы непрерывного вейвлет-преобразования. Это позволит анализировать трехмерные вейвлет-спектры не только качественно (визуально), но и количественно.

Ключевые слова: вейвлет-анализ, вейвлет-функция, выбор базиса, поиск экстремумов, масштаб, пульсовой сигнал, моделирование, вейвлет Хаара, непрерывное вейвлет-преобразование, методика

Abstract: The authors consider the problem of choosing a wavelet for its application in a continuous wavelet transformation. The whole advantage of wavelet analysis lies in the possibility of choosing a basis among a large number of wavelets. The choice of the analyzing wavelet is usually determined by what information needs to be extracted from the signal under study. Each wavelet has characteristic features, both in time and in frequency space. Therefore, with the help of different wavelets, it is possible to reveal more fully and emphasize certain properties of the analyzed signal. The choice of the analyzing wavelet function for creating a basis for wavelet transform is one of the issues whose successful solution affects the success of using wavelet analysis in the problem being solved. Bypassing this question repels the beginners in this field of researchers from using wavelet analysis or significantly lends the field of its application. The choice of the wavelet function is especially important for a continuous wavelet transform, where the result of the transformation is a three-dimensional continuous wavelet spectrum. This makes it difficult to analyze it, which is often limited to a visual analysis of the projection of the wavelet spectrum on the scale-time axis. This also complicates the choice of the wavelet function, since when changing the wavelet in the projection of the wavelet spectrum, numerous changes that can not be analyzed sometimes occur.The purpose of this work is to show the method of substantiating the choice of the analyzing wavelet-function for its use in continuous wavelet transformation using the example of the problem of localizing the points of extrema of a digital signal. The work uses continuous wavelet transform. We consider wavelet coefficients on different scales for analyzing the changes not on the wavelet spectrum as a whole, but on its individual parts. The proposed technique shows an algorithm for analyzing continuous wavelet spectra with different wavelet functions in order to evaluate their suitability for searching for extrema. An important point in this technique is the transition from a visual analysis of three-dimensional wavelet spectra to a quantitative analysis of two-dimensional wavelet coefficients on different scales. Such a transition shows how the wavelet analysis works inside three-dimensional wavelet spectra (analyzed primarily visually) and automates signal analysis. This also allows us to numerically estimate the accuracy of finding extrema when using a particular wavelet. As a result, the article shows that the Haar wavelet is the most accurate in the problem of searching for signal extrema by means of continuous wavelet analysis.This method of choosing a basis can be used in problems where an acceptable quantitative estimate of the accuracy of the operation of a continuous wavelet transform is possible. This will allow the authors to analyze three-dimensional wavelet spectra not only qualitatively (visually), but also quantitatively.

Keywords: arterial blood pressure signal, scale, extrema definition, basis selection, wavelet, wavelet analysis, modelling, wavelet Haar, continuous wavelet transform, method

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

Ключевые слова: разрывные решения, конечно-разностные методы, численное решение, математическая модель, взвешенные частицы, пористая среда, фильтрация, раствор, осажденные частицы, метод Эйлера

Abstract: The subject of the study is the filtration problem, which describes the distribution of suspended solids in a loose porous soil. The urgency of constructing a model is determined by the need to strengthen loose soil by pumping under pressure a solution in the form of a suspension that, when hardened, forms a waterproof layer. The author's main goal is to construct a model for the motion of suspended particles of a suspension and colloids and to form a sediment in a porous ground for various filtration regimes. The distributions of solid particles of various sizes carried by the carrier liquid and settled on the framework of the porous medium are studied at different rates of precipitate growth.The one-dimensional filtration model with the particle retention mechanism includes a hyperbolic system of first-order equations with inconsistent initial and boundary conditions that generate discontinuous solutions. For polydisperse media, a modified mathematical model describing the competition of particles of different sizes for small pores is considered. The computer circuit for finding the numerical solution is constructed by the method of finite differences. The optimization of the method is used to improve convergence and reduce computation time. The main results of the study are a multi-particle model of solution filtration in a porous soil, taking into account the variety of sizes of suspended particles. A numerical calculation of the problem is performed for various blocking filter coefficients. Solutions are obtained with a discontinuity at the concentration front. Approbation of the found numerical solutions is carried out. Plots of the dependence of the concentrations of suspended and sedimented particles on time and coordinates are constructed.

Keywords: finite-difference methods, numerical solution, mathematical model, suspended particles, porous medium, deep bed filtration, grout, discontinuous solutions, retained particles, Euler's method

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

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

Abstract: To date, the introduction of electronic document management and records management in the executive bodies of state power remains one of the most urgent tasks. The authors consider the use of "soft" mathematical modeling in developing a mathematical model for assessing the implementation of electronic document management systems and records management. By mathematical modeling, the work is understood as the process of establishing correspondence to the real object of a certain mathematical object, which is called a mathematical model. The object of modeling is the system of electronic document circulation and records management. The main objectives of modeling the study of document flow in the executive bodies of state power are: to increase the effectiveness of management activities, accelerate the movement of documents, reduce the complexity of processing documents.In this work, the authors used the formalization method, which consists in studying objects by displaying their content and structure in sign form. The main conclusions of the study are that, using "soft" mathematical modeling, a mathematical model for assessing the implementation of the electronic document management system and office work in the executive bodies of state power is constructed. After studying the constructed oriented graph, a system of differential equations is written that corresponds to the following rules: equations as many as there are unknown quantities, model parameters (system coefficients) are found as a result of application of computational methods.

Keywords: the system of differential equations, criterial values system of electronic document circulation and Office work, the criteria for assessing the implementation of the system, mathematical modeling, model, electronic document management system, mathematical model, electronic document management, Document management, documentation.

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

Ключевые слова: бифуркация, полунеявный метод, решатель ОДУ, система Рёсслера, тесты NIST, шаговая диаграмма, численный метод интегрирования, динамический хаос, псевдослучайные числа, дискретный оператор

Abstract: An approach to the selection of a finite-difference scheme of a chaotic pseudo-random sequence generator based on the use of step diagrams (h-diagrams) is proposed. As a test problem, a generator is considered based on the random Rössler system discretized by explicit, implicit and semiquant numerical methods of the first and second order of algebraic accuracy. The sequences generated by different variants of the generator are randomly checked by a battery of NIST statistical tests. Advantages of the proposed approach in the design of chaotic signal generators are shown, consisting in an essential (by an order of magnitude) acceleration of the device design time due to a new method of selecting the discretization step and the discrete operator. The effectiveness of using semi-implicit finite difference schemes in the generation of pseudo-random sequences by the method of numerical solution of chaotic differential equations is confirmed. The obtained results can be used in cryptography applications, in the design of secure communication systems, in solving problems of numerical simulation of dynamical systems and mathematical statistics.

Keywords: bifurcation, semi-implicit method, ODE solver, Rossler system, step diagram, NIST tests, numerical integration method, dynamical chaos, pseudo-random numbers, discrete operator

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

Ключевые слова: точка разрыва, квадратурные формулы, численное интегрирование, численные методы, преобразование Лапласа, плотность распределения вероятностей, устойчивость вычислений, биномиальное распределение, метод Симпсона, несобственный интеграл

Abstract: The subject of the research is the mathematical model in the form of recurrent integral relation system that describes the distribution of unit intervals where at least one random stream event with the arbitrary distribution function has happened. The author of the article examines numerous aspects of the numerical implementation of this system such as the Laplace transformation access method, numerical integration near discontinuity points, stability of calculations, validity check results, and particularities of real number machine arithmetic. Trub pays special attention to the connection between calculation data and semantics of the applied problem which solution is represented by these data. The methodology of the research is based on the probability theory (distribution types and qualities), numerical mathematics methods (numerical integration, interpolation, Laplace transformation), software implementation of the mathematical model and computing experiment conduction. The main conclusions of this research is the validity and numerical implementability of the mathematical model created by the author of the article as well as substantiation of the numerical solution for arbitrary distribution of the random stream events distribution. The novelty of the research is caused by the fact that the author develops a numerical solution of the bitmap-indices distribution for Weibull distribution, gamma distribution, logarithmically normal distribution, etc., and analyzes dependencies of different kinds such as the indices density function and average number of indices for the specified interval length. 

Keywords: binomial distribution, Simpson method, stability of calculations, discontinuity point, quadrature expressions, numerical integration, numerical methods, Laplace transformation, probability density function, improper integral

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

Ключевые слова: хроматическое число графа, минимальная раскраска, граф конфликтов, теоретико-графовая модель, пакетное планирование, конкурирующие работы, полный подграф, время завершения работ, минимальное время, расписание выполнения работ

Abstract: The subject of the research is the graphical models for solving the problem of minimizing the completion time of competing jobs in batch planning. Great interest in such problems is explained by numerous applications that arise in the theory of graphs, in the planning of production and transport routes, in the calculation of distribution, etc. In general, there is no effective algorithm for solving these problems. Particular attention is paid to the use of the coloring of the conflict graph, which makes it possible to build estimates of the minimum execution time for all jobs. The main research methods were methods of graph theory and computational experiment. Particular attention was paid to the graph coloring. Based on the coloring of the conflict graph, two-sided estimates of the minimum execution time of competing tasks for batch planning are constructed. All the estimates found are attainable. They are linear combinations of time slots for executing work packets. The coefficients of the linear combination are expressed through the different characteristics of the conflict graph, its subgraphs (for example, the chromatic number, the density of the graph).

Keywords: completion time, full subgraph, chromatic number of graph, minimal coloring, conflict graph, graph theoretic model, batch planning, competing jobs, minimum time, work schedule

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

Ключевые слова: математическая модель, стохастические параметры, взаимная зависимость работ, случайная длительность обслуживания, ресурсный критерий, временные ограничения, PERT, бета-распределение, математическое ожидание, управление проектами

Abstract: The object of research in the work involves the complex service systems, which are characterized by mutual dependence between the works, their random duration and necessity of rationalize recourses in time. These features stipulate the development of a mathematical model which is meant to form the basis for the optimization task of forming a schedule. As the objective function, a generalized criterion that allows the most efficient allocation of resources over time is chosen. An important parameter of this model is the duration of the service. The assessment of this parameter is an important task, since it directly affects the accuracy of the developed schedule.The formation of a mathematical model is based on the apparatus of probability theory and the theory of project management. To find the duration of the service a cubic equation connecting the variance, the expectation and the mode of the cubic equation was obtained. As a result a mathematical model a mathematical model designed for describing multi-stage servicing systems with a stochastic duration of maintenance of mutually dependent works was found by the authors. This model may be used to describe a whole class of systems with the above features in the case where it is necessary to efficiently allocate resources  over time. Novelty is present in the use of a generalized resource criterion in conjunction with resource and time constraints. The author also finds an evaluation of service time, which is distinguished by increased accuracy in comparison with existing analogues.

Keywords: mathematical model, tochastic parameters, mutual dependence of works, random duration of service, resource criterion, time constraints, PERT, beta distribution , expected values, project management

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

Ключевые слова: граф, социальный граф, социальная сеть, центральность вершины, центральность по степени, групповая центральность, коалиционные игры, вектор Шепли, перестановки, алгоритм

Abstract: The object of studies concerns the methods for evaluation of the graph nodes. The author pays attention to the fact that the existing centrality metrics, such as level centrality, closeness centrality, interval centrality, own vector, etc., are sometimes not suitable for modeling the situations, when graph nodes are social object models, and therefore, they are capable of cooperation in order to achieve social goals.  In this case game-theoretic centrality models (such as coalition games models) are better suited to reflect the modeling object.  The methodology of the study involves the elements of graph theory, probability theory, as well as the apparatus for the analysis of social networks as a new independent scientific sphere. The key result of the stuy is that game-theoretic centrality based upon the Shapley vector is a flexible and mostly universal instrument for the social graph analysis.  It allows to consider an unlimited set of quality characteristics of the graph nodes, as well as their topological qualities in any combination in order to evaluate the nodes.

Keywords: algorithm, permutation, Shapley vector, coalition games, group centrality, level centrality, node centrality, social network, social graph, graph

Аннотация: Предметом исследования является разработка ключевых показателей эффективности налоговых консультантов. Объектом исследования являются ключевые показатели эффективности. Обосновано, что ключевые показатели эффективности бизнес-процесса налогового консультирования являются измерителями достижения стратегических целей компании, с помощью которых можно оценить деятельность и повысить производительность налоговых консультантов, а также выработать оптимальные подходы к профессиональному развитию специалистов. Уточнено, что каждый показатель должен быть: (1) чётко определён; (2)достижим; (3)сопоставим; (4)способствовать мотивации персонала;(5) являться базой для анализа. В настоящей работе с помощью эконометрических и статистических методов, а также с использованием программы «Mathlab» (приложение «Fuzzy Logic») показатели эффективности налоговых консультантов декомпозированы рамках сбалансированной системы показателей и рассмотрены по категориям: (1) финансы; (2)рынки и клиенты; (3)бизнес процессы; (4)обучение и развитие. Декомпозирован оценочный параметр «Финансы» на несколько входных параметров(1)уровень доходов; (2)уровень издержек; (3)уровень нематериальных активов (деловая репутация). Декомпозирован параметр «Рынки и клиенты» на следующие входные данные: (1)уровень экономии клиента (базовая ценность для клиента); (2)уровень имиджа и деловой репутации; (3)качество услуг (соответствие законодательству, уровень оперативности); (4)привлечение клиентов; (5)удержание клиентов. Декомпозирован параметр «Бизнес процессы» на следующие входные данные: (1)уровень поддержания компетенции (знание законодательства, знание отрасли, опыт); (2)уровень обеспечения лоббирования интересов налогоплательщиков; (3)уровень эффективности внутреннего контроля качества; (4)уровень понимания потребностей клиента, эффективность коммуникации с клиентами; (5)эффективность внутреннего информационного обмена; (6)уровень соответствия услуг требованиям рынка; (7)уровень издержек. Декомпозирован параметр «Обучение и образование» на следующие входные параметры: (1)уровень обеспечение поиска и найма профессиональных кадров; (2)профессиональная квалификация сотрудников; (3)система контроля качества и управления знаниями; (4)уровень соответствия корпоративных и личных целей. Проведена оценка лингвистических переменных для показателя «Финансы». Для решения задачи заданы правила нечеткого ввода. Рассмотрен вопрос применения функций нечеткого моделирования в выборе ключевых показателей эффективности.

Ключевые слова: ключевые показатели эффективности, функции нечеткого моделирования, оценочные параметры, термы, правила нечеткого ввода, фаззификация входных переменных, аккумуляция, дефаззификация, фаззификация, агрегирование данных

Abstract: The subject of research is the development of key performance indicators of tax consultants. Object of research are the key performance indicators. It is proved that the key performance indicators of the business process tax advice is a measure to achieve the strategic objectives of the company, with which you can evaluate the activities and improve the performance of tax consultants, as well as to develop optimal approaches to the professional development of staff. It clarified that each figure should be: (1) clearly defined; (2) is achievable; (3) comparable; (4) contribute to the motivation of the personnel; (5) is the basis for the analysis.In this paper, using econometric and statistical methods, as well as using the program «Mathlab» (application «Fuzzy Logic») performance indicators tax consultants decomposed under the Balanced Scorecard and are considered by categories: (1) finance; (2) markets and customers; (3) business processes; (4) training and development.Decompose the evaluation parameter "Finance" on several input parameters (1) the level of income; (2) the level of costs; (3) the level of intangible assets (goodwill).Decompose option "Markets and customers" on the following inputs: (1) the level of customer savings (the base value for the customer); (2) the level of image and reputation; (3) quality of service (compliance with the law, the level of efficiency); (4) to attract customers; (5) retention of customers.Decompose option "Business Processes" on the following inputs: (1) maintain the level of competence (knowledge of the legislation, industry knowledge, experience); (2) the level of maintenance of lobbying the interests of taxpayers; (3) the level of effectiveness of the internal quality control; (4) the level of understanding of customer needs, the effectiveness of communication with customers; (5) The effectiveness of the internal exchange of information; (6) the level of compliance with the requirements of the services market; (7) the level of costs.Decompose option "Training and education" on the following input parameters: (1) the level of provision of search and recruitment of professional staff; (2) the professional qualifications of staff; (3) quality control and knowledge management; (4) the level of compliance with corporate and personal goals.The evaluation of the linguistic variables for the index of "Finance". To solve the problem of fuzzy set of input rules. The question of the application of fuzzy modeling functions in the selection of key performance indicators.

Keywords: fuzzification of input variables, fuzzy inference rules, thermae, estimation parameters, function fuzzy modeling, Key Performance Indicators, accumulation, defuzzification, fuzzification, aggregation of data

Аннотация: Предметом исследований, результаты которых представлены в статье, являются математические модели эндокардиальных сигналов основных электрофизиологических участков сердца с заданными амплитудно-временными характеристиками информативных фрагментов. Коллективом авторов предложен механизм расширения математических моделей для генерации нормальных и патологических состояний атрио-вентрикулярной системы, характеризующейся проведением эндокардиальных электрических импульсов. Приведены результаты сравнения смоделированных и реальных эндокардиальных сигналов, полученных в ходе проведения малоинвазивного электрофизиологического исследования, наглядно демонстрирующие корректность разработанных моделей, а также их применимость для моделирования эндокардиальных сигналов из различных областей. При проведении исследования использовался метод математического моделирования с применением гауссовых функций, аппроксимирующих заданные элементы эндокардиального сигнала из различных областей внутрисердечного пространства. Основными выводами проведённого исследования являются: - доказана применимость гауссовых функций для достижения поставленных целей; - представлены возможные варианты модификации использованных функций для моделирования сигналов других эндокардиальных областей, например, устья лёгочных вен левого предсердия, зоны митрально-аортальный контакта и других зон, вызывающих повышенный интерес клинических электрофизиологов; - описана возможная реализация результатов исследования в аппаратно-программном комплексе с использованием современной методологии оценки качества проводимых операций по лечению сложных нарушений ритма сердца.

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

Abstract: The subject of the research presented by the authors of the article is the mathematical models of endocardial signals from the main electrophysiological parts of the heart with the specified amplitude-time characteristics of information fragments. The authors of the article offer the mechanism for extending the mathematical models in order to generate normal and/or pathological states of the atrioventricular system conducting endocardial electrical impulses. The article contains the results of the comparison of modeled and actual endocardial signals recorded in the course of minimally invasive eletrophysiological examination. These results demonstrate that the designed models are appropriate and applicable for modeling endocardial signals coming from different parts of the heart. The research method used by the authors is the mathematical modeling using Gaussian functions approximating set elements of the endocardial signal coming from different parts of the intracardial space. The main conclusions of the research are the following: - the authors have proved that Guassian functions are applicable for the aforesaid purposes; - they have also described possible modifications of used functions for modeling signals from other endocardial spheres such as the left atrium pulmonary vein entry, mitral aortal zone and other zones  clinical electrophysiologists are particularly interested in; the authors have also demonstrated how the research results can be implemented in the form of the hardware and software complexes using the modern methodologies for assessing efficiency of treating complex heart rhythm disorders. 

Keywords: radio frequency ablation, asymmetrical function, heart conduction system, electrophysiological study, Gaussian functions, endocardial signals, atrial fibrillation, heart process modeling, atrioventricular conductin

Аннотация: В работе рассмотрен один из физических эффектов наноэлектроники - резонансное туннелирование. Проводится численный расчет конструкции диода, сформированного на МДП-структуре и моделирование его характеристик. Подобной структурой на кремнии обладает структура металл– оксид кремния- полупроводник в режиме сильного обеднения вблизи поверхности легированного полупроводника. Построена зонная диаграмма МДП-структуры, определены энергетические уровни и волновые функции электрона в квантовой яме и при туннелировании, вычислена вероятность туннелирования от величины приложенного напряжения. При проведении расчетов использовалась визуальная среда математического моделирования и инженерных вычислений PTC Mathcad Prime 3.1. В результате компьютерного моделирования определены предельные внешние напряжения, до пробоя диэлектрика. Кроме того, выявлен качественный вид зависимости тока МДП-структуры от высоты и ширины энергетического барьера. Разработанная модель позволяет учитывать совместное влияние нескольких факторов, что подтверждается согласованием расчетных ВАХ с экспериментальными.

Ключевые слова: резонансно-туннельный диод, моделирование, квантовая яма, зонная диаграмма, МДП-структура, волновая функция, наноэлектроника, полупроводниковый прибор, квантовый перенос, квантовый эффект

Abstract: The research is devoted to one of the physical nanoelectronic effect – resonant tunneling. The authors provide numerical calculations for constructing the MIS-structure based diod and modeling its characteristics. The metal-oxide-silicon semiconductor in the severe depletion mode next to the doped semiconductor has a similar structure. The authors establish the MIS-structure energy band diagram, define energy levels and wave functions of an electron in the quantum well and during tunneling and calcuate the probability of tunneling based on the amounnt of the voltage applied. In the course of calculations the authors use the PTC Mathcad Prime 3.1 visual environment for mathematical modeling and technical computing. The results of the computer modeling allow to define external limit voltage including the amount of voltage that leads to the dielectric breakdown. In addition, the authors define the qualitative dependency between the MIS-structure voltage and the height and width of the energy barrier. The model developed by the authors takes into account the joint influence of several factors which is proved by the coordination of recorded current voltrage characteristic with the experimental characteristics. 

Keywords: nanoelectronics, wave function, MIS structure, energy band diagram, quantum well, modeling, resonant tunelling diod, semiconductor device, quantum transport, quantum effect

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

Ключевые слова: имитационная модель, поддержка принятия решений, алгоритм, инновационный проект, объемно-календарное планирование, информационная система, производственно-экономическая система, управление, метод, математическая модель

Abstract: The subject of research is the decision support process in production and economic systems caused by the implementation of trade innovative projects and related economic and mathematical models and management methods. The object of the research is production and economic industrial enterprise system focused on implementation of trade innovative projects. The special attention is paid to the issues of design and usage of information systems based on simulation modeling for decision making support and studies of trade innovative projects at different stages of development. The study is based on theory and methodology of decision-making and management of social and economic systems, the provisions of the management theory, general systems theory, control theory, system analysis and operations research, methods of economic-mathematical modeling and simulation, statistical analysis, micro-economic forecasting. A special contribution of the study is in demonstrating that the decision making support in the management of the trade innovative projects in the industrial and economic systems requires the use of simulation modeling techniques based on econometric models and methods involving information systems. Also the requirements for the information system structure for emerging management challenges are developed.

Keywords: management, production system, software, production planning, innovation project, algorithm, decision support, simulation model, method, mathematical model

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

Ключевые слова: моделирование полета, алгоритм управления полетом, управление полетом, беспилотный летательный аппарат, пилотажно–навигационная система, продольный канал управления, автомат тяги, быстродействие контура управления, обратная задача динамики, моделирующий программный комплекс

Abstract: The subject of the study is to optimize the management of flight speed and altitude of the aircraft, implementing a coordinated deflection of controls using special algorithmic software for flight control and navigation systems of automatic control. The authors solve the problem of creating a simulation software for controlling the regimes of horizontal flight of an unmanned aircraft, which allows to validate (to carry out a comprehensive study for a wide range of conditions, conditions and restrictions) control algorithms altitude and airspeed with the help of an integrated management system. The results are presented in relation to the adaptive control algorithm speed and altitude UAV aircraft type having versatility. The research methodology includes methods of mathematical modeling, management of complex systems, inverse problems of dynamics, system simulation, adaptive control, flight dynamics, aerodynamics. The main result of the study is a program complex of modeling management regimes of horizontal flight of an unmanned aircraft, which has been used to validated control algorithm level flight of an unmanned aircraft, providing an increase in the speed control loop speed and altitude, reducing fuel consumption, due to the desire of the current rate closer to the optimal value due to the withdrawal of the aircraft at the optimum altitude.

Keywords: speed control loop, autothrottle, longitudinal control channel, flight control and navigation system, unmanned aerial vehicle, flight control, flight control algorithm, flight simulation, the inverse problem of dynamics, modeling software package

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

Ключевые слова: вероятностно-временные характеристики, длительность проекта, закон распределения, бета-распределение, сумма бета-величин, управление проектами, математическая модель рисков, PERT, рекурсия, численный метод

Abstract: In this paper a problem of network planning and management with a random duration of individual operations is considered. The subject of the study is the law of distribution of the random variable which describes duration of the project. The aim is to estimate such law. The urgency of this problem is related to the need to improve the accuracy of the known existing assessments which do not take into account the specifics of the distribution law of separate works determining the project. The main difficulty of the practical solution of this problem is the need to calculate the multiple definite integral, wherein the number of individual integrals not known in advance and determined by the number of works that make up the critical path of the project. As a result, the numerical method based on recursion is proposed, which allows to numerically estimate the desired distribution law. Scientific novelty of the results is in obtaining estimates of the distribution law of the duration of the project that improves positional accuracy over the existing analogues. Without loss of generality developed a recursive algorithm can be used for a wide class of problems in which the unknown distribution of the sum of random variables with known distributions of the individual terms.

Keywords: project management, the sum of beta-values, beta-distribution, distribution law, duration of the project, probabilistic and temporal characteristics, mathematical model of risks, PERT, recursion, numerical method

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

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

Abstract: the authors in detail review pneumatic pressure regulator, which is has essential value for on-board systems of aircraft oxygen supply in order to build a mathematical model of the regulator. The subject of the study is building a mathematical model of pneumatic pressure regulator considering factors having a significant impact on vital functions and work of the flight crew. This ensured the construction of adequate mathematical models, describing the functioning of pneumomechanical pressure regulator in the cabin of aircrafts, which are essential for safety in high-altitude flights. Mathematical modelling of pressure regulator considering factors having a significant impact on vital functions and work of the flight crew: factors that characterize the atmospheric space as a habitat for the crew; factors related to the dynamics of flight; factors related to various types of emergencies in case of which the flight becomes impossible. The study of the mathematical model built allowed the authors to identify that: dry friction of the main valve significantly impairs the dynamics of the regulator, but has almost no effect on its static error; dry friction of the control valve significantly increases the static error of the controller, but has almost no effect on the dynamics of the regulator; the presence of self-oscillations of small amplitude and high frequency together with the elimination of the dead zone of the controller changes the structure of dry friction, removing the dry static friction etc. The results obtained are essential for the design of aircraft life support systems.

Keywords: life support system, high-altitude flights, aviation cybernetics, pneumatic mechanical regulator, preasure regulator, model of dry friction, model of pneumatic regulator, computational experiment, transition functions, oxygen supply system

Аннотация: При навигации объектов используют системы радионавигации NAVSTAR или GLONAS. В обоих системах используется один и тот же принцип – определения расстояния от спутников до объекта. Измерения расстояния проводят измерением времени распространения сигнала от спутников до объекта. Для этого приёмник генерирует псевдослучайный код в тот же момент, что и спутник передает сигнал. При принятии сигнала приёмником, приёмник вычисляет время распространения сигнала как разность времени генерации псевдослучайного кода и временем принятия сигнала. В связи с этим возникает необходимость синхронизации часов спутника и приёмника. Из-за аппаратных возможностей, не все приёмники могут быть синхронизированы с часами спутников. Методы исследования основываются на анализе систем радионавигации, его структуры, принципов функционирования и существующих методов определения координат объекта. В данной статье предлагается новый способ определения координат, основанный на измерении разности времени прихода сигналов от спутников. Благодаря этому больше не требуется четкая синхронизация часов приёмника и часов спутника, выявления момента передачи сигнала со спутника к приёмнику и использование корректирующих систем.

Ключевые слова: GPS, задержка, трилатерация, определение координат, спутниковая навигация, ГЛОНАСС, корректирующие системы, радионавигация, WAAS, разностно-дальномерный способ

Abstract: in navigation there are two systems of radio navigation: NAVSTAR or GLONASS. Both systems use same approach – determination of the distance from satellites to the object. Distance measuring is performed by measuring the propagation time of the satellite signal to the object. For that purpose the receiver generates pseudorandom code at the exact same moment, when the satellite transmits the signal. On the receiving of the signal by the receiver, the receiver calculates the propagation time as the difference between time of the pseudorandom code generation and the rime of signal receiving. This rises the need to synchronize clocks of the satellite and the receiver. Due to hardware limitations not all receivers can be synchronized with the satellite’s clock. The method presented in the research is based on the analysis of radio navigation systems, principles of functioning and existing techniques of defining object’s coordinates. The article proposes a new way of determining the coordinates, based on the measuring the time difference of signals arrival from different satellites. Because of this there is no need in strict synchronization of the receiver clock and satellite clock, detecting the moment of signal transition from satellite to receiver and use of corrective systems.

Keywords: GPS, delay, trilateration, coordinate determination, satellite navigation, GLONASS, corrective systems, radio navigation, WAAS, range difference method

Аннотация: Развитие локальных систем автоматизаци транспортных средств (ТС) в конце ХХ-начале ХХI века и расширяющееся использование микропроцессорных средств и систем создали предпосылки управления ТС с учетом личных особенностей оператора. При создании на этой основе новых алгоритмов управления целесообразно исходить из принципа «дуального» управления А.А. Фельдбаума. Имеется в виду использование возможностей системы управления для изучения характера управляющих действий, присущих данному оператору, и учет их согласовании с условиями среды в выбираемом алгоритме УЭВМ. Это становится возможным не только на тренажерах, но и в результате прямого измерения переменных, являющихся действиями оператора. Тем не менее, оператор представляется моделью с не полностью измеримыми переменными состояния в классе соответствующих наблюдателей состояния. Заметим, что в соответствии с модальной теорией основой для моделирования является использование доминирующих корней при учете основных психофизиологических особенностей оператора и существенной не стационарности основных параметров оператора. Это становится возможным в результате процедур текущей динамической идентификации выходных переменных оператора в процессе управления. Учитывая сложность внутренних процессов у оператора и используя возможности декомпозиции, первичные этапы описания можно свести к формированию в подсистеме оператора частных моделей: собственно личностной; внутренней модели объекта управления; внутренней модели окружающей среды и ее состояния. Для обеспечения решения задачи создания сложного ЧМИ представляется уместным использование принципа «дуального» управления А.А.Фельдбаума. Имеется в виду изучение системой управления характера, присущего данному оператору, и учет его при согласовании с условиями среды в выбираемом алгоритме управления. Такого рода работы основаны на возможностях реализации, предоставляемых уже имеющимися устройствами автоматизации и средствами вычислительной техники. Новизна и перспективность реализации предлагаемых подходов определяется возможностью получения результатов для разработки и создания: 1. Автоматизированной информационной системы организации и диагностирования психологического и физиологического обеспечения безопасности вычислительных машин включающего комплекс мероприятий, таких как профилактику, нарушения и отклонения в состоянии здоровья операторов, организацию проведения медицинских осмотров, где ключевым звеном профилактики может выступать психолого-физиологические факторы. 2. Управляющих вычислительных систем с искусственным интеллектом, устройств обмена информацией между человеко-машинного интерфейса с учетом интеллектуализации взаимодействия человека и вычислительного комплекса.

Ключевые слова: принцип «дуального» управления, человеко машинный интерфейс, оператор, математическая модель, эргатические системы управления, искусственный интеллект, человеко машинная система, аппарат многомерного шкалирования, исполнительная система, база знаний

Abstract: development of local systems of vehicle automation in the late XX – early XXI century along with increasing use of microprocessors created the prerequisites for vehicle control based on the personal characteristics of the operator. While creating new control algorithm on that basis it is rational to apply Feldbaum Dual control theory, that refers to using the capacity of the control system to study specifics of control actions of a particular operator and considering them in correlation with environment while selecting an algorithm for control system. It becomes possible not only in simulators, but also by adjusting the variables of operator’s actions directly. However the operator is represented by a model in which not every variable of watchers’ classes is measurable. The author also notes that according to the modal theory the base for simulation is in taking the dominant roots in consideration of main psychophysiological features of operator and the significant nonstationarity of the main operator’s parameters. This becomes possible as a result of procedures of current dynamic identification of output variables of operator during the control process. Taking into account the complexity of operator’s inner processes and using the features of decompositions the initial steps of description may be simplified to forming sub-models in operator’s subsystem: the person; inner model of object being controlled; inner model of environment and its state. In order to solve the problem of creating a complex human-computer interface author suggests to use Feldbaum Dual control principle. This kind of works is based on the capabilities of realization provided by existing automation devises and computer equipment. The novelty and perceptiveness of the suggested approaches is defined by the results expected on the development and implementation of the system: 1) creating of automated informational system of control and diagnostics of psychological and physiological safety of computers consisting of a set of measures such as: preventive measures, controlling lapses and deviations in the health of the operators, organization of medical examinations with key factor with emphasis on the psychological and physiological factors. 2) building control computer systems with artificial intelligence and devices for information exchange via the human-machine interface for intellectualization of the interaction between man and computer.

Keywords: dual control principle, human-computer interface, operator, mathematical model, ergatic control system, artificial intelligence, human-computer system, multidimensional scaling unit, executive system, base of knowledge

Аннотация: В настоящее время активно прорабатываются вопросы использования формальных средств моделирования для описания различных категорий процессов, в частности информационных бизнес-процессов. Однако, в основном, в качестве средств моделирования используются графовые или сетевые модели, основанные на диаграммах состояний – такие как сети Петри, графы, представляющие сетевые цепочки, а также различные документно-ориентированные или событийно-ориентированные модели, такие как UML или IDEFx модели. Цель данной работы заключается в том, чтобы показать, что наработки в области теории бизнес процессов, ориентированные на такие модели, могут быть применены для более строгих символьных моделей, дающих возможность использования автоматизированной обработки модели процесса для проверки корректности, обнаружения свойств и связь модели процесса с технологическими средствами реализации. В данной работе, предлагается использование символьного средства моделирования процессов – pi-исчисление. В данной формальной модели процесс представляется как терм исчисления, выполнение которого описывается редукцией данного терма в соответствии с выбранной семантикой. Данное исчисление было разработано для описания взаимодействия нескольких систем в рамках процессов с возможно изменяющейся структурой. В данной работе предлагается оригинальный конструктивный подход к описанию трассировки – предлагается способ построения логов процесса, объединения их в журналы выполнения, рассматриваются общие требования к журналированию процессов. Описывается применение аспектов process mining к процессам, моделируемым с использованием pi-исчисления. Использование предлагаемых подходов к моделированию процессов и трассировки их выполнения предоставляет, по сравнению с аналогами, гораздо больше возможностей оценки адекватности и корректности построенной модели, упрощает расширение системы оценки для добавления новых критериев, упрощает получение и интерпретацию логов процесса, соответствующего модели.

Ключевые слова: Трассировка процессов, Моделирование бизнес-процессов, Process mining, pi-исчисление, лямбда исчисление, АВС, Исчисление взаимодействующих систем, Семантика выполнения бизнес-процессов, Интерпретация формальной модели, Оценка модели

Abstract: the questions of using formal modeling tools for simulating processes of different categories (the information business processes in particular) are currently under a lot of attention. However, in general the modeling is based on graphs and network solutions, based on the state diagrams, such as Petri nets, graphs representing network chain and other document oriented models, such as UML or IDEFx. The purpose of this article is to present the achievements in the theory of business processes, oriented on such models that can be applied in more strict symbolic systems giving the opportunity to automate model validation, properties detection and connection between the model and technological means of implementation. The author suggests using pi-calculus as symbolic mean of process simulation. In that formal model a process is represented as a term of calculus, which is described by reducing of this term in accordance with selected semantics. This calculus was developed to describe interaction of several system within the frame of processes with changeable structure. The article proposes distinctive approach to the description of tracing: the author shows a way of making process execution logs, combining them into journals and reviews general requirements to journaling process. The article describes the appliance of process mining to the processes modeled using pi-calculus. Implementation of proposed approaches to the process modeling and their execution tracing provides, as compared with the analogues, more abilities to evaluate the adequacy and accuracy of the model built, simplifies system expansion via adding new criteria, ease keeping and interpreting execution logs of the process that corresponds to the model.

Keywords: process trace, business process modeling, process mining, pi calculus, lambda calculus, ABC, interactive system calculus, business process execution semantics, formal model interpretation, model evaluation

Аннотация: В теории перколяции достаточно подробно исследованы как задачи узлов и связей [1,2], так и смешанная задача теории перколяции [3,4]. Однако в ряде экспериментальных процессов происходит вариация вероятностей образования горизонтальной и вертикальной связи на решетчатой структуре с дефектами. В реальных физических моделях эти процессы могут происходить, например, при нанесении токопроводящего материала пульверизацией на наклонную плоскость; при постепенном отвердевании диэлектрической матрицы, в которой находятся заряженные микро и микрочастицы проводника, и которая находится в электрическом или магнитном полях и т. д.. Кроме того, можно ожидать, что наличие разнообразных дефектов в структуре влияет как на механические свойства материалов, так и на электрофизические. К сожалению, определить точную количественную взаимосвязь между количеством дефектов и физическими параметрами не всегда возможно из-за значительных экспериментальных трудностей. Моделирование зависимости физических параметров от числа дефектов при анизотропии связей представляется актуальной научной проблемой. Число подобных задач велико и может иметь большое практическое значение в случае численного решения таких задач. Целью настоящей работы является компьютерное моделирование объединенной задачи связей и узлов с разделением вероятностей образования горизонтальных и вертикальных связей и возможностью внесения в решетку дефектов по Шотки. Результатами исследования должны стать численные значения проводимости G квадратной сетки 2d от величин вероятностей: вертикальной связи P1, горизонтальных связей Р2 и дефектов N.

Ключевые слова: Программное обеспечение, перколяция, проводимость, моделирование, кластер, HPC, высокопроизводительные вычисления, Open MP, MPI, параллельные вычисления

Abstract: the percolation theory in sufficient details studied how the problem both nodes and links and the mixed problem of percolation theory. However, several experimental processes show the probability variation of the horizontal and vertical communication in the communication lattice structure with defects. In the real physical models such processes may occur, for example, when spraying the conductive material onto the inclined surface or during gradual solidification of the insulating matrix, which contains the micro-charged microparticles of a conductor, and which is placed in the electric or magnetic fields, etc.. In addition, we can expect that the presence of various defects in the structure aff ects both the mechanical and electrical properties of materials. Unfortunately, due to considerable experimental difficulties it is not always possible to determine the exact quantitative relationship between the number of defects and physical parameters. Modeling of the relation between physical parameters and the number of defects for anisotropic links is an important scientific problem. The number of such problems is large and can be of a great practical value in the case of numerical solution of such problems. The aim of this work is to study computer simulation of the combined problem of nodes and links with the division of the probabilities of formation of horizontal and vertical relations and the possibility of adding the Schottky defects into the lattice. The results of the research should be the numerical values of dependencies of the conductivity G of the 2d square grid on the values of probabilities: of the vertical connection P1, horizontal connection P2 and defects N.

Keywords: Software, percolation, conductivity, modeling, cluster, high-performance computing, Open MP, MPI, parallel computing

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

Ключевые слова: поточная модель, распределённая вычислительная система, оптимизация, закон Амдала, система дискретного времени, орграф, узел графа, блочная модель РВС, время вычислительного канала, теория игр

Abstract: the article describes a model and problem definition for optimization of distributed computing systems. The results of the study are in good accordance with Amdahl’s law and together with the game theory and optimizations allow finding the most successful solutions in terms of efficient use of computing resources when designing or upgrading the distributed computing systems. The article discusses the threaded model of distributed computing systems of continuous time. The disadvantage of this model is the possibility of simulating only threaded distributed computing system while the case of transferring of blocks of data requires the discrete time system model. Modern distributed computing systems may contain multiple separate computing units linked through communications network and located in diff erent parts of the Earth and near-Earth space. The authors review block model of distributed computing discrete time system. Such model allows examining both threaded and blocks data processing and considering time of delay needed for data synthesis and transfer. The solution of optimization task can be found by sequential search with appliance of game theory and optimizations for computational tasks, resource nodes.

Keywords: threading model, distributed computing system, optimization, Amdahl’s law, discrete time system, direct graph, graph node, block model of distributed computing systems, computation channel time, game theory

Аннотация: В данной статье приведены результаты программной реализации алгоритма Герцеля для определения сдвига фаз между двумя синусоидальными сигналами. Показано практическое применение алгоритма Герцеля для расчета активной составляющей R комплексного сопротивления Z фильтра. Отмечается, что алгоритм Герцеля реализуется в форме фильтра с бесконечно-импульсной характеристикой (БИХ - фильтра) второго порядка с двумя действительными коэффициентами обратной связи и одним комплексным коэффициентом в цепи прямой связи. Моделирование проводилось в системе компьютерной алгебры Mathcad. Говорится, что алгоритм Герцеля позволяет эффективно рассчитывать фиксированные спектральные отсчеты ДПФ без необходимости рассчитывать все ДПФ. Говорится, что алгоритм Герцеля достаточно эффективно справляется с вычислением спектральных составляющий при достаточно высоких частотах дискретизации, а также при правильном определении числа выборок. В программе Mathcad получена модель, показывающая работоспособность данного алгоритма. С помощью полученной модели были найдены наиболее оптимальные параметры для последующей практической реализации алгоритма Герцеля.

Ключевые слова: алгоритм Герцеля, сдвиг фаз, синусоидальные сигналы, комплексное сопротивление, обратная связь, цепь прямой связи, Mathcad, моделирование, выборки, фиксированные спектральные отсчеты

Abstract: the article presents results of software realization of Goertzel algorithm for determining the phase shift between two sinusoidal signals. The authors show practical appliance of Goertzel algorithm for calculation of active component R of the complex impedance filter Z. It is noted that the Goertzel algorithm is implemented in form of the filter with infinite impulse response (IIR-filter) of the second order with two real feedback coefficients and one complex coefficient in the forward loop. Modeling was carried out in the MathCad computer algebra system. The article stated that the Goertzel algorithm allows to efficiently calculate fixed spectral counts of the discrete Fourier transform without the calculation of the Fourier transform itself. The authors point out that the Goertzel algorithm proved to be eff ective for computation of the spectral components at high sampling rates and correct calculation of sampling counts. In the Mathcad the authors built a model showing the working capacity of this algorithm. Using this model the optimal parameters for further practical implementation of the Goertzel algorithm were found.

Keywords: Goertzel algoritm, phase shift, sinusoidal signals, complex impedance, feedback, direct link chain, Mathcad, modeling, sampling, fixed spectral counts

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

Ключевые слова: магнитное поле, детекторы магнитного поля, измерение магнитного поля, дорожный транспорт, гибридный автомобиль, электрический автомобиль, электромагнитные поля, экология, электромагнитная безопасность, электромобиль

Abstract: of road transport is currently one of the priority areas in science, technology and engineering. One of the most complicated tasks for all manufactures of electric vehicles is the problem of providing electromagnetic safety of users of the cars and ensuring the electromagnetic compatibility of all devices located in the vehicle. In addition there is a concern among citizens and media about the possible health risks and traffic safety due to eff ects of electromagnetic fields, generated by strong currents in the power lines and cables of electric vehicles. It is also noted that such currents and the magnetic fields generated by them may also pose a risk for various electromagnetic compatibility of electrical and electronic equipment of the electric car. In this regards the measuring and evaluation of magnetic fields along with the determination of their topology in the electric car in real time is highly important task. The article present a comparative analysis of the methods for the detection of magnetic fields in an electric car appropriate to identified specific features of these fields. The authors review the task of defining the main characteristics of magnetic field in the electric car. Based on these characteristics the authors concluded that the most perspective magnetic field sensors for the purposes of electromagnetic safety in the electric car are traditional geophysics magnetostatic sensors and modern sensors based on giant impedance.

Keywords: magnetic field, magnetic field detectors, measuring of the magnetic field, road transport, hybrid car, electric car, electromagnetic fields, ecology, electromagnetic safety, electric cart

Аннотация: В данной статье представлены результаты обработки экспериментальных исследований геоэлектрической структуры земной коры проведенных в Карелии. В августе 2012 года в районе п.Толвуя (Карелия) были проведены синхронные наблюдения ультранизкочастотных вариаций (УНЧ) вариаций электромагнитного поля Земли для определения глубинных аномалий электропроводности земной коры. Выбор данного места связан с тем, что в этом районе наблюдаются выходы высокопроводящих шунгитоносных пород на земную поверхность. Для проведения исследований были установлены 5 высокочувствительных трехкомпонентных магнитовариационных станций GI-MTS-1 разнесенных на 5-10 км друг от друга. Частота регистрации данных составляла 50 Гц. Для анализа изменения кажущегося удельного сопротивления с глубиной на всех 5 пунктах была выполнена обработка исходных данных двумя методами - магнитотеллурическим (МТЗ) и фазово-градиентного зондирования (ФГЗ). Метод ФГЗ разработан в Санкт-Петербургском филиале Учреждения Российской академии наук Института земного магнетизма, ионосферы и распространения радиоволн им. Н.В.Пушкова РАН (СПбФ ИЗМИРАН) и для его применения необходимо наличие не менее трех магнитовариационных станций расположенных треугольником на земной поверхности. Сопоставление результатов интерпретации методов МТЗ и ФГЗ показало хорошее их соответствие.

Ключевые слова: геоэлектрическая структура, земная кора, ультранизкочастотная вариация, высокопроводящая шунгитоносная порода, магнитовариационная станция, пункт регистрации, геомагнитное возмущение, удельное сопротивление среды, фазовая скорость, проводящий слой

Abstract: the article presents the results of experimental study of geoelectric structure of the Earth crust held in Karelia. Simultaneous measurements of extra-low-frequency variations of the Earth electromagnetic field were held in August 2012 near Tolvuya village (Karelia) to determine the depth of crustal conductivity anomalies. The choice of this exact place was made due to the fact that in this area there are outputs of highly conductive shungite rocs on the Earth” surface. For the research five highly sensitive trinary geomagnetic-variation systems GI–MTS-1 where placed at a distance of 10.5 km from each other. The data was recorder at a frequency of 50 Hz. At all five systems the data processing was performed in two ways using magnetotelluric method (DOLE) and phase-gradient sensing to analyze the changes in apparent resistivity with increase of the depth. The phasegradient sensing method was developer in the St. Petersburg branch of the N. V. Pushkov Institute of Terrestrial Magnetism, Ionosphere and Radio Wave Propagation of the Russian Academy of Sciences and it requires at least three geomagnetic-variation systems placed in a triangle on the earth’s surface. Comparison of the interpretation results of the magnetotelluric method and method of phase-gradient sensing showed their good match.

Keywords: geoelectrical structure, Earth crust, extra-low-frequency variations, highly conductive shungite rock, stationary recording magnetometer, registration site, geomagnetic perturbation, medium resistivity, phase velocity, conductive bed

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

Ключевые слова: математическая модель, производственные параметры, вычислительное экспериментирование, норма накопления, оптимизация, фермерское хозяйство, расширенное воспроизводство, задача, критерий оптимальности, целевая функция

Abstract: the article shows mathematical approaches to modeling of expanded reproduction processes in peasants’ (farmers’) farms, formulates the optimization task of defining rational parameters in crop farming, presents symbolic economic-mathematical model of optimization of peasant farming parameters, that reflects production, economic and technological conditions and requirements on the use of labor and land resources, on crop rotations, on defining volumes of production and sales in terms of volume and value, on demand for basic production assets, on determination of its wear and calculation of the amount of its depreciation, on insurance premiums and payments on short-term and long-term loans. The authors provides results of computational experiments on the six variants of solving the optimization problem, each represents a relatively independent task, reflecting a new production and economic situation. The article defines optimal parameters of a particular farm at various rates of accumulation, shows calculations of transition period to the optimal variant of use of productive resources, makes suggestions on the use of economic-mathematical methods and models, carrying out the computer experiments in economics and farm management on an extended basis.

Keywords: mathematical model, production parameters, computational experiment, the rate of accumulation, optimization, farm, expanded reproduction, task, optimality criterion, objective function

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

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

Abstract: the article deals with the problem of decomposition of simulation models for organization of the distributed modelling of complex systems on multiprocessor computing systems. To speed up the process of modelling the modelling program shall be divided into parts for parallel execution on different processors. The author offers the approach to the use of an automatic classification method for automation the parallelization of simulation programs.

Keywords: Software, simulation modeling, complex systems, multi-processor computing systems, decomposition of simulation model, automatic classification, distributed modeling, acceleration of computation, parallel computing, modeling programs.

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

Ключевые слова: сети ЭВМ, коммутационные системы, вероятности потери сообщений, буферный накопитель, информационные пакеты, интенсивности потоков, обработка пакетов, прямоугольные импульсы, переполнение.

Abstract: the article is devoted to a topical issue of development of the education in the field of the supercomputer systems, raises questions and suggests constructive solutions for building multiprocessor computation clusters as the initial phase in the realization of program of training specialists in the area of high performance computing. Author gives an example of building a cluster on the specific equipment and shows the results of testing the cluster during the program of modeling of distributed automated control system.

Keywords: Software, supercomputing technology, computing clusters, high performance computing, parallel programming, specialization on parallel computing, mathematical modelling, numerical experiment, mass parallelism.

Аннотация: Статья посвящена актуальной проблеме развития системы суперкомпьютерного образования, рассматриваются вопросы и конструктивные решения построения многопроцессорных вычислительных кластеров, как первоначального этапа для реализации программы подготовки специалистов в области высокопроизводительных вычислений. Приводится пример построения кластера на конкретном оборудовании и результаты тестирования кластера на программе моделирования распределенной автоматизированной системы управления.

Ключевые слова: суперкомпьютерные технологии, вычислительные кластеры, высокопроизводительные вычисления, параллельное программирование, массовый параллелизм, программные средства, специализация по параллельным вычислениям, численный эксперимент, математическое моделирование.

Abstract: the article describes the method of calculation of buffer storage capacity of commutation nodes for computer network that does not require setting the exact values for functions of distribution of incoming messages flow and duration of its processing. The proposed method makes it possible to calculate the required value of the buffer storage capacity using the average value of the intensity and duration of the incoming flow of messages.

Keywords: oftware, computer networks, switching systems, the probability of message loss, buffer storage, information packets, the intensity of flows, packet handling, overflow, rectangular pulses.

Аннотация: Прогнозирование является одним из основных вопросов, которые возникают при анализе временных рядов. При этом ставится задача определить будущее поведение временного ряда по его известным прошлым значениям. В данной работе предложен метод для прогнозирования временных рядов, который базируется на идеи выделения базовых паттернов (шаблонов) из исходных данных и позволяет установить внутренние закономерности исследуемого ряда. На сегодняшний момент одним из подходов, в котором ведутся исследования в области прогнозирования временных рядов, является системы Data Mining или “раскопка данных”. Это связано с тем, что классические методы, основанные исключительно на линейных (ARIMA) и нелинейных (GARCH) моделях прогнозирования, не позволяют достичь необходимой точности прогноза. Используя методы, разработанные в рамках данной технологии, можно увеличить эффективность прогнозирования и выявить скрытые закономерности в исследуемых временных рядах.

Ключевые слова: временной ряд, аппроксимация, кусочно-линейная аппроксимация, прогнозирование, раскопки данных, базовые шаблоны, паттерны, локальные экстремумы.

Abstract: forecasting is one of the main issues in the analysis of the time series. The goal is to determine future behavior of a time sires by its know past values. In this article the author proposes a method of time series prediction based on the idea of allocating basic patters (templates) from the input data allowing to define the internal rules of the studied series. Currently on of the approaches in the field of time series prediction is the Data Mining (or “data excavation”) system. This is due to the fact that classical methods, based only on the linear (ARIMA) and non-linear (GARCH) models of prediction can’t provide the required accuracy. Usage of the methods developed with this technology makes it possible to increase the performance of prediction and reveal hidden patterns in the studied time series.

Keywords: Software, time series, approximation, piecewise-linear approximation, forecasting, data excavation, basic patterns, patterns, local extremes, algorithm.