Журнал «Информационно-измерительные и управляющие системы» №5 за 2024 г.
СПОСОБЫ ОЦЕНКИ ЭФФЕКТИВНОСТИ ФУНКЦИОНИРОВАНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМ
Расширение метода TOPSIS для поддержки принятия решений в ГИС на основе элементов теории категорий

Б.И.Улитин1, Э.А.Бабкин2, С.В. Зыков3

1-3 Национальный исследовательский университет «Высшая школа экономики» (Москва, Россия)

1 bulitin@hse.ru, 2 eababkin@hse.ru, 3 szykov@hse.ru

6-13
Учет взаимного доверия при выборе поставщика в рамках цифровой трансформации социотехнических систем

Э.А. Бабкин1, Б.И. Улитин2, С.В. Зыков3

1-3 Национальный исследовательский университет «Высшая школа экономики» (Москва, Россия)

1 eababkin@hse.ru, 2 bulitin@hse.ru, 3 szykov@hse.ru

14-22
Кризис цифровизации и объектное моделирование: подходы к разработке конструктивно устойчивых программных систем

С.В. Зыков1

1 Национальный исследовательский университет «Высшая школа экономики» (Москва, Россия)

1 szykov@hse.ru

23-30
ПРИНЦИПЫ ПОСТРОЕНИЯ ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ СИСТЕМ РАЗЛИЧНОГО НАЗНАЧЕНИЯ
Обзор и сравнительный анализ методов конструирования термов в комбинаторной логике

Р.В. Душкин1

1Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1rvdushkin@mephi.ru

31-38
Предметно-ориентированные системы типов в формализме Чёрча и Карри

Л.Ю. Исмаилова1, С.В. Косиков2

1 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

2 НАО «ЮрИнфоР» (Москва, Россия)

1 LYIsmailova@mephi.ru, 2 kosikov.s.v@gmail.com

39-45
Теоретико-категорная модель процессов пошагового детерминированного взаимодействия объекта с окружением

И.О. Слепцов1

1 НАО «ЮрИнфоР» (Москва, Россия)

1 igor.slieptsov@mail.com

46-55
Разработка информационных и интеллектуальных систем на основе аппликативных и семантических технологий

В.В. Рословцев1

1 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 vvroslovtsev@mephi.ru

56-68
Совмещенная система логического вывода и динамической верификации спецификаций программных компонентов

Шапкин П.А.1, Иноземцев А.Н.2

1,2 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 pashapkin@mephi.ru, 2 inozemtsev.alex@outlook.com

69-79
Система поиска специфицированных программных компонентов на естественном языке

П.А. Шапкин1, А.Д. Сидоров2

1,2 Национальный исследовательский ядерный университет «МИФИ» (Москва, Россия)

1 pashapkin@mephi.ru, 2 adsidoroff@gmail.com

80-87
МЕТОДЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА В ИНФОРМАЦИОННО-ИЗМЕРИТЕЛЬНЫХ И УПРАВЛЯЮЩИХ СИСТЕМАХ
Библиотека mPyPl: функциональный подход к обработке данных в глубоком обучении

Д.В. Сошников1

1 Научно-исследовательский университет «Высшая школа экономики» (Москва, Россия)

1 Московский авиационный институт (национальный исследовательский университет) (Москва, Россия)

1 dmitri@soshnikov.com

88-96
Метод проведения соревнований систем искусственного интеллекта в медицине

Г.С. Лебедев1, Э.Н. Фартушный2, О.А. Новикова3, И.В. Фомина4

1–3 ФГАОУ ВО Первый МГМУ им. И.М. Сеченова Минздрава России (Сеченовский Университет) (Москва, Россия)

1,4 ФГБУ «ЦНИИОИЗ» Минздрава России (Москва, Россия)

1lebedev_g_s@staff.sechenov.ru, 2fartushniy_e_n@staff.sechenov.ru, 3novikova_o_a@staff.sechenov.ru, 4fomina@inbox.ru

97-104