JOURNAL "INFORMATION TECHNOLOGIES" No. 1. Vol. 31. 2025

MODELING AND OPTIMIZATION

Efanov D. V., Yelina Y. I. Accounting the Ways of Weighing the Bits of the Data Vector when Constructing a Code with Summation in the Ring of Deductions Modulo M = 4 in the Synthesis of Self-Checking Discrete Devices Based on Boolean Signals Correction

Olshanskay I. V., Fedorenko S. N. Single-Flow Automated Line with Intermediate Storage and Various Types of Downtime of Production Cells

INTELLIGENT SYSTEMS AND TECHNOLOGIES

Amosov O. S., Amosova S. G. Intelligent Technologies for Joint Navigation and Functioning of Mobile Objects in Different Physical Environments

COMPUTING SYSTEMS AND NETWORKS

Abramov A. G.,. Gonchar A. A, Evseev A. V., Shabanov B. M. Results of the Development of National Research Computer Network of Russia within the Framework of the National Project "Science and Universities" in 2021—2024

INFORMATION TECHNOLOGIES IN ECONOMY, MANAGEMENT AND PRODUCTION

Avdoshin S. M., Litvinenko A. M. A Review of Smart Contract Verification Methods