Компьютерные и информационные науки список научных статей
-
РЕАЛИЗАЦИЯ ИСКУССТВЕННЫХ НЕЙРОННЫХ СЕТЕЙ НА ПЛИС С ПОМОЩЬЮ ОТКРЫТЫХ ИНСТРУМЕНТОВ
Искусственные нейронные сети широко распространены в современном мире. Для их исполнения используются различные устройства: от микропроцессоров до ПЛИС и заказных СБИС. Важной проблемой при этом является ускорение исполнения нейронных сетей. В этой области на данный момент существует множество...
2021 / Лебедев М. С., Белецкий П. Н.ВАК -
АКТИВНОЕ ОБУЧЕНИЕ И ПЕРЕНОС ЗНАНИЙ В ЗАДАЧЕ СЕГМЕНТАЦИИ ИЗОБРАЖЕНИЙ ДОКУМЕНТОВ
В данной работе исследуется эффективность классических подходов активного обучения в задаче сегментации изображений документов с целью уменьшения обучающей выборки. Приводится свой модифицированный подход выбора изображений для разметки и последующего обучения. Результаты, полученные с помощью...
2021 / Киранов Д. М., Рындин М. А., Козлов И. С.ВАК -
МОДЕЛИРОВАНИЕ ОПЕРАЦИОННЫХ, ПРОГРАММНЫХ И ТЕХНИЧЕСКИХ СИСТЕМ В ПРОЕКТАХ РФФИ
Рассмотрен широкий круг вопросов теории и практики разработки крупномасштабного программного обеспечения и гибридных программно-аппаратных систем, в том числе операционных систем. Затрагиваются вопросы управления конфигурацией, моделирования и верификации таких систем, построения онтологических...
2021 / Лаврищева Е. М., Петренко А. К.ВАК -
ФОРМАЛЬНЫЕ ПРАВИЛА ПРОДУКЦИИ ОБЪЕКТНОЙ НОТАЦИИ ДЛЯ ДАННЫХ, ОПРЕДЕЛЯЕМЫХ EXPRESS СХЕМОЙ
В последнее время системы управления данными об изделии (PDM) широко используются в сложных междисциплинарных проектах в различных промышленных областях. PDM-системы позволяют группам проектировщиков, инженеров и менеджеров удаленно общаться в сети, обмениваться и совместно пользоваться общей...
2021 / Семенов В. А., Аришин С. В., Семенов Г. В.ВАК -
ФОРМИРОВАНИЕ МЕТОДОЛОГИИ РАЗРАБОТКИ БЕЗОПАСНОГО СИСТЕМНОГО ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ПРИМЕРЕ ОПЕРАЦИОННЫХ СИСТЕМ
Разработка безопасного системного программного обеспечения (ПО), на основе которого строятся сертифицированные средства защиты информации, достижение доверия к нему согласно требованиями нормативных документов отечественных регуляторов - крупная научно-техническая проблема. Возможным путем ее...
2021 / Девянин П. Н., Тележников В. Ю., Хорошилов А. В.ВАК -
МЕТОДЫ МАРКИРОВАНИЯ ТЕКСТОВЫХ ДОКУМЕНТОВ ПРИ ПЕЧАТИ ПОСРЕДСТВОМ ВЕРТИКАЛЬНОГО СДВИГА И ИЗМЕНЕНИЯ ЯРКОСТИ ФРАГМЕНТОВ СЛОВ
В статье представлены результаты разработки методов маркирования текстовых документов, представленных как растровое изображение. Важной особенностью алгоритмов является возможность обратного преобразования документа, что позволяет заменять метку на маркированном документе. Разработка относится к...
2021 / Обыденков Д. О., Фролов А. Е., Маркин Ю. В., Фомин С. А., Кондратьев Б. В.ВАК -
МЕТОДИКА СБОРА ОБУЧАЮЩЕГО НАБОРА ДАННЫХ ДЛЯ МОДЕЛИ ОБНАРУЖЕНИЯ КОМПЬЮТЕРНЫХ АТАК
В работе рассмотрены вопросы обучения моделей обнаружения компьютерных атак, основанных на применении методов машинного обучения. Последовательно представлены результаты анализа общедоступных обучающих наборов данных и инструментов анализа сетевого трафика и выделения признаков сетевых сессий....
2021 / Гетьман А. И., Горюнов М. Н., Мацкевич А. Г., Рыболовлев Д. А.ВАК -
ОПТИМИЗАЦИЯ ПРОГРАММ НА PROVERIF ДЛЯ КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛОВ ВЫРАБОТКИ ОБЩЕГО КЛЮЧА
Криптографические протоколы используются для установления безопасного соединения между “честными” агентами, которые общаются строго в соответствии с правилами протокола. Для того, чтобы убедиться, что спроектированный криптографический протокол является криптографически стойким, обычно используются ...
2021 / Винарский Е. М., Демаков А. В.ВАК -
ФОРМАЛЬНЫЙ ЯЗЫК ПЕРВИЧНЫХ СПЕЦИФИКАЦИЙ КРИПТОГРАФИЧЕСКИХ ПРОТОКОЛОВ
Применение формальных методов в разработке реализаций сетевых протоколов способствует повышению качества этих реализаций. Наибольший эффект даст изложение на формальном языке первичных спецификаций протоколов, публикуемых в документах RFC. В статье предлагается формальный язык описания...
2021 / Прокопьев С. Е.ВАК -
РАЗРАБОТКА КОМПИЛЯТОРА ДЛЯ СТЕКОВОЙ ПРОЦЕССОРНОЙ АРХИТЕКТУРЫ TF16 НА ОСНОВЕ LLVM
Разработка для стековых процессорных архитектур обычно ведётся с использованием устаревших низкоуровневых языков программирования или языка ассемблер. Поэтому актуальна задача поддержки языков программирования высокого уровня для таких архитектур. В этой работе мы рассматриваем процесс разработки и ...
2021 / Скворцов Л. В., Баев Р. В., Долгорукова К. Ю., Шарыгин Е. Ю.ВАК -
ДИНАМИЧЕСКИЙ АНАЛИЗ IOT-СИСТЕМ НА ОСНОВЕ ПОЛНОСИСТЕМНОЙ ЭМУЛЯЦИИ В QEMU
Стремительное развитие Интернета-вещей (IoT) требует развития методов и средств анализа подобных устройств. Существенная часть таких устройств работает под управлением операционных систем (ОС) семейства Linux. Непосредственное применение существующих средств для анализа программного обеспечения...
2021 / Коваленко Р. Д., Макаров А. Н.ВАК -
АВТОМАТИЗАЦИЯ РАЗРАБОТКИ НА VULKAN: ПРЕДМЕТНО-ОРИЕНТИРОВАННЫЙ ПОДХОД
Предлагается новый высокоуровневый подход к разработке приложений на GPU на основе Vulkan API. Цель работы - снижение трудоемкости разработки и отладки приложений, реализующих сложные алгоритмы на GPU при помощи Vulkan. Предлагаемый подход использует технологию генерации кода путем трансляции...
2021 / Фролов В. А., Санжаров В. В., Галактионов В. А., Щербаков А. С.ВАК -
СИСТЕМЫ КОМПЬЮТЕРНОГО АНАЛИЗА МАММОГРАММ ПРИ СКРИНИНГЕ РАКА МОЛОЧНОЙ ЖЕЛЕЗЫ: КАК ОНИ РАБОТАЮТ И КАКОВО ИХ МЕСТО В КЛИНИЧЕСКОЙ ПРАКТИКЕ? (ОБЗОР ИНОСТРАННОЙ ЛИТЕРАТУРЫ)
Представлен обзор иностранной литературы, посвященной алгоритмам работы и результатам использования систем компьютерного анализа маммограмм (CAD) при скрининге рака молочной железы (РМЖ). Обсуждается, что CAD могут улучшать выявляемость РМЖ и уменьшать вариативность интерпретации маммограмм...
2021 / Пасынков Д. В., Хасанов Р. Ш., Тухбатуллин М. Г., Меринов С. Н. -
О ТЕХНОЛОГИИ РАСПРЕДЕЛЕННОЙ ПЕРЕДАЧИ ДАННЫХ И ПРОБЛЕМАХ ПРОВЕРКИ ДОСТОВЕРНОСТИ ИНФОРМАЦИИ ПО КАНАЛУ СВЯЗИ
Статья посвящена проблеме проверки достоверности информации при ее передаче по незащищенным каналам связи, обозреваются технология и особенности передачи информации, демонстрируется преимущество использования и применения в распределенной информационной системы. Представлены модели передачи данных...
2021 / Багдасарян Рафаэль Хачикович, Осипян Валерий Осипович, Литвинов Кирилл Игоревич, Сергеев Александр Евгеньевич, Шокола Елена ИгоревнаВАК -
ОБНОВЛЕНИЕ ПОДПРОЦЕССА УПРАВЛЕНИЯ БАЗОЙ ДАННЫХ ПО ПЕРСОНАЛУ ОРГАНИЗАЦИИ
Подпроцесс управления базой данных по персоналу призван упорядочить информационную систему для повышения эффективности деятельности организации. Исследование данного подпроцесса управления позволило определить назначение и содержание его атрибутов для построения модели его функционирования в рамках ...
2022 / Герасимов Б. Н. -
РАЗРАБОТКА СВОБОДНОЙ/ОТКРЫТОЙ СИСТЕМЫ МАШИННОГО ПЕРЕВОДА С КАЗАХСКОГО ЯЗЫКА НА АНГЛИЙСКИЙ И РУССКИЙ ЯЗЫКИ (И ОБРАТНО) НА БАЗЕ ПЛАТФОРМЫ «APERTIUM»
Данная статья посвящена описанию процесса разработки свободной/открытой системы машинного перевода с казахского языка на английский и русский языки (и обратно) на базе платформы «Apertium». В процессе разработки были определены конкретные языки программирования и фреймворки, необходимые для...
2022 / Колбаева А. Т., Баширов А. В., Цицина А. С. -
ПРИМЕНЕНИЕ ИНФОРМАЦИОННОЙ СИСТЕМЫ «САМОКОНТРОЛЬ ФУНКЦИОНАЛЬНОГО СОСТОЯНИЯ СПОРТСМЕНА» В УПРАВЛЕНИИ ТРЕНИРОВОЧНЫМ ПРОЦЕССОМ
Обосновано построение и планирование тренировочного процесса на основе учета индивидуальных особенностей организма спортсмена, основанных на данных его психофизиологического состояния и физической работоспособности. Разработана структура веб-приложения и представлена характеристика учета,...
2022 / Мутаева Ильсияр Шафиковна, Халиков Газинур Зиннурович, Герасимова Ирина Геннадьевна, Бекмансуров Раиль ХадияровичВАК -
IQTISODIYOTNI MOBIL TIZIMLAR ORQALI AVTOMATLASHTIRISH YO’LLARI
Mazkur ishda raqamli texnologiyalar asosida iqtisodiyotni rivojlantirish bosqichlari va ularning afzalliklari keltirib o’tilgan. Ijtimoiy–iqtisodiy jarayonlarni avtomatlashtirish orqali boshqarish, shu jumladan, qishloq xo’jalik mahsulotlari oldisotdisini avtomatlashtirish algoritmlari keltirilgan.
2022 / Salimboyev Bobur Rustam O’g’li -
Modeling and Planning of Parallel Information Processing in a Computing System Operating in Extremely Conditions
Considers the functioning of a parallel computing system (PCS) as part of a robotic complex that is exposed to external extremely destructive influences (EDI), leading to its destruction. A model of parallel computations under the conditions of possible EDI is proposed. Examples of modeling the...
2021 / A. G. Basyrov, A. D. Khomonenko, I. N. KoshelScopus -
Line-By-Line Prediction Method in Lossy Image Compression
We propose a method of line-by-line prediction in the problem of lossy compression of images within the framework of the so-called structural approach. At the first stage, a partition of each row of the image into non-intersecting fragments with the help of recursive algorithm of peak...
2021 / N. A. Gavrilova, V. A. KhodakovskyScopus