The article is devoted to the implementation in the Mirera digital educational platform of a neural network–based system for generating learning materials and tests, new types of tasks for monitoring the viewing of theoretical materials, and analytical tools for assessing students’ learning activity. The paper considers the architecture of neural task generators, the mechanism for allocating scores for content viewing, and the educational analytics module.

We reviewed research and methodologies related to the formalization of expert knowledge and the support of expert decision-making. We examined an approach developed in the 1970s and 1980s by a research group led by I. M. Gelfand, a member of the Academy of Sciences, with the participation of researchers from SRISA. We analyzed the difficulties and limitations associated with applying this methodology. We also discussed prospects for its further development and application to support expert decision-making in healthcare and other sectors of the economy.

We reviewed research and methodologies related to the formalization of expert knowledge and the support of expert decision-making. We examined an approach developed in the 1970s and 1980s by a research group led by I. M. Gelfand, a member of the Academy of Sciences, with the participation of researchers from SRISA. We analyzed the difficulties and limitations associated with applying this methodology. We also discussed prospects for its further development and application to support expert decision-making in healthcare and other sectors of the economy.      

This article presents the experience of implementing a large-scale teacher training project aimed at developing algorithmic and engineering thinking in preschool and primary school children. 

. Modern data storage devices vary widely in their key characteristics: capacity, throughput, and write latency. Due to physical limitations, no single device can maximize all of these characteristics simultaneously. However, combining different types of storage often makes it possible to optimize operating system performance for specific application workloads. The GNU/Linux kernel enables the creation of composite block I/O devices, including software RAID arrays and caching devices. This article presents an analysis of system tools and GNU/Linux kernel capabilities, with the goal of developing an algorithm for determining the optimal hardware-software configuration of the I/O subsystem.

The principles of design and architecture of a system for training and certification of personnel servicing automated process control systems (APCS) are discussed. A simulator architecture based on HIL simulation is proposed for training and certification of operators and process engineers involved in the operation of APCS.

The paper provides a brief overview of the main changes in the MISRA C 2023 standard compared to its previous version in 2012. Fundamental changes in the structure of the standard, new requirements and recommendations, as well as practical implications for developers of embedded and security-critical systems are considered.

The article discusses methods for implementing redundancy of processor modules for the programmable logic controller Baget-PLC1. A redundancy algorithm with data synchronization between the main and backup modules via Ethernet is proposed, ensuring seamless switching in case of main module failure. The specifics of software implementation based on the translation of application programs from IEC 61131-3 languages into C code are described, as well as the mechanism for automatic role determination of modules and system recovery. The solution is intended for use in control systems of critical infrastructure facilities.