Математика программных систем: межвуз. сб. науч. тр.

Publications

?

Математика программных систем: межвуз. сб. науч. тр.

Вып. 15. Perm : Пермский государственный национальный исследовательский университет, 2018.

Academic editor: А. И. Миков

Editor-in-chief: Lyadova L. N.

Under the general editorship: А. И. Миков

О подходе к решению задачи автоматизации проектирования архитектуры предприятия

Sakhipova M., Lyadova L. N., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 87–96.

The tools used at design of enterprise architecture are analyzed, their characteristics are described in article . The output that the main problem complicating design process, leading to increase in labor input of work of systems analysts and engineers is the lack of integration tools of the used tools is proved. Approach to a solution ...

Added: January 18, 2019

Паттерны, технологии и инструменты мобильной разработки прикладных программ для спорта

Markvirer V., Suvorov A., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 50–62.

This paper represents analysis of software development patterns, tools and development environments for creating mobile applications, and realization of analytic technologies for data stored in application. The practical part of the work is a brief description of creation cyclist mobile application by the selected methods, confirming the possibility of implementing the tasks set by the ...

Added: January 18, 2019

Об одном методе оценки качества управления организационной системой

Plaksin M. A., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 74–86.

The article describes the methodic of applying the Anticipatory Failure Determination method to assess the quality of management of an organizational system. To identify potential shortcomings and assess their significance, collective anonymous examination and statistical processing of expert assessments are used. As a result, ATD was useful for assessing the quality of the management process ...

Added: January 18, 2019

Профилирование GATE Developer для выявления причины переполнения памяти

Макаров В. В., Lanin V., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 44–49.

The article is prepared on the results of the British national corpus processing (BNC, British National Corpus) in the linguistic research system GATE Developer. The authors faced the problem of reduced performance as a result of incorrect distribution of RAM by the system. The paper investigates the problem of memory overflow, identifies possible causes of ...

Added: January 18, 2019

Гиперграфы с полюсами как основа создания редакторов визуальных языков

Sukhov A., Lyadova L. N., Порязов С. А., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 97–104.

Different ways of the visual model descriptions formalization are considered. The hypergraph with poles is offered as a new formal model for graphic languages creation. This model provides possibility of definition and implementation of new visual languages and it gives a basis for realization of operations over the models constructed with these languages. The suggested ...

Added: January 18, 2019

Моделирование алгоритмов маршрутизации ad-hoc-сетей с использованием агентных технологий

Zamyatina E., Кудрявцев А. В., В кн.: Математика программных систем: межвуз. сб. науч. тр.Вып. 15.: Пермь: Пермский государственный национальный исследовательский университет, 2018. С. 18–27.

The article describes the approach to the school timetable compilation based on genetic algorithms. Schedule requirements are divided into two categories: critical, the failure of which leads to the appearance of an incorrect, impracticable schedule, and user, allowing to consider the individual preferences of teachers and features of a school. Critical schedule requirements are described ...

Added: January 18, 2019

Research target: Computer Science

Priority areas: IT and mathematics business informatics

Language: Russian

Full text

Keywords: математическое моделирование программные системы имитационное моделирование языки моделирования онтологическое моделирование анализ процессов и систем

Publication based on the results of:

Разработка программного обеспечения для проведения стилистического исследования письменной научной речи на английском языке (2017)

Математика программных систем: межвуз. сб. науч. тр.

РАЗРАБОТКА МЕТОДА И АЛГОРИТМОВ АДАПТИВНОГО ФЕДЕРАТИВНОГО ОБУЧЕНИЯ С УЧЕТОМ РАСПРЕДЕЛЕННОГО ЗАПАЗДЫВАНИЯ КЛИЕНТСКИХ ОБНОВЛЕНИЙ

Zykov S. V., Ермаков С. Р., Современные наукоемкие технологии 2026 № 9 С. 43–53

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

Added: October 11, 2026

О воспроизводимости анализа временных рядов на основе матричных профилей

Брычков М. Е., Незнанов А.А., Программирование 2026 № 4 С. 50–66

The matrix profile (MP) quickly became one of the most important time series preprocessing methods when it was introduced in 2016, facilitating the solution of a wide range of time series analysis problems, in particular anomaly and pattern detection problems. The high significance has led to the emergence of various tools for MP calculating, but ...

Added: October 9, 2026

Человеко-машинная система анализа и улучшения качества условий проживания населения

Aleskerov F. T., Вайншток А. П., Делахова А. М. et al., Информационные процессы 2026 Т. 26 № 3 С. 895–913

The development and effective management of territorial entities are priority issues for all states, particularly in the context of the digital transformation of public administration. Over the past decade, the integration of information technologies into municipal and regional planning has significantly altered approaches to strategic development, service delivery, and public engagement. This paper describes the ...

Added: October 9, 2026

Effects of Elevation Changes and Multilevel Structures on Vehicular Signal Propagation

Stepanyants V., Andrey V. Fizulin, Chibirov A. et al., FUTURE TRANSPORTATION 2026 Vol. 6 No. 5 Article 225

Reliable Vehicle-to-Everything (V2X) evaluation requires propagation models that represent terrain and multilevel infrastructure. Most integrated vehicular simulators still rely on planar models, but the magnitude of the resulting bias is unclear. This study quantitatively compares flattened two-dimensional (2D) and terrain-aware three-dimensional (3D) variants of three scenarios using identical Sionna RT settings. The pipeline combines OpenStreetMap ...

Added: October 8, 2026

Автоматизированное построение математических теорий

Люксембург А. А., УРСС, 2005.

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

Added: October 7, 2026

Automated Ranking of Soybean Plots from Close-Range RGB Video via Depth Filtering and Point-Based Counting

Groshev Maksim, Rybakov Petr, Teterin N. et al., Sensors 2026 Article 6171

Manual assessment of soybean yield components, such as pod number, is laborious, time-consuming, and subjective. Existing computer-vision approaches based on object detection or instance segmentation perform poorly on close-range RGB imagery of soybean canopies due to severe occlusions, ambiguous plant boundaries, and the high cost of bounding-box annotation. To address these challenges, we propose a ...

Added: October 7, 2026

Decision support system for improving the quality of life of the population

Aleskerov F. T., Chaika E., Дерендяев А. Б. et al., Procedia Computer Science 2026 No. 287 P. 590–595

Under conditions of dynamic socio-economic changes, effective planning and decision-making are key factors in ensuring a high quality of life for the population in territories. This paper presents a decision support system for territorial administrations for the development and implementation of sustainable development strategies, using one of the regions of the Russian Federation – the ...

Added: October 7, 2026

Новые информационные технологии в исследовании сложных структур. Материалы шестнадцатой международной конференции 21–25 Сентября 2026 г.

Томск: Издательство Томского государственного университета, 2026.

Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования, экологического ...

Added: October 6, 2026

Исследование свойств оптического покрытия на основе упрощенного симулятора процесса напыления

Isaev T. F., Шаров А. Н., Журнал вычислительной математики и математической физики 2026 Т. 66 № 1 С. 83–93

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

Added: October 5, 2026

Оптимизация энергопотребления предприятия с использованием методов многокритериальной оптимизации

Серебренников Д. А., Belov A. V., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169

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

Added: October 5, 2026

On Practical Aspects of Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes and Their Application in McEliece-type Cryptosystems

Kuninets A., IEEE Transactions on Information Theory 2026 P. 1–1

In this work we study the applicability of Quasi-Cyclic Subfield Subcodes of Dual Elliptic (QC-SSDE) codes for integration into code-based cryptographic schemes. Detailed algorithms are provided for constructing parity-check matrices as well as block-circulant parity-check matrices for this family of codes, accompanied by empirical results that enable the construction of QC-SSDE codes with predetermined dimensions. ...

Added: October 3, 2026

Инкрементальный метод обновления многомерного куба по неупорядоченному потоку событий журналов информационных систем

Zykov S. V., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13

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

Added: October 2, 2026

Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds

Chebotarev V., Andreyuk D., Elizarova Anastasiya et al., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601

The dynamics of opinion in a group are of interest for a number of practical purposes. In particular, consensus helps and polarization of opinions hinders cohesive teamwork. Existing approaches for modeling opinion dynamics mostly do not take into account the dynamism of social relations in a group. This paper proposes an algorithm and a program ...

Added: October 2, 2026

Enhancing Boundary Stability in Decision Trees and Random Forests: A Weighted Sample Duplication Approach

Konstantinov A., Elizarova Anastasiya P., Utkin L., Computing, Telecommunications and Control 2026 Vol. 19 No. 1 P. 16–25

Decision trees and their ensemble extensions, such as random forests, are widely used as classification models due to their simplicity and interpretability. However, in many real-world tasks where class labels overlap in the feature space, standard decision trees rely on hard splits that create fragile decision boundaries. In these regions, small perturbations in the input ...

Added: October 2, 2026

Bayesian Adaptive Sparse Copula

Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13

Bayesian nonparametric density estimation procedures are typically based on single-scale priors, such as Dirichlet process mixtures. Alternative multiscale density priors built on decision trees have many well-known advantages, including the ability to characterize abrupt local changes and to provide an estimate with a desired level of resolution. Despite their theoretical appeal, multiscale methods have typically ...

Added: October 2, 2026

Pericyte-derived cancer-associated fibroblasts correlate with poor survival and are enriched after chemoradiotherapy in glioblastoma

Aly Ismailov, Poptsova M., Plos One 2026 Vol. 21 No. 9 Article e0355902

Added: October 2, 2026

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

Zlotnik A., Математические заметки 2026 Т. 120 № 6 С. 1005–1009

Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...

Added: October 1, 2026

Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2026)

International Joint Conferences on Artificial Intelligence, 2026.

Added: October 1, 2026

Ensemble-based Prototype-Augmented Multimodal Fusion for Ambivalence/Hesitancy Recognition

Ryumina E., Aksenov A., Сысоев Д. С. et al., IEEE Computer Society, 2026.

Ambivalence/hesitancy recognition in unconstrained videos is a challenging problem due to the subtle, multimodal, and context-dependent nature of this behavioral state. In this paper, a multimodal approach for video-level ambivalence/hesitancy recognition is presented for the 10th ABAW Competition. The proposed approach integrates four complementary modalities: scene, face, audio, and text. Scene dynamics are captured with ...

Added: September 30, 2026

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Teregulov T., Loubenets E. R., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.

We develop a new three-party quantum secret-sharing (QSS) protocol based on a three-qubit W state. This protocol encodes the secret-sequence bits using X gates and employs randomly selected Hadamard operations and measurement bases to generate information and security-test rounds. We evaluate the efficiency of the proposed protocol and analyze its security against an internal adversary ...

Added: September 28, 2026

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...

Added: August 21, 2026

Моделирование систем транспортных средств. Модуль 1. Введение в математическое моделирование систем транспортных средств. Моделирование элементов ходовых систем колёсных машин

Комиссаров А. И., Бяков К. Е., Косицын Б. Б. et al., М.: Издательство МГТУ им. Н.Э. Баумана, 2024.

Приведено описание лабораторных работ модуля 1 «Введение в математическое моделирование систем транспортных средств. Моделирование элементов ходовых систем колёсных машин» курса «Моделирование систем транспортных средств», выполняемых в программном комплексе автоматизированного анализа динамики систем тел «Универсальный механизм». Приведены краткие теоретические сведения, исходные данные, пошаговые инструкции для создания моделей. Для студентов высших учебных заведений, обучающихся по направлениям подготовки ...

Added: August 7, 2026

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Ponomarenko A., / Series Computer Science "arxiv.org". 2025.

This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...

Added: July 30, 2026

Growth in noncommutative algebras and entropy in derived categories

Piontkovski D., / Series arXiv "math". 2026.

A noncommutative projective variety is defined, following Artin and Zhang, by a graded coherent algebra 𝐴. The category of coherent sheaves is then the quotient qgr(𝐴) of the category of finitely presented graded modules by the subcategory of torsion modules. We consider the categorical and polynomial entropies of the Serre twist, that is, of the ...

Added: June 23, 2026