Рассматриваются проблемы функционирования информационных систем в разных операционных средах. Определяются основные направления деятельности при преобразовании программного обеспечения в процессе перевода из одной среды в другую. Даются предварительные оценки трудоемкости и эффективности перевода при сохранении уровня безопасности.

Предложены подходы к формированию и применению цифрового двойника крупномасштабной технологической инфраструктуры в качестве фундамента системы интеллектуального управления. Приведен пример мультимодельного описания процессов управления инфраструктурой распределенной энергетики активных потребителей в составе цифрового двойника.

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

Исследованы модифицированные модели ведения боевых действий Ланчесте-ра–Осипова, в которых учитываются три варианта психологических харак-теристик агентов: сдача в плен, уклонение от борьбы с возможным ее возобновлением и конформноедезертирство. Для первых двух вариантов используется пороговая модель ограниченного партнерства Шеллинга, для последней–пороговая модель конформного поведения Грановеттера.Так, уагента существует порог по отношению к доле дезертирующих с поля боя «своих». Если эта доля больше порога, то агент также присоединяется к убегающим (здесь порог соответствует уровню его дисциплины). Для моди-фикации использованы функции распределения порогов конформности аген-тов. В качестве функции распределения выбрана двухпараметрическая бета-функция.Это обусловлено тем, что ее параметры позволяют содержательно проинтерпретировать такие характеристики, как соотношения «трусов» и «храбрецов» сражающихся сторон.Так, чем больше , тем больше «трусли-вых» агентов в группе. Чем больше ,тем больше «смелых»агентов в группе.В каждой из моделей численно решена система ОДУ для определенной функ-ции распределения порогов, построены графики динамики количества аген-тов, участвующих в сражении,и полученные результаты проанализированы

Верификация программного обеспечения является фундаментальным и наиболее распространенным видом деятельности для обеспечения качества программных систем. В статье предлагается применение методологии верификации для обеспечения кибербезопасности систем важных для безопасности АЭС.