Компьютерные и информационные науки список научных статей

Задача распознавания речи - одна из самых сложных и востребованных задач в настоящее время. Голосовые помощники, реализованные с помощью голосовых интерфейсов, заметно упрощают управление различными системами в ограниченных условиях. Такие интерфейсы должны обладать интуитивно понятным интерфейсом...

ВАК

Определены проблемы обмена и воспроизведения опыта, сгенерированного различными агентами, в задаче многоагентного обучения с подкреплением. Кратко рассмотрены другие работы автора статьи в области многоагентного обучения с подкреплением многоагентных систем, а также выводы из этих работ....

ВАК

Затронуты проблемы, связанные с разработкой сложных автоматизированных систем. Целью является разработка метода интеграции описаний инфологических структур в виде диаграмм на этапе инфологического моделирования при проектировании автоматизированных систем. Инфологическое модельное представление...

ВАК

Ожидается, что рост числа мобильных устройств и потребность в пользовательских данных к 2030 году окажут беспрецедентное давление на текущую мобильную сеть. У будущих мобильных сетей должно быть несколько требований в отношении объема данных, задержки, качества обслуживания и опыта, мобильности,...

ВАК

Цель работы состояла в построении моделей распознавания ударов на основе многослойного персептрона и сверточных нейронных сетей.Методы и организация исследования. Для исследования кинематики ударов были применены инерциальные измерительные модули (англ. Inertial Measurement Unit - IMU), с помощью...

ВАК

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

ВАК

CAS

Дано описание математической модели нейросетевого классификатора данных о фактах оказания медицинской помощи в учреждениях Липецкой области в целях выявления нетипичных (аномальных) записей. Выявление аномалий относится к проблеме нахождения данных, не соответствующих некоторому ожидаемому...

ВАК

CAS

В статье рассматриваются вопросы моделирования компьютерных сетей в учебном процессе по протоколам TCP/IP и UDP в российской системе SimInTech. Система содержит палитры компонентов, позволяющие моделировать в реальном времени сложные технические системы в различных отраслях. Для моделирования...

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

Scopus

ВАК

CAS

RSCI

Software model checkers enable automatic detection of violations of specified requirements in programs as well as formal proof of correctness under certain assumptions. These tools actively evolve two last decades. They were already successfully applied to a bunch of industrial projects, first of...

ВАК

В связи с высокой сложностью современных операционных систем (ОС) для спецификации даже отдельных аспектов их функциональности, как, например, функций безопасности, приходится использовать достаточно сложные модели на высокоуровневых языках. При этом задача верификации соответствия таким моделям...

ВАК

Ряд задач, связанных с бинарными форматами данных, включает в себя задачи разбора, генерации и совместного анализа кода и данных. Ключевым элементом для решения всех этих задач является универсальная модель формата. В данной работе предлагается подход к моделированию бинарных форматов. Описанная...

ВАК

При полносистемном анализе бинарного кода зачастую применяется динамический бинарный анализ, при котором предоставляемый аналитику объем данных представлен потоком выполняемых инструкций и содержимым оперативной памяти и регистров. Для обработки таких данных требуется глубокое понимание...

ВАК

В статье описывается статический анализатор для поиска ошибок и анализа метрик и отношений в программах на языке Kotlin. Анализатор был реализован с помощью расширения инструмента Svace , разрабатываемого в ИСП РАН. В статье описываются проблемы, с которыми мы столкнулись в ходе выполнения работы,...

ВАК

В данной статье рассматривается задача автоматического исправления дефектов кода на языках C/C++, найденных статическим анализатором на больших программных проектах. Описан опыт реализации соответствующего инструмента для статического анализатора Svace и принципы исправления дефектов разных типов....

ВАК

Данная статья посвящена обзору наиболее популярных запахов кода, одного из компонентов технического долга, а также методов и инструментов их поиска. В статье проводится сравнительный анализ результатов работы таких инструментов как DesigniteJava , PMD , SonarQube . Инструменты были применены к...

ВАК

В данной работе сделан обзор открытых инструментов логического синтеза, трассировки и размещения элементов моделей цифровой аппаратуры, анализа временных характеристик и синтеза топологических схем. Среди инструментов были выбраны системы проектирования qFlow, OpenLANE, Coriolis и SymbiFlow,...

ВАК

Функциональным онлайн-тестированием называется верификация опытных образцов микропроцессоров или их ПЛИС-прототипов, т.е. пост-производственная верификация (post-silicon verification). Такой вид тестирования отличается как от производственного тестирования, нацеленного на проверку работоспособности ...

ВАК

Управление мастер-данными (Master Data Management, MDM) является важной дисциплиной управления данными в современных компаниях. В настоящее время индустриальные решения в этой сфере активно развиваются, о чем свидетельствует, в частности, ежегодные обзоры консалтинговой компании Gartner. Однако...

ВАК

В статье представлена система расследования утечек конфиденциальных текстовых документов, где в качестве каналов утечек рассматриваются изображения, полученные путем сканирования/фотографирования напечатанных документов, а также фотографии документов на экране монитора. Таким образом, система...

ВАК