?
Visualization of behavioral aspects of AADL-models
P. 87–91.
Zelenov S. V., Buzdalov D.
In the paper, we describe a metamodel to represent dynamics of AADL-models. The metamodel allows to visualize step-by-step a process of models' behavioral aspects analysis. In particular, it essentially helps to debug behavioral specifications. In the paper, we consider examples of the metamodel usage to represent dynamics for the following two aspects of AADL-models: 1) simulation of a modelled system on the basis of a Behavior Annex specification; 2) failure modes and effects analysis on the basis of an Error Model Annex specification. We also present a stepwise visualization tool (engine and applications for both mentioned examples) that is implemented in MASIW framework for design of modern avionics systems.
Ogorodov I., Проблемы права 2026 № 3 С. 51–57
The article examines the specifics of the civil liability of the parties under a cloud services agreement for providing remote access to software functionality. The grounds, conditions and limits of liability of the cloud service provider and the customer are determined, taking into account the legal nature of the obligation arising between them, the specifics ...
Added: September 28, 2026
Aleksei Samarin, Nazarenko A., Aleksei Toropov et al., , in: Proceedings of the 36th Conference of Open Innovations Association FRUCT, Helsinki, Finland, 30 October - 1 November 2024Vol. 36.: FRUCT Oy, 2024. P. 711–720.
Image enhancement is crucial in digital image processing to improve visual quality across various applications. Recent advancements in deep learning and computer vision have significantly advanced automatic color correction. While heavyweight solutions excel in quality, they demand substantial computational resources, whereas emerging lightweight models promise efficient operation on mobile devices. This study introduces a lightweight ...
Added: September 19, 2026
Wind Turbines Surface Damage Automatic Detection Using YOLOv8 with Specialized Backbone Modification
Aleksei Samarin, Mamaeva A., Aleksei Toropov et al., , in: Proceedings of the 36th Conference of Open Innovations Association FRUCT, Helsinki, Finland, 30 October - 1 November 2024Vol. 36.: FRUCT Oy, 2024. P. 702–710.
This work is devoted to incorporating specialized self-attention blocks into deep neural network-based models for detecting and quantifying damage across various components of wind turbines using images captured by unmanned aerial vehicle cameras. In our study, we introduce YOLOv8 backbone modification using a specialized self-attention mechanism, tailored to the specific characteristics of the input data. ...
Added: September 19, 2026
Smirnov A., Социологические исследования 2023 № 4 С. 39–50
Using the analysis of a corpus of texts from eight leading Russian sociological journals, the article examines the impact of the digitalization of society on sociology in 2000–2021. Frequency analysis of 13.8 thousand scientific texts tracked the introduction of concepts related to digitalization into academic circulation. The article reveals the differences between the journals, due ...
Added: March 18, 2026
Oshmankevich K., Холодная Е. В., Магдилова Л. В. et al., В кн.: Правовое регулирование бережного и устойчивого оборота данных.: М.: ИНФРА-М, 2025. Гл. 3.5 С. 137–201.
Монография посвящена актуальным проблемам оборота данных в цифровую эпоху. Исследуется концепия "бережного" оборота данных для защиты прав человека. Анализируется влияние технологий на права, принципы "бережного" оборота, регулирование больших данных, соотношение данных и интеллектуальной слбственности, безопасность при развитии искусственного интеллекта. Особое внимание уделено персональным данным в трудовых отношениях и в здравоохранении.
Предназначена для научного сообщества, практикущих юристов, ...
Added: February 13, 2026
М.: МАКС Пресс, 2024.
The book contains theses of talks approved by the Program Committee of the Nineteenth Conference “Free Software in Higher Education”. ...
Added: October 25, 2025
М.: МАКС Пресс, 2025.
The book contains conference proceedings approved by the Program Committee of the Twentieth Conference ‘Free Software in Higher Education’. ...
Added: October 24, 2025
Kostyuk A., Tsvetkov V., Korolev P. et al., Reliability: Theory and Applications 2025 Vol. 20 No. 3(86) P. 35–53
This paper presents a methodology for predicting dependability measures of swarm structures of unmanned aerial vehicles used in agriculture. The main attention is paid to the development of mathematical models for assessing the dependability of hardware, software, and communication systems in drone swarms. Two types of UAVs are considered in the paper: DJI Phantom 4 ...
Added: June 23, 2025
Komashko M. N., В кн.: Право и экономика: стратегии регионального развития: сборник материалов IV Вологодского регионального форума с международным участием (Вологда, 27-28 марта 2024 г.).: Северо-Западный институт (филиал) Университета им. О.Е.Кутафина, 2024. С. 75–79.
The author notes that when discussing the problems of digital transformation of the economy and other social relations, it is necessary to take into account the protection of rights not only of information technology users, but also of software builders. However, the copyright law concept of computer software protection is currently suitable only for the ...
Added: December 29, 2024
Прокудин Д. Э., Lisanyuk E., Баымуратов И. Р., Научная визуализация 2024 Т. 16 № 3 С. 106–122
In the historical development of argumentation as a scientific direction and applied field, a number of ways of its visual representation have been developed. In the middle of the 20th century, within the framework of the theory of argumentation, in addition to the logical, rhetorical and computational concepts used since ancient times, new concepts were ...
Added: October 1, 2024
Kalyatin V., В кн.: Роль суда в регулировании экономической деятельности. Часть 2: сборник научных статей.: М.: Русайнс, 2024. С. 47–54.
The right to modification is an important part of legal regulation because it provides the author’s control for use of modified versions of his work. However, there are a lot of dispute issues connected with this right to modification, especially in relation to software and databases which have technical nature. However, the most important of ...
Added: October 1, 2024
Chaleenutthawut Y., Davydov V., Evdokimov M. et al., IEEE Access 2024 Vol. 12 P. 24843–24854
Decentralized finance (DeFi) offers a range of financial instruments and services that leverage the capabilities of web3 technology. Maker protocol, which enables users to obtain loans backed by cryptocurrencies, is one of them. Unlike traditional banks, Maker’s data is transparently recorded on the Ethereum blockchain. In this research paper, we focus on analyzing the lending ...
Added: September 4, 2024
Shirnin A., Andreev N., Potapova S. et al., IEEE/ACM Transactions on Speech and Language Processing 2024 Vol. 32 P. 2751–2763
We present an approach to evaluate the robustness of pre-trained vision and language (V&L) models to noise in input data. Given a source image/text, we perturb it using standard computer vision (CV) / natural language processing (NLP) techniques and feed it to a V&L model. To track performance changes, we explore the problem of visual ...
Added: July 19, 2024
Kalyatin V., Евразийский юридический журнал 2024 № 2(189) С. 209–212
Переработка произведений всегда вызывает много вопросов, но применительно к программам для ЭВМ они становятся намного сложнее. Это обусловлено особой природой указанных объектов и условиями их использования. Данная статья посвящена наиболее важным практическим вопросам переработки этих объектов. В ней рассматриваются причины появления тех или иных конфликтных ситуаций, возможные пути их разрешения, указывается наиболее важная судебная практика. ...
Added: June 20, 2024
Erlygin L., Zholobov V., Baklanova V. et al., , in: 2023 IEEE International Conference on Data Mining Workshops (ICDMW) 1–4 December 2023, Shanghai, China.: Shanghai: IEEE Computer Society, 2023. P. 1247–1258.
Machine learning models play a vital role in time series forecasting. These models, however, often overlook an important element: point uncertainty estimates. Incorporating these estimates is crucial for effective risk management, informed model selection, and decision-making.To address this issue, our research introduces a method for uncertainty estimation. We employ a surrogate Gaussian process regression model. ...
Added: March 20, 2024
Strimovskaya A., Barykin S., Volkova E. et al., IFAC-PapersOnLine 2023 Vol. 56 No. 2 P. 1809–1814
Modern tendencies of rapid economic growth, demand-driven market, highly uncertain economic environment with various disruption sources simultaneously with targets for sustainable development explains the increased interest to advanced solutions in supply chain management. The research paper presents a multi-level efficiency control model presenting analytical sequences and integral method of factor analysis for logistics performance indicators ...
Added: January 17, 2024
Saleh H., IEEE, 2023.
Estimating depth is necessary to understand and navigate the environment surrounding us. Over the years, many active sensors have been developed to measure depth, but they are expensive and require additional space for mounting. A cheaper alternative is estimating depth from a single RGB image taken by an ordinary monocular camera, which can be placed ...
Added: November 30, 2023
Kalyatin V., В кн.: Сборник научных статей учеников и коллег к 90-летию профессора Э.П. Гаврилова.: Томск: Томский государственный университет, 2023. С. 122–139.
Переработка программ для ЭВМ – сложная тема, вызывающая много вопросов. В данной статье рассматривается часть из них, в частности, имеет ли правообладатель перерабатываемой программы право запретить ее переработку, каковы пределы действия права правообладателя, какие права возникают у лица, переработавшего программу и т.д. ...
Added: November 21, 2023
Vladimir Borisovich Isakov, Legal Issues in the Digital Age 2022 Vol. 3 No. 3 P. 47–67
The article attempts at articulating the concept of graphic language and stating its role in the sphere of law. It also considers the functions of the graphic language and basic types of schemes. The main stages of the schematization process are shown. The author’s point of view on correlation between schematization and visualization is expressed. ...
Added: July 1, 2023