|
||||||||||
|
УДК 004:004.2:519.7 В. М. Соболь, консультант-программист, Аспекты формализации абонентского протокола Рассматриваются вопросы процессной спецификации модели специализированного абонентского протокола автоматизированной системы обмена документальной информацией с использованием нотаций сети Петри и временной логики. Семантика документального обмена определена парадигмой чередования квазипараллельных процессов ввода-вывода реагирующей системы. Показана формализация ряда свойств семантики автоматизированной системы в абстракциях темпоральной логики. Ключевые слова: абонентский протокол, документальный обмен, абонентская служба, реактивная система, пропозициональное множество, модель Крипке, временная логика, LTL С. 59-64 УДК 004.021/.33/.35 К. Д. Любавин, ведущий инженер, Методика трансляции адресов в контроллерах твердотельных накопителей информации Предложен метод реализации трансляции логических адресов хост-запросов хранимых данных в физические адреса данных, располагающихся в массиве энергонезависимой NAND Flash памяти. Описаны основные ограничения при работе с NAND Flash памятью, а также предложен набор механизмов для решения задачи трансляции адресов, которые учитывают описанные ограничения по работе с энергонезависимой памятью. Дополнительно описаны методы оптимизации ячейки таблицы трансляции для достижения высокой эффективности при взаимодействии с буфером памяти, выделенным под хранение таблицы трансляции адресов. Предложенные методы и описанные особенности могут быть использованы при разработке узлов трансляции адресов современных высокопроизводительных контроллеров твердотельных накопителей информации, обладающих высокой логической емкостью. C. 65–71 УДК 004.716 Е. В. Пальчевский, ст. преподаватель, Обзор и анализ интеллектуальных методов защиты критической информационной инфраструктуры на примере финансового сектора Российской Федерации За последние годы кибератаки, в том числе и DDoS -атаки, на критическую информационную инфраструктуру Российской Федерации привели к финансовым потерям компаний, предприятий, частных лиц, университетов и даже больниц. Ущерб достигает триллионов рублей, при этом в среднем каждый крупный онлайн-магазин, подвергающийся атакам, может терять до 600 тысяч рублей в сутки. И это при том, что большинство компаний имеют собственное аппаратно-программное обеспечение по обнаружению и фильтрации DDoS-атак, либо пользуются услугами провайдеров/центров обработки данных. C. 72-79 Статья подготовлена по результатам исследований, выполненных за счет бюджетных средств по государственному заданию Финуниверситета. УДК 004.032.26 К. А. Рубинов, аспирант, О методах восстановления и увеличения разрешения изображений на основе генеративно-состязательных нейронных сетей Рассмотрены методы решения задач восстановления изображения и увеличения разрешения изображения с помощью генерации изображений генеративно-состязательными нейронными сетями. Показано, что в широком диапазоне качество восстановления практически не зависит от доли поврежденных пикселей, добавление остаточных блоков не приводит к его улучшению, генеративо-состязательная сеть для увеличения разрешения дает лучшие результаты, чем бикубическая интерполяция. Ключевые слова: нейронные сети, генеративно-состязательные сети, восстановление изображений, повышение разрешения C. 80–87 УДК 004.93'1 К. Р. Харрасов, ассистент, М. С. Мосева, канд. техн. наук, доц., М. Г. Городничев, канд. техн. наук, доц., , Московский технический университет связи и информатики Исследование устойчивости нейронных сетей в задаче распознавания образов Рассматривается задача устойчивого распознавания образов на изображении. Обсуждаются типы и виды атак на системы машинного обучения и методы защиты от них. Проведен эксперимент с использованием описанного подхода по устойчивому распознаванию образов в применении к состязательным атакам и выполнено сравнение надежности обычных и устойчивых нейросетевых классификаторов на основании итоговых метрик. В результате замены 33 % изображений из обучающей выборки на состязательные образцы обученная на таком наборе данных модель демонстрирует устойчивость к состязательным атакам без существенной потери точности детектирования и классификации обычных образцов. C . 87–92 УДК 517.977.58 С. А. Мустафина, д-р физ.-мат. наук, проф., И. И. Галлямитдинов, аспирант, Алгоритм градиентного спуска для поиска оптимального управления: общий подход и применение к задачам химической кинетики Разработан алгоритм градиентного спуска для оптимального управления динамическими системами с учетом свободного правого конца траектории и ограничений на управление. Особенность алгоритма — возможность его обобщения для различных краевых условий. Основное внимание уделяется математическому обоснованию метода и его применению к задачам химической кинетики. Проведены численные эксперименты, подтверждающие эффективность алгоритма для оптимизации реальных химических процессов. С. 93-100 Исследование выполнено за счет гранта Российского научного фонда № 24-21-00186, https :// rscf . ru / project /24-21-00186/ УДК 004.932 М. Н. Фаворская, д-р техн. наук, проф., Н. Нишчхал, аспирант, Восстановление МРТ-снимков на основе мультизадачного обучения Рассматривается процесс восстановления МРТ-снимков брюшной области на основе мультизадачного обучения, включающего создание снимков сверхвысокого разрешения и шумоподавления с применением методов глубокого обучения. Предлагается усовершенствованная модель RIRGAN за счет добавления модуля шумоподавления, компенсирующего аддитивные и нелинейные шумы. Предлагаемая мультизадачная модель MT-RIRGAN обучается с помощью сложной функции потерь, состоящей из потерь пикселов, потерь восприятия, состязательных потерь и потерь общей вариации. Эксперименты демонстрируют хорошие показатели восстановления МРТ-снимков с сохранением исходных визуальных структур, важных с точки зрения медицинской диагностики. С. 101–111 |