Публикации за 2022 год


Что искать

Искать в:

Публикации
Труды ИСП РАН
Везде

Публикации за 2022 год

  1. С.К. Митрофанов, В.Ю. Чепцов, М.Ю. Кричанов, А.В. Хорошилов Безопасная загрузка ядра Linux в UEFI окружении: проблемы и перспективы Конференция OS DAY 2022. Технологические основы безопасности операционных систем
  2. Герлиц Е.А., Кильдишев Д.С., Хорошилова А.В. Выявление функциональных требований в документации программного интерфейса приложения для функционального тестирования Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 7-22.
  3. Позин Б.А., Циперман Г.Н. Прослеживаемость требований как основа проектирования функционально-логической архитектуры программной системы Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 23-34.
  4. Маркин Д.О., Макеев С.М., Хо Т.Т. Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 35-48.
  5. Сурченко А.В. Исследование применимости аппаратной компрессии данных в межпроцессорных каналах связи процессоров с архитектурой Эльбрус Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 49-58.
  6. Романова Д.С., Непомнящий О.В., Рыженко И.Н., Легалов А.И., Сиротинина Н.Ю. Метод редукции параллелизма в процессе высокоуровнего синтеза цифровых интегральных схем Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 59-72.
  7. Москин Н.Д., Рогов А.А., Воронов Р.В. Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 73-86.
  8. Черненький В.М., Дунин И.В., Гапанюк Ю.Е. Программная реализация системы обработки метаграфов на основе подхода Больших Данных Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 87-100.
  9. Бурдонов И.Б., Карнов А.А. Анализ регулярности матриц Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 101-122.
  10. Феоктистов А.Г., Костромин Р.О., Горский С.А., Бычков И.В., Черных А.Н., Башарина О.Ю. Алгоритмы планирования вычислений с учетом избыточности и неопределенности Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 123-140.
  11. Жаксыбаев Д.О., Мизамова Г.Н. Алгоритмы обработки естественного языка для понимания семантики текста Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 141-150.
  12. Сафин К.Ф., Чехович Ю.В. О комбинированном алгоритме обнаружения заимствований в текстовых документах Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 151-160.
  13. Лихачев И.В. Решение проблемы хранения траекторий молекулярной динамики в СУБД Труды Института системного программирования РАН. Том 34, выпуск 1, 2022 г. Стр. 161-172.
  14. Агафонов В.А., Фролов П.В., Мешков А.Н. Подход к генерации тестовых программ для верификации когерентности памяти микропроцессоров «Эльбрус» Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 7-16.
  15. Кобышев К.С., Молодяков С.А. Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 17-24.
  16. Вишняков А.В., Кобрин И.А., Федотов А.Н. Поиск ошибок в бинарном коде методами динамической символьной интерпретации Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 25-42.
  17. Заякин В.С., Лядова Л.Н., Рабчевский Е.А. Паттерны проектирования для аналитической платформы, основанной на знаниях Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 43-56.
  18. Прибылев Т.М., Зайцев М.Н., Викентьева О.Л. Акторный подход к управлению бизнес-процессами разработки аналитических систем Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 57-66.
  19. Самойлова К.В., Замятина Е.Б. Архитектура программной системы для проектирования надежных бизнес-процессов Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 67-76.
  20. Краснов Ф.В., Смазневич И.С., Баскакова Е.Н. Стратегии семплирования текста для прогнозирования недостающих библиографических ссылок Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 77-88.
  21. Перминов А.И., Турдаков Д. Ю., Беляева О.В. Функции потерь для обучения моделей сегментации изображений документов Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 89-110.
  22. Лазарев В.А., Варламов М.И., Яцков А.К. Система управления заданиями автоматизированного сбора данных из сети Интернет Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 111-122.
  23. Стоноженко К. М., Никифоров И. В., Устинов С. М. Подход автоматического управления объектным хранилищем с помощью Operator SDK и Custom Resource Definition Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 123-134.
  24. Шибаев П.П., Чупахин А.А. Определение присутствия человека с помощью фильтра Колмогорова-Винера и нейронных сетей с управляемыми рекуррентными блоками методом Wi-Fi-сканирования Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 135-144.
  25. Рудько И.Д., Хорошко Л.Л., Кейно П.П. Автоматизация процесса экологического мониторинга в особо охраняемых природных территориях российской Федерации на базе системы управления контентом Directum RX Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 145-158.
  26. Игнатьев А.О., Калинин А.А, Мокшин С.Ю. Реализация функций управления задачами и ресурсами высокопроизводительной вычислительной системы в «СПО Супер-ЭВМ» Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 159-178.
  27. Смирнов П.А., Малиновская В.В., Воинов Н.В. Веб-приложение для продвижения донорства крови в России Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 179-190.
  28. Кондратьева О.А., Карпулевич Е.А. Модификация метода расчета полигенных рисков с использованием графа вариации Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 191-200.
  29. Бусенков А.А., Холодов Э.А., Новиков Р.С., Позин Б.А. Подход к отображению данных для пользователей телемедицинских систем раннего обнаружения заболеваний по ЭКГ Труды Института системного программирования РАН. Том 34, выпуск 2, 2022 г. Стр. 201-208.
  30. Вишняков А.В. Исследование свойств алгоритма слайсинга предиката пути Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 7-12.
  31. Канатов А.В, Зуев Е.А. Унифицированная система типов для современного языка программирования общего назначения Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 13-30.
  32. Мирошников В.И. Инструмент для сравнения .NET сборок в интегрированной среде разработки Rider Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 31-46.
  33. Щербаков А.С., Фролов В.А., Галактионов В.А. Виртуальные площадки в алгоритме излучательности Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 47-60.
  34. Валуева М.В., Валуев Г.В., Бабенко М.Г., Черных А., Кортес Мендоса Х.М. Метод аппаратной реализации сверточной нейронной сети на основе системы остаточных классов Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 61-74.
  35. Гладков А.В., Кучуков В.А., Бабенко М.Г., Черных А.Н., Бережной В.В., Дроздов А.Ю. Модификация алгоритма обнаружения и локализации ошибки в системе остаточных классов Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 75-88.
  36. дель Анхель-Флорес Х., Лопес-Домингес Э., Эрнандес-Веласкес Е., Домингес-Исидро С., Медина-Ниэто М.А., де ла Каллеха Х. Платформа мобильного обучения, ориентированная на мониторинг и настройку обучения: оценка удобства использования на основе лабораторного исследования Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 89-110.
  37. Рейес-Флорес А., Мезура-Годой К., Бенитес-Герреро Э., Монтане-Хименес Л.Х. Сплоченность группы для системы коучинга в совместной среде Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 111-126.
  38. Сильва-Васкес П.О., Росалес-Моралес В.Я., Бенитес-Герреро Э. Модельно-ориентированная разработка серьезных игр и серьезные игры с ориентированным на пользователя дизайном в последнее десятилетие: обзор Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 127-144.
  39. Ортега-Хихон Й.Н., Мезура-Годой К. Оценка пригодности к использованию нейро-компьютерных интерфейсов: анализ состояния дел Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 145-158.
  40. Бурдонов И.Б., Евтушенко Н.В., Косачев А.С. Реализация распределённых и параллельных вычислений в сети SDN Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 159-172.
  41. Мартишин С.А., Храпченко М.В., Шокуров А.В. Организация безопасного запроса к базе данных на облаке Труды Института системного программирования РАН. Том 34, выпуск 3, 2022 г. Стр. 173-188.
  42. Герасимов А.Ю., Канахин А.А., Привалов П.А., Жуков А.А., Каминский Е.А. Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 7-20.
  43. Егорова В.В., Панов А.С., Тележников В.Ю., Девянин П.Н. Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 21-34.
  44. Коваленко Р.Д., Макаров А.Н. Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 35-48.
  45. Мисонижник А.В., Бабушкин А.А., Морозов С.А., Костюков, Д.А. Мордвинов Ю.О., Кознов Д.В. Автоматическое тестирование LLVM-программ со сложными входными структурами данных. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 49-62.
  46. Рагозина П.И., Игнатьев В.Н. Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 63-78.
  47. Арутюнов Г.А., Авдошин С.М. Большие трансформеры для генерации кода. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 79-88.
  48. Катаев Н.А., Колганов А.С. Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 89-100.
  49. Долгодворов Е.В., Бучацкий Р.А., Пантилимонов М.В., Мельник Д.М. Настройка критериев планировщика СУБД с учётом динамической компиляции. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 101-116.
  50. Иванков Д.В. Реализация функции долговременного хранения научных данных большого объема в вычислительном центре. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 117-134.
  51. Лепендин А.А., Насретдинов Р.С., Ильяшенко И.Д. Метод улучшения качества речи с использованием модифицированного кодирующего-декодирующего пирамидального трансформера. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 135-152.
  52. Козачок А.В., Козачок В.И., Копылов С.А., Горбачев П.Н., Маркин Ю.В., Обыденков Д.О. Экспериментальная оценка алгоритма маркирования текстовых документов на основе изменении интервала между словами. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 153-172.
  53. Леонов А.С., Лаптев А.А., Лаушкина А.А., Синько М.В., Басов О.О. Алгоритм поиска специалистов с уникальными навыками на основе цифрового следа Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 173-186.
  54. Мезенцева А.А., Бручес Е.П., Батура Т.В. Методы и подходы к автоматическому связыванию сущностей на русском языке. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 187-200.
  55. Александров И.А., Куклин В.Ж., Муранов А.Н., Татарканов А.А. Теоретические основы алгоритма визуализации множества точек многомерного пространства для использования в антропотехнических системах поддержки принятия решений. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 201-210.
  56. Лазарев Н.А., Борисенко О.Д. Построение требований и архитектуры облачного оркестратора платформенных сервисов. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 211-228.
  57. Машкова О.А., Шаклеин В.В., Маркин Ю.В., Карпулевич Е.А., Ананьев В.В., Асатрян А.А., Тигранян Ш.T., Скорик С.Н., Турдаков Д.Ю. Методы определения элементов PQRST-комплекса электрокардиограммы. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 229-240.
  58. Козачок А.В., Спирин А.А., Козачок Е.С. Обзор методов раннего обнаружения меланомы. Труды Института системного программирования РАН. Том 34, выпуск 4, 2022 г. Стр. 241-250.
  59. Камкин А.С., Чупилко М.М., Лебедев М.С., Смолов С.А., Гайдаджиев Г. Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 7-22.
  60. Гаращенко А.В., Лашина Д.С., Никитин С. А., Николаев А. В., Прокопьев Е. А., Путря Ф. М., Цыренжапов Б.Н. Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 23-42.
  61. Шарков И.В. Метод восстановления протокольных автоматов по бинарному коду. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 43-62.
  62. Борисов П.Д., Косолапов Ю.В. Способ оценки похожести программного кода методами машинного обучения. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 63-76.
  63. Миронов С.В., Батраева И.А., Дунаев П.Д. Библиотека для разработки компиляторов. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 77-88.
  64. Довгалюк П.М., Климушенкова М.А., Фурсова Н.И., Степанов В.М., Васильев И.А., Иванов А.А., Иванов А.В., Бакулин М.Г., Егоров Д.И. Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 89-110.
  65. Гетьман А.И., Горюнов М.Н., Мацкевич А.Г., Рыболовлев Д.А. Сравнение системы обнаружения вторжений на основе машинного обучения с сигнатурными средствами защиты информации. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 111-126.
  66. Пастухов Р.К., Дробышевский М.Д., Турдаков Д.Ю. Определение влиятельных пользователей социальной сети по двудольному графу комментариев. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 127-142.
  67. Борисова А.А., Борисенко О.Д. Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 143-162.
  68. Донина О.В. Методы интеллектуального анализа данных для сравнения диалектов английского языка. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 163-170.
  69. Хорошилов Александр А., Никитин Ю.В., Кан А.В., Козловская Я.Д., Евдокимова Е.А. Контекстное разрешение омонимии на основе центроидно-контекстной модели. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 171-182.
  70. Дворянский Л.В. Оценка сверху числа активных таймеров в сетях Петри с временными дугами с помощью динамических систем точек на графах. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 183-194.
  71. Бендерский Б.Я., Чернова А.А. Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 195-204.
  72. Байметова Е.С., Хвалько М.Е., Армянин А.Ю. Моделирование сопряженного теплообмена в микроканалах в среде OpenFOAM. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 205-214.
  73. Кошелев К.Б., Осипов А.В., Стрижак С.В. Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы крыла. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 215-226.
  74. Амосова Е.В., Кузнецов К.С., Лемешев В.С. Математическое моделирование гидродинамических процессов в прибрежной акватории Японского моря. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 227-242.
  75. Потапов И.И., Тимош П.С. О решении одной задачи мелкой воды методом центральных разностей и коррекцией FCT. Труды Института системного программирования РАН. Том 34, выпуск 5, 2022 г. Стр. 243-250.
  76. Афанасьев В.О., Дворцова В.В., Бородин А.Е. Статический анализатор для языков с обработкой исключений. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 7-28.
  77. Карцев В.С., Игнатьев В.Н. Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 29-40.
  78. Тяжкороб У.В., Игнатьев В.Н., Белеванцев А.А. Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 41-50.
  79. Шимчик Н. В., Игнатьев В. Н., Белеванцев А. А. Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 51-66.
  80. Файзрахманов Т.Р. Система метрик для языков программирования. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 67-84.
  81. Бочаров Н.А., Парамонов Н.Б., Славин О.А., Суминов К.А. Математические и программные модели задач технического зрения робототехнических комплексов на основе микропроцессоров “Эльбрус”. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 85-100.
  82. Курденкова Е.О., Черепнина М.С., Чистякова А.С., Архипенко К.В. Влияние трансформаций на успешность состязательных атак для классификаторов изображений Clipped BagNet и ResNet. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 101-116.
  83. Маркин Е.И., Зупарова В.В., Мартышкин А.И. Исследование возможности применения нейронных сетей для восстановления изображения лица в системах распознавания. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 117-126.
  84. Мартышкин А.И., Бершадская Е.Г., Маркин Е.И., Зупарова В.В. Модификация метода выделения контуров объекта в интеллектуальных системах. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 127-136.
  85. Михайлов А.А. Автоматическая разметка данных для сегментации изображений документов с использованием глубоких нейронных сетей. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 137-146.
  86. Джаятилаке Д., Фунг К., Огуншиле Э., Айдын М. Моделирование взаимосвязи между заболеваниями с помощью взаимодействующих потоковых X-машин. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 147-164.
  87. Кошелюк Н.А. Опция «Phonology» платформы LingvoDoc как способ верификации (на материале сосьвинского диалекта мансийского языка). Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 165-172.
  88. Нуриева Ф.Ш., Галиуллина Г.Р., Юсупов А.Ф. Перспективы исследований татарского языка на платформе LingvoDoc. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 173-178.
  89. Студеникина К.А. Оценка языковой способности нейронных моделей на материале предикативного согласования в русском языке. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 179-184.
  90. Али Р. Влияние относительного продольного расстояния на динамическое поведение двух взаимодействующих судов при встречном волнении. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 185-196.
  91. Гордеева У.С., Шарипов Ф.М. Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис. Труды Института системного программирования РАН. Том 34, выпуск 6, 2022 г. Стр. 197-206.

Вернуться к списку всех публикаций