В статье представлен сравнительный обзор производителей систем гидроакустической связи России, США и Германии. Исследованы разработки производителей устройства которых обладают наилучшими параметрами. По результатам исследования получены зависимости качественных характеристик гидроакустических модемов от степени влияния основных параметров гидроакустического канала связи и определены наиболее перспективные пути развития модемов подводной акустической передачи информации.

Предложены архитектурные и методические решения для верификации гибридной интеллектуальной системы поддержки оператора АЭС, объединяющей машинное обучение, базу экспертных правил и цифрового двойника. Методология строится как многоуровневый процесс верификации и валидации: покомпонентная верификация (включая статические ограничения, воспроизводимость обучения и динамические испытания моделей машинного обучения (МО)), формальная проверка логики и непротиворечивости правил с использованием SAT/SMT-подходов, а также интеграционная верификация согласованности выводов, временных ограничений и режимов управляемой деградации. Для выявления граничных случаев предложено применять метаморфное тестирование МО-компонентов, основанное на физических инвариантах и эксплуатационных ограничениях, а также сценарные проверки объяснимости и прослеживаемости рекомендаций. Показано, что предложенный подход позволяет выявлять несогласованности между разнородными подсистемами и снижать риск скрытых дефектов до этапа валидации системы.

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

Предпринята попытка объединить два подхода к моделированию конфликтов, основанных на методах институциональной экономики и военной кибернетики. Рассмотрены требования к функциям технологии конфликта, дано теоретико-вероятностное и содержательное обоснование функции победы. Вопросам применения функции победы при моделировании конфликта посвящен последний раздел.

Задача оптимального управления конечным состоянием системы является одной из наиболее простых и составляет ядро любой другой задачи оптимизации. В представленной работе рассматривается терминальная задача о преследовании уклоняющегося объекта при измерении расстояния до него и скорости его перемещения при отсутствии информации о возможной траектории его движения, т.е. при отсутствии описания его динамики. Постановка задачи включает математическое описание объекта, ограничения, накладываемые на управляющие воздействия, и квадратичный функционал качества. Необходимые условия оптимальности в задаче синтеза соответствующих управлений записываются в виде канонической системы Эйлера-Лагранжа с заданием соответствующих краевых условий. Синтез соответствующих управлений сталкивается с проблемой необходимости поиска решений краевых задач, реализуемой, как правило, численными методами. В работе предлагается альтернативный путь решения двухточечных краевых задач, основанный на предположении справедливости обратного принципа оптимальности Р. Беллмана.