Том 2, № 1 (3) (2020)

Содержание

Титульный лист
 
PDF
1-2
От главного редактора
 
PDF
3-4
System Level Formal Verification as a Service
T. Mancini, F. Mari, A. Massini, I. Melatti, E. Tronci
PDF (English)
5-10
A Generic Tool for the Implementation of the Analytic Hierarchy Process
P. Karvelis, G. Georgoulas, Ch. D. Stylios
PDF (English)
11-17
An intelligent decision support system in a nuclear power plant
G. L. Kovacs, J. Nacsa
PDF (English)
18-24
Метод интегрального контроля динамического баланса при перемещении антропоморфного робота
Ф. Б. Тебуева, М. Г. Огур, Е. А. Некрасова, Е. Н. Ласкина
PDF
25-31
Диагностика программного проекта как сложной технической системы с применением интеллектуальных методов
Л. Р. Черняховская, Н. О. Никулина, А. С. Давлиева
PDF
32-39
Information support in working-out the innovation development strategy at the regional level
M. M. Nizamutdinov, N. I. Fedorova, V. V. Oreshnikov, A. YU. Klimentyeva
PDF (English)
40-47
Организация методов и средств повышения безопасности функционирования интерактивных систем мониторинга и управления
В. В. Гучук
PDF
48-59
Об одной задаче маршрутизации для доставки груза различным клиентам
А. Ф. Валеева, Ю. А. Гончарова
PDF
60-66
Информационные технологии оценки бремени болезней и формирования оптимальных профилактических программ
Л. Я. Бухарбаева, М. В. Франц, Н. С. Кондрова
PDF
67-72
Модель обучения искусственного интеллекта
О. В. Фенина, А. О. Фенин, М. В. Брик
PDF
73-81