АННОТАЦИИ СТАТЕЙ ЖУРНАЛА "ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ"
№11. Том 30. 2024

Выпуск по материалам XV Международной конференции
"НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ИССЛЕДОВАНИИ СЛОЖНЫХ СТРУКТУР" ICAM 2024
16—20 сентября, 2024, Республика Алтай, Россия

К оглавлению

УДК 519.168, 519.863
DOI: 10.17587/ it.30.555-564

А. A. Андрианова, канд. физ.-мат. наук, доц. кафедры системного анализа и информационных технологий,
Институт вычислительной математики и информационных технологий, Казанский (Приволжский) федеральный университет, г. Казань

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

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

С. 555-564

УДК 004.932
DOI: 10.17587/it.30.565-570

В. А. Анжин, аспирант,
Национальный исследовательский Томский государственный университет

Повышение устойчивости алгоритма внедрения цифрового водяного знака E _ BLIND / D _ LC к атаке удаления путем воздействия DCT-фильтрации

Рассматривается алгоритм водяного знака E _ BLIND / D _ LC и оценивается его устойчивость к атаке удаления путем воздействия DCT -фильтрации на контейнер. Предлагается расширение алгоритма, направленное на улучшение устойчивости к данному типу воздействия. Проводится вычислительный эксперимент, направленный на оценку устойчивости предложенного расширения в сравнении с исходным алгоритмом E _ BLIND / D _ LC .
Ключевые слова: водяной знак, устойчивость, DCT -фильтрация, защита мультимедиаданных

С. 565-570

УДК 519.713.1
DOI: 10.17587/it.30.571-578

Н. А. Матолыгина, лаборант, М. Л. Громов, канд. физ.-мат. наук, доц.,
Национальный исследовательский Томский государственный университет

Моделирование синхронных детерминированных клеточных автоматов матрицами

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

С. 571-578

Работа выполнена при финансовой поддержке РФФИ в рамках научного проекта № 20-31-90070 Аспиранты.

УДК 004.052.42
DOI: 10.17587/it.30.579-584

А. С. Проценко, науч. сотр.,
Институт системного программирования им. В. П. Иванникова РАН, г. Москва, Россия

Архитектурно независимые тестовые шаблоны для виртуальных машин и микропроцессоров

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

С. 579-584

УДК 004.4
DOI: 10.17587/it.30.584-594

К. А. Степаненко, аспирант, О. А. Шорина, аспирант,
Казанский (Приволжский) федеральный университет, Казань, Россия

Система квантового программирования QSimulator

Предложена система для квантового программирования QSimulator , представляющая собой программное средство разработки и отладки квантовых алгоритмов на языке высокого уровня С++. Рассматривается основная структура представляемой системы, включая доступные для программиста квантовые алгоритмы и квантовые операции. На примере NP -полной задачи SAT рассматривается процесс генерации оракула в виде квантовой схемы для алгоритма поиска Гровера. Проводится анализ сложности представленной схемы.
Ключевые слова: квантовые вычисления, квантовый симулятор, квантовые алгоритмы, алгоритм поиска Гровера, проблема "выполнимость" ( SAT ), квантовая эмуляция, квантовые схемы, сложность квантовых схем

С. 584-594

УДК 378.16
DOI: 10.17587/it.30.595-602

А. Ю. Филимонов, ст. преп., К. А. Аксенов, канд. техн. наук, доц., С. Д. Кодолов, ассистент, Д. Д. Губанов, студент,
Уральский федеральный университет, г. Екатеринбург

Автоматизация управления компонентами виртуализированного лабораторного комплекса высшего учебного заведения

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

С. 595-602

К оглавлению