Журнал «Системы высокой доступности» №3 за 2026 г.
Оценка затрат на систему защиты информации в модели защиты ИИД-системы

В.И. Будзко1, В.Г. Беленков2

1,2 ФИЦ ИУ РАН (Москва, Россия)
1 vbudzko@frccsc.ru, 2 vbelenkov@frccsc.ru

5-18
19-29
Предметно-ориентированный язык VEXL для автоматизированной проверки практических заданий с ответом в текстовой форме

Б.С. Ксемидов1

1 Федеральный исследовательский центр «Информатика и управление» Российской академии наук (Москва, Россия)
1 sokboriswork@yandex.com

30-36
Реализация реверсивных самосинхронных счетчиков

Ю.А. Степченков1, Ю.Г. Дьяченко2, Н.В. Морозов3, Г.А. Орлов4, Д.Ю. Дьяченко5, Г.С. Апполонов6

1–6 Федеральный исследовательский центр «Информатика и управление» РАН (Москва, Россия)
1 YStepchenkov@frccsc.ru, 2 YDyachenko@frccsc.ru, 3 NMorozov@frccsc.ru,
4 GOrlov@frccsc.ru, 5 DDyachenko@frccsc.ru, 6 GAppolonov@frccsc.ru

37-44
Исследование базовых нейросетевых архитектур и протокола обучения сверточных нейросетевых моделей для улучшения качества аэрофотоснимков

П.О. Архипов1, С.Л. Филиппских2, М.В. Цуканов3

1–3 Орловский филиал ФИЦ «Информатика и управление» РАН (г. Орёл, Россия)
1 arpaul@mail.ru, 2 philippsl@mail.ru, 3 tsukanov.m.v@yandex.ru

45-54
Обоснование формальных математических доказательств с использованием больших языковых моделей и графа знаний SciLib

А.П. Халов1, О.М. Атаева2, Н.П. Тучкова3

1–3 ФИЦ ИУ РАН (Москва, Россия)
1 Московский физико-технический институт (национальный исследовательский университет) (Москва, Россия)
1 khalov.a@phystech.edu, 2 oataeva@frccsc.ru, 3 ntuchkova@frccsc.ru

55-70
Исследование архитектуры распределенной вычислительной системы MPI-GRID на базе операционных систем реального времени

Ю.П. Титов1, Н.С. Андреянов2

1 ФИЦ «Информатика и управление» РАН (Москва, Россия)
1 Московский авиационный институт (национальный исследовательский университет) (Москва, Россия)
2 ФГУП НПП «Гамма» (Москва, Россия)
1 kalengul@mail.ru, 2 nik00789030127799@bk.ru

71-84
Моделирование переходных состояний промышленных систем на основе вероятностного анализа инцидентов невыполнения производственных операций

А.Б. Лачихина1, С.Н. Гончаренко2

1 КФ МГТУ им. Н.Э. Баумана (г. Калуга, Россия)
2 НИТУ «МИСИС» (Москва, Россия)
1 lachikhinaab@bmstu.ru, 2 gsn@misis.ru

85-98
Возможности адекватного математического моделирования угроз в римановом пространстве

А.В. Волосова1, С.В. Скрыль2, В.И. Терехов3, А.И. Канев4, М.В. Виноградова5

1–5 Московский государственный технический университет имени Н.Э. Баумана (Москва, Россия)
1 volosova@bmstu.ru, 2 skryl@bmstu.ru, 3 terekchow@bmstu.ru, 4 aikanev@bmstu.ru, 5 vinogradova.m@bmstu.ru

99-111
Подходы к выявлению деструктивных действий и событий в информационных системах

В.А. Мельников1, П.Ю. Пушкин2, А.А. Мельникова3, Ю.А. Конышева4, Д.С. Перевезенцев5, А.С. Грачев6

1 РГУ нефти и газа (НИУ) им. И.М. Губкина (Москва, Россия)
2 ФГУП «НТЦ «Орион» (Москва, Россия)
3 ООО «ГК «Иннотех» (Москва, Россия)
4–6 МИРЭА – Российский технологический университет (Москва, Россия)
1 melnikov.va@gubkin.ru, 2 pushkin@mirea.ru, 3 pershinaaa16@mail.ru, 4 konysheva@mirea.ru, 5 perevezentsev@mirea.ru, 6 grachyov@mirea.ru

112-125
Моделирование вероятности успешной атаки злоумышленника при наличии системы обнаружения веб-бэкдоров

В.Е. Боровков1, П.Г. Ключарев2

1, 2 Московский государственный технический университет им. Н.Э. Баумана (Москва, Россия)
1 vbscience@yandex.ru, 2 pk.iu8@yandex.ru

126-139