Архив журнала

Выпуск № 2 (2025)

АКТУАЛЬНЫЕ ЗАДАЧИ МАТЕМАТИЧЕСКОГО ОБЕСПЕЧЕНИЯ СТАНДАРТИЗАЦИИ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Аннотация: В настоящий момент в области стандартизации происходят существенные изменения. Переход от текстового формата к формату умных (SMART) стандартов, позволит перейти от общения в этой области от цепочки «человек – стандарт-человек-машина» к цепочке «М2М». С учетом того, что в области информационных технологий количество стандартизации весьма велико, решение задач по формированию рациональных профилей1 стандартов в этой области становится весьма затруднительно. Переход к умным (SMART) стандартам позволит существенно повысить качество и снизить затраты на создание таких профилей. Однако, кроме самих умных (SMART) стандартов, для формирования таких профилей, требуется целый комплекс дополнительного математического обеспечения. В статье обосновывается такой перечень. В статье также делается вывод о необходимости скорейшей разработки «Стратегии цифровой трансформации стандартизации в области информационных технологий».
Номера страниц: 5-12.
ОБЗОР ЗАРУБЕЖНОГО И МЕЖДУНАРОДНОГО ОПЫТА SMART СТАНДАРТИЗАЦИИ
Аннотация: Мир меняется невероятными темпами – мы наблюдаем прорыв в технологиях и стремительную цифровизацию, изменение потребностей и ожиданий общества, регулятивное давление и геополитическую динамику. Инновационные решения должны удовлетворять всем этим современным вызовам. В настоящее время в стандартизации активизируется обсуждение вопросов использования искусственного интеллекта, совместимой и безопасной цифровой среды, и ее первостепенной задачи кибербезопасности, а также вопросов, связанных с технологической конвергенцией и ключевой ролью стандартов в навигации по ее сложному ландшафту. Ведущие организации по стандартизации в мире продвигают свои усилия по цифровой трансформации во всех отраслях. В этой связи наибольший интерес для нас представляет SMART стандартизация и взаимосвязанные с ней вопросы использования искусственного интеллекта. В статье рассматриваются наиболее значимые результаты развития и общие тенденции SMART-стандартизации на примерах деятельности международных организаций ISO и IEC, национальных организаций по стандартизации CEN, CENELEC, SAC, DIN, DKE, AFNOR, ONORM, а также ряда наиболее инициативных зарубежных организаций-разработчиков стандартов: SAE International, ASME, UL Solution.
Номера страниц: 13-19.
ОСОБЕННОСТИ И ПЕРСПЕКТИВЫ ПРИМЕНЕНИЯ ANFIS СТРУКТУР ДЛЯ ПОСТРОЕНИЯ СИСТЕМ УПРАВЛЕНИЯ МОДУЛЬНЫМИ МАНИПУЛЯЦИОННЫМИ РОБОТАМИ
Аннотация: Модульный подход к построению манипуляционных роботов находит всё более широкое применение в различных областях, т. к. обеспечивает возможность реконфигурации кинематической структуры, расширяя тем самым спектр возможного применения робототехнических средств в условиях неопределенности рабочей среды, а также позволяет повысить унифицированность составных частей конструкции и надежность системы в целом. Несмотря на преимущества данной концепции, ее повсеместное внедрение ограничено рядом недостатков. Показано, что одной из основных проблем при управлении модульными манипуляционными роботами является взаимное динамическое влияние степеней подвижности, для решения которой рассмотрено применение ANFIS-структур на различных уровнях иерархии интеллектуальной системы управления. В работе предложен подход к динамической развязке приводов модульного манипуляционного робота за счёт применения данного класса нейро нечетких систем логического вывода на тактическом уровне для аппроксимации решения обратной задачи динамики и компенсации взаимовлияния исполнительных механизмов.
Номера страниц: 20-31.
ПОДХОДЫ К ОДНОКЛАССОВОЙ КЛАССИФИКАЦИИ РЕГУЛЯРНЫХ ВЫРАЖЕНИЙ
Аннотация: Резюме Цели. В статье рассмотрена задача выявления паттернов новизны в списке регулярных выражений. Цель работы – исследование подходов к выявлению паттернов новизны в списке регулярных выражений посредством алгоритмов одноклассовой классификации. Методы. Для решения поставленной задачи предложено использовать подходы, основанные на алгоритмах одноклассовой классификации, таких как One-Class SVM и Isolation Forest. Для представления регулярных выражений в векторном виде предложено использовать модели двунаправленных предобученных трансформеров BERT и ModernBERT. Результаты. Результаты экспериментальных исследований подтверждают целесообразность использования алгоритмов одноклассовой классификации для разработки классификаторов, реализующих выявление паттернов новизны в списке регулярных выражений. При этом наблюдается превосходство модели ModernBERT по отношению к модели BERT в смысле обеспечения высокого качества классификации при выявлении паттернов новизны в списке регулярных выражений. Выводы. Рассмотренные подходы к одноклассовой классификации регулярных выражений могут быть рекомендованы к использованию для выявления паттернов новизны в списке регулярных выражений. При этом векторизация регулярных выражений, используемых при обучении и тестировании одноклассовых классификаторов, может быть выполнена на основе моделей двунаправленных предобученных трансформеров. Одноклассовые классификаторы регулярных выражений могут быть применены для проверки новых данных, в том числе – генерируемых, на наличие в них нормальных паттернов и паттернов новизны.
Номера страниц: 32-48.
УНИФИКАЦИЯ ОПИСАНИЯ ПРОГРАММНЫХ И АППАРАТНЫХ МОДЕЛЕЙ В БАЗИСЕ СБИС
Аннотация: Проектирование в базисе сверхбольших интегральных схем (СБИС) предполагает модульность, интеграцию библиотек готовых функциональных блоков и стандартизированные интерфейсы. В статье выдвигается гипотеза о том, что создание унифицированного формата для описания аппаратных моделей позволит ускорить время разработки и тестирования аппаратных решений в базисе СБИС. Унификация описания аппаратных моделей является важной частью для совместимости, упрощения разработки, тестирования, обновлений и ускорения вывода продукта на рынок. Выявлены основные недостатки рассмотренных существующих решений и методов. Определены аспекты аппаратных моделей на примере устройства, принимающего данные по протоколу UART. Выделены основные функциональные узлы аппаратных моделей: комбинационные схемы, простые схемы с памятью и конечные автоматы. Рассмотрены реализация каждого функционального узла на языке описания аппаратуры Verilog HDL и на языке программирования высокого уровня Python. Представлены симуляции разработанных моделей на системном и аппаратном уровне. Выявлены сходства описания аппаратных и программных моделей. Предложен маршрут проектирования аппаратных моделей в базисе СБИС с использованием унифицированного описания. Предложена структура аппаратной модели, которая не зависит от интегрированной среды разработки и средств автоматизированного проектирования. Работа закладывает основу для стандартизации методов проектирования вычислительных систем, ориентированных на разработку в базисе СБИС. Перспективные пути развития данной гипотезы могут включать следующие направления: интеграция с искусственным интеллектом и машинным обучением, расширение области тестирования аппаратных моделей, автоматизация процесса трансляции моделей в целевые языки, разработка систем визуализации для проектирования. Эти направления могут значительно расширить возможности применения предложенной гипотезы и способствовать более эффективному проектированию вычислительных систем в базисе СБИС. Предполагается проведение исследований в области автоматического анализа и оптимизации тестирования аппаратных моделей, что позволит повысить эффективность проектирования и упростить интеграцию новых технологий в существующие вычислительные системы и их элементы.
Номера страниц: 49-77.
СТОХАСТИЧЕСКИЕ ПОДХОДЫ К ОБЕСПЕЧЕНИЮ УСТОЙЧИВОСТИ РАСПРЕДЕЛЁННЫХ СИСТЕМ РЕПЛИКАЦИИ
Аннотация: Целью исследования является разработка методов формального анализа устойчивости распределённых систем репликации данных в условиях изменчивой топологии сети и характеристик каналов связи. Работа направлена на преодоление ограничений традиционных подходов, недостаточно эффективных в условиях динамики современных информационных инфраструктур. В рамках исследования предложены стохастические модели, основанные на модели Эрдёша–Реньи для описания топологии и модели Гилберта–Эллиотта для каналов связи. Эти подходы позволили учитывать вероятностный характер соединений и флуктуации состояния каналов. Разработанные динамические уравнения описывают поведение системы, включая длину очередей, интенсивность потока данных и количество реплик. Ляпуновский анализ использован для определения равновесных состояний и их устойчивости. Экспериментальная верификация показала высокую точность модели при прогнозировании поведения системы. Метрики, такие как среднеквадратическая ошибка и доля объяснённой вариации, подтвердили адекватность предложенных уравнений. Модель демонстрирует устойчивость к изменениям параметров нагрузки и топологии, что подчёркивает её универсальность. Ключевые выводы включают возможность использования усреднённых характеристик для управления распределёнными системами в реальном времени. Предложенный подход обеспечивает минимизацию задержек, эффективное использование пропускной способности и стабильное функционирование системы даже в условиях высокой динамики. Практическая значимость работы заключается в применимости предложенных моделей для оптимизации существующих инфраструктур, включая Kubernetes-кластеры с использованием Cilium. Разработанные механизмы управления позволяют адаптироваться к изменяющимся условиям работы, что создаёт перспективы для проектирования масштабируемых и устойчивых распределённых систем передачи данных.
Номера страниц: 78-92.
О РАЦИОНАЛЬНОМ ИСПОЛЬЗОВАНИИ КОЛИЧЕСТВЕННОГО УРОВНЯ РИСКА В УПРАВЛЕНИИ СТРАТЕГИЧЕСКИМИ ПРОГРАММАМИ ИННОВАЦИОННОГО РАЗВИТИЯ
Аннотация: В ряде исследований по проблематике управления рисками в качестве критерия необходимости принятия мер по реагированию на риски применяется понятие «допустимого уровня риска». В работе сформулирована стратегия управления рисками инновационных программ по критерию, связанному с ограничениями допустимого риска. Определены критериальные условия необходимости внесения изменений в программу по критерию допустимого уровня риска, либо прекращения ее виду нецелесообразности. Приведен пример управления программой по обновлению орбитальной группировки космической системы связи инновационными космическими аппаратами нового поколения, показывающий возможность оперативно, по данным мониторинга программы принимать решения о необходимости формирования мер реагирования на риски в рамках типовых процессов управления рисками, в том числе и при отклонениях хода реализации программы от плановых показателей.
Номера страниц: 93-104.
ИНСТРУМЕНТАЛЬНЫЕ СРЕДСТВА ПОВЫШЕНИЯ КАЧЕСТВА ГЛОССАРИЕВ В ОБЛАСТИ СТАНДАРТОВ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ
Аннотация: Глоссарии играют ключевую роль в стандартизации терминологии и обеспечении единообразия коммуникации в быстроразвивающихся областях, таких как информационные технологии (ИТ). Однако их разработка и применение сопряжены с рядом проблем, обусловленных динамичностью ИТ-сферы и междисциплинарной природой технологий. В статье предлагается использовать в качестве инструмента выявления проблем глоссариев единый электронный каталог ИТ терминов, составленный на основе различных ИТ-стандартов (ГОСТы, ITIL, COBIT и др.). Использование такого инструмента позволяет выявить различные формулировки терминов, понять природу возникновения таких различий. В частности, показано, что имеются расхождения в определении терминов даже в рамках одного типа стандартов (например, стандартов ГОСТ), при этом такие расхождения могут быть как незначительными, так и существенными. Одна из проблем в расхождении определений терминов связана с различием в переводе с английского языка, если стандарт создавался на базе международного. Еще одной общей проблемой для ИТ глоссариев является многозначность некоторых терминов в зависимости от области применения. Электронные каталоги стандартов позволяют отслеживать и устранять проблемы с качеством глоссариев в ИТ.
Номера страниц: 105-111.
ПОДХОД К ОБНАРУЖЕНИЮ ПОДДЕЛЬНЫХ БИЛЕТОВ ДЛЯ ЗАЩИТЫ ОТ АТАК НА ПРОТОКОЛ АУТЕНТИФИКАЦИИ КЕРБЕРОС
Аннотация: Цели. Протокол Керберос является фундаментальным механизмом аутентификации в корпоративных сетях, поэтому он регулярно подвергается атакам со стороны злоумышленников. Одними из самых опасных являются атаки типа «золотой» и «серебряный» билет. При их реализации атакующий использует поддельные билеты, полученные в обход стандартного процесса аутентификации, предусмотренного протоколом. Учитывая, что современные методы противодействия подобным угрозам не обеспечивают должной защиты, поскольку они основаны на анализе уже произошедших событий, необходима возможность своевременно обнаружить их и нейтрализовать. Цель работы – детектирование атак типа «золотой» и «серебряный» билет путем анализа содержимого поддельных билетов, генерируемых злоумышленниками, на этапе их первичного использования. Для выявления аномалий в билетах, позволяющих сделать вывод об их нелегитимности, необходимо построить автоматическую систему. Методы. Для достижения поставленной цели выполнен анализ функционала программных средств, предназначенных для генерации поддельных билетов, таких как, Mimikatz, с целью понимания принципов их работы. Также осуществлен анализ содержимого различных нелегитимных билетов для выявления аномальных закономерностей. На основе выявленных особенностей определены достаточные критерии, по которым выполняется анализ дли обнаружения подозрительных аутентификаций в системе с использованием детерминированного метода. Результаты. Выявлены несколько аномалий, наличие которых в билете однозначно свидетельствует о его нелегитимности, а также одна аномалия, требующая дополнительный анализ для вынесения вердикта. Описана абстрактная система, использующая детерминированный метод для обнаружения поддельных билетов, включая некоторые детали реализации. Выводы. Все выявленные логические несоответствия, характерные для поддельных билетов, возникают вследствие неспособности атакующих точно воспроизвести оригинальную структуру целевого домена. Причиной этому является то, что каждый домен формируется на основе уникальных характеристик, присущих конкретной инфраструктуре, таких как, иерархия пользователей и групп, настройки служб или политики безопасности. Несмотря на очевидность и простоту ошибок в поддельных билетах, они позволят наверняка обнаружить подозрительную аутентификацию и предотвратить негативные последствия, вызванные атакой на протокол.
Номера страниц: 112-120.
ПРИМЕНЕНИЕ НЕЙРОСЕТЕВОГО РЕГУЛЯТОРА В СИСТЕМЕ УПРАВЛЕНИЯ ХОЛОДИЛЬНОЙ УСТАНОВКОЙ НА ХОККЕЙНОЙ АРЕНЕ
Аннотация: Целью данной работы является исследование возможностей применения нейросетевого регулятора (НР) в системе управления холодильной установкой. В рамках исследования будут рассмотрены принципы построения и обучения нейронной сети, а также проведены эксперименты по оценке эффективности предложенного подхода в сравнении с традиционными методами регулирования. Проведен анализ эффективности предложенного подхода путем сравнения с традиционными методами регулирования. Результаты моделирования и экспериментальных исследований показывают улучшение стабильности температуры ледового покрытия и снижение энергозатрат на поддержание заданных параметров. Исследование позволит определить перспективы использования нейросетевых технологий в управлении промышленным оборудованием и выявить возможные направления дальнейшего развития данного метода. Подчеркивается важность учета специфики каждой конкретной задачи при проектировании и настройке нейросетевых регуляторов.
Номера страниц: 121-127.
Предыдущий выпуск

Архив выпусков