?
Математика программных систем: межвузовский сборник научных трудов
Вып. 10.
Perm :
Пермский государственный национальный исследовательский университет, 2013.
Academic editor: Lyadova L. N., А. И. Миков
Editor-in-chief: Lyadova L. N.
Under the general editorship: А. И. Миков
Chapters
Strinyuk S. A., Pozdeeva E., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013.
Статья посвящена вопросам формирования языковой среды с привлечением электронных ресурсов. ...
Added: March 3, 2014
Lanin V., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 4–9.
The paper deals with the classification of formats. Particular attention is paid to possibility of incorporating metadata, which supports mechanism for semantic indexing. Existing classification is examined and a new facet classification is proposed. ...
Added: March 29, 2015
Lanin V., Печенежский А. Б., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 10–19.
The article describes the implementation of the service, which allows to automate collection of structured information from unstructured web documents. The service unifies the solution for a variety of data domain by explicitly ontological description of a task. In addition, is not required change program code to increase the number of sources, because sources of ...
Added: March 29, 2015
Sukhov A., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 56–94.
В процессе разработки информационных систем с использованием модельно-ориентированного подхода, как правило, строится несколько моделей системы, выполненных с различных точек зрения, с разной степень абстракции, описанных на различных языках моделирования. Для преобразования моделей между различными нотациями применяются специальные инструментальные средства трансформации моделей. В статье приводится аналитический обзор наиболее развитых на сегодняшний день языков и инструментальных средств ...
Added: March 29, 2015
Sukhov A., Lyadova L. N., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 95–125.
Система MetaLanguage – это языковой инструментарий, предназначенный для создания визуальных динамически настраиваемых предметно-ориентированных языков моделирования. В статье приводится описание алгоритмов, реализующих основные этапы процесса создания моделей предметной области с использованием системы MetaLanguage: создания/ удаления сущностей, отношений, ограничений; создания/удаления экземпляров сущностей и отношений; проверки ограничений, налагаемых на элементы метамоделей. ...
Added: March 29, 2015
Sukhov A., Семков Н. А., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 126–132.
В статье рассматривается процесс создания визуального предметно-ориентированного языка построения моделей для систем типа «Умный дом». Разработанный язык может быть использован на практике при проектировании системы: оценке ее стоимости, анализе взаимодействия ее подсистем, созданных различными производителями, разработке пользовательского интерфейса. ...
Added: March 29, 2015
Лукиных Н. В., Lyadova L. N., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 28–48.
Описывается математическая модель и алгоритмы, используемые для реализации средств ведения нормативно-справочной информации, классификаторов различных типов. Представленная модель является универсальной и позволяет описать классификаторы различных типов и выполнять операции над ними единообразно. Созданные средства прошли апробацию при реализации Региональной информационной системы образования и науки (Пермский край). ...
Added: May 17, 2015
Миков А. И., Нгуен Н. З., В кн.: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. С. 49–55.
Рассматривается процесс имитационного моделирования дискретных систем в распределенной среде. В работе приводятся три различных алгоритма распределения вычислений (обработки событий) в системе с n процессорами, и производится анализ их эффективности на примерах сетей массового обслуживания (СМО) определённой конфигурации. Представлены результаты сравнительного анализа трех методов обработки списка событий, планируемых во время работы имитационной модели СМО. ...
Added: May 23, 2015
Zlatev Z. D., Nedeva V. I., , in: Математика программных систем: межвузовский сборник научных трудовВып. 10.: Пермь: Пермский государственный национальный исследовательский университет, 2013. P. 133–139.
The report presents methodology for studying the qualitative and quantitative parameters of quail eggs. The method and system of computer vision are developed. The probability estimations of the health risk from consumption of poor quality food can be determined with developed computer system. ...
Added: May 23, 2015
Research target:
Computer Science
Language:
Russian
Keywords: программная инженериябизнес-информатикаинформационные технологииимитационное моделированиеInformation technologiessimulation языки моделированияsoftware engineeringпроектирование информационных системIT-educationИТ-образованиеmodelling languagesинструментальные средстваматематика программных системInformation system designProcesses and systems analysisToolkitsAlgorithms and programsBusiness informaticsсистемы моделированияалгоритмы и программы
Gadzhimirzaev S., Хельвас А. В., 2023 3rd International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET) Mohammedia, Morocco 2023 P. 1–6
The article proposes the architecture for eventdriven Emergency Operation Center with Machine Vision Component. Sources of information are analyzed and approaches to machine vision events for tactical situations detection and estimation are discussed. Messages from Machine Vision Components are converted to Common Alerting Protocol and processed by Operation Center environment for tactical situations recognition. ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., Компьютерные исследования и моделирование 2022 Т. 14 № 6 С. 1255–1268
This work contains a description of the results of modeling the process of maintaining the readiness of a section of the road network under strikes of with specified parameters. A one-dimensional section of road up to 40 km long with a total number of strikes up to 100 during the work of the brigade is ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., Лукьянченко П. П., Computer Research and Modeling 2023 Vol. 15 No. 1 P. 129–140
In this article we propose a new approach to the analysis of econometric industry parameters for the industry consolidation level. The research is based on the simple industry automatic control model. The state of the industry is measured by quarterly obtained econometric parameters from each industry’s company provided by the tax control regulator. An approach ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., International Frequency Sensor Association (IFSA) Publishing, 19-21 February 2025 Granada, Spain 2025 P. 172–176
The paper presents models for an innovative fully robotic warehouse for storing boxed goods. A discrete multiagent simulation of the movement of shuttles in a warehouse for a given sequence of pallet shipments has been implemented. Different strategies for placement of boxes in various areas of a warehouse are evaluated, as well as optimal routing ...
Added: June 26, 2026
Medvedev M., Journal of Chemical Theory and Computation 2026 Vol. 22 No. 9
Density functional theory (DFT) is the workhorse of modern reactions and materials modeling. While the exact functional remains unknown, many approximations to it have been constructed either by hand-crafting functional forms to satisfy exact constraints or by machine learning. In this work, we show how both of these approaches can be fused to build both ...
Added: June 26, 2026
Gadzhimirzaev S., Хельвас А. В., Computer Research and Modeling 2026 Vol. 18 No. 2 P. 423–438
This article presents a model of a fully automated warehouse with deep storage racks designed
for boxed goods storage. The study focuses on optimizing warehouse operations through discrete
multiagent simulation of shuttle movements for pallet loading and unloading tasks. The authors
investigate various product placement strategies, including the Nearest Channel Positioning Algorithm
(NCPA), Most Empty ChannelGroup Placement (MECGP), and ...
Added: June 24, 2026
Podolskaia E., Sinitsina A., European Journal of Forest Engineering 2026 Vol. 12 No. 1 P. 7–21
Machine learning in transport modeling has become a trend in science and industry. In this paper, we observe its main directions and focus on a dataset of seasonal road creation. Seasonality as a parameter in transport modeling has a significant impact on transport scenarios but is underestimated worldwide and in Russia, despite modern data challenges. ...
Added: June 24, 2026
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
Piontkovski D., / Series arXiv "math". 2025.
If a symmetric multilinear algebra is weakly nil, then it is Engel. This result may be regarded as an infinite-dimensional analogue of the well-known Jacobian theorem, which states that if a polynomial mapping has a polynomial inverse, then its Jacobian matrix is invertible. This refines a theorem of Gerstenhaber and partially answers a question posed ...
Added: June 23, 2026
Atlasov B., Selskiy A., Russian Journal of Information Technology in Sports 2025 Vol. 2 No. 1 P. 13–21
The article examines the current state of the global virtual and augmented reality (VR/AR) technology market in sports, noting its growth, although slower than previously expected. Special attention is paid to the Russian market, where the development of VR technologies in sports lags behind world leaders such as the United States, EU countries and China, ...
Added: June 23, 2026
[б.и.], 2026.
Added: June 23, 2026
IEEE, 2026.
The 9th International Scientific Conference on Information, Control, and Communication Technologies (ICCT-2025) had been held October 7-11, 2025 in Gomel, Belarus. The main technical areas and applications covered by the proceedings are optoelectronics, acousto-optic, microwave technology, antenna systems, measuring technology, metamaterials, nanostructures, nanofilms, photonic crystals, biology and medicine, biophotonics, bioengineering, neural networks in communication technologies; ...
Added: June 23, 2026
Buzaev F., Mullakhmetov R., Bogachev R. et al., Association for Computational Linguistics, 2026.
Playlist generation based on textual queries using large language models (LLMs) is becoming an important interaction paradigm for music streaming platforms. User queries span a wide spectrum from highly personalized intent to essentially catalog-style requests. Existing systems typically rely on non-personalized retrieval/ranking or apply a fixed level of preference conditioning to every query, which can ...
Added: June 22, 2026
Herbert A., Cherednichenko O., Lybrand T. et al., International Journal of Molecular Sciences 2025 Vol. 26 No. 6 Article 2422
The double-stranded RNA editing enzyme ADAR1 connects two forms of genetic programming, one based on codons and the other on flipons. ADAR1 recodes codons in pre-mRNA by deaminating adenosine to form inosine, which is translated as guanosine. ADAR1 also plays essential roles in the immune defense against viruses and cancers by recognizing left-handed Z-DNA and ...
Added: June 22, 2026
Калужский печатный двор, 2026.
Conference Proceedings INTERNATIONAL CONFERENCE
“Mathematical Ideas of Academician
P.L. Chebyshev, Their Applications in Natural
Sciences and Artificial Intelligence Technologies”
dedicated to the 205th anniversary of his birth ...
Added: June 20, 2026
Stognieva O., Чеснокова Н. Е., Отечественная и зарубежная педагогика 2026 Т. 1 № 3 (115) С. 123–131
Integration of generative artificial intelligence tools into educational practice highlights the need for pedagogically grounded approaches to their use in the creation of educational video content, which is increasingly applied in language and professionally oriented instruction.
The purpose of this article is to conduct a comparative analysis of educational video content created using generative AI tools ...
Added: June 20, 2026
Cherednichenko O., Herbert A., Poptsova M., Computational and Structural Biotechnology Journal 2025 Vol. 27 P. 992–1000
Large language models (LLMs) in genomics have successfully predicted various functional genomic elements. While their performance is typically evaluated using genomic benchmark datasets, it remains unclear which LLM is best suited for specific downstream tasks, particularly for generating whole-genome annotations. Current LLMs in genomics fall into three main categories: transformer-based models, long convolution-based models, and state-space models ...
Added: June 19, 2026
Poptsova M., Briefings in Bioinformatics 2025 Vol. 26 No. 2 P. 1–11
Kolmogorov–Arnold networks (KANs) emerged as a promising alternative for multilayer perceptrons (MLPs) in dense fully connected networks. Multiple attempts have been made to integrate KANs into various deep learning architectures in the domains of computer vision and natural language processing. Integrating KANs into deep learning models for genomic tasks has not been explored. Here, we ...
Added: June 19, 2026
Анненков А. Н., Nesterov R., Моделирование и анализ информационных систем 2026 Т. 33 № 2 С. 176–205
Declarative process models are widely used in process mining to describe flexible process behavior through sets of constraints. However, models discovered automatically from event logs may contain inconsistent constraints, which can make them difficult to interpret and unusable for execution, conformance checking, or further analysis. Existing methods for consistency analysis either rely on automata-based constructions ...
Added: June 18, 2026
Cham: Springer Publishing Company, 2026.
The four-volume set LNCS 16483-16486 constitutes the refereed conference proceedings of the 48th European Conference on Information Retrieval, ECIR 2026, held in Delft, The Netherlands, during March 29–April 2, 2026.
The 46 full papers and 37 short papers presented together with 10 findings papers, 9 reproducibility papers, 17 resource papers, 11 workshop papers, 7 tutorial papers, ...
Added: June 18, 2026
Poddiakov A., Троицкий вариант. Наука 2026 № 12 С. 24–25
В научно-популярной заметке представлен обзор содержания поста филдсовского медалиста Тимоти Гауэрса о возможностях ИИ в математике и содержания комментариев под постом. Обзор сделан в основном чат-ботом DeepSeek. В заключение обсуждается возможность не только решения задач искусственным интеллектом, но и их постановки. ...
Added: June 18, 2026
Beznosikov A., Kormakov G., Grigorievskiy A. et al., Journal of Optimization Theory and Applications 2026 Vol. 209 Article 18
The objective of Vertical Federated Learning (VFL) is to collectively train a model using features available on different devices while sharing the same users. This paper focuses on the saddle point reformulation of the VFL problem via the classical Lagrangian function. We first demonstrate how this formulation can be solved using deterministic methods.More importantly, we explore various stochastic modifications to ...
Added: June 17, 2026
Chertenkov V. I., Shchur L., Lobachevskii Journal of Mathematics 2026 Vol. 47 No. 2 P. 720–727
Supervised machine learning is successfully applied to the study of critical phenomena and allows us to obtain a numerical estimate of the phase transition temperature and the correlation length exponent. We discuss the influence of possible systematic errors, as well as statistical errors, on the accuracy of such numerical estimates. Errors in the training and ...
Added: June 16, 2026
М.: Институт проблем управления им. В.А. Трапезникова РАН, 2024.
В сборник вошли материалы VIII Международной научной конференции «Информационные технологии и технические средства управления» (ICCT-2024). На конференции были рассмотрены вопросы, касающиеся перспектив развития научного приборостроения в телекоммуникационных и управляющих системах, биомедицинской информатики, аппаратного и программного обеспечения информационнокоммуникационных систем, надежности, диагностики и неразрушающего контроля, систем управления и автоматизации, цифровых экосистем, управления производством и логистикой, методов математического ...
Added: May 27, 2026