Vol 31, No 1 (2025)

The article shows that in the synthesis of concurrent error-detection circuit b ased on Boolean signals correction, weighted codes with summation in the ring of deductions modulo M = 4 (weight-based Bose–Lin codes) with various arrays of weighting coefficients can be effectively used. The codes with four data and two test symbols used in organizing the control of calculations in a group of six outputs of the diagnostic object are considered in more detail. Four arrays of weight coefficients are highlighted: [1, 1, 1, 2], [1, 1, 2, 3], [1, 2, 2, 3], [2, 2, 2, 3] — the use of which in the construction of a weight-based Bose–Lin code leads to the formation of for each the test vector has exactly one data vector of the following types: <00αβ>, <01αβ>, <10αβ>, <11αβ>, where α, β ∈ {0, 1}. This property allows the use of codes with the specified arrays of weighting coefficients in the synthesis of concurrent error-detection circuit with the conversion of only part of the signals from the diagnostic object — two signals involved in the formation of the lower bi ts of the data vector. The article presents the results of experimental studies of weight-based Bose–Lin codes in the synthesis of concurrent error-detection circuit based on the Boolean signals correction using two algorithms. The first algorithm is based on the use of converting only those signals from the diagnostic object that are involved in the formation of test symbols. The second algorithm is based on the conversion of only those signals from the diagnostic object that participate in the formation of the two lowest digits of the data vector. It has been experimentally established that self-checking devices synthesized using a code with an array of weighting coefficients have the highest efficiency in terms of structural redundancy [2, 2, 2, 3] (on average, the value of the structural redundancy index has been reached at 73 % of the duplication structure). Next, according to this indicator, there are devices synthesized using a code with an array of weighting coefficients [1, 2, 2, 3] (on average, 76–77 % of the duplication structure). The use of arrays of weighting coefficients [1, 1, 2, 3] and [1, 1, 1, 2] in the construction of the code gives a slightly lower effect (on average 79–81 % from the duplication structure). It is shown that in order to ensure complete self-checking of device structures, it will be necessary to use permutations of outputs within controlled groups of outputs of the initial diagnostic object and between groups. The results of the study can be taken into account when developing self-checking digital devices, as well as software tools for their computer-aided design.

Scientific solutions for a group of heterogeneous unmanned vehicles functioning in different physical environments in a coordinated manner are presented. The following are proposed for this group: synthetic algorithms for complexing information from different measurement systems; neural network models of Earth geophysical fields for navigation; the method of joint functioning based on a frame model and an expert decision-making system.

The paper presents and discusses the main results of work on the development of the National Research Computer Network of Russia (NIKS) performed within the framework of the national project "Science and Universities" in 2021–2024. The implemented activities are considered to expand the territorial accessibility and increase the throughput of the backbone infrastructure, ensure high-speed and reliable sectoral network connectivity, and connect the country’s leading research and educational organizations of higher education to the network. The dynamics of development of the network backbone infrastructure, regional coverage, gradual increase in the number of connected organizations and some other statistical information about the user base are presented. Prospects and possible directions for further development of NIKS are discussed.

Smart contracts are software algorithms that represent an agreement in digital form with a mechanism for forcing the parties to fulfill their obligations. Smart contracts are already firmly entrenched in the fields of finance, but this is not the only possible field of application. The disadvantage of such a digital agreement is that smart contracts can contain errors that can lead to financial losses. The verification process is designed to reduce such errors. This paper provides an overview of methods and tools in the field of smart contract verification.