Архив статей журнала
В статье приводятся результаты экспериментальных исследований эффективности программ минимизации многоуровневых алгебраических представлений систем булевых функций, выполняемых при синтезе комбинационных схем. Результирующие минимизированные логические описания представлены в виде формул разложений Шеннона или формул, задающих булевы сети. Исследуются три подхода: совместная минимизация многоуровневых представлений систем булевых функций, раздельная минимизация и выделение из исходной системы связанных подсистем. При этом каждая из этих подсистем минимизируется отдельно, а функции, составляющие их, совместно. После получения минимизированных описаний схем, заданных в виде совокупности взаимосвязанных формул разложения Шеннона либо двухоперандных логических уравнений, соответствующих булевым сетям, осуществляется синтез логических схем в одной и той же библиотеке проектирования заказных цифровых сверхбольших интегральных схем, выполненных по КМОП СБИС (комплементарной метал-оксид-полупроводник технологии). Полученные логические схемы сравниваются по площади кристалла и по быстродействию (временной задержке). Были проведены эксперименты на 39 промышленных примерах схем. Pезультаты показали конкурентоспособность и целесообразность использования на практике всех трех рассмотренных подходов. Улучшение параметров схем (площадь, временная задержка) при выделении из исходной системы связанных подсистем достигается за счет того, что каждая выделенная подсистема минимизируется на основе разложений Шеннона по своей (для каждой подсистемы) перестановке переменных разложения. При этом для одной половины схем более эффективным является минимизация многоуровневых представлений на основе разложений Шеннона для исходных матричных описаний систем функций, а для другой - на основе разложений Шеннона систем функций, представленных в виде логических уравнений. Практическая значимость проведенного исследования заключается в том, что использование разработанной программы, реализующей предложенный алгоритм выделения подсистем булевых функций, позволяет во многих случаях сокращать площадь и увеличивать быстродействие функциональных блоков заказных КМОП СБИС.
Передача информации с технической точки зрения невозможна без используемых в них протоколов передачи данных. Одним из основных требований, предъявляемых к протоколам такого рода, является защита данных. Самый надежный метод, обеспечивающий защиту передаваемой информации по различным каналам связи, - шифрование данных. В статье проанализированы стандартные алгоритмы шифрования: AES, RSA, протокол Диффи-Хеллмана и функция хеширования данных SHA256. Выявлены их некоторые особенности, не позволяющие в полном объеме обеспечить максимальную защиту данных при передаче. Поэтому комбинированный алгоритм шифрования данных, суть которого в применении существующих алгоритмов на разных этапах шифрования, позволит избежать проблем, возникающих при использовании одного алгоритма. Предметом данного исследования является функционирование стандартных алгоритмов шифрования: AES, RSA, протокола Диффи-Хеллмана и функции хеширования данных SHA256. Основной результат работы - протокол передачи данных, созданный на основе комбинированного алгоритма шифрования данных. Протокол включает в себя разработку структуры пакета, реализацию процессов ClientResolving и Handshake, а также различные типы структур Payload. В конце осуществляется выбор параметров алгоритмов шифрования Диффи-Хеллмана и AES. Такая последовательность разработки позволила сделать протокол передачи данных универсальным и эффективным. В статье продемонстрирована работа протокола, включающая два этапа: установка соединения и непосредственно передача данных. Практическая значимость исследования заключается в том, что созданный протокол поможет обеспечить полноту, конфиденциальность и безопасность передачи данных любого типа - текст, графика, аудиофайл.
В работе описывается система назначения персонифицированного лечения на основе прецедентов. Ее уникальной особенностью является извлечение прецедентов на основе гибридного метода, сочетающего извлечение прецедента на основе знаний с классическим способом K-ближайших соседей. Новизна предлагаемого подхода заключается в обеспечении максимальной гибкости и корректности в оценке сходимости прецедентов. В работе описаны информационные и программные компоненты системы. Используемая база знаний, как и все информационные ресурсы, строится по своим онтологиям, четко задающим их структуру и семантику. Это позволяет оперативно вносить изменения без привлечения программистов и переработки всей системы. Система реализована на основе мультиагентного подхода. На первом этапе с помощью базы знаний производятся предварительный расчет и приведение всех признаков к единой метрике, на втором - непосредственный расчет сходимости методом K-ближайших соседей. Сходимость историй болезни определяется совокупно по каждому признаку. На практике система позволяет максимально гибко и точно оценивать похожесть историй болезни, содержащих разнородные по типу признаки. Предлагаемое решение особенно эффективно в условиях дефицита медицинских знаний и данных, когда системы иного типа, в частности, основанные на знаниях, не могут предложить корректное решение.
Высшие учебные заведения нередко сталкиваются с проблемами обеспечения цифровой поддержки учебного процесса, в частности, со своевременным информированием о происходящих в расписании занятий изменениях. Одним из решений может быть Telegram-бот. В данной статье описывается Telegram-бот, разработанный для повышения эффективности оповещения участников учебного процесса о расписании занятий, его изменениях на примере Санкт-Петербургского государственного университета. Методы исследования основаны на выявлении проблем текущего инструмента информирования о расписании, проектировании структуры и последующей разработке клиент-серверного приложения для их решения. Предметом исследования являются инструменты для взаимодействия участников учебного процесса с расписанием учебных занятий. Основной результат заключается в реализации возможности быстрого отображения расписания с тремя различными вариантами запросов к нему (по названию группы, через поиск преподавателя и путем навигации по всем программам), подписки на уведомления с актуальным расписанием определенной группы или преподавателя с настройкой времени получения уведомлений и просмотра запрошенного расписания в формате текста или сгенерированной на его основе картинки. Кроме того, бот уведомляет об изменении расписания. Практическая значимость заключается в упрощении организационных процессов за счет расширения возможностей своевременного информирования и сокращения времени на получение необходимых сведений. Разработанная система уже используется обучающимися, преподавателями и работниками университета, обеспечивающими учебный процесс.
В работе представлен процесс взаимодействия информационных систем в ходе планирования производства и управления запасами с учетом динамичности производственной среды и ограниченности возможностей предприятия. Рассмотрены особенности промышленных предприятий, не позволяющие использовать стандартные реализации предлагаемых на рынке программных продуктов и систем. Основным модулем для оптимизации процесса планирования и управления запасами является ERP-система. Построение прогноза продаж и уровня страховых запасов выполняется при помощи отечественного программного продукта Forecast NOW, планирование производства осуществляется в SCM-системе SAP APO. Результатом работы и взаимодействия данных систем являются план-график производства, который, в свою очередь, передается в систему MES для производства, а также корректные данные о потребностях закупки продуктов, сырья, материалов и полуфабрикатов. В качестве методов используются системный подход, а также анализ и синтез исследований отечественных ученых в области планирования и управления запасами. Сформулированы требования к разрабатываемым в рамках интеграции систем программным модулям. Показано, что предложенный программный комплекс удовлетворяет этим требованиям. Приведен пример возможной интеграции разработанного программного комплекса с системой мониторинга производственных процессов, представлена соответствующая схема интеграции. Показано, что область применения данного подхода не ограничивается крупными предприятиями и может быть скорректирована для использования с соответствующими программными комплексами предприятий меньшего масштаба. Гибкость полученного программного решения открывает возможности для дальнейшего расширения области применения и реализации более масштабных самостоятельных производственных систем и комплексов программ.
В работе решается прикладная задача совершенствования существующей системы диагностики критического футерованного оборудования без его вывода из эксплуатации. Актуальность исследования обусловлена необходимостью повышения уровня автоматизации и объективности принятия решений при эксплуатации этого оборудования для предотвращения аварийных ситуаций на производстве. Целью являются проектирование архитектуры и разработка системы поддержки принятия решений в процессе мониторинга технического состояния критического футерованного оборудования. Для высокоуровневого проектирования архитектуры данной системы использован язык моделирования архитектуры ArchiMate. Для проектирования статической структуры системы в виде основных сущностей, реализующих функционал системы по поддержке принятия решений о допустимости использования критического футерованного оборудования, применены объектно-ориентированный подход (включая объектно-ориентированный анализ, объектно-ориентированное проектирование и программирование) и унифицированный язык моделирования UML. В ходе работы построена модель верхнеуровневой архитектуры системы поддержки принятия решений при мониторинге технического состояния критического футерованного оборудования. Выполнен анализ функционала, проведено объектно-ориентированное проектирование статической структуры системы поддержки принятия решений. Разработано ПО системы поддержки принятия решений в процессе мониторинга технического состояния критического футерованного оборудования, позволяющее генерировать рекомендации относительно режимов его эксплуатации и осуществлять профилактическую диагностику данного оборудования. Разработанное ПО протестировано в условиях металлургического производства в технологическом процессе диагностики передвижных миксеров ПМ350 на Алчевском металлургическом комбинате.
В работе рассматриваются теоретические аспекты применения методов машинного обучения, в частности, адаптация глубоких моделей к управлению сетевыми топологиями TCP/IP электроэнергетических комплексов. Предметом исследования является подход к организации централизованного управления сегментами сети в рассматриваемой сфере. Изучение процессов взаимодействия субъектов электроэнергетических подразделений на основе разработанных онтологических моделей позволило выявить основные свойства полиформатных данных, которые могут быть уязвимыми при эксплуатации. Практическая значимость исследования заключается в создании многомодульной структуры отслеживания, классификации и прогнозировании изменений в потребляемом трафике, за счет которой возможно повышение эффективности функционирования сложных сетевых корпоративных структур. Проведено тестирование существующих алгоритмов получения хеш-функций. Его результаты позволили сделать вывод о целесообразности применения базового алгоритма шифрования BLAKE3 в качестве основного механизма верификации подлинности клиентов в сравнении с алгоритмами SHA-384, SHA-512, SHA-224, MD5. Показана реализация алгоритма нечеткого посимвольного сравнения в качестве модуля принятия решений, что подтверждает актуальность предлагаемого подхода при работе с нечеткими структурами данных. В качестве основного решения указанных проблем предложен подход к гибкому управлению сегментом электроэнергетических установок, представляемых комплексом генерирующих, электросетевых, энергосбытовых и других компаний. Основным результатом предлагаемого решения является централизованный анализ возможных изменений с учетом адаптации к сетевым нагрузкам на основе выделенных онтологических переменных. При реализации данного подхода возможна совместимость с существующими аппаратными сетевыми устройствами за счет уникальной архитектуры построенной топологии.
Рост требований к информационной безопасности, а также тенденция к импортозамещению в области системного ПО обусловили широкое распространение инфраструктурных решений, построенных на базе отечественной операционной системы 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П ОП, установленном в Межведомственном суперкомпьютерном центре РАН.
В статье приводятся результаты исследований по разработке гибридных интеллектуальных регуляторов, позволяющих обеспечить эффективность управления техническим объектом, в том числе функционирующим в условиях неопределенности. Рассмотрены вопросы компенсации разных типов неопределенностей при управлении техническим объектом с применением интеллектуальных регуляторов. Дана обобщенная классификация неопределенностей и предложена новая с определением тех ее видов, компенсация которых достигается с помощью разработанных методов и алгоритмов. Такими видами неопределенностей являются параметрическая неопределенность, неопределенности, вызванные внешними воздействиями, лингвистическая неопределенность. Отдельно выделена лингвистическая неопределенность, приведены способы ее компенсации, основанные на подходе управления, который базируется на сочетании классической теории управления, нечеткой логики, нейросетевых технологий и генетических алгоритмов. В рамках демонстрации подхода в общем виде описан весь процесс получения желаемого управления для технического объекта, в том числе функционирующего в условиях неопределенности. Представлены результаты работы созданных методов управления техническими объектами с применением интеллектуальных регуляторов на основе самоорганизации баз знаний. Основу методов составляет алгоритм самоорганизации робастных баз знаний без привлечения эксперта с автоматизацией процесса генерации управляющих правил. Реализация алгоритма в моделях управления способствует получению желаемого управления для технических объектов, включая функционирующие в условиях неопределенности, представленных линейными или нелинейными математическими моделями первого, второго и третьего порядков, в том числе с запаздыванием. Результаты моделирования подтверждают, что применение подхода с гибридным управлением позволяет получать желаемое управление техническим объектом, в том числе функционирующим в условиях неопределенности.
Численные методы для дифференциальных уравнений являются введением в фундаментальную область численного анализа и научных вычислений. Моделирование деформации объекта составляет фундаментальную задачу анимации. Для этого используются как явные, так и неявные модели пошагового времени. Применяются также методы оптимизации для эффективного динамического моделирования.
Анимация, основанная на физике, является важным инструментом в компьютерной графике, но она требует больших вычислений. Моделирование в реальном времени необходимо в таких приложениях, как компьютерные игры и обучающие тренажеры (например, хирургические симуляторы).
Деформация мягких тканей в реальном времени имеет большое значение для интерактивного хирургического моделирования. С этой целью разрабатываются алгоритмы моделирования деформации мягких тканей в реальном времени при силовом взаимодействии, которые имитируют механические деформации тканей. Подходы адаптированы как для изотропных, так и для анизотропных и гетерогенных материалов.
В разрабатываемом программном обеспечении навигационных тренажеров «Система моделирования морских операций» реализована технология автоматического построения трехмерной модели глобального рельефа на базе алгоритма рекурсивного деления с локально адаптивным управлением детализацией. Алгоритм реализован полностью на графическом адаптере (GPU) и использует возможности массированной параллельной обработки данных в вычислительных шейдерах. Алгоритм рекурсивного деления строится на использовании двоичного дерева, однако классические двоичные деревья, явно описанные с использованием указателей, неприменимы для GPU-реализаций из-за архитектурных особенностей. Для обеспечения возможности параллельного выполнения алгоритма применена специализированная параллельная структура данных - конкурентное двоичное дерево. В статье описаны предпосылки к созданию структуры конкурентного двоичного дерева и рассматриваются этапы его построения от использования неявного двоичного дерева до представления в виде бинарного поля с последующим дополнением его редуцированной суммой листовых узлов. Теоретически обоснован объем оперативной памяти, необходимый для размещения конкурентного двоичного дерева заданной глубины. Выполнен анализ алгоритмической сложности построения конкурентного двоичного дерева и итерации по его листовым узлам. Приведены и проанализированы результаты сравнительных синтетических тестов производительности конкурентного двоичного дерева, выполненные на CPU и GPU, а также результаты его практического применения в системе моделирования морских операций.
В статье рассмотрены вопросы реализации эффективных алгоритмов управления сложными человеко-машинными системами в современных условиях. Как показывает анализ предметной области, в практике управления все чаще используются алгоритмы, основанные на простых, но надежных методах, использование которых раньше было проблематичным из-за высоких вычислительных затрат. С развитием вычислительной техники, ростом пропускной способности сетей передачи данных и совершенствованием пользовательских интерфейсов практическое использование подобных методов стало возможным. В качестве примера реализации таких алгоритмов рассмотрены методы формирования управляющих воздействий, использующие визуализацию процесса управления с применением технологий виртуальной реальности. Актуальность работы определяется тем, что в условиях управления динамичными пространственно распределенными эргатическими системами существующие методы и технологии управления не всегда обеспечивают требуемую эффективность. В то же время эффективное управление - залог успешного применения любых систем. В статье на основе анализа типового цикла управления и недостатков используемых в настоящее время алгоритмов управления синтезированы предложения по применению моделей, основанных на прямых вычислениях и логических правилах. Как пример рассмотрено использование моделей на основе средств виртуальной реальности для применения визуального алгоритма сведения текущего состояния управляемой системы с требуемым состоянием, рассчитанным для достижения цели. Предложенный алгоритм логически дополняет алгоритмы решения оптимизационных задач и поиска информации, находясь в общем тренде развития алгоритмизации систем поддержки принятия решений в пользу упрощения используемых методов.