Компьютерные и информационные науки список научных статей
-
АЛГОРИТМ ПОИСКА СПЕЦИАЛИСТОВ С УНИКАЛЬНЫМИ НАВЫКАМИ НА ОСНОВЕ ЦИФРОВОГО СЛЕДА
В последние годы из-за значительных изменений на рынке труда компании стали чаще сталкиваться с различными проблемами при поиске и отборе кандидатов. Основной причиной данных проблем является то, что существующие интернет-ресурсы для поиска кандидатов не позволяют найти специалиста с требуемым...
2022 / Леонов А. С., Лаптев А. А., Лаушкина А. А., Синько М. В., Басов О. О.ВАК
-
МЕТОДЫ И ПОДХОДЫ К АВТОМАТИЧЕСКОМУ СВЯЗЫВАНИЮ СУЩНОСТЕЙ НА РУССКОМ ЯЗЫКЕ
На сегодняшний день большое внимание уделяется решению задач обработки текстов с использованием информации об окружающем нас мире, например, в информационном поиске, построении вопросно-ответных и диалоговых систем. Поэтому важно установить соответствие между сущностями в обрабатываемом тексте и...
2022 / Мезенцева А. А., Бручес Е. П., Батура Т. В.ВАК -
ПОСТРОЕНИЕ ТРЕБОВАНИЙ И АРХИТЕКТУРЫ ОБЛАЧНОГО ОРКЕСТРАТОРА ПЛАТФОРМЕННЫХ СЕРВИСОВ
Облачные технологии предоставляют пользователям простое и надежное масштабирование ресурсов, за счет чего они получили широкое распространение. На сегодняшний день особенно актуальна задача управления распределенными службами в облачной среде. Для этого используются специальные программы...
2022 / Лазарев Н. А., Борисенко О. Д.ВАК -
МЕТОДЫ ОПРЕДЕЛЕНИЯ ЭЛЕМЕНТОВ PQRST-КОМПЛЕКСА ЭЛЕКТРОКАРДИОГРАММЫ
Электрокардиограмма (ЭКГ) является одним из наиболее распространенных медицинских исследований. Качественная расшифровка 12-канальной электрокардиограммы важна для последующей постановки диагноза и назначения лечения. Один из важных шагов при расшифровке ЭКГ - определение границ элементов...
2022 / Машкова О. А., Шаклеин В. В., Маркин Ю. В., Карпулевич Е. А., Ананьев В. В., Асатрян А. А., Тигранян Ш. Т., Скорик С. Н., Турдаков Д. Ю.ВАК -
ОБЗОР МЕТОДОВ РАННЕГО ОБНАРУЖЕНИЯ МЕЛАНОМЫ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ КОМПЬЮТЕРНОГО ЗРЕНИЯ
Меланома является одной из самых агрессивных форм рака, которая поддается лечению только при раннем обнаружении заболевания. В статье рассмотрены существующие алгоритмы и методики визуального диагностирования меланомы. Также рассмотрены системы автоматического диагностирования дерматоскопических...
2022 / Козачок А. В., Спирин А. А., Козачок Е. С.ВАК -
СРАВНЕНИЕ ИНСТРУМЕНТОВ ВЫСОКОУРОВНЕВОГО СИНТЕЗА И КОНСТРУИРОВАНИЯ ЦИФРОВОЙ АППАРАТУРЫ
Предметно-ориентированные системы, использующие ускорители на базе программируемых логических интегральных схем (ПЛИС), все чаще проектируются при помощи инструментов высокоуровневого синтеза и конструирования аппаратуры. В настоящее время разработчикам доступно множество таких инструментов, как...
2022 / Камкин А. С., Чупилко М. М., Лебедев М. С., Смолов С. А., Гайдаджиев Г.ВАК -
ПРАКТИКА И ПЕРСПЕКТИВЫ ПРИМЕНЕНИЯ ОТКРЫТЫХ И СОБСТВЕННЫХ ПРОГРАММНЫХ РЕШЕНИЙ В МАРШРУТЕ ВЕРИФИКАЦИИ СИСТЕМ НА КРИСТАЛЛЕ
В статье рассматривается опыт и оценивается возможность применения свободного, открытого и собственного САПР в маршруте верификации СнК со степенью интеграции в миллиарды транзисторов, изначально базирующемся на коммерческих пакетах от "большой тройки". Предлагается подход к оценке пригодности...
2022 / Гаращенко А. В., Лашина Д. С., Никитин С. А., Николаев А. В., Прокопьев Е. А., Путря Ф. М., Цыренжапов Б. Н.ВАК -
МЕТОД ВОССТАНОВЛЕНИЯ ПРОТОКОЛЬНЫХ АВТОМАТОВ ПО БИНАРНОМУ КОДУ
Реверс-инжиниринг сетевых протоколов широко применяется в задачах анализа безопасности сетевых программ. Задача реинжиниринга протокола состоит из восстановления форматов данных и менее изученного вопроса - восстановления реализованного в программе протокольного автомата, а краеугольным камнем...
2022 / Шарков И. В.ВАК -
СПОСОБ ОЦЕНКИ ПОХОЖЕСТИ ПРОГРАММ МЕТОДАМИ МАШИННОГО ОБУЧЕНИЯ
В работе рассматривается задача построения алгоритма сравнения двух исполнимых файлов. В основе алгоритма лежит построение по заданной паре программ вектора показателей похожести и принятие на основе этого вектора решения о похожести или непохожести программ с помощью методов машинного обучения....
2022 / Борисов П. Д., Косолапов Ю. В.ВАК -
БИБЛИОТЕКА ДЛЯ РАЗРАБОТКИ КОМПИЛЯТОРОВ
Работа посвящена разработке библиотеки, предназначенной для реализации компиляторов. Статья содержит описание возможностей библиотеки и основных принципов её функционирования. В ходе работы была изучена и реализована генерация синтаксических анализаторов с помощью LR(1)-автоматов, были...
2022 / Миронов С. В., Батраева И. А., Дунаев П. Д.ВАК -
NATCH: ОПРЕДЕЛЕНИЕ ПОВЕРХНОСТИ АТАКИ ПРОГРАММ С ПОМОЩЬЮ ОТСЛЕЖИВАНИЯ ПОМЕЧЕННЫХ ДАННЫХ И ИНТРОСПЕКЦИИ ВИРТУАЛЬНЫХ МАШИН
Natch - это инструмент для получения поверхности атаки, то есть поиска исполняемых файлов, динамических библиотек, функций, отвечающих за обработку входных данных (файлов, сетевых пакетов) во время выполнения задачи. Функции из поверхности атаки могут быть причиной уязвимостей, поэтому им следует...
2022 / Довгалюк П. М., Климушенкова М. А., Фурсова Н. И., Степанов В. М., Васильев И. А., Иванов А. А., Иванов А. В., Бакулин М. Г., Егоров Д. И.ВАК -
СРАВНЕНИЕ СИСТЕМЫ ОБНАРУЖЕНИЯ ВТОРЖЕНИЙ НА ОСНОВЕ МАШИННОГО ОБУЧЕНИЯ С СИГНАТУРНЫМИ СРЕДСТВАМИ ЗАЩИТЫ ИНФОРМАЦИИ
В работе рассмотрен подход к сравнению систем обнаружения вторжений (СОВ) на основе нескольких независимых сценариев и комплексного тестирования, который позволил выявить основные достоинства и недостатки СОВ, основанной на применении методов машинного обучения (ML СОВ); определить условия, при...
2022 / Гетьман А. И., Горюнов М. Н., Мацкевич А. Г., Рыболовлев Д. А.ВАК -
ОПРЕДЕЛЕНИЕ ВЛИЯТЕЛЬНЫХ ПОЛЬЗОВАТЕЛЕЙ СОЦИАЛЬНОЙ СЕТИ ПО ДВУДОЛЬНОМУ ГРАФУ КОММЕНТАРИЕВ
С развитием онлайновых социальных сетей все большую актуальность приобретают задачи выявления пользователей, которые оказывает большое влияние на других участников социальных сетей. Важным источником информации служат данные о комментировании пользователями контента, создаваемого другими...
2022 / Пастухов Р. К., Дробышевский М. Д., Турдаков Д. Ю.ВАК -
ИССЛЕДОВАНИЕ МЕТОДОВ ПОСТРОЕНИЯ ОБЛАЧНЫХ ПЛАТФОРМЕННЫХ СЕРВИСОВ И РЕАЛИЗАЦИЙ СТАНДАРТА TOSCA
В статье рассматриваются и сравниваются различные инструменты автоматизации управления ресурсами в облаке. Изменения в архитектуре программного обеспечения и подходов к разработке требуют автоматизации процессов управления развертывания и дальнейшего сопровождения по в разных средах. В разд. 2...
2022 / Борисова А. А., Борисенко О. Д.ВАК -
OVERAPPROXIMATION OF THE NUMBER OF ACTIVE TIMERS IN TIMED-ARC PETRI NETS USING DP-SYSTEMS
Timed-arcs Petri nets are a time extension of Petri nets that allows assigning clocks to tokens. System of dynamic points on a metric graph (DP-systems) is another dynamical model that is studied in discrete geometry dynamics; DP-system combines continuous time and discrete branching events and...
2022 / Dworzanski L.W.ВАК -
СТАТИЧЕСКИЙ АНАЛИЗАТОР ДЛЯ ЯЗЫКОВ С ОБРАБОТКОЙ ИСКЛЮЧЕНИЙ
В статье описывается статический анализ для языков с обработкой исключений. В данной работе предложено низкоуровневое промежуточное представление для поддержки исключений; описаны анализы потока данных для поиска недостижимого кода, связанного с исключениями; приведена общая схема для статического...
2022 / Афанасьев В. О., Дворцова В. В., Бородин А. Е.ВАК -
ПОВЫШЕНИЕ ТОЧНОСТИ СТАТИЧЕСКОГО АНАЛИЗА ЗА СЧЕТ УЧЕТА ЗНАЧЕНИЙ ПОЛЕЙ КЛАССА, ИМЕЮЩИХ ЕДИНСТВЕННОЕ КОНСТАНТНОЕ ЗНАЧЕНИЕ
В данной статье описывается подход, позволяющий с помощью предварительного анализа полей с единственным возможным значением повысить точность работы детекторов статического анализатора уровня символьного выполнения. Помимо этого, детектор предупреждает программиста о забытых модификаторах readonly...
2022 / Карцев В. С., Игнатьев В. Н.ВАК -
ПОИСК ИСПОЛЬЗОВАНИЙ ОСВОБОЖДЕННОГО РЕСУРСА В ИСХОДНОМ КОДЕ НА ЯЗЫКЕ C# МЕТОДАМИ СТАТИЧЕСКОГО АНАЛИЗА
В данной работе описывается масштабируемый детектор для поиска использований освобожденного ресурса в исходном коде на основе статического символьного выполнения. Данный детектор выполняет межпроцедурный анализ, чувствительный к потоку управления и контексту вызовов. Детектор реализован в рамках...
2022 / Тяжкороб У. В., Игнатьев В. Н., Белеванцев А. А.ВАК -
IRBIS: СТАТИЧЕСКИЙ АНАЛИЗАТОР ПОМЕЧЕННЫХ ДАННЫХ ДЛЯ ПОИСКА УЯЗВИМОСТЕЙ В ПРОГРАММАХ НА C/C++
Статический анализ помеченных данных может использоваться для обнаружения различных потенциальных уязвимостей в коде программ путём исследования потоков данных между истоками и стоками помеченных данных. Чаще всего помеченными называют данные, которые были получены из внешнего источника и не были...
2022 / Шимчик Н. В., Игнатьев В. Н., Белеванцев А. А.ВАК -
МАТЕМАТИЧЕСКИЕ И ПРОГРАММНЫЕ МОДЕЛИ ЗАДАЧ ТЕХНИЧЕСКОГО ЗРЕНИЯ РОБОТОТЕХНИЧЕСКИХ КОМПЛЕКСОВ НА ОСНОВЕ МИКРОПРОЦЕССОРОВ “ЭЛЬБРУС”
Создание новых поколений автономных робототехнических комплексов, систем распознавания и систем технического зрения в целом невозможно без использования современных компьютерных технологий. В данной статье представлены модели системы технического зрения роботов на базе микропроцессоров "Эльбрус"....
2022 / Бочаров Н. А., Парамонов Н. Б., Славин О. А., Суминов К. А.ВАК
