Annotation: Over time, requirements management, on the one hand, acquires an increasing status in the processes of development, production and operation of complex products, and on the other hand, the increasing labor intensity is not compensated by a corresponding increase in labor productivity. This is largely due to the fact that heterogeneous regulatory documents (laws, standards, technical specifications, etc.) are usually presented in a human-readable format, which does not allow the introduction of automated technologies for processing such information and the creation of really operating systems of automated requirements management, and therefore the process of such management itself is approaching a deadlock. One of the ways out of this situation is the use of machine-readable or smart (SMART) documents. The article sets out proposals for the creation of automated requirements management systems based on such smart regulatory documents.

Annotation: The article examines the classification of standardization documents and standardization organizations in the context of growing regulatory and technical information and increasing demands for interoperability. It demonstrates that traditional classifiers, while retaining practical value, are limited by update inertia, weak semantic expressiveness, blurred class boundaries, and insufficient support for versioning and multidimensional relationships. A rationale is provided for a transition to more flexible models that combine hierarchical navigation, faceted features, typified relationships, and tools for managing classifier evolution.

Annotation: International organizations deploy distributed IT infrastructure in different countries, taking into account the requirements of national legislation, supranational regulators, and industry standards. Failure to comply with the regulations of any jurisdiction can lead to serious legal, financial, and reputational consequences, making it crucial to monitor the compliance of IT infrastructure with international and national regulations, as well as to control its reliability, availability, and information security. In such conditions, traditional engineering approaches to infrastructure design are insufficient without integrating multi-criteria selection models, risk-oriented management, and compliance management. The purpose of this article is to develop, based on the application of multi-criteria selection models, risk-oriented management, and compliance management, libraries of standard architectural solutions, as well as a formalized model and algorithm for selecting the optimal scenario for building an IT infrastructure architecture for foreign offices of an international company in multiple jurisdictions with heterogeneous legal regimes, various network restrictions, and high uncertainty in the regulatory and technological environment. The practical significance of the proposed model and algorithm lies in the fact that 2 they: provide arguments and reduce the decision-making time for IT managers and compliance officers of international organizations; document and provide a formal justification for the choice of IT infrastructure architecture for each jurisdiction of the countries of presence during audits and regulatory inspections; and maintain the architecture of the distributed IT infrastructure in an up-to-date state, allowing for the preevaluation of the consequences of possible changes in the regulation of data flows and localization requirements. The results obtained can serve as a conceptual and methodological basis for applied decision support systems in the field of building, developing, and managing international IT infrastructure.

Annotation: Requirements in regulatory documents are often stated in natural language, which makes the automatic detection of contradictions between them difficult. Moreover, the existence of a contradiction may depend on the document version, the operating mode of the object, exceptions, and the priorities of other requirements. The aim of this article is to define the requirements for a formal model suitable for the automated detection of such contradictions and to propose a model based on these requirements. The paper presents a comparative analysis of normative logics, temporal logics, goal-oriented models, and specialized normative languages. The main result is the DDLLTLf formalism, in which norms are represented as temporal obligations with exceptions and priorities, while the problem of detecting contradictions is reduced to SAT checking. The scientific novelty lies in combining a logic of norms with exceptions and a temporal logic over finite traces within a unified semantics of prevailing norms, as well as in proving a Boolean encoding of this semantics. The practical significance of the approach lies in its potential use as an intermediate representation layer between the text of a regulatory document and a solver, enabling the detection of real conflicts between regulatory requirements.

Annotation: The article discusses the concept of continuous product design based on PLM (Product Lifecycle Management) systems with electronic models in the form of digital twins. The analysis of existing PLM systems has shown that these systems are currently applied software that can interact with various products in order to perform their functions. The main functions of PLM systems at the stages of the product life cycle (PLC) are considered. Based on the interaction of PLM systems as applied software with the main software products, a functional diagram of the interaction of PLM systems and a diagram of the attributes and services of PDM (Product Data Management) systems are constructed. The prospects of taking into account the ability of artificial intelligence to analyze large amounts of data, recognize patterns and extract useful information to improve traditional management processes of housing and communal services. The transition to model-oriented system engineering (MBSE – Model-based Sys) is justified. The central idea is to transfer the main role in the product design process from documents to electronic models. The concept of a digital twin, based on the MBSE methodology, is proposed to ensure the continuity of the design process. The sequence of automated design using digital twins is considered. Based on the Wymore model, an algorithm for automated design is constructed. A diagram of objects, which are data structures that provide services for their processing, is used to describe the metamodel. The factors of product design continuity have been identified to ensure their sustainable operation with minimal upgrades, the main of which are the calculation of an evaluation function that determines the deviation of the complex's operation parameters from the specified values, which determines the need for upgrades, as well as the availability of a mechanism for developing a new complex implementation architecture.

Annotation: The task of developing principles for the creation of executive-level control systems for autonomous mobile robotic complexes (MRTC) is considered. The use of the concept of a virtual driver made it possible to formulate and justify the principles of creating control systems of the executive level of the MRTC and to develop a structural diagram of the control system of the executive level of the MRTC based on the use of situational management methods and modern intelligent technologies.

Annotation: Objectives. This paper examines the problem of tuning information retrieval results reranking models as a mixed optimization problem in variable-size design space. The goal of the study is to investigate various approaches to adapting the basic genetic algorithm (GA) to switch between design spaces of different size when solving a mixed optimization problem in a variable-size design space. Methods. This paper considers and explores adapted versions of GAs that enable solving mixed optimization problems in variable-size design spaces. These GAs involve introducing into the chromosome either a single additional gene encoding an integer dimensional variable, or several additional genes encoding binary dimensional variables, or an additional tag vector associated with the chromosome. Dimensional variables and tag vectors allow one to control switching between variable-size design spaces during the optimization process and determine which genes in the chromosome are active and which are passive. Moreover, all GAs implement the encoding of parameters of different types using Gray code. Results. The results of the experimental studies, obtained using the tuning information retrieval results reranking models as an example, confirm the feasibility of using adapted GA versions for solving mixed optimization problems in variable-size design spaces. The besttuned information search results reranking model is integrated into the RAG system in order to produce a more accurate relevancy assessment of the already found information. Conclusions. Adapted GA versions allow switching between variable-size design spaces during mixed optimization, ensuring simultaneous search for optimized parameter values in variable-size design spaces and obtaining a higher MAP metric value compared to the value of this metric in an untuned model. Using a tuned information retrieval results reranking model in the RAG system improves the quality of generative language model responses to user queries.

Annotation: The article examines issues related to organizing data propagation routes on the chip of a hardware platform designed for computing clusters based on programmable logic. Modern trends requiring massively parallel systems for data processing are outlined. The role of high-speed input/output interfaces is noted, as well as the resulting practical demand for increasing data-path frequencies for information received from them. The aim of the research is to improve the efficiency of the technical implementation of the data path in systems with massively parallel architectures. The objective of the research is to develop an iterative approach that takes into account the features of the hardware platform topology alongside the RTL architecture of the designed solution. Particular emphasis is placed on the fact of predetermined placement and routing, which contributes to enhancing the technical characteristics of the final design. The article presents results obtained from experiments conducted for different types of computing cores, as well as for various strategies used at the placement and routing stages of the design flow. Among the main comparison criteria are timing slack indicators along data propagation paths, which reflect the maximum operating clock frequency of the device, as well as the ability to preserve additional placement and routing constraints. An FPGA integrated circuit was used as the hardware platform to reduce the influence of different PDK. Analysis of the results shows improvements in technical characteristics in each experiment, as well as the flexibility of applying the proposed approach while considering additional placement and routing constraints associated with the use of DFX technology.

Annotation: Problem Description. This article examines the use of wavelet analysis in studying periodic signals transmitted by low-speed communication devices. The relevance of this research is driven by the availability of sensors and devices connected via analog interfaces, including those using the HART (Highway Addressable Remote Transducer) protocol, on the Russian market. This article explores the development of a digital device using wavelet filters to process signals from low-speed analog data transmission protocols used in industrial automation devices. Objective. The objective of this work is to study the properties of orthogonal wavelet filters for directly reconstructing the vector diagram of the input signal of low-speed analog protocols. Key Results. The Morlet wavelet function was selected as the filter. It is necessary to determine the modulating window and bit depth that will ensure correct amplitude reconstruction for the frequencies used in the HART protocol. The approach was tested on an experimental setup based on a commercially available AD5700 HART modem. Processing was performed using a prototype program developed for studying the properties of wavelet functions. Practical Relevance. A software application was developed for modeling the characteristics of wavelet filters with varying coefficient bit depth, integration limits, and Morlet wavelet window function characteristics. Based on the modeling results, it is possible to design a digital FPGA-based HART modem with increased noise immunity.

Annotation: This paper addresses the problem of validating the calibration of extrinsic parameters in object-centric multicamera systems. A method for assessing camera positioning quality is proposed, based on AprilTag fiducial markers and the leave-one-out principle. For each camera under evaluation, the characteristic points of the calibration target are triangulated from the remaining cameras and reprojected onto the evaluated camera, with the discrepancy from reference values serving as a quantitative measure of calibration quality. Two target variants are investigated: a planar target (single marker), where reference points are determined directly from detections, and a volumetric target (rigid cube with markers on each face), where reference points are recovered by solving the Perspective-n-Point (PnP) problem using the known three-dimensional geometry of the target. Two synthetic datasets with controlled conditions were generated for experimental evaluation: one with ideal visibility conditions (40 cameras, full target visibility) and one with realistic conditions (16 cameras, partial visibility). Individual random perturbations were applied to the true extrinsic parameters to simulate calibration results of varying quality. Experimental results demonstrated that both methods exhibit high Spearman rank correlation with the true positioning errors. The volumetric target method outperforms the planar target method, the intra-scene correlation was 0.943 and 0.920 respectively under ideal conditions, and 0.743 and 0.686 under realistic conditions. The gap between methods increases approximately 2.5 times as observation conditions deteriorate, indicating more robust performance of the volumetric target method in practical settings.

Annotation: The article considers a method for the automatic generation of specifications, textual documentation, and clientside code for undocumented Application Programming Interfaces (API), based on static analysis of server-side web application code using Large Language Models (LLMs).The scientific novelty of the work lies in the formalization of the process of transforming an abstract syntax tree (AST), constructed for the server-side code of a web application, into an intermediate representation (IR) of the API, followed by enrichment of this IR with generated descriptions of API methods using a few-shot learning approach.The proposed method enables automation of the generation of documentation and client-side API code for web applications implemented in highlevel programming languages with structured descriptions of API handlers.An experimental evaluation of the method was conducted using three open-source web applications implemented in Python: a “Digital Teaching Assistant” platform designed for automatic generation and assessment of programming tasks; an address book API implemented in accordance with the Representational State Transfer (REST) architectural style; and an API for managing records of Free and Open Source Software (FOSS).The average cosine similarity metric between the generated API method descriptions and expert-authored reference descriptions was 0.92 for the remote LLM Nemotron-3-Nano-30B and 0.76 for the local LLM SmolLM2-1.7B, exceeding the result obtained using template- based generation (0.34) by 0.58 and 0.42, respectively.The obtained results demonstrate the feasibility of using the proposed method for generating API specifications, documentation, and client-side API code when developing integrations with web applications that have undocumented APIs.

Annotation: The problem of maintaining the relevance of the electronic structure of a product in a dynamically changing environment of a manufacturing enterprise is considered: replacement of components, changes in specifications, the emergence of new suppliers and the launch of design notices of changes. A method is proposed for updating the electronic structure of a product based on events generated by an enterprise resource management system (ERP system) using the "generate and verify" approach based on large language models (LLM). The key element of the method is the "generate and verify" cycle: a large language model generates the proposed change in the form of an intermediate representation of the electronic structure of the product that satisfies a context-free grammar, after which the intermediate representation is verified for compliance with the constraints of referential integrity and data type tolerance. An algorithm for processing ERP events of three classes has been developed: structural, attributive, and referential. A software implementation in Python based on an eventoriented approach is described. The proposed algorithm is integrated into the architecture of the product's electronic structure synthesis system, expanding its capabilities at the stage of product maintenance in production and operation. The algorithm has been experimentally tested on a model database with scenarios corresponding to various classes of events generated by the enterprise resource management system (ERP system).