Программные продукты и системы

Статьи из выпуска № 3 за 2023 год.

Упорядочить результаты по: Дате публикации | Заголовку статьи | Авторам

1. Построение совершенных нормальных форм булевых функций для схемотехнических реализаций протоколов аутентификации с использованием maple [№3 за 2023 год]
Авторы: Оленев А.А., Калмыков И.А., Киричек К.А.
Просмотров: 1657
Одной из перспективных областей применения дискретной математики являются протоколы аутентификации с нулевым разглашением знаний, построенные на основе модулярных кодов класса вычетов. Использование этих кодов позволяет заменить вычислительное устройство, реализующее операцию возведения в степень по модулю, на кодопреобразователь. В результате сложная вычислительная операция будет выполнена за один такт. Эффективность работы кодопреобразователей во многом зависит от правильности перехода от таблицы истинности к совершенным нормальным формам булевых функций. Авторами данной статьи разработаны программный код и графическое интерактивное приложение для ЭВМ, которое позволяет получать совершенные дизъюнктивные и (или) совершенные конъюнктивные нормальные формы согласно описанному пользователем содержанию таблиц истинности и выводить результат в соответствующем поле с использованием логических функций библиотеки Logic или в виде формулы. Совершенные формы можно получить с использованием описания таблицы истинности в виде минтермов (макстермов) булевой функции, а также номеров наборов минтермов (макстермов). В разработанном приложении существует возможность выбора типа получаемой совершенной формы, и оно содержит справочные данные по использованию. Программный код и весь графический интерфейс написаны с помощью встроенного языка и библиотек системы компьютерной алгебры Maple. Созданное интерактивное приложение интуитивно понятно и доступно даже непрофессиональным программистам (преподавателям математики, студентам). Для удобства программный код оформлен в виде графического приложения, требующего для работы установленной на компьютере системы Maple. Разработанное приложение может быть использовано образовательными организациями, в которых преподаются математическая логика, дискретная математика или их разделы.

2. Моделирование быстрого алгоритма квантового поиска на классических компьютерах: информационный анализ проблемы останова [№3 за 2023 год]
Authors: Ulyanov, S.V., Ulyanov, V.S.
Просмотров: 1403
Описана методика модификации моделирования квантового алгоритма, основанная на прямом (большого объема) матричном представлении квантовых операторов. Этот подход стабилен и точен, но требует размещения матриц оператора в памяти компьютера. Поскольку размер операторов растет экспоненциально, подход полезен для моделирования квантовых алгоритмов с относительно небольшим количеством кубитов (например, приблизительно 11 кубитов на типовом компьютере). Используя его, относительно просто смоделировать работу системы контроля качества решения и выполнить анализ достоверности. Более эффективный метод быстрого моделирования контроля качества основан на вычислении всех или части операторных матриц по мере необходимости на текущей вычислительной основе. Используя данный метод, можно избежать сохранения всех или части операторных матриц. В этом случае количество кубитов, которые могут быть смоделированы (например, количество входных кубитов или количество кубитов в регистре состояния системы), влияет на экспоненциальный рост числа операций, необходимых для вычисления результата матричных произведений, и на размер вектора состояния, выделяемого в памяти компьютера. В одном из вариантов применения этого подхода целесообразно моделировать до 19 или более кубитов на типичном настольном компьютере и даже больше на системе с векторной архитектурой. Из-за особенностей процессов адресации памяти и доступа к ней в типичном настольном компьютере (например, персональный компьютер на базе Pentium), когда количество кубитов относительно невелико, подход «вычисления по требованию», как правило, эффективнее, чем подход с прямым хранением. Подход «вычисления по требованию» выигрывает благодаря применению результатов детального изучения квантовых операторов и их структуры, что позволяет более эффективно вычислять матричные элементы. В работе рассмотрено эффективное моделирование алгоритма квантового поиска Гровера на примере компьютера с классической архитектурой.

3. Разработка алгоритма пропорционального разделения gh-графа для формирования зон влияния объектов в сложных технических системах [№3 за 2023 год]
Автор: Мунтян Е.Р.
Просмотров: 1486
В статье предложено одно из возможных решений задачи формирования зон влияния объектов в сложных технических системах. В качестве примера рассматривается система охраны протяженного периметра, исследуется взаимодействие ее объектов (элементов) – мобильных или стационарных объектов охраны, квадрокоптеров, лиц, принимающих решение, возможных потенциальных нарушителей периметра. Причем квадрокоптеры обладают различными техническими характеристиками, в частности, радиусами обзора видеокамер. Для моделирования процесса взаимодействия объектов системы охраны применяется модель на основе нечеткого графа с разнотипными вершинами и множественными и разнотипными связями (GH-графа). В качестве множественных в GH-графе используются связи в виде вектора, объединяющие несколько разнотипных связей в одну. Такая модель позволяет задать все необходимые отношения между элементами системы и при этом обладает преимуществом во времени вычисления расстояний по сравнению с графами, использующими только однотипные и разнотипные связи. Для решения поставленной задачи предлагаются алгоритмические средства моделирования GH-графа, в том числе алгоритм пропорционального разделения графа и средства вычисления его метрик. В работе определена операция разделения GH-графа, сформулированы критерии разделения – пропорциональность подграфов по за-данному параметру и возможность пересечения подграфов. Выполнен синтез алгоритма пропорционального раз-деления GH-графа в соответствии с данными критериями, результаты работы которого показаны на примере рас-смотренной графовой модели. Использование предложенного алгоритма для разделения графа на пропорциональные подмножества и средств вычисления метрических характеристик полученных подграфов позволяет определить зоны влияния объектов системы в соответствии с их техническими параметрами. Рассмотрены возможности программной реализации предложенного алгоритма.

4. Об одной тенденции развития алгоритмов, реализуемых в системах поддержки принятия решений [№3 за 2023 год]
Авторы: Саяпин О.В., Тиханычев О.В., Безвесильная А.А., Чискидов С.В.
Просмотров: 1400
В статье рассмотрены вопросы реализации эффективных алгоритмов управления сложными человеко-машинными системами в современных условиях. Как показывает анализ предметной области, в практике управления все чаще используются алгоритмы, основанные на простых, но надежных методах, использование которых раньше было проблематичным из-за высоких вычислительных затрат. С развитием вычислительной техники, ростом пропускной способности сетей передачи данных и совершенствованием пользовательских интерфейсов практическое использование подобных методов стало возможным. В качестве примера реализации таких алгоритмов рассмотрены методы формирования управляющих воздействий, использующие визуализацию процесса управления с применением технологий виртуальной реальности. Актуальность работы определяется тем, что в условиях управления динамичными пространственно распределенными эргатическими системами существующие методы и технологии управления не всегда обеспечивают требуемую эффективность. В то же время эффективное управление – залог успешного применения любых систем. В статье на основе анализа типового цикла управления и недостатков используемых в настоящее время алгоритмов управления синтезированы предложения по применению моделей, основанных на прямых вычислениях и логических правилах. Как пример рассмотрено использование моделей на основе средств виртуальной реальности для применения визуального алгоритма сведения текущего состояния управляемой системы с требуемым состоянием, рассчитанным для достижения цели. Предложенный алгоритм логически дополняет алгоритмы решения оптимизационных задач и поиска информации, находясь в общем тренде развития алгоритмизации систем поддержки принятия решений в пользу упрощения используемых методов.

5. Исследование свойств конкурентного двоичного дерева [№3 за 2023 год]
Авторы: Грачев В.Г., Ушаков А.С.
Просмотров: 1143
В разрабатываемом программном обеспечении навигационных тренажеров «Система моделирования морских операций» реализована технология автоматического построения трехмерной модели глобального рельефа на базе алгоритма рекурсивного деления с локально адаптивным управлением детализацией. Алгоритм реализован полностью на графическом адаптере (GPU) и использует возможности массированной параллельной обработки данных в вычислительных шейдерах. Алгоритм рекурсивного деления строится на использовании двоичного дерева, однако классические двоичные деревья, явно описанные с использованием указателей, неприменимы для GPU-реализаций из-за архитектурных особенностей. Для обеспечения возможности параллельного выполнения алгоритма применена специализированная параллельная структура данных – конкурентное двоичное дерево. В статье описаны предпосылки к созданию структуры конкурентного двоичного дерева и рассматриваются этапы его построения от использования неявного двоичного дерева до представления в виде бинарного поля с последующим дополнением его редуцированной суммой листовых узлов. Теоретически обоснован объем оперативной памяти, необходимый для размещения конкурентного двоичного дерева заданной глубины. Выполнен анализ алгоритмической сложности построения конкурентного двоичного дерева и итерации по его листовым узлам. Приведены и проанализированы результаты сравнительных синтетических тестов производительности конкурентного двоичного дерева, выполненные на CPU и GPU, а также результаты его практического применения в системе моделирования морских операций.

6. Метод деформации функционально заданных объектов с применением графических процессоров [№3 за 2023 год]
Авторы: Вяткин С.И., Долговесов Б.С.
Просмотров: 1444
В статье рассмотрен метод моделирования деформации эластичных функционально заданных объектов. Деформация и анимация трехмерных объектов являются важными функциями, но требуют большого числа вычислений. Моделирование эластичных динамических объектов применяется в приложениях компьютерной графики, биомеханики и робототехники. Целью является разработка метода моделирования деформации эластичных объектов на графическом процессоре. Предметом исследования стали методы Чебышева и Якоби и их использование в проективной динамике. Теоретическая значимость разработки заключается в комбинировании данных методов для решения задач деформации и анимации поверхностей, где проблемой является большое число вычислений. Проективная динамика может быть эффективно ускорена с применением метода Чебышева. Практическая значимость состоит в реализации метода на графическом процессоре. Комбинация метода Чебышева и метода Якоби для проективной динамики оптимально реализуется на графическом процессоре, поскольку вычисления хорошо распараллеливаются. В результате получаем простую реализацию, которая не нуждается в дополнительных библиотеках для решения этой проблемы и имеет небольшую память. Метод не требует повторной факторизации матрицы при каждом изменении системы, используемой при прямом вычислении, но необходимы большие вычислительные затраты. При тестировании предлагаемого метода использованы патчи свободных форм на основе сеток базовых треугольников. Тестирование показывает, что такой подход ускоряет проективную динамику примерно на один порядок, когда на глобальном этапе используется решение Якоби.

7. Компенсация разных типов неопределенностей при управлении  техническим объектом с помощью интеллектуальных регуляторов [№3 за 2023 год]
Автор: Игнатьев В.В.
Просмотров: 1530
В статье приводятся результаты исследований по разработке гибридных интеллектуальных регуляторов, позволяющих обеспечить эффективность управления техническим объектом, в том числе функционирующим в условиях неопределенности. Рассмотрены вопросы компенсации разных типов неопределенностей при управлении техническим объектом с применением интеллектуальных регуляторов. Дана обобщенная классификация неопределенностей и предложена новая с определением тех ее видов, компенсация которых достигается с помощью разработанных методов и алгоритмов. Такими видами неопределенностей являются параметрическая неопределенность, неопределенности, вызванные внешними воздействиями, лингвистическая неопределенность. Отдельно вы-делена лингвистическая неопределенность, приведены способы ее компенсации, основанные на подходе управления, который базируется на сочетании классической теории управления, нечеткой логики, нейросетевых технологий и генетических алгоритмов. В рамках демонстрации подхода в общем виде описан весь процесс получения желаемого управления для технического объекта, в том числе функционирующего в условиях неопределенности. Представ-лены результаты работы созданных методов управления техническими объектами с применением интеллектуальных регуляторов на основе самоорганизации баз знаний. Основу методов составляет алгоритм самоорганизации робастных баз знаний без привлечения эксперта с автоматизацией процесса генерации управляющих правил. Реализация алгоритма в моделях управления способствует получению желаемого управления для технических объектов, включая функционирующие в условиях неопределенности, представленных линейными или нелинейными математическими моделями первого, второго и третьего порядков, в том числе с запаздыванием. Результаты моделирования подтверждают, что применение подхода с гибридным управлением позволяет получать желаемое управление техническим объектом, в том числе функционирующим в условиях неопределенности.

8. Контроль подключений USB-устройств в локальной вычислительной сети компьютеров под управлением Astra Linux SE [№3 за 2023 год]
Авторы: Баранов А.В., Корепанов П.М., Лепешев И.А.
Просмотров: 1777
Рост требований к информационной безопасности, а также тенденция к импортозамещению в области системного ПО обусловили широкое распространение инфраструктурных решений, построенных на базе отечественной операционной системы Astra Linux Special Edition (Astra Linux SE). Применение Astra Linux SE позволяет строить защищенные программно-аппаратные системы для обработки информации ограниченного доступа, в том числе в научных суперкомпьютерных центрах. При этом одним из важнейших аспектов обеспечения информационной безопасности является контроль подключения USB-устройств к компьютерам в локальной вычислительной сети. Анализ доступных современных источников показывает, что готовых комплексных решений, работающих в среде Astra Linux SE, в настоящее время не существует. В статье рассмотрен возможный технологический стек подобного решения, включающий, помимо Astra Linux SE, систему организации очередей сообщений RabbitMQ, микрофреймворк для разработки web-приложений Flask, СУБД PostgreSQL, а также средство выявления подключений USB-устройств USBRip. Рассмотрена предложенная на базе технологического стека модульная структура программной системы аудита подключений USB-устройств, включающая модули сбора информации о USB-подключениях на контролируемых компьютерах, модуль агрегации собранной информации на серверной стороне и модуль проверки легитимности выявленных подключений USB-устройств к контролируемым компьютерам под управлением Astra Linux SE. Предложенные структура и технологический стек реализованы в виде макета программной системы, получившей название ALUMNUS. Макет был развернут и прошел опытную эксплуатацию в защищенном сегменте суперкомпьютера МВС-10П ОП, установленном в Межведомственном суперкомпьютерном центре РАН.

9. Организация адаптивной маршрутизации данных в электроэнергетических комплексах с использованием онтологических нечетких классификаторов [№3 за 2023 год]
Авторы: Федулов А.С., Лазарев А.И.
Просмотров: 1502
В работе рассматриваются теоретические аспекты применения методов машинного обучения, в частности, адаптация глубоких моделей к управлению сетевыми топологиями TCP/IP электроэнергетических комплексов. Предметом исследования является подход к организации централизованного управления сегментами сети в рассматриваемой сфере. Изучение процессов взаимодействия субъектов электроэнергетических подразделений на основе разработанных онтологических моделей позволило выявить основные свойства полиформатных данных, которые могут быть уязвимыми при эксплуатации. Практическая значимость исследования заключается в создании многомодульной структуры отслеживания, классификации и прогнозировании изменений в потребляемом трафике, за счет которой возможно повышение эффективности функционирования сложных сетевых корпоративных структур. Проведено тестирование существующих алгоритмов получения хеш-функций. Его результаты позволили сделать вывод о целесообразности применения базового алгоритма шифрования BLAKE3 в качестве основного механизма верификации подлинности клиентов в сравнении с алгоритмами SHA-384, SHA-512, SHA-224, MD5. Показана реализация алгоритма нечеткого посимвольного сравнения в качестве модуля принятия решений, что подтверждает актуальность предлагаемого подхода при работе с нечеткими структурами данных. В качестве основного решения указанных проблем предложен подход к гибкому управлению сегментом электроэнергетических установок, представляемых комплексом генерирующих, электросетевых, энергосбытовых и других компаний. Основным результатом предлагаемого решения является централизованный анализ возможных изменений с учетом адаптации к сетевым нагрузкам на основе выделенных онтологических переменных. При реализации данного подхода возможна совместимость с существующими аппаратными сетевыми устройствами за счет уникальной архитектуры построенной топологии.

10. Архитектура системы поддержки принятия решений в процессе мониторинга технического состояния критического оборудования [№3 за 2023 год]
Авторы: Емельянов В.А., Черный С.Г., Емельянова Н.Ю.
Просмотров: 1389
В работе решается прикладная задача совершенствования существующей системы диагностики критического футерованного оборудования без его вывода из эксплуатации. Актуальность исследования обусловлена необходимостью повышения уровня автоматизации и объективности принятия решений при эксплуатации этого оборудования для предотвращения аварийных ситуаций на производстве. Целью являются проектирование архитектуры и разработка системы поддержки принятия решений в процессе мониторинга технического состояния критического футерованного оборудования. Для высокоуровневого проектирования архитектуры данной системы использован язык моделирования архитектуры ArchiMate. Для проектирования статической структуры системы в виде основных сущностей, реализующих функционал системы по поддержке принятия решений о допустимости использования критического футерованного оборудования, применены объектно-ориентированный подход (включая объектно-ориентированный анализ, объектно-ориентированное проектирование и программирование) и унифицированный язык моделирования UML. В ходе работы построена модель верхнеуровневой архитектуры системы поддержки принятия решений при мониторинге технического состояния критического футерованного оборудования. Выполнен анализ функционала, проведено объектно-ориентированное проектирование статической структуры системы поддержки принятия решений. Разработано ПО системы поддержки принятия решений в процессе мониторинга технического состояния критического футерованного оборудования, позволяющее генерировать рекомендации относительно режимов его эксплуатации и осуществлять профилактическую диагностику данного оборудования. Разработанное ПО протестировано в условиях металлургического производства в технологическом процессе диагностики передвижных миксеров ПМ350 на Алчевском металлургическом комбинате.

| 1 | 2 | Следующая → ►