Journal Highly available systems №3 for 2023 year
About the features of managing the security of automated systems that include neural network technologies

V.I. Budzko1, V.G. Belenkov2, V.I. Korolev3, D.A. Melikov4

1–4 FRC CSC RAS (Moscow, Russia)
1 National Research Nuclear University MEPhI (Moscow, Russia)
4 Financial University under the Government of the Russian Federation (Moscow, Russia)
1 vbudzko@ipiran.ru, 2 vbelenkov@ipiran.ru, 3 vkorolev@ ipiran.ru, 4 mda-17@yandex.ru

5-17
Software tools for analysis and synthesis of stochastic systems with high availability (XVIII)

I.N. Sinitsyn1, V.I. Sinitsyn2, E.R. Korepanov3, T.D. Konashenkova4

1−4 FRC CSC RAS (Moscow, Russia)
 1 sinitsin@dol.ru, 2 vsinitsin@ipiran.ru, 3 ekorepanov@ipiran.ru, 4 tkonashenkova64@mail.ru

18-34
Translation of affine programs for parallel execution on systems with distributed memory

A.S. Lebedev1

1 Design Information Technologies Center Russian Academy of Sciences (Odintsovo, Moscow Region, Russia)
1 tementy@gmail.com

35-47
Self-timed circuits design automation

A.A. Zatsarinny1, Yu.A. Stepchenkov2, Yu.G. Diachenko3, N.V. Morozov4, D.Yu. Stepchenkov5

1–5 FRC CSC RAS (Moscow, Russia)
1 AZatsarinny@frscsc.ru, 2 YStepchenkov@ipiran.ru, 3 diaura@mail.ru, 4 NMorozov@ipiran.ru, 5 stepchenkov@mail.ru

48-56
The polygonal surface reconstruction method during dynamic three-dimensional reconstruction

Yu.A. Maniakov1, P. O. Arkhipov2, P. L. Stavtsev3

1–3 Orel Branch of FRC CSC RAS (Orel, Russia)
1 maniakov_yuri@mail.ru; 2 arpaul@mail.ru; 3 pavelstavcev@gmail.com

57-64