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

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

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

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

12. Разработка чат-бота для отслеживания расписания учебных занятий в университете [№3 за 2023 год]
Авторы: Сазанов В.А., Хлобыстова А.О., Абрамов М.В.
Просмотров: 1524
Высшие учебные заведения нередко сталкиваются с проблемами обеспечения цифровой поддержки учебного процесса, в частности, со своевременным информированием о происходящих в расписании занятий изменениях. Одним из решений может быть Telegram-бот. В данной статье описывается Telegram-бот, разработанный для повышения эффективности оповещения участников учебного процесса о расписании занятий, его изменениях на примере Санкт-Петербургского государственного университета. Методы исследования основаны на выявлении проблем текущего инструмента информирования о расписании, проектировании структуры и последующей разработке клиент-серверного приложения для их решения. Предметом исследования являются инструменты для взаимодействия участников учебного процесса с расписанием учебных занятий. Основной результат заключается в реализации возможности быстрого отображения расписания с тремя различными вариантами запросов к нему (по названию группы, через поиск преподавателя и путем навигации по всем программам), подписки на уведомления с актуальным расписанием определенной группы или преподавателя с настройкой времени получения уведомлений и просмотра запрошенного расписания в формате текста или сгенерированной на его основе картинки. Кроме того, бот уведомляет об изменении расписания. Практическая значимость заключается в упрощении организационных процессов за счет расширения возможностей своевременного информирования и сокращения времени на получение необходимых сведений. Разработанная система уже используется обучающимися, преподавателями и работниками университета, обеспечивающими учебный процесс.

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

14. Программный комплекс планирования производства и управления запасами [№3 за 2023 год]
Авторы: Соломаха Г.М., Тулуева В.А., Хижняк С.В.
Просмотров: 1121
В работе представлен процесс взаимодействия информационных систем в ходе планирования производства и управления запасами с учетом динамичности производственной среды и ограниченности возможностей предприятия. Рассмотрены особенности промышленных предприятий, не позволяющие использовать стандартные реализации предлагаемых на рынке программных продуктов и систем. Основным модулем для оптимизации процесса планирования и управления запасами является ERP-система. Построение прогноза продаж и уровня страховых запасов выполняется при помощи отечественного программного продукта Forecast NOW, планирование производства осуществляется в SCM-системе SAP APO. Результатом работы и взаимодействия данных систем являются план-график производства, который, в свою очередь, передается в систему MES для производства, а также корректные данные о потребностях закупки продуктов, сырья, материалов и полуфабрикатов. В качестве методов используются системный подход, а также анализ и синтез исследований отечественных ученых в области планирования и управления запасами. Сформулированы требования к разрабатываемым в рамках интеграции систем программным модулям. Показано, что предложенный программный комплекс удовлетворяет этим требованиям. Приведен пример возможной интеграции разработанного программного комплекса с системой мониторинга производственных процессов, представлена соответствующая схема интеграции. Показано, что область применения данного подхода не ограничивается крупными предприятиями и может быть скорректирована для использования с соответствующими программными комплексами предприятий меньшего масштаба. Гибкость полученного программного решения открывает возможности для дальнейшего расширения области применения и реализации более масштабных самостоятельных производственных систем и комплексов программ.

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

◄ ← Предыдущая | 1 | 2