Демидов, А. В.
Формализация открытых протоколов аутентификации в терминах БАН-логики = Formalization of open authentication protocols in terms of BAN logic / А. В. Демидов. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 103-112. - ISSN 2072-8964. - Библиогр.: с. 112 (9 назв.).

Авторы: Демидов, А. В.

Аннотация: Приведен обзор открытых протоколов аутентификации и авторизации OAuth 2. 0 и OpenID Connect, их идеализация и проверка корректности в терминах БАН-логики. Данные протоколы в различных модификациях являются наиболее широко используемыми для организации аутентификации и авторизации в рамках распределенных информационно-вычислительных систем.

Васильев, Д. И.
Технология создания программного обеспечения в сфере логистического менеджмента транспортных предприятий = Technology of creating software in the field of logistics management of transport enterprises / Д. И. Васильев, Р. С. Саттаров, Р. С. Симак. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 19-24. - ISSN 2072-8964. - Библиогр.: с. 24 (9 назв.).

Авторы: Васильев, Д. И., Саттаров, Р. С., Симак, Р. С.

Аннотация: Рассмотрена технология разработки программного продукта для предприятий малого и среднего бизнеса в сфере логистики и управления цепями поставок. Приводятся этапы цикла создания программного продукта на основе инновационной модели, включающей взаимодействие между потенциальным заказчиком и группой исполнителей, в составе которой находятся как специалисты предметной области, так и программисты, а также, по возможности, специалисты на стыке данных областей, для более эффективной организации процесса выполнения заказа.

Колупаева, А. С.
Пространственная корреляция замираний = Spatial correlation of fades / А. С. Колупаева. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 91-95. - ISSN 2072-8964. - Библиогр.: с. 95 (6 назв.).

Авторы: Колупаева, А. С.

Аннотация: Рассматривается технология MIMO, пропускная способность MIMO системы связи, а также явления, влияющие на характеристики канала связи, воздействие замираний на пропускную способность канала связи. Представлены результаты моделирования канала связи MIMO для пропускной способности от расстояния между антеннами.

Программный имитатор закабинного пространства летательного аппарата с возможностью моделирования данных разноспектральных датчиков = Software simulator of the aircraft's outside space with the ability to simulate data from multispectral sensors / П. П. Аврашков, В. С. Игначев, Д. С. Игначев [и др.]. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 74-81. - ISSN 2072-8964. - Библиогр.: с. 81 (5 назв.).

Авторы: Аврашков, П. П., Игначев, В. С., Игначев, Д. С., Марочкин, М. А., Петров, Ю. В., Рудыка, С. А., Санников, Д. П., Сапунов, М. А., Фролов, А. И., Шорин, В. Д.

Аннотация: Рассматриваются вопросы синхронного моделирования функционирования разноспектральных датчиков летательного аппарата в процессе его пролета над заданной местностью. Приводится описание способа моделирования на основе применения программного имитатора закабинного пространства. Выполнена формулировка задачи имитации закабинного пространства. Предложена архитектура программного обеспечения имитатора закабинного пространства. Определены методы моделирования функционирования камер видимого, SWIR и LWIR диапазонов, лазерного и радио- локаторов.

Конюхова, О. В.
Программная реализация на языке функционального программирования Haskell алгоритма двойного поиска K кратчайших путей = The implementation of the double-sweep algorithm to solve the K-shortest path problem in Haskell / О. В. Конюхова, Э. А. Кравцова, П. В. Лукьянов. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 64-73. - ISSN 2072-8964. - Библиогр.: с. 73 (4 назв.).

Авторы: Конюхова, О. В., Кравцова, Э. А., Лукьянов, П. В.

Аннотация: Рассматривается один из возможных вариантов программной реализации на языке функционального программирования Haskell алгоритма двойного поиска для нахождения K кратчайших путей.

Амелина, О. В.
Проверка типов в функциональных языках программирования, основанная на системе типов Хиндли-Милнера = Type checking in functional programming languages, Hindley-Milner type system based / О. В. Амелина, А. П. Гордиенко, А. В. Чижов. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 56-63. - ISSN 2072-8964. - Библиогр.: с. 63 (4 назв.).

Авторы: Амелина, О. В., Гордиенко, А. П., Чижов, А. В.

Аннотация: Дается анализ существующих алгоритмов проверки типов в функциональных языках. Алгоритмы основаны на системе типов Хиндли-Милнера. Показано, что алгоритм, основанный на сборе ограничений, является наиболее перспективным, дающим возможность анализа ошибок и построения наиболее понятного сообщения о причине ошибки.

Митин, А. А.
Особенности обучения искусственной нейронной сети GPT-2 при решении задачи генерации кулинарных рецептов = Features of GPT-2 artificial neural network training when solving the problem of generating recipes / А. А. Митин, С. Ю. Нагорный, Е. В. Новикова. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 13-18. - ISSN 2072-8964. - Библиогр.: с. 18 (6 назв.).

Авторы: Митин, А. А., Нагорный, С. Ю., Новикова, Е. В.

Аннотация: Рассматриваются современные архитектуры искусственных нейронных сетей, их преимущества и недостатки в контексте проблемы генерации рецептов. Изучены и описаны особенности обучения нейронной сети ГТ-2 как одной из наиболее эффективных моделей работы с текстом.

Обобщенная графовая модель виртуальной файловой системы в облачных системах хранения и обработки данных для реализации виртуального предприятия = Generalized graph model of virtual file system in cloud storage and data processing systems for implementation of virtual enterprise / В. Н. Волков, И. С. Константинов, А. А. Стычук, И. С. Стычук. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 25-36. - ISSN 2072-8964. - Библиогр.: с. 36 (4 назв.).

Авторы: Волков, В. Н., Константинов, И. С., Стычук, А. А., Стычук, И. С.

Аннотация: Описание разработанной обобщенной графовой модели виртуальной файловой системы в облачных системах хранения и обработки данных для реализации виртуального предприятия. При построении модели виртуальной файловой системы приводится описание операций модуля управления виртуальной файловой системой, актуального и клиентского графа, флагов безопасности и видимость узла.

Дорогинина, О. В.
О математических моделях угроз безопасности информации = On mathematical models of security risks of information / О. В. Дорогинина, Е. В. Карачанская. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 113-123. - ISSN 2072-8964. - Библиогр.: с. 123 (20 назв.).

Авторы: Дорогинина, О. В., Карачанская, Е. В.

Аннотация: Рассмотрены основные направления исследований в области динамических моделей угроз безопасности информации. Представлена стохастическая модель совокупности информационных потоков в виде диффузионного уравнения со скачками, которая может служить основой для построения управления защитой от атак с вероятностью 1.

Долгов, Е. П.
Модель построения гибридного сегмента программно-конфигурируемой сети с использованием приложения контроллера = Model for building a hybrid segment software-configurable network using the controller APP / Е. П. Долгов, С. В. Новиков. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 82-90. - ISSN 2072-8964. - Библиогр.: с. 90 (3 назв.).

Авторы: Долгов, Е. П., Новиков, С. В.

Аннотация: Рассматривается возможность построения гибридной сети, состоящей из программно-конфигурируемого сегмента и традиционного сегмента с мультипротокольной коммутацией по меткам.

Коськин, И. А.
Методы исследования процесса получения стереоизображений по ряду изображений, полученных с малым интервалом времени = Methods of research of the receiving process stereo images for a number of images obtained with a short time interval / И. А. Коськин. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 5-12. - ISSN 2072-8964. - Библиогр.: с. 12 (9 назв.).

Авторы: Коськин, И. А.

Аннотация: Рассматривается процесс получения стереоизображений по ряду двумерных изображений, полученных с движущейся камеры.

Еременко, В. Т.
Методологические аспекты математического моделирования тепло-массообменных процессов на примере замораживания термолабильных материалов = Methodological aspects of mathematical modeling of heat and mass transfer processes on the example of freezing of thermolabile materials / В. Т. Еременко, М. Н. Орешина. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 47-55. - ISSN 2072-8964. - Библиогр.: с. 55 (15 назв.).

Авторы: Еременко, В. Т., Орешина, М. Н.

Аннотация: Проведено исследование тепло-массообменных процессов, на примере замораживания термолабильных материалов для последующей сублимационной сушки, актуальность которых подтверждается заинтересованностью ученых и производителей к научным разработкам в области инновационных технологий, позволяющим по-новому взглянуть на многие физические процессы перерабатывающих отраслей АПК.

Горлов, А. П.
Математический метод интерпретации натурного эксперимента по оценке эффективности системы защиты данных в среде информационных порталов органов исполнительной власти = Mathematical method of interpretation of full-scale experiment to assess the effectiveness of the data protection system in the environment of information portals of executive authorities / А. П. Горлов, Д. А. Лысов, М. Ю. Рытов. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 96-102. - ISSN 2072-8964. - Библиогр.: с. 102 (6 назв.).

Авторы: Горлов, А. П., Лысов, Д. А., Рытов, М. Ю.

Аннотация: Математический метод интерпретации натурного эксперимента по оценке эффективности системы защиты данных в среде информационных порталов ОИВ, на основе его математической модели и алгоритме оценки эффективности, отличающийся возможностью учета одновременности реализации угроз и оперативности реагирования средств защиты информации.

Неудачин, И. Г.
Анализ рейтинговой конкурентоспособности вузов = Management of the rating competitiveness of universities / И. Г. Неудачин. - Текст : непосредственный
// Информационные системы и технологии. - 2020. - № 3. - С. 37-46. - ISSN 2072-8964. - Библиогр.: с. 46 (16 назв.).

Авторы: Неудачин, И. Г.

Аннотация: Исследуется мировой рейтинг Webometrics и находит закономерности продвижения вузов на передовые позиции. Статистический анализ рейтинга определяет актуальную конкурентоспособность вузов.