RSS - статьи журнала swsys.ru

Эволюция и особенности гиперконвергентных инфраструктур

В последние несколько лет стремительными темпами развиваются гиперконвергентные системы, или, как их еще называют, гиперконвергентные инфраструктуры. Под термином «гиперконвергентная инфраструктура» (Hyper-Converged Infrastructure, HCI) пони...

Верификация моделей систем на базе эквациональной характеристики формул CTL

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

Метод трансляции первопорядковых логических формул в позитивно-образованные формулы

Сегодня активно развиваются автоматическое доказательство теорем (АДТ) и его приложения, о чем свидетельствуют, например, работы ежегодной конференции CADE, на секции System description которой или представляются новые систе...

Интеллектуальный сбор информации из распределенных источников

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

Исследование оптимального количества процессорных ядер для алгоритма многократной маркировки перколяционных кластеров на суперкомпьютерных вычислительных системах

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

Методы и средства моделирования системы управления суперкомпьютерными заданиями

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

Подходы к разработке и отладке симуляторов на основе QEMU с помощью высокоуровневого языка описания архитектур PPDL

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

Особенности применения предметно-ориентированных языков для тестирования веб-приложений

Считается, что ПО для тестирования имеет решающее значение для обеспечения качества финального продукта. Часто стратегии тестирования в средних и крупных проектах (из-за сравнительно большого числа участников данного процесс...

Метод обнаружения веб-роботов на основе анализа графа пользовательского поведения

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

Разработка импульсной нейронной сети с возможностью скоростного обучения для нейтрализации DDoS-атак

Информационные технологии являются неотъемлемой частью современного мира: внедрение различных инновационных решений повышает производительность труда и позволяет автоматизировать рабочие процессы [1]. Соответственно, в любой...

Метод идентификации технического состояния радиотехнических средств с применением технологий искусственных нейронных сетей

В современных условиях радиотехнические средства (РТС) военного назначения как технически сложные системы должны отвечать комплексу требований по обеспечению работоспособности в условиях воздействия различного рода влияющих ...

Проектирование быстрой программной реализации специализированной нейросетевой архитектуры с разреженными связями

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

Особенности применения нейро-сетевых моделей для классификации коротких текстовых сообщений

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

Особенности портирования Robot Operating System на программно-аппаратную платформу «Эльбрус»

Одним из факторов, сдерживающих развитие систем управления отечественными автономными мобильными роботами, является отставание отечественной элементной базы от зарубежной [1, 2]. В связи с этим оснащение систем управления вы...

Визуализация земной поверхности в имитационных системах

Увеличение числа и сложности технических систем приводит к необходимости создания новых видов технических средств обучения. Одним из них являются тренажерно-обучающие системы (ТОС). Подобные системы незаменимы в тех отраслях...

Метод и программные средства интеллектуальной поддержки принятия логистических решений

В настоящее время для различных крупных организаций и компаний (в том числе таких, как Яндекс, Google, Uber) существенно повышается роль принятия качественных и оперативных логистических решений при управлении заказами, ресу...

Модель и алгоритм выбора программной архитектуры для систем Интернета вещей

Термин «Интернет вещей» был впервые упомянут в 1999 г. Кевином Эштоном [1]. В последние годы технологии Интернета вещей набирают популярность во многих сферах науки и техники, однако зачастую пользователи данной ...

Компонент для интеграции исполняемых программ на языке программирования Kotlin в интернет-ресурсы

Статически типизированный язык программирования Kotlin активно разрабатывается компанией JetBrains. Он работает на базе виртуальной машины Java Virtual Machine, широко распространенной в области промышленного программировани...

Реализация экспертной системы для оценки инновационности технических решений

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

Метод формирования приоритетного перечня автоматизируемых органов управления в системах специального назначения и его программная реализация

Ряд методов и методик обоснования перечня органов и объектов автоматизации из состава распределенных информационно-управляющих систем (РИУС), подлежащих оснащению комплексами средств автоматизации (КСА), приведен в работах [...

Нечеткие экспертные оценки неблагоприятных внешних воздействий на эффективность морской поисково-спасательной операции

Морским поисково-спасательным операциям уделяется огромное внимание. Практически все морские державы имеют утвержденные на государственном уровне планы мероприятий по поиску и спасанию (search and rescue –SAR) [1, 2]. ...

Управление состояниями промышленных технологий на основе критерия риска

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

Алгоритм идентификации параметров устройства для нагрева жидкости

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

Моделирование и анализ программ многомерных интервально-логических регуляторов

Регуляторы с четкими термами, или многомерные интервально-логические регуляторы (МИЛР), являются одной из разновидностей нечетких регуляторов с прямоугольной функцией принадлежности переменных [1–3]. В МИЛР ключевые дл...

Алгоритм формирования множества вариантов структуры суперкомпьютера в интересах решения военно-прикладных задач

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

Метод автоматического синтеза нечетких регуляторов

Интеллектуальные технологии управления прочно входят во все сферы человеческой деятельности. Известны подходы к управлению техническими объектами, основанные на нечеткой логике, нейронных и нейро-нечетких сетях. Внедрение ин...